Vollständiger Raum

Ein vollständiger Raum ist in der Analysis ein metrischer Raum M, in dem jede Cauchy-Folge von Punkten aus M

gegen eine Element von M konvergiert.

Für andere Wortbedeutungen von vollständig siehe die Begriffsklärungsseite Vollständigkeit.

Anschaulich ist ein Raum vollständig, wenn er keine "Löcher" hat, also keine

"Punkte fehlen". Zum Beispiel ist der Raum der rationalen Zahlen nicht vollständig, weil z.B. √2 nicht rational ist. Es ist aber stets möglich, die Löcher auszufüllen,einen unvollständigen metrischen Raum zu vervollständigen.

Beispiele

Die Menge

reellen Absolutbetrag) ist unvollständig. Oben wurde bereits √2 als irrationale Zahl genannt, und die Folge rationaler Zahlen

ist eine Cauchy-Folge, die innerhalb von Q nicht konvergiert, denn ihr Grenzwert ist gerade √2.

Das offene Intervall

ist ebenfalls nicht vollständig, denn die Cauchy-Folge

hat keinen Grenzwert in diesem Intervall.

Das abgeschlossene Intervall

der Grenzwert 0 dieser Folge liegt darin.

Der Raum der reellen Zahlen und der der

komplexen Zahlen (beide mit der Betragsmetrik)

sind beide vollständig, ebenso wie der euklidische VektorraumRⁿ.

Viele Vektorräume sind vollständig, andere nicht; die vollständigen Vektorräume nennt man Banachräume.

Der Raum

Ist S eine beliebige nichtleere Menge, dann kann man die Menge

Raum machen, indem man den Abstand zweier verschiedener Folgen

auf den Wert 1/N setzt, wobei

N der kleinste Index ist, für den

Dieser metrische Raum ist dann vollständig (und ultrametrisch). Er ist homöomorph zum Produkt abzählbar vieler Kopien des diskreten Raums S.

Einige Sätze

Jeder kompakte metrische Raum ist vollständig.

Ein metrischer Raum ist kompakt genau dann, wenn er vollständig und

totalbeschränkt ist.

Eine Teilmenge eines vollständigen Raumes ist selbst vollständig genau dann,wenn sie abgeschlossen ist.

Ist X eine nichtleere Menge,

metrischer Raum, dann ist der Raum

beschränkten Funktionen von X nach M ein vollständiger metrischer Raum mit der Metrik

Ist X ein topologischer Raum und M ein vollständiger metrischer Raum, dann ist die Menge

stetigen Funktionen von X nach M eine abgeschlossene Teilmenge von

vollständig.

Vervollständigung

Für jeden metrischen Raum M gibt es einen vollständigen metrischen Raum M' , der M als dichten Teilraum enthält. Diesen Raum nennt man eine Vervollständigung von M. Da alle Vervollständigungen von M metrisch isomorph sind, spricht man auch von

der Vervollständigung von M.

Die Vervollständigung von M kann man konstruieren als Menge von

Äquivalenzklassen von Cauchy-Folgen in M. Für zwei Cauchy-Folgen

ihren Abstand durch

Dieser Abstand existiert, er ist aber nur eine Pseudometrik, denn verschiedene Cauchy-Folgen können den Abstand 0 haben. Diese Eigenschaft, "x,y haben Abstand 0",

ist eine Äquivalenzrelation auf der Menge der Cauchy-Folgen,und die Menge aller Äquivalenzklassen M' ist mit diesem Abstandsbegriff ein metrischer Raum, und zwar ein vollständiger.

Identifiziert man jedes Element x aus M mit der Äquivalenzklasse der konstanten Folge

Einbettung von M in M' .

Cantors Konstruktion der reellen Zahlen aus den rationalen ist ein Spezialfall hiervon. Wie oben schon gesagt, erhält man andere metrische Räume Q_p, wenn man statt der gewöhnlichen Betragsmetrik eine p-adische Metrik verwendet und Q vervollständigt.

Vervollständigt man einen normierten Vektorraum, so erhält man einen

Banachraum, der den ursprünglichen Raum als dichten Teilraum enthält,und vervollständigt man einen euklidischen Vektorraum, so erhält man einen Hilbertraum, in dem der ursprüngliche Raum dicht liegt.

Topologisch vollständige Räume

Vollständigkeit ist eine Eigenschaft der Metrik, nicht der Topologie,

das heißt, ein vollständiger metrischer Raum kann homöomorph sein zu einem unvollständigen metrischen Raum.

Zum Beispiel sind die reellen Zahlen vollständig, aber homöomorph zum offenen Intervall

(ein Homöomorphismus von (0,1) nach R ist z.B.

). Ein anderes Beispiel sind die irrationalen

Zahlen, die nicht vollständig sind, aber homöomorph zum Raum der natürlichen Zahlenfolgen N^N (ein Spezialfall eines Beispiels von oben).

In der Topologie betrachtet man topologisch vollständige

(oder vollständig metrisierbare) Räume,für die mindestens eine Metrik existiert, die die vorhandene Topologie erzeugt. Topologisch vollständige Räume können charakterisiert werden als diejenigen Räume, die sich darstellen lassen als Durchschnitt abzählbar vieler offener Teilmengen eines vollständigen metrischen Raums.