Urysohnscher Metrisierbarkeitssatz

Ein topologischer Raum heißt metrisierbar, wenn er regulär ist und eine abzählbare Basis besitzt.

Wann lässt sich ein topologischer Raum durch Abstände beschreiben? Genau diese Frage beantwortet der Satz von Urysohn.

Die Aussage ist überraschend klar: Wenn ein regulärer topologischer Raum über eine abzählbare Familie offener Mengen verfügt, dann existiert eine Metrik, also eine Abstandsfunktion, die exakt dieselbe Topologie erzeugt. Der Raum kann also gemessen werden, ohne dass sich seine Struktur ändert.

• Regulär bedeutet: Für jeden Punkt und jede abgeschlossene Menge, die diesen Punkt nicht enthält, lassen sich disjunkte offene Mengen finden, die beide voneinander trennen. Ein Punkt kann also immer sauber von einer abgeschlossenen Menge getrennt werden.
• Eine abzählbare Basis ist eine abzählbare Familie offener Mengen, aus der sich alle offenen Mengen der Topologie zusammensetzen lassen. Man kann sie sich als grundlegende Bausteine des Raums vorstellen.

Sind diese beiden Bedingungen erfüllt, dann existiert eine Metrik, die genau diese Topologie induziert.

Wichtig: Die Umkehrung gilt nicht. Ein metrisierbarer Raum muss nicht unbedingt regulär sein und besitzt auch nicht zwingend eine abzählbare Basis. Der Satz liefert nur hinreichende Bedingungen für die Existenz einer Metrik.

Warum ist dieser Satz so wichtig?

Der Urysohnsche Metrisierbarkeitssatz verbindet zwei Perspektiven: die abstrakte Topologie und die anschauliche Geometrie.

In der Topologie arbeitet man oft ohne Abstand. Es genügt zu wissen, welche Mengen offen sind. Trotzdem stellt sich eine zentrale Frage: Wann lässt sich ein solcher Raum wie ein geometrischer Raum behandeln?

Die Antwort lautet: genau dann, wenn die beiden Bedingungen des Satzes erfüllt sind. In diesem Fall lässt sich eine Metrik konstruieren, die dieselbe Struktur beschreibt.

Das bedeutet: Topologische und metrische Beschreibung fallen zusammen. Begriffe wie Abstand, Stetigkeit oder Konvergenz erhalten ihre gewohnte Bedeutung.

Warum ist das relevant? Weil viele wichtige Räume der Mathematik genau diese Eigenschaft besitzen. Dazu gehören die reelle Gerade, die Ebene und allgemein alle euklidischen Räume. Der Satz erklärt, warum man sie sowohl topologisch als auch metrisch untersuchen kann.

Ein konkretes Beispiel

Betrachten wir die reelle Gerade ℝ mit ihrer Standardtopologie, die durch offene Intervalle definiert ist. Sie erfüllt die Bedingungen des Satzes:

• ℝ ist regulär;
• ℝ besitzt eine abzählbare Basis, zum Beispiel alle Intervalle mit rationalen Randpunkten.

Damit ist ℝ metrisierbar. Die übliche Metrik $ d(x, y) = |x - y| $ erzeugt genau diese Topologie.

Bemerkung. In der Standardtopologie auf ℝ sind offene Mengen Vereinigungen von Intervallen der Form (a, b).
Ein Punkt $ x $ gehört zu einer offenen Menge $ A $, wenn ein Intervall $ (x - \varepsilon, x + \varepsilon) $ vollständig in $ A $ enthalten ist. Diese Struktur ergibt sich direkt aus der euklidischen Metrik $ |x - y| $ und ist die Grundlage der Analysis. Begriffe wie Grenzwert, Stetigkeit und Konvergenz behalten hier ihre gewohnte geometrische Bedeutung.
 

Beispiel 2: die diskrete Topologie.

Betrachten wir nun ℝ mit der diskreten Topologie. Auch dieser Raum ist metrisierbar, und zwar durch die diskrete Metrik:

$$ d(x, y) =
\begin{cases}
0, & \text{falls } x = y \\ \\
1, & \text{falls } x \ne y.
\end{cases}
$$

Hier zeigt sich jedoch eine wichtige Einschränkung: Der Raum besitzt keine abzählbare Basis, da jede Einpunktmenge offen ist und ℝ überabzählbar ist.

Das macht deutlich, dass der Satz nur in eine Richtung gilt. Metrisierbarkeit allein garantiert keine abzählbare Basis.

Bemerkung. Die diskrete Topologie ist die feinste mögliche Topologie. Jede Teilmenge ist sowohl offen als auch abgeschlossen. Insbesondere ist jeder einzelne Punkt eine offene Menge: $$ {x} \text{ ist offen für jedes } x \in \mathbb{R}. $$ In einer solchen Struktur gibt es keine Verbindung zwischen den Punkten, jeder Punkt steht vollständig für sich. Gerade deshalb kann eine solche Topologie bei überabzählbaren Mengen wie ℝ nicht durch eine abzählbare Basis beschrieben werden.
Und so weiter.