Ein metrischer Raum, in dem jede Cauchy‑Folge gegen einen Punkt des Raums konvergiert (äquivalent: jede Cauchy‑Netz konvergiert in der passenden Uniformitätsformulierung); Grenzwerte von Cauchy‑Folgen liegen stets im Raum.

Prinzip

Vollständigkeit stellt sicher, dass die Grenzwerte beliebig genauer Approximationen innerhalb des Raums existieren, sodass iterative oder grenzwertbildende Prozesse den Raum nicht verlassen.

Demonstration

Die reellen Zahlen R mit der üblichen Metrik sind vollständig: jede Cauchy‑Folge reeller Zahlen konvergiert in R. Die rationalen Zahlen Q sind nicht vollständig, da es Cauchy‑Folgen (etwa zur Annäherung von √2) ohne Grenzwert in Q gibt. Abgeschlossene Teilmengen vollständiger metrischer Räume sind vollständig.

Fehlanwendung

Vollständigkeit mit Kompaktheit zu verwechseln oder anzunehmen, Vollständigkeit erhalte sich in beliebigen Teilräumen (nur abgeschlossene Teilräume erben Vollständigkeit). Zu glauben, eine Metrik sei vollständig, ohne Konvergenz von Cauchy‑Folgen zu prüfen.

Konsequenz

Vollständigkeit ermöglicht die Anwendung von Fixpunktsätzen (Banach‑Kontraktionsprinzip), gewährleistet Existenz von Grenzwerten für iterative Algorithmen und unterstützt die Konstruktion von Komplettierungen (dichtes Einbetten in einen vollständigen Raum).

Umkehrung

Ein unvollständiger metrischer Raum enthält Cauchy‑Folgen, die im Raum nicht konvergieren; die Komplettierung des Raums erfordert das Hinzufügen der fehlenden Grenzpunkte.

Abgrenzung

Gilt für metrische und allgemeinere uniforme Räume; Vollständigkeit hängt von der gewählten Metrik oder Uniformität ab und ist keine rein topologische Eigenschaft. Endlich‑dimensionale euklidische Räume sind vollständig, manche unendlich‑dimensionalen normierten Räume jedoch nicht.

Semantische Spannung

Vollständigkeit wird oft mit Abgeschlossenheit oder Kompaktheit verwechselt; Abgeschlossenheit ist topologisch, Vollständigkeit metrischbedingt, und Kompaktheit impliziert Vollständigkeit zusammen mit totaler Beschränktheit in metrischen Räumen.

Synthese

Vollständiger Metrischer Raum = ein metrisches Umfeld, in dem jede Folge immer enger werdender Approximationen ihren Grenzwert im Raum besitzt, was die Stabilität grenzwertbildender Methoden und den Einsatz analytischer Werkzeuge sichert.