Limes (Kategorientheorie)

In der Algebra oder allgemeiner der Kategorientheorie ist der projektive Limes (oder inverse Limes oder einfach Limes) eine Konstruktion, mit der man verschiedene in gewisser Weise zusammengehörende Strukturen verbinden kann. Das Ergebnis dieses Verbindungsvorgangs wird vor allem bestimmt von Abbildungen zwischen diesen Strukturen.

Inhaltsverzeichnis

1 Projektive Limites für Mengen und einfache algebraische Strukturen

2 Die universelle Eigenschaft

3 Projektive Limites in beliebigen Kategorien

4 Beispiele

5 Limites mit Indexkategorien

Projektive Limites für Mengen und einfache algebraische Strukturen

Die folgende Konstruktion definiert den Limes für Mengen oder beliebige algebraische Strukturen, die mithilfe von Limites (Produkten, Endobjekten, Differenzkernen) definiert sind. Als Beispiel werden Gruppen behandelt.

Gegeben sei folgende Situation: Gegeben sind eine halbgeordnete Menge $I$ , für jedes $i\in I$ eine Gruppe $X i$ und für je zwei Indizes $i,j\in I$ mit $i > j$ ein Gruppenhomomorphismus

$f_{ij}\colon X_i\to X_j.$

Diese Homomorphismen sollen verträglich sein in dem Sinne, dass für $i > j > k$ gilt:

$f_{ik}=f_{jk}\circ f_{ij}$

("um von $i$ nach $k$ zu kommen, kann man auch einen Umweg über $j$ machen").

Der projektive Limes $\lim_nX_n$ ist die Menge aller Familien $(x_i)_{i\in I}$ mit $x_i\in X_i$ mit der Eigenschaft

f i j (x i) = x j

für

i > j

Mit komponentenweiser Multiplikation wird $\lim_nX_n$ zu einer Gruppe.

Die universelle Eigenschaft

Der projektive Limes $\lim_nX_n$ zusammen mit den Homomorphismen

$\mathrm{pr}_i\colon\lim_nX_n\to X_i,\quad (x_n)_{n\in I}\mapsto x_i,$

den kanonischen Projektionen, hat die folgende universelle Eigenschaft:

Für jede Gruppe

T

und Homomorphismen $t_i\colon T\to X_i$ , für die $t_j=f_{ij}\circ t_i$ für alle

i > j

gilt, existiert ein eindeutig bestimmter Homomorphismus $c\colon T\to\lim_nX_n$ , so dass $t_i=\mathrm{pr}_i\circ c$ gilt.

Bild:Diagramm zum Limes.png

Projektive Limites in beliebigen Kategorien

Mithilfe des Begriffs des projektiven Limes für Mengen kann man projektive Limites in beliebigen Kategorien definieren: Sind Objekte X_i einer Kategorie C und Übergangsmorphismen f_i,j gegeben, so ist der Limes dieses projektiven Systems charakterisiert durch eine natürliche Äquivalenz

Hom_C(T, lim X_i) = lim Hom_C(T, X_i)

von Funktoren in T; dabei ist der Limes auf der rechten Seite der bereits definierte Limesbegriff für Mengen. Der derartig definierte Limes erfüllt die analoge universelle Eigenschaft.

Für "einfache" algebraische Strukturen wie Vektorräume, Gruppen oder Ringe stimmt dieser Limesbegriff mit dem oben definierten, mengenbasierten überein.

Es gibt jedoch Kategorien, in denen projektive Limites nicht existieren, beispielsweise die Kategorie der endlichen abelschen Gruppen: Es sei (X_i, f_i,j) das projektive System

Z/2Z ← (Z/2Z)² ← (Z/2Z)³ ← ...

mit der Projektion auf die ersten Faktoren als Übergangsabbildungen. Für T = Z/2Z ist

lim Hom(T, X_i)

unendlich, also nicht gleich

Hom(T,L)

für irgendeine endliche abelsche Gruppe L.

Beispiele

In der Kategorie der topologischen Räume gibt es Limites: Der mengenbasierte Limes war konstruiert als eine Teilmenge des kartesischen Produktes. Versieht man das Produkt mit der Produkttopologie und den Mengen-Limes mit der Teilraumtopologie, erhält man den kategoriellen Limes. Sind alle A_i kompakt und hausdorffsch, dann ist der projektive Limes A ebenfalls kompakt und hausdorffsch.
Jede kompakte topologische Gruppe ist projektiver Limes von kompakten Lie-Gruppen.
Der Ring Z_p der p-adischen ganzen Zahlen ist der projektive Limes der Restklassenringe A_i=Z/pⁱ, wobei die halbgeordnete Indexmenge I=N mit der natürlichen Ordnung ist und die Morphismen die Restklassenabbildungen sind. Die natürliche Topologie auf Z_p ist die von der diskreten Topologie auf den A_i induzierte Produkttopologie.
Für eine beliebige galoissche Körpererweiterung E/K ist die Galoisgruppe G(E/K) isomorph zum projektiven Limes der Galoisgruppen G(L/K), wobei L alle endlichen und galoisschen Zwischenerweiterungen von E/K durchläuft, die halbgeordnete Indexmenge die Menge dieser Zwischenkörper mit der Inklusionsordnung ist, und der Morphismus für M/L gegeben ist durch f_M,L: G(M/K) -> G(L/K), s -> s|_L (also die Einschränkung eines Automorphismus auf den kleineren Körper). Betrachtet man alle G(L/K) als diskrete topologische Gruppen, dann wird auf G(E/K) eine Produkttopologie induziert, die Krulltopologie genannt wird.

Limites mit Indexkategorien

In Verallgemeinerung des Limes für teilgeordnete Indexmengen kann man Limites für beliebige Indexkategorien betrachten:

Es seien I und C eine Kategorie und X: I → C ein Funktor. Dann ist ein Limes von X ein Objekt L, so dass

$\mathrm{Mor}_C(T,L)=\mathrm{Mor}_{\mathbf{Mor}(I,C)}(\mathrm{const}_T,X)$

eine natürliche Äquivalenz in T ist; dabei bezeichne const_T den konstanten Funktor I → C mit Wert T.

Morphismen in ein Limesobjekt entsprechen also kompatiblen Systemen von Morphismen in die einzelnen Objekte, genau wie im Spezialfall von teilgeordneten Indexmengen.

Dieser Limesbegriff umfasst einige andere universelle Konstruktionen als Spezialfälle:

I	universelle Konstruktion
Zwei Objekte, nur Identitäten	Produkt (Mathematik)
$\varnothing$	Endobjekt
Bild:Indexkategorie zum Differenzkern.png	Differenzkern
Bild:Indexkategorie zum Faserprodukt.png	Faserprodukt

Hat die Indexkategorie ein Anfangsobjekt A, so ist der Limes gleich X(A).