Vollständigkeit

Einleitung

In dieser Lerneinheit zur Vollständigkeit wird gezeigt, wie man eine metrischen Raum vervollständigen kann. Diese Grundidee ist aus der Zahlbereichsweiterung von rationalen Zahlen auf die reellen Zahlen bekannt. Dabei kann man eine Gleichung $x^2=2$ mit Zahlenwerten in $\mathbb{Q}$ formulieren, die aber in $\mathbb{Q}$ keine Lösung besitzt ($\pm \sqrt{2}\notin \mathbb{Q}$. Die Konzept der Vervollständigung von $\mathbb{Q}$ auf $ℝ$ wir hier allgemein auf metrische Räume übertragen.

Vervollständigung

Jeder metrische Raum $M$ mit einer Metrik $d$ kann vervollständigt werden, das heißt, es gibt einen vollständigen metrischen Raum $\hat{M}$ mit einer Metrik $\hat{d}$ und einer Isometrie $\phi :M\to \hat{M}$, so dass $\phi (M)$ dicht in $\hat{M}$ liegt. Der Raum $(\hat{M},\hat{d})$ heißt Vervollständigung von $(M,d)$. Da alle Vervollständigungen von $(M,d)$ isometrisch isomorph sind, spricht man auch von der Vervollständigung von $(M,d)$.

Cauchy-Folgen - Cauchy-Netze

Ein uniformen Raum $(X,\mathrm{\Phi })$ ist vollständig, wenn jedes Cauchy-Netz in $X$ auch konvergiert. Dabei verallgemeinert eine uniforme Struktur über $\mathrm{\Phi }$ Nachbarschaftbeziehungen zwischen Elementen in $X$. In metrischen Räumen $(X,d)$ wird die Nachbarschaft von zwei Element unimittelbar über die Metrik definiert $d(x,y)<\epsilon$

Beweisidee und Konstruktion

Der folgende Beweis gliedert sich in die Konstruktion der Vervollständiung $\hat{M}$ von $M$ über den Cauchy-Folgenraum auf $M$. Danach wird im Beweis gezeigt, dass jede Cauchy-Folge in $M$ in $\hat{M}$ konvergiert. zunächst wird $\hat{M}$ konstruiert und mit einer Metrik versehen.

Konstruktionsidee

Die Vervollständigung von $M$ kann man als Menge von Äquivalenzklassen von den Cauchy-Folgen $M_C$ in $M$ konstruieren.

Pseudometrik auf Cauchy-Folgenraum

Sei dazu zunächst $M_C$ die Menge der Cauchy-Folgen $(x_m{)}_m:={\left(x_m\right)}_{m\in \mathbb{N}}$ in $M$, und sei der Abstand $d_C((x_m{)}_m,(y_n{)}_n)$ zweier Cauchy-Folgen $(x_m{)}_m,(y_n{)}_n\in M_C$ durch

$d_C((x_m{)}_m,(y_n{)}_n):=\underset{m,n\in \mathbb{N}}{\lim }d(x_m,y_n)$

definiert. Dieser Abstand ist wohldefiniert und eine Pseudometrik auf $M_C$.

Trennungseigenschaft im Cauchy-Folgenraum

Wenn man z.B. zwei konvergente Folgen $(x_m{)}_m:={\left(x_m\right)}_{m\in \mathbb{N}}$ und $(y_n{)}_n:={\left(x_{2\cdot n}\right)}_{n\in \mathbb{N}}$ in $M$ gegeben hat, so gilt $(x_m{)}_m=(y_n{)}_n$ und beide haben den gleichen Grenzwert $z_o\in M$. $(x_m{)}_m,(y_n{)}_n$ lassen sich durch die Metrik auf $M_C$ nicht trennen, denn es gilt $d_C((x_m{)}_m,(y_n{)}_n)=0$. Über die Anwendung der Dreiecksungleichung von $d$ erhält man:

$\begin{array}{ccc}{d}_C((x_m{)}_m,(y_n{)}_n)& =& \underset{m,n\in \mathbb{N}}{\lim }d(x_m,y_n)\le \underset{m,n\in \mathbb{N}}{\lim }(d(x_m,z_o)+d(z_o,y_n))\\ & \le & \underset{m\in \mathbb{N}}{\lim }d(x_m,z_o)+\underset{n\in \mathbb{N}}{\lim }d(z_o,y_n)=0+0=0\end{array}$

Definition einer Relation auf dem Cauchy-Folgenraum

Für zwei Cauchy-Folgen ${\left(x_m\right)}_{m\in \mathbb{N}}\in M_C$ und ${\left(y_m\right)}_{m\in \mathbb{N}}\in M_C$ definiert man folgende Relation:

$\begin{array}{ccc}(x_m{)}_m\sim (y_n{)}_n& :⟺& d_C((x_m{)}_m,(y_n{)}_n)=0\\ & ⟺& {\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{N_{\epsilon }\in \mathbb{N}}{\mathrm{\forall }}_{m,n\ge N_{\epsilon }}:d(x_m,y_n)<\epsilon \end{array}$

Äquivalenzrelation

$(M_C,\sim )$ definiert eine Äquivalenzrelation auf $M_C$, die also reflexiv, symmetrisch und transitiv ist.

Reflexivität

Die Reflexivität gilt wegen $d_C((x_m{)}_m,(x_m{)}_m)=0$ auch $(x_m{)}_m\sim (x_m{)}_m$ für alle ${\left(x_m\right)}_{m\in \mathbb{N}}\in M_C$.

Symmetrie

Die Symmetrie der Relation $\sim$ liefert die Symmetrie von $d$, denn mit $d(x_m,y_n)=d(y_n,x_m)$ ist auch $d_C$ symmetrisch und man erhält

$$\begin{array}{ccc}(x_m{)}_m\sim (y_n{)}_n& ⟹& d_C((x_m{)}_m,(y_n{)}_n)=0\\ & ⟹& d_C((y_n{)}_n,(x_m{)}_m)=0\\ & ⟹& (y_n{)}_n\sim (x_m{)}_m\end{array}$$

Transitivität

Die Transitivität erhält man über die Dreiecksungleichung von $d$ bzw. $d_C$, denn es gilt für $(x_m{)}_m\sim (y_n{)}_n$ und $(y_n{)}_n\sim (z_k{)}_k$ die Ungleichung:

$$\begin{array}{ccc}0& \le & d_C((x_m{)}_m,(z_k{)}_k)\\ & \le & d_C((x_m{)}_m,(y_n{)}_n)+d_C((y_n{)}_n,(z_k{)}_k)=0+0=0\\ & ⟹& (x_m{)}_n\sim (z_k{)}_k\end{array}$$

Metrisierung des Quotientenraumes

Die Pseudometrik $d_C$ auf dem Cauchy-Folgenraum lässt sich folgendermaßen auf die Quotientenmenge $\hat{M}:=M_C/\sim$ übertragen:

• Sind $x,y\in M_C$ die Repräsentanten der Äquivalenzklassen $\hat{x},\hat{y}\in \hat{M}$ mit $(x_m{)}_m\in \hat{x}$ und $(y_n{)}_n\in \hat{y}$, dann definiert man den Abstand $\hat{d}$ zwischen $\hat{x},\hat{y}\in \hat{M}$ wie folgt $\hat{d}(\hat{x},\hat{y}):=d_C((x_m{)}_m,(y_n{)}_n)$
• $\hat{d}$ ist wohldefiniert, und $\hat{d}(\hat{x},\hat{y})=d_C((x{)}_m,(y_n{)}_n)=0$ ist genau dann, wenn die Cauchy-Folgen $(x_m{)}_m\sim (y_n{)}_n$ äquivalent sind.

Konvergente Folgen in M

Betrachtet man die Teilmenge der konvergenten Folgen in Menge der Cauchy-Folgen $M_C\subset M^{\mathbb{N}}$, so sind die zwei konvergente Folgen in der gleichen Äquivalenzklasse in $\hat{M}$, wenn diesen den gleichen Grenzwert in $M$ besitzen. Die Äquivalenzklasse $\widehat{\phi (z_0)}\in \hat{M}$ besteht aus allen konvergenten Folgen mit dem Grenzwert $z_0\in M$. Dabei werden über eine Abbildung $\hat{\phi }:M\to \hat{M}$ der Äquivalenzklasse der konvergenten Folgen $\hat{\phi }(z_0):=\widehat{\phi (z_0)}\in \hat{M}$ zugeordnet. Insbesondere enthält die Äquivalenzklasse $\widehat{\phi (z_0)}$ die stationäre Folge $\phi (z_0)=(z_0{)}_{m\in \mathbb{N}}\in \phi (z_0)$.

Äquivalenzraum der Folgen - Metrischer Raum

Da $d_C:M_C\times M_C\to {ℝ}_0^{+}$ eine Pseudometrik ist, ist auch $\hat{d}:\hat{M}\times \hat{M}\to {ℝ}_0^{+}$ eine Pseudometrik. Durch Bildung von Äquivalenzklassen bzgl. $d_C((x_m{)}_m,(y_n{)}_n)=0$ für $(x_m{)}_m,(y_n{)}_n\in M_C$ identifiziert man nicht trennbare Cauchy-Folgen in $M_C$ und $(\hat{M},\hat{d})$ wird zu einem metrischen Raum.

Unterschied konstante Folge - stationäre Folge

Bei einer konstanten Folge sind alle Folgenglieder gleich. Bei einer stationären Folge gibt es eine Indexschranke $N_0\in {\mathbb{N}}_0$, ab der alle Folgenglieder gleich ist. Damit ist jede konstante Folge eine stationäre Folge aber nicht umgekehrt.

Konstante Folgen als Repräsentanten für den Grundraum

Man kann jedem Element $x_o\in M$ die stationäre Folge $\phi (x_o):=(x_o{)}_{m\in \mathbb{N}}\in M_C$ zuordnen, denn $\phi (x)$ ist eine Cauchy-Folge. Die Äquivalenzklasse $\widehat{\phi (x_o)}:=\{(z_k{)}_k\in M_C\mid (z_k{)}_k\sim \phi (x_o)\}$ liegt in $\hat{M}$. Auf diese Weise lässt sich der ursprüngliche metrische Raum $(M,d)$ in $(\hat{M},\hat{d})$ einbetten. $\widehat{x_o}$ besteht aus allen konvergenten Folgen gegen $x_o\in M$

Bild dicht im Äquivalenzklassenraum

Sei ein beliebige Cauchy-Folge $x^{(o)}:={\left(x_k\right)}_{k\in \mathbb{N}}\in M_C$ gegeben. Wir erzeugen nun ein Folge ${\left(x^{(k)}\right)}_{n\in \mathbb{N}}$ von konstanten Folgen $\phi (x_k):=x^{(k)}:=(x_k{)}_{n\in \mathbb{N}}$ in $M_C$, die bzgl. $d_C$ gegen $x^{(o)}\in M_C$ konvergiert. Nach Konstruktion gibt es zu jedem $\epsilon >0$ ein $N_{\epsilon }\in \mathbb{N}$ sodass für $k\ge N_{\epsilon }$ gilt

$d_C(x^{(o)},\phi (x_k))=\underset{m\in \mathbb{N}}{\lim }d(x_m,x_k)<\epsilon \text{ insbesondere }\underset{m\in \mathbb{N}}{\lim }d(x_m,x_{N_{\epsilon }})<\epsilon .$

Das Bild $\phi (M)$ alles konstanten Folgen liegt also dicht in $M_C$ bzgl. $d_C$, und das lässt sich auf $\hat{M}=M_C/\sim$ übertragen.

Vollständigkeit des Cauchy-Folgen-Äquivalenzklassenraumes

Im Folgenden sei der Kürze halber der Funktionsname $\phi$ weggelassen.

$(\hat{M},\hat{d})$ ist überdies vollständig.

Beweis

Sei ${\left({\hat{x}}^{(\mu )}\right)}_{\mu \in \mathbb{N}}$ eine Cauchy-Folge von Äquivalenzklassen aus $\hat{M}$. Zu zeigen ist:

${\left({\hat{x}}^{(\mu )}\right)}_{\mu \in \mathbb{N}}$ besitzt in $\hat{M}$ einen Limes $x^{(0)}\in \hat{M}$.

Fallunterscheidung: Stationäre und nicht stationäre Folgen

Im folgenden wird eine Fallunterscheidung in stationäre und nicht-stationäre Äquivalenzklassenfolgen vorgenommen.

• (stationär) Äquivalenzklassenfolge ${\left(\widehat{x^{(\mu )}}\right)}_{\mu \in \mathbb{N}}$ ist stationär, wenn sich ab einer Indexschranke ${\mu }_0\in \mathbb{N}$ die Folgenglieder $\widehat{x^{(\mu )}}$ sich nicht mehr verändern d.h. $\widehat{x^{(\mu )}}=\widehat{x^{(\mu +1)}}$ für alle $\mu \ge {\mu }_0$.
• (nicht stationär) bei einer nicht-stationäre Äquivalenzklassenfolge findet man zu für jedem Index ${\mu }_0\in \mathbb{N}$ einen größeren Index ${\mu }_1>{\mu }_0$ in der Äquivalenzklassenfolge mit $\widehat{x^{({\mu }_0)}}=\widehat{x^{({\mu }_1)}}$. Damit müssen sich auch die Repräsentanten unterscheiden $x^{({\mu }_0)}=x^{({\mu }_1)}$.

Fall1 : Stationäre Äquivalenzklassenfolge

Bei stationären Äquivalenzklassen-Cauchy-Folgen erhält man die Konvergenz unmittelbar, denn wenn such ab einer Indexschranke ${\mu }_0\in \mathbb{N}$ die Folgenglieder $\widehat{x^{(\mu )}}$ nicht mehr verändern und $\widehat{x^{({\mu }_0)}}=\widehat{x^{(\mu )}}$ für alle ${\mu }_{\ge }{\mu }_0$ gilt, so konvergiert die Cauchy-Folge ${\left(\widehat{x^{(\mu )}}\right)}_{\mu \in \mathbb{N}}$ gegen $\widehat{x^{({\mu }_0)}}$.

Fall 2 : Nicht-stationäre Äquivalenzklassenfolge

Sei nun eine nicht-stationäre Äquivalenzklassenfolge gegeben, bei der man zu jedem Index ${\mu }_0\in \mathbb{N}$ einen größeren Index ${\mu }_1>{\mu }_0$ mit $\widehat{x^{({\mu }_0)}}=\widehat{x^{({\mu }_1)}}$ finden. Man erzeugt nun für die gegebene Cauchy-Folge in $\hat{M}$ eine duplikatfrei Teilfolge, d.h. zu jedem $k\in \mathbb{N}$ wählt man $\widehat{x^{({\mu }_{k+1})}}$ so, dass sich diese Folgenglied von allen Vorgängern unterscheidet. Die Folgenglieder der Teilfolge ${\left(\widehat{x^{({\mu }_k)}}\right)}_{k\in \mathbb{N}}$ sind dann paarweise verscheiden.

Voraussetzung für Repräsentanten im Beweis

Durch die obige Voraussetzung in Fall 2 ergibt sich, dass zwei aufeinanderfolgende Repräsentanten $x^{(\mu )}\nsim x^{(\mu +1)}$ in $M_C$ nicht zueinander äquivalent sind (d.h. $d_C(x^{(\mu )},x^{(\mu +1)})>0$). Wäre das nämlich nicht der Fall, dann bildet man die duplikatfreie Teilfolge, deren Nachweis der Konvergenz auch die Konvergenz der Ausgangsfolge nach sich zieht; oder die Folge wird stationär $\mathrm{\exists }\mu \in \mathbb{N}:\mathrm{\forall }\nu >\mu ⟹x^{(\nu )}\sim x^{(\mu )}$, dann ist

$\underset{\nu \in \mathbb{N}}{\lim }{x}^{(\nu )}\sim x^{(\mu )}\in \underset{\mu \in \mathbb{N}}{\lim }\widehat{x^{(\mu )}}.$

Übergang zu Repräsentanten der Äquivalenzklasse

Im Folgenden wird an Stelle der Äquivalenzklasse $\widehat{x^{(\mu )}}$ einer ihrer Repräsentanten $x^{(\mu )}:={\left(x_m^{(\mu )}\right)}_{m\in \mathbb{N}}\in \widehat{x^{(\mu )}}$ genommen. Das geht, weil sich die Äquivalenzklasse $\widehat{x^{(\mu )}}$ und dessen Repräsentant $x^{(\mu )}$ unter der Metrik $\hat{d}$ bzw. $d_C$ äquivalent verhalten.

Abstandsfolge von aufeinander folgenden Folgengliedern

Setzung: ${\epsilon }_{\mu }:=d_C(x^{(\mu )},x^{(\mu +1)})$ .

Weil ${\left(x^{(\mu )}\right)}_{\mu \in \mathbb{N}}$ eine Cauchy-Folge ist, ist ${\left({\epsilon }_{\mu }\right)}_{\mu \in \mathbb{N}}$ eine Nullfolge und es gilt ${\mathrm{\forall }}_{\mu \in \mathbb{N}}:{\epsilon }_{\mu }>0$.

Approximation 1 von Folgenglieder

Da jedes $x^{(\mu )}=:{\left(x_m^{(\mu )}\right)}_{m\in \mathbb{N}}$ selbst eine Cauchy-Folge mit Gliedern aus $M$ ist, kann zu jedem $x^{(\mu )}$ ein approximierendes $x_{m_{\mu }}^{(\mu )}\in M$ mit der folgenden Eigenschaft gewählt werden:

$d_C(\phi \left(x_{m_{\mu }}^{(\mu )}\right),x^{(\mu )}),x^{(\mu )})<{\epsilon }_{\mu }.$

Dabei bildet $\phi$ ein Folgenglied $x_{m_{\mu }}^{(\mu )}\in M$ auf die konstante Folge im Cauchy-Folgenraum $M_C$ ab.

Approximation 2 von Folgenglieder

Analog kann man zu jedem Folgenglied ${\hat{x}}^{(\nu )}\ni x^{(\nu )}=:{\left(x_n^{(\nu )}\right)}_{n\in \mathbb{N}}$ der gegebenen Cauchy-Folge $\hat{x}$ ein approximierendes $x_{n_{\nu }}^{(\nu )}\in M$ mit $d_C(\phi \left(x_{n_{\nu }}^{(\nu )}\right),x^{(\nu )})<{\epsilon }_{\nu }$. Analog bildet $\phi$ wieder ein Folgenglied $x_{n_{\nu }}^{(\nu )}\in M$ auf die konstante Folge im Cauchy-Folgenraum $M_C$ ab.

Approximation 3 für die gegebene Cauchyfolge

Da die gegebene Folge $\hat{x}:={\left({\hat{x}}^{(\mu )}\right)}_{\mu \in \mathbb{N}}$ in den Voraussetzungen eine Cauchy-Folge ist, gibt es zu jedem $\epsilon >0$ ein $N_1\in \mathbb{N}$, so dass

$\mathrm{\forall }\mu ,\nu \ge N_1:\hat{d}(\widehat{x^{(\mu )}},\widehat{x^{(\nu )}})=d_C(x^{(\mu )},x^{(\nu )})<\frac{\epsilon }{3}$.

Approximation 4 - Konstante Folge dicht im Cauchy-Folgenraum

Ferner gibt es ein $N_2\in \mathbb{N}$ und ein $N_3\in \mathbb{N}$, so dass folgende Aussagen gelten:

$\mathrm{\forall }\mu \ge N_2:{\epsilon }_{\mu }=d_C(\phi \left(x_{m_{\mu }}^{(\mu )}\right),x^{(\mu )})<\frac{\epsilon }{3}$

$\mathrm{\forall }\nu \ge N_3:{\epsilon }_{\nu }=d_C(\phi \left(x_{n_{\nu }}^{(\nu )}\right),x^{(\nu )})<\frac{\epsilon }{3}$

Maximum der Indexschranke wählen

Nun wählt man das Maximum der Indexschranken mit $N_0:=\max \{N_1,N_2,N_3\}$ und erhält für $\mu ,\nu \ge N_0$ die Abschäthzungen drei Distanzen gegen $<\frac{\epsilon }{3}$ mit:

• $d_C(\phi \left(x_{m_{\mu }}^{(\mu )}\right),x^{(\mu )})<\frac{\epsilon }{3}$,
• $d_C(\phi \left(x_{n_{\nu }}^{(\nu )}\right),x^{(\nu )})<\frac{\epsilon }{3}$ und
• $\hat{d}(\widehat{x^{(\mu )}},\widehat{x^{(\nu )}})=d_C(x^{(\mu )},x^{(\nu )})<\frac{\epsilon }{3}$

Abschätzung über Dreiecksungleichung

Mit zweimaliger Anwendung der Dreiecksungleichung auf die Pseudometrik $d_C$ erhält man:

$$\begin{array}{ccc}d(x_{m_{\mu }}^{(\mu )},x_{n_{\nu }}^{(\nu )})& =& d_C(\phi \left(x_{m_{\mu }}^{(\mu )}\right),\phi \left(x_{n_{\nu }}^{(\nu )}\right))\text{ mit }\mathrm{\Delta }\text{-Ungleichung}\\ & \le & d_C(\phi \left(x_{m_{\mu }}^{(\mu )}\right),x^{(\mu )})+d_C(x^{(\mu )},x^{(\nu )})\\ & & +d_C(x^{(\nu )},\phi \left(x_{n_{\nu }}^{(\nu )}\right))\\ & <& \frac{\epsilon }{3}+\frac{\epsilon }{3}+\frac{\epsilon }{3}=\epsilon \end{array}$$

Definition des Repräsentanten des Grenzwerts der Cauchy-Folge

Somit ist $x^{(0)}:={\left(x_{m_{\mu }}^{(\mu )}\right)}_{\mu \in \mathbb{N}}$ ist ein Cauchy-Folge in $M$ und damit ist $x^{(0)}\in M_C$. Die zugehörige Äquivalenzklasse sei $\widehat{x^{(0)}}:=\{(y_n{)}_n\in M_C\mid (y_n{)}_n\sim x^{(0)}\}\in \hat{M}$. Da genauso

${\mathrm{\forall }}_{\mu >N_0}:\hat{d}(\hat{y},{\hat{x}}^{(\mu )})<\frac{\epsilon }{3}$,

ergibt sich

$\widehat{x^{(0)}}=\underset{\mu \in \mathbb{N}}{\lim }\widehat{x^{(\mu )}}$ und damit ist $\widehat{x^{(0)}}\in \hat{M}$ der gesucht Grenzwert der Cauchy-Folge ${\left(\widehat{x^{(\mu )}}\right)}_{\mu \in \mathbb{N}}$ in $\hat{M}$. $◻$

Bemerkung: Definition des Grenzwertes

Im letzten Schritt des Beweises hätte man ebenfalls auch die Grenzwert-Cauchy-Folge als $x^{(0)}:={\left(x_{n_{\nu }}^{(\nu )}\right)}_{\nu \in \mathbb{N}}$ definieren können. Auch diese Cauchy-Folge wäre ein Repräsentant der gleichen Äquivalenzklasse gewesen.

Bemerkung: Begriffsbildung

Damit wird die aus dem Wort „vervollständigt“ resultierende Erwartung „vollständig“ tatsächlich eingelöst, und die Vervollständigung eines bereits vollständigen Raumes bringt nichts Neues.

Rationale Zahlen - reelle Zahlen Vervollständigung der rationalen

Cantors Konstruktion der reellen Zahlen aus den rationalen ist ein Spezialfall des Satzes zur Vervollständigung eines metrischen Raumes. In Analogie zu dem Satz würde man dazu zunächst einmal eine Metrik $d$ auf $\mathbb{Q}$ definiert:

$$\begin{array}{ccccccc}d:& \mathbb{Q}\times \mathbb{Q}& \to & {ℝ}_0^{+}& (x,y)& \mapsto & d(x,y)=|x-y|\end{array}$$

Allerdings sieht man an der Definition, dass die Metrik $d$ die Existenz der reellen Zahlen im Wertebereich schon voraussetzt. Daher muss man die Äquivalenzrelation auf dem Folgenraum in $\mathbb{Q}$ dadurch definieren, dass die Differenzfolge $(x_n-y_n{)}_{n\in \mathbb{N}}\in {\mathbb{Q}}^{\mathbb{N}}$ zweier Cauchy-Folgen $(x_n{)}_{n\in \mathbb{N}}$, $(y_n{)}_{n\in \mathbb{N}}$ eine Nullfolge ist.

Normierte Räume

Ist $M$ ein normierter Raum, so kann man seine Vervollständigung auch einfacher bilden, indem man

$\hat{M}:=\overline{\phi (M)}\subseteq M^{\prime \prime }$

als den Abschluss des Bildes von $M$ im Bidualraum $M^{\prime \prime }$ unter der kanonischen Einbettung $\phi :M\to M^{\prime \prime }$ wählt.

Banachräume

Vervollständigt man einen normierten Vektorraum, so erhält man einen Banachraum, der den ursprünglichen Raum als dichten Teilraum enthält. Daher erhält man auch einen Hilbertraum, wenn man einen euklidischen Vektorraum vervollständigt, denn die Parallelogrammgleichung bleibt in der Vervollständigung als normierter Raum erfüllt und das vollständige Skalarprodukt ergibt sich dann über die Polarisationsformel.

Gleichmäßige Stetigkeit

Gleichmäßig stetige Abbildungen eines metrischen Raumes $M$ in einen vollständigen metrischen Raum $X$ lassen sich stets eindeutig zu (automatisch ebenfalls gleichmäßig) stetigen Abbildungen auf der Vervollständigung $\hat{M}$ mit Werten in $X$ fortsetzen.

Topologische Vektorräume

Jeder topologische Vektorraum lässt sich vervollständigen.

Aufgabe für Lernende

• Betrachten Sie das Konzept der Gaugefunktionale und erläutern Sie, wie man mit einem topologieerzeugenden System von Gaugefunktionalen eine uniforme Struktur auf topologischen Vektorräumen erzeugen kann.
• Kann man eine topologische Algebra analog vervollständigen wie einen topologischen Vektorraum? Ist die Stetigkeit der Multiplikation auf der vervollständigten topologischen Algebra ebenfalls gegeben?
• Zeigen Sie, dass der Raum der stetigen Funktionen nicht vollständig ist (siehe Animation)!

Funktionenfolge von stetigen Funktionen

Die Grundidee der Beweisidee kann durch die folgende Animation zunächst veranschaulicht werden.

Siehe auch

• Topologischer Vektorraum
• Topologischer Algebra
• Topologische Invertierbarkeitskriterien in vollständigen Räumen

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Topologische Invertierbarkeitskriterien' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Vollst%C3%A4ndigkeit
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Vollständiger Raum https://de.wikipedia.org/wiki/Vollst%C3%A4ndiger%20Raum
• Datum: 15.5.2021 - Versionsgeschichte Wikipedia
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity

Topologische Vektorräume

Jeder topologische Vektorraum lässt sich vervollständigen.

Aufgabe für Lernende

• Betrachten Sie das Konzept der Gaugefunktionale und erläutern Sie, wie man mit einem topologieerzeugenden System von Gaugefunktionalen eine uniforme Struktur auf topologischen Vektorräumen erzeugen kann.
• Kann man eine topologische Algebra analog vervollständigen wie einen topologischen Vektorraum? Ist die Stetigkeit der Multiplikation auf der vervollständigten topologischen Algebra ebenfalls gegeben?

Siehe auch

• Topologischer Vektorraum
• Topologischer Algebra
• uniformer Raum

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Topologische Invertierbarkeitskriterien' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Vollst%C3%A4ndigkeit
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Vollständiger Raum https://de.wikipedia.org/wiki/Vollst%C3%A4ndiger%20Raum
• Datum: 15.5.2021 - Versionsgeschichte Wikipedia
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity