Der Prozess, zu einem algebraischen Objekt die Grenzen von Cauchy-ähnlichen Folgen (bzw. die durch eine Filtration oder Topologie bestimmten inversen Grenzobjekte) hinzuzufügen, sodass das resultierende Objekt bezüglich der gegebenen Topologie oder Filtration vollständig ist.

Prinzip

Man vervollständigt, indem man formal die für die Konvergenz von Cauchy-Folgen notwendigen Grenzwerte beifügt; äquivalent nimmt man eine geeignete inverse Limitenbildung oder quotiert durch die Schnittmenge der Nullumgebungen, um die Vollständigkeit und die universelle Eigenschaft für stetige Abbildungen zu erzwingen.

Demonstration

Für einen kommutativen Ring A und ein Ideal I erhält man die I-adische Kompletion à = lim← A/I^n durch Hinzufügen kompatibler Folgeklassen; für A = Z und I = (p) liefert die p-adische Kompletion die p-adischen ganzen Zahlen Z_p.

Fehlanwendung

Die Kompletion anzuwenden, ohne vorher Trennheit (Hausdorff-Eigenschaft) der Topologie sicherzustellen, und das Ergebnis dann als Unterobjekt des Originals zu deuten – dies kann zur Verwechslung des vollendeten Objekts mit dem Ursprung bzw. zur Fehlinterpretation von Nilpotenten führen.

Konsequenz

Das vollendete Objekt erfüllt die gewünschte Vollständigkeit sowie eine universelle Abbildungseigenschaft für stetige oder filtrierte Morphismen; unter Endlichkeitsbedingungen erhält man oft exakte Sequenzen und kann analytische Methoden (formale Potenzreihen) anwenden.

Umkehrung

Die Umkehrung besteht darin, von einem vollständigen Objekt zu einer dichten Teilmenge oder zum nicht-vollständigen Ausgangsobjekt zurückzugehen; dabei gehen Universalität und Konvergenz von Cauchy-Folgen verloren.

Abgrenzung

Die Kompletion setzt eine festgelegte Topologie oder Filtration voraus (Metrik, I-adisch, graduierung); ohne diese Daten ist die Kompletion nicht intrinsisch definiert. Kompletionen können Endlichkeit, Integrität oder Reduziertheit verletzen, sofern keine zusätzlichen Hypothesen (Noethersche Bedingungen, Trennheit) vorliegen.

Semantische Spannung

Kompletion ähnelt dem topologischen Abschluss, unterscheidet sich aber: Abschluss fügt Grenzpunkte innerhalb eines festen Umfelds hinzu, während Kompletion häufig ein neues Objekt mit formalen Grenzwerten konstruiert; dabei können algebraische Invarianten verändert werden, die ein Abschluss nicht notwendigerweise ändert.

Synthese

Kompletion ist das kanonische Verfahren, die durch eine Topologie oder Filtration vorgegebenen formalen Grenzwerte anzufügen, um ein vollständiges algebraisches Objekt mit universeller Eigenschaft zu erhalten, sofern Trennheit und Endlichkeitsbedingungen beachtet werden.