Der Limes (projektiver Limes) eines inversen Systems von Objekten mit Projektionsabbildungen: ein Objekt, das mit Projektionen zu jeder Stufe ausgestattet ist und universal für Abbildungen ist, die durch kompatible Projektionen faktorisieren; konkret sind seine Elemente Tupel von Stufenelementen, die unter den Übergangsmorphismen kohärent sind.

Prinzip

Gleichzeitige Kompatibilität über alle Stufen erzwingen, indem man Tupel nimmt, deren Komponenten unter den Verbindungsabbildungen des Systems konsistent projizieren, und so ein Objekt erzeugen, das alle endlichen Stufendaten mit exakten Kompatibilitätsbedingungen zusammenfasst.

Demonstration

Die p-adischen ganzen Zahlen Z_p sind der projektive Limes des Systems Z/p^nZ mit den natürlichen Projektionen: ein Element von Z_p ist eine kohärente Folge (x_n) mit x_{n+1} ≡ x_n (mod p^n), die eine Komplettierung der ganzen Zahlen bezüglich der p-adischen Topologie kodiert.

Fehlanwendung

Den projektiven Limes mit dem Produkt verwechseln und die Kohärenzbedingungen ignorieren (beliebige Tupel statt kompatible Familien behandeln), oder annehmen, projektive Limites seien allgemein exakte, obwohl nichtverschwindende abgeleitete Funktoren (wie lim^1) Exaktheit verhindern können.

Konsequenz

Projektive Limites erzeugen Komplettierungen, profinite Objekte und Räume, die Kongruenz- oder Projektionskompatibilität kodieren; sie sind unverzichtbar zur Konstruktion kompakter oder vollständiger Objekte aus endlichen Approximationen, können jedoch mit einigen Kolimiten nicht kommutieren und nicht exakt sein.

Umkehrung

Die duale Notion ist der direkte (induktive) Limes, der vorwärts durch Identifikation eventualer Bilder zusammenfügt; projektive Limites schränken produktähnliche Räume ein, indem sie exakte Projektionsverträglichkeit erzwingen.

Abgrenzung

Definiert für inverse (projektive) Systeme, die durch eine gerichtete (kofilternde) Kategorie indiziert sind; projektive Limites können nichttriviale abgeleitete Funktoren (lim^1 usw.) aufweisen, die Obstruktionen zur Exaktheit messen; Vorsicht ist geboten bei nicht-surjektiven Übergangsmorphismen und setztheoretischen Größenfragen.

Semantische Spannung

Projektiver Limes ist gleichbedeutend mit inverser Limite, doch in der Praxis muss man die kategorielle Limitbegriff von informellen 'Limiten' in Analysis/Topologie (Komplettierungen) unterscheiden, wo Topologie und Zusatzstruktur eine Rolle spielen; auch die Beziehung zu profinen Komplettierungen erfordert Klarheit über das Indizierungssystem.

Synthese

Ein projektiver Limes ist das universelle Objekt eines inversen Systems, gebildet aus allen Tupeln, die unter den Projektionsabbildungen kompatibel sind: er kodiert simultane Kohärenz über die Stufen und ergibt Komplettierungen oder profine Konstruktionen aus endlichen Daten.