Ein Raum ist eine Menge von mathematischen Objekten zusammen mit einer Struktur. Topologische Räume sind Räume, in denen es einen Nachbarschaftsbegriff gibt und wo man von stetigen Abbildungen sprechen kann, die benachbarte Elemente wieder auf benachbarte Elemente abbilden. Man spricht von Eigenschaften oder Parametern als topologische Invariante, wenn sie unter solchen Abbildungen erhalten bleiben. Eine solche Invariante ist zum Beispiel die Dimension des Raumes, was für die Analysis wichtig ist.

Andere interessante Räume ergeben sich dann, wenn eine Topologie mit einer anderen Struktur verträglich ist: zum Beispiel topologische Gruppen, topologische Vektorräume und darauf aufbauend normierte und metrische Räume (Vektorräume, in denen eine Norm oder Metrik eine zusätzliche Struktur vorgeben).

Topologische Räume

Die mengentheoretische Topologie ist die Theorie von offenen und abgeschlossenen Mengen.

Eine Topologie auf einer Menge \(X\) ist definiert als System \(T\) von Teilmengen von \(X\) mit folgenden Eigenschaften:

• \(\emptyset\) und \(X\) sind in \(T\) .
• Der Schnitt zweier Mengen in \(T\) ist auch wieder in \(T\) .
• Die Vereinigung beliebig vieler Mengen in \(T\) ist auch wieder in \(T\) .

\((X,T)\) ist dann ein topologischer Raum.

Man nennt die Mengen \(U\subseteq T\) offen, d.h. \(T\) umfasst alle offenen Mengen, sowie deren Durchschnitt und Vereinigung (wieder offene Mengen). Eine Menge \(U\) ist abgeschlossen, wenn \(X\backslash U\) offen ist. So sind z.B. \(\emptyset\) und \(X\) beide nicht nur offen, sondern auch abgeschlossen. Für die Definition eines topologischen Raumes ist es tatsächlich gleich, ob man \(T\) als die offenen oder abgeschlossenen Mengen definiert.

Beispiele:

• Triviale Topologie: \(T=\{\emptyset,X\}\)
• Diskrete Topologie: \(T\) ist die Potenzmenge von \(X\) , d.h. alle Teilmengen von \(X\) sind offen.
• Die Menge \(\mathbb{R}\) der reellen Zahlen, wobei die offenen Mengen genau die \(U\subseteq\mathbb{R}\) sind, die sich als Vereinigung von offenen Intervallen darstellen lassen.

Grundbegriffe

Eine Menge \(U\) heißt Umgebung von \(x\in X\) , wenn es eine offene Menge \(V\subset U\) gibt mit \(x\in V\) , d.h. wenn es eine offene Teilmenge von \(U\) gibt, in der \(x\) liegt.

Ein Punkt \(x\) ist für eine Menge \(M\)

• ein Häufungspunkt, wenn in jeder Umgebung von \(x\) unendlich viele Elemente der Menge liegen
• ein innerer Punkt, wenn \(M\) eine Umgebung von \(x\) ist
• ein äußerer Punkt, wenn \(X\backslash M\) eine Umgebung von \(x\) ist
• ein Randpunkt, wenn weder \(M\) noch \(X\backslash M\) eine Umgebung von \(x\) ist

Die Menge \(\mathring{M}\) aller inneren Punkte von \(M\) heißt das Innere oder der offene Kern.

Die Menge \(\overline{M}\) aller Punkte, die nicht äußere Punkte von \(M\) sind, heißt die abgeschlossene Hülle.

Kompaktheit

Ein topologischer Raum \((X,T)\) heißt kompakt, wenn jede offene Überdeckung

\(X=\bigcup_{i\in I} U_i\) mit \(U_i\in T\)

eine endliche Teilüberdeckung

\(X=\bigcup_{j\in J} U_j\) mit \(U_j\in T\) und \(J\subseteq I\) endlich

enthält.

Kompakte Räume kann man verstehen als eine Verallgemeinerung endlicher Räume. Zum Beispiel kann man mithilfe der Kompatkheit den Schritt von unendlich vielen Umgebungen zu endlich vielen machen und Beweise dann sehr ähnlich führen wie im endlichen Fall.

Eine Teilmenge \(M\) eines topologischen Raumes ist:

• überdeckunsgkompakt, wenn es zu jeder offenen Überdeckung \(M\subseteq \bigcup_{i\in I} U_i\) eine endliche Teilüberdeckung \(M\subseteq\bigcup_{j\in J} U_j\) gibt;
• folgenkompakt, wenn jede Folge in der Menge eine konvergente Teilfolge besitzt, deren Grenzwert zur Menge gehört (anders ausgedrückt: wenn jede Folge Häufungspunkte hat, die zur Menge gehören).

In beliebigen topologischen Räumen sind beide Arten von Kompaktheit nicht unbedingt gleich.

Wenn ein metrischer Raum kompakt ist, dann ist er abgeschlossen und beschränkt. Für Teilmengen von \(\mathbb{R}^n\) gilt auch die Umkehrung (Satz von Heine-Borel). So sind zum Beispiele alle abgeschlossenen Intervalle in \(\mathbb{R}\) (wie \([0,1]\) ) kompakt, während offene und halboffene Intervalle nicht kompakt sind. \(\mathbb{R}^n\) selber ist nicht kompakt. \(\mathbb{N}\) ist auch nicht kompakt.

Kompaktheit einer Menge bedeutet auch, dass sie keine Folgen enthalten darf, die entweder keinen Grenzwert haben oder gegen einen Grenzwert konvergieren, der nicht in der Menge liegt.

Trennungseigenschaften

Hausdorffsches Trennungsaxiom: Ein topologischer Raum heißt Hausdorff-Raum, wenn man zu je zwei verschiedenen Punkten disjunkte Umgebungen finden kann.

Beispiele für Nicht-Hausdorff-Räume:

• Eine Menge \(X\) mit mehr als einem Element und der trivialen Topologie.

In einem Hausdorff-Raum kann eine Folge höchstens einen Grenzwert haben. In einem trivialen topologischen Raum konvergiert jede Folge gegen jeden Punkt.

Normierte und metrische Räume

Begriffe wie der der Umgebung, des Grenzwerts und der Konvergenz benutzen das Konzept des Abstandes. Konvergenz, zum Beispiel, kann man über die \(\varepsilon\) -Umgebung von \(x\) definieren (so dass jedes Folgenglied ab einem bestimmten \(n\) einen Abstand zu \(x\) hat, der kleiner als \(\varepsilon\) ist) oder direkt über den Abstand \(d\) zweier reeller Zahlen:

Eine reelle Folge \((x_n)\) konvergiert gegen \(x\) gdw \(\text{lim}_{n\to\infty} d(x_n,x)=0\) .

Will man diese Begriffe verallgemeinern für andere mathematische Objekte, wie Folgen von Vektoren, komplexe Zahlen und Funktionen, müsste man sie spezifisch für jedes dieser Objekte neu definieren. Viel effizienter ist es, eine allgemeine Klasse von Räumen zu definieren, zusammen mit einem allgemeinen Konzept für Abstand zwischen Objekten in diese Räumen und darauf aufbauend allgemeine Begriffe wie den der Konvergenz.

Metrische Räume sind Räume, auf denen ein Abstandsbegriff definiert ist. Eine Metrik ist eine Abbildung \(d\) zweier Vektoren auf eine reelle Zahl, die den Abstand zwischen diesen Vektoren ausdrückt, also die folgenden Eigenschaften erfüllt:

• \(d(x,y)\geq 0\) (Positive Definitheit)
• \(d(x,y)=d(y,x)\) (Symmetrie)
• \(d(x,y)\leq d(x,z) + d(z,y)\) (Dreiecksungleichung)

Normierte Räume sind Vektorräume, auf denen eine Norm definiert ist, die die Länge bzw. Größe eines Vektors ausdrückt. Eine Norm \(\|x\|\) ist eine Abbildung eines Vektors \(x\) auf eine reelle Zahl (die Länge bzw. Größe des Vektors), die die folgenden Eigenschaften erfüllt:

• \(\|x\|\geq 0\) und \(\|x\| = 0\) gdw \(x = 0\) (Definitheit, es reicht zu zeigen: \(\|x\| = 0\Rightarrow x = 0\) )
• \(\|\alpha x\| = |\alpha| \|x\|\) für alle \(\alpha\in\mathbb{R}\) (Homogenität)
• \(\|x+y\| \leq \|x\| + \|y\|\) (Dreiecksungleichung)

Eine Norm setzt eine lineare Struktur voraus, ist also nur für Vektorräume definiert. Beispiele:

• \(\mathbb{R}^1\) mit dem Betrag \(|\cdot|\)

• \(\mathbb{R}^n\) mit der p-Norm \(\|x\|_p := \left(\sum_{k=1}^n |x_k|^p\right)^{\frac{1}{p}}\)

  Spezialfälle:

  • \(\|\cdot\|_1\) Summennorm
  • \(\|\cdot\|_2\) euklidische Norm
  • \(\|x\|_\infty := \text{max}\,\{|x_k|\,\mid\,1\leq k\leq n\}\) Maximumnorm

• Vektorraum aller beschränkten Funktionen \(f:M\to Y\) mit der Supremumsnorm \(\|f\|_\infty := \sup_{x\in M}\|f(x)\|_Y\)

Eine Norm kann vom Skalarprodukt \(\langle\cdot,\cdot\rangle\) abgeleitet werden: $$\|x\| = \sqrt{\langle x,x\rangle}$$ Und jede Norm induziert eine Metrik (aber nicht zwangsläufig umgekehrt), nämlich: $$d(x,y) = \|x-y\|$$ D.h. der Abstand zweier Vektoren wird definiert als die Länge des Differenzvektors. Jeder normierte Raum ist also auch ein metrischer Raum. Aber nicht zwangsläufig umgekehrt: Ein metrischer Raum ist nicht unbedingt ein Vektorraum, denn eine Metrik muss die lineare Struktur eines Raumes nicht respektieren.

Beispiele für Metriken, die von keiner Norm induziert werden:

• Diskrete Metrik \(d(x,y) := \begin{cases} 0 & \text{wenn }x=y \\ 1 & \text{sonst}\end{cases}\)
• Französische Eisenbahnmetrik (wo die Abstandsmessung immer durch einen zentralen Punkt \(P\) gehen muss) $$d(x,y) := \begin{cases} \|x-y\| & \text{wenn }x,y\text{ auf einer Geraden durch }P\text{ liegen} \\ \|x-P\| + \|P-y\| & \text{sonst}\end{cases}$$
• p-adische Metrik auf \(\mathbb{Z}\)

Alle Normen über einem endlich-dimensionalen Vektorraum \(\mathbb{R}^n\) sind bis auf eine Konstante (d.h. bis auf Streckung oder Stauchung) äquivalent, d.h. es gibt \(c_1,c_2\) , so dass \(\|x\|_a \leq c_1\|x\|_b\) und \(\|x\|_b\leq c_2 \|x\|_a\) . Sie induzieren also die gleiche Topologie. So kann man z.B. bestimmte Eigenschaften auf der Maximumsnorm zeigen, wo sie einfacher zu beweisen sind, und dann auf äquivalente Normen übertragen.

Ein normierter Raum ist genau dann vollständig, wenn jede Cauchy-Folge konvergiert. Vollständige Räume umfassen immer geschlossene Mengen, es gibt also keine Lücken im Raum. Ein vollständiger normierter Raum heißt Banachraum. Zum Beispiel ist jeder endlich-dimensionale Raum über \(\mathbb{R}\) (also \(\mathbb{R}^n\) ) mit einer beliebigen Norm vollständig.

Metrische und normierte Räume als topologische Räume

In einem metrischen Raum \((M,d)\) lässt sich eine \(\varepsilon\) -Umgebung \(U_\varepsilon\) von \(x_0\) definieren als \(\{ x\in M \,|\, d(x,x_0) < \varepsilon \}\) . Eine Menge \(U\) heißt Umgebung von \(x_0\) , wenn es ein \(\varepsilon\) gibt, so dass \(U_\varepsilon(x_0)\subseteq U\) .

Ein Punkt \(x\) ist Häufungspunkt einer Menge, wenn in jeder \(\varepsilon\) -Umgebung \(U_\varepsilon(x)\) mindestens ein von \(x\) verschiedenes Element liegt. (Es liegen dann sogar unendlich viele Elemente der Menge in jeder \(\varepsilon\) -Umgebung.) Zum Beispiel ist jede rationale Zahl Häufungspunkt der irrationalen Zahlen und umgekehrt.

Auf normierte Räume übertragen sich diese Definitionen, indem man die durch die Norm induzierte Metrik betrachtet.

• Eine Menge \(M\) ist offen bzgl. einer Norm, wenn \(M\) Umgebung von jedem \(x\in M\) ist, d.h. wenn es zu jedem \(x\in M\) eine \(\varepsilon\) -Umgebung von \(x\) gibt, die ganz in \(M\) liegt. Eine Menge ist also genau dann offen, wenn sie nur aus inneren Punkten besteht, d.h. keinen ihrer Randpunkte enthält.

• Eine Menge ist geschlossen bzgl. einer Norm, wenn es für jeden Punkt außerhalb der Menge eine \(\varepsilon\) -Umgebung gibt, die auch außerhalb liegt. Das heißt eine Menge ist genau dann geschlossen, wenn sie alle ihre Häufungspunkte enthält.

Eine Teilmenge von \(\mathbb{R}^n\) ist offen oder geschlossen unabhängig davon, welche Norm betrachtet wird.

Faustregeln:

• Offene Intervalle in \(\mathbb{R}\) sind offen, abgeschlossene Intervalle sind abgeschlossen.

  Die Grundmenge ist hierbei wichtig. Zum Beispiel ist \([0,1)\) nicht offen in \(\mathbb{R}\) , aber offen in \([0,\infty)\) . Analog ist \([0,1)\) nicht abgeschlossen in \(\mathbb{R}\) , aber abgeschlossen in \((-1,1)\) .

• Mengen, die mit strikten Ungleichungen zwischen stetigen Funktionen definiert sind, sind offen (z.B. \(\{(x,y)\in\mathbb{R}^2 \,|\, x<y^2\}\) ).

• Mengen, die mit \(=,\leq,\geq\) zwischen stetigen Funktionen definiert sind, sind abgeschlossen (z.B. \(\{(x,y)\in\mathbb{R}^2 \,|\, x\leq y^2\}\) ).

Das System der offenen Mengen eines metrischen Raumes bildet eine Topologie. Ein metrischer Raum mit dem System der offenen Mengen ist außerdem ein Hausdorff-Raum.

Für jede Metrik \(d\) ist auch \(d'(x,y):=\frac{d(x,y)}{1+d{x,y}}\) eine Metrik und die erzeugte Topologie ist die gleiche.

Folgen und Reihen

Eine Folge ist eine Abbildung mit \(\mathbb{N}\) als Wertebereich. Eine reelle Folge z.B. ist eine Abbildung \(f:\mathbb{N}\to\mathbb{R}\) . (Eine Folge hat also immer unendlich viele Elemente.)

Konvergenz von Folgen von Punkten in einem Raum

Konvergenz lässt sich über Umgebungen und Abstände definieren, die Idee ist jeweils die gleiche.

Konvergenz im topologischen Raum: Eine Folge \((x^n)\) konvergiert gegen \(x\) genau dann, wenn für jede Umgebung von \(x\) gilt, dass es ein \(n_0\in\mathbb{N}\) gibt, so dass für alle \(n\geq n_0\) gilt, dass \(x_n\) in dieser Umgebung liegt (dass also ab einem bestimmten Element alle Folgenglieder in der Umgebung liegen).

Konvergenz im metrischen Raum: Eine Folge \((x^n)\) konvergiert gegen \(x\) genau dann, wenn es für jedes \(\varepsilon > 0\) ein \(n_0\in\mathbb{N}\) gibt, so dass für alle \(n\geq n_0\) gilt, dass \(d(x_n,x)<\varepsilon\) .

Konvergente Folgen sind immer Cauchy-Folgen, d.h. für jedes \(\varepsilon > 0\) gibt es ein \(n_0\in\mathbb{N}\) , so dass für alle \(m,n\geq n_0\) gilt, dass \(d(x_n,x_m)<\varepsilon\) (der Abstand zwischen zwei Folgengliedern wird also beliebig klein). Die Umkehrung gilt nicht immer. Ein Raum heißt vollständig, wenn jede Cauchy-Folge konvergiert.

Der Grenzwert einer Folge ist immer auch Häufungspunkt. In einem metrischen Raum kann eine Folge mehrere Häufungspunkte haben, aber nur einen Grenzwert (Hausdorff).

Konvergenz von Folgen von Funktionen zwischen Räumen

• punktweise Konvergenz
• gleichmäßige Konvergenz
• andere Konvergenzen (z.B. \(L^1\) - und \(L^2\) -Konvergenz)

Literatur

• Wolfgang Beekmann: Skript Analysis (1144), FernUniversität Hagen.
• Klaus Jänisch: Topologie.