Topologie metrischer Räume

Die Topologie eines metrischen Raums \( (X, d) \) entsteht aus einer einfachen Idee. Man betrachtet alle offenen Kugeln, die sich mithilfe der Metrik \( d \) definieren lassen, und verwendet sie als Bausteine. Aus ihnen wird die gesamte Topologie aufgebaut. Deshalb spricht man auch von der durch die Metrik \( d \) induzierten Topologie.

In einem metrischen Raum \( (X, d) \) misst die Funktion \( d \) den Abstand zwischen Punkten. Auf dieser Grundlage lassen sich offene Mengen beschreiben, die sich aus sogenannten offenen Kugeln zusammensetzen.

Eine offene Kugel mit Zentrum \( x \in X \) und Radius \( \varepsilon > 0 \) ist die Menge aller Punkte \( y \in X \), deren Abstand zu \( x \) strikt kleiner als \( \varepsilon \) ist:

$$ B_d(x, \varepsilon) = \{y \in X \mid d(x, y) < \varepsilon\}. $$

Eine Menge ist genau dann offen, wenn sie sich als Vereinigung, auch unendlich vieler, solcher Kugeln darstellen lässt.

Anschaulich bedeutet das: Eine Teilmenge \( U \subset X \) ist offen, wenn man um jeden Punkt \( y \in U \) eine kleine Kugel legen kann, die vollständig in \( U \) bleibt.

Ein konkretes Beispiel

Ein besonders anschauliches Beispiel ist die reelle Gerade \(\mathbb{R}\), versehen mit der Standardmetrik.

Hier umfasst \(\mathbb{R}\) alle reellen Zahlen, und der Abstand zweier Punkte wird gemessen durch:

$$ d(x, y) = |x - y| $$

Der Ausdruck \(|x - y|\) bezeichnet den Absolutwert der Differenz zwischen \(x\) und \(y\).

Mit dieser Metrik lassen sich offene Kugeln sehr leicht verstehen.

Betrachten wir den Punkt \(x = 3\) und den Radius \(\varepsilon = 1\).

Die zugehörige offene Kugel ist:

$$ B_d(3, 1) = \{y \in \mathbb{R} \mid |3 - y| < 1\} $$

Diese Ungleichung lässt sich direkt lösen. Man erhält:

\(2 < y < 4\)

Damit folgt:

$$ B_d(3, 1) = (2, 4) $$

Die offene Kugel entspricht also genau dem offenen Intervall \((2, 4)\).

Allgemein lassen sich alle offenen Intervalle \((a, b)\) in \(\mathbb{R}\) als offene Kugeln oder als Vereinigungen solcher Kugeln auffassen.

Diese Intervalle bilden die Grundlage, also eine Basis, der durch \( d \) induzierten Topologie auf \(\mathbb{R}\).

Bemerkung. Eine Menge wie \((0, 5)\) ist offen, weil man um jeden ihrer Punkte ein kleines Intervall legen kann, das ganz innerhalb der Menge bleibt.

Die Metrik \(d(x, y) = |x - y|\) erzeugt somit genau die bekannte Topologie der offenen Intervalle auf \(\mathbb{R}\).

Offene Mengen verstehen

In einem metrischen Raum \( (X, d) \) heißt eine Teilmenge \( U \subset X \) offen, wenn für jeden Punkt \( y \in U \) ein Radius \(\delta > 0\) existiert, sodass die offene Kugel \( B_d(y, \delta) \) vollständig in \( U \) enthalten ist.

Das bedeutet: Jeder Punkt besitzt eine Umgebung, die ganz in der Menge liegt. In \(\mathbb{R}\) ist diese Umgebung ein Intervall, in \(\mathbb{R}^2\) eine Kreisscheibe und in höheren Dimensionen eine Kugel.

Gerade diese Eigenschaft macht den Unterschied. Punkte offener Mengen liegen immer „im Inneren“ und nicht am Rand.

Das folgende Bild zeigt ein Beispiel für eine offene Menge im Raum \( \mathbb{R}^2 \).

 

Im Gegensatz dazu stehen abgeschlossene Mengen. Sie enthalten nicht nur ihre inneren Punkte, sondern auch alle Randpunkte.

Diese Unterscheidung ist grundlegend, um topologische Eigenschaften zu verstehen.

Verschiedene Metriken

Der Begriff der Distanz ist nicht eindeutig festgelegt. Unterschiedliche Metriken führen zu unterschiedlichen geometrischen Bildern, aber oft zur gleichen Topologie.

Auf der Ebene \( \mathbb{R}^2 \) sind besonders drei Metriken verbreitet:

• Euklidische Metrik
  Die vertraute Distanz aus der Geometrie. Offene Kugeln sind Kreisscheiben. $$ d(p, q) = \sqrt{(p_1 - q_1)^2 + (p_2 - q_2)^2} $$
  
• Taximetrik (Manhattan-Metrik)
  Hier misst man Wege entlang von Achsen. Offene Kugeln sind rautenförmig. $$ d_T(p, q) = |p_1 - q_1| + |p_2 - q_2|. $$
  
• Maximum-Metrik
  Der Abstand wird durch die größte Koordinatendifferenz bestimmt. Offene Kugeln sind Quadrate. $$ d_M(p, q) = \max\{|p_1 - q_1|, |p_2 - q_2|\} $$
   

Obwohl diese Metriken zu unterschiedlich geformten offenen Kugeln führen, erzeugen sie alle dieselbe Topologie auf \( \mathbb{R}^2 \).

Weitere Hinweise

Zum Abschluss noch zwei wichtige Beobachtungen:

• Vergleich metrischer Topologien

  Sind \(d\) und \(d'\) zwei Metriken auf derselben Menge \(X\), so heißt die von \(d'\) induzierte Topologie feiner als die von \(d\) induzierte, wenn für jedes \(x \in X\) und jedes \(\varepsilon > 0\) ein \(\delta > 0\) existiert mit $$ B_{d'}(x, \delta) \subseteq B_d(x, \varepsilon). $$

  Das bedeutet: Die offenen Mengen von \(d'\) sind lokal „feiner“ aufgelöst als diejenigen von \(d\).
• Beschränkte Metrik
  In jedem metrischen Raum kann man eine neue Metrik definieren durch \( d'(x, y) = \min(d(x, y), \varepsilon) \). Diese erzeugt dieselbe Topologie wie \( d \).