Metrisierbarkeitssatz von Urysohn

Der Metrisierbarkeitssatz von Urysohn – oder auch Metrisationssatz von Urysohn () – ist ein klassischer mathematischer Lehrsatz auf dem Gebiet der Topologie, welcher auf den russischen Mathematiker Paul Urysohn zurückgeht. Der Satz behandelt die Frage der Metrisierbarkeit topologischer Räume im Zusammenhang mit Abzählbarkeitsbedingungen.<ref name="HS-I">Horst Schubert: Topologie. 1975, S. 97</ref><ref name="SW-I">Stephen Willard: General Topology. 1970, S. 166</ref> Dem Mathematiker Lutz Führer zufolge ist der Metrisierbarkeitssatz eines der berühmtesten Ergebnisse von P. Urysohn.<ref name="LF-I">Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 132.</ref>

Formulierung des Satzes

Der Satz lässt sich zusammengefasst angeben wie folgt:<ref name="HS-I" /><ref name="SW-I" /><ref name="LF-I" />

Für einen Hausdorff-Raum, welcher dem Zweiten Abzählbarkeitsaxiom genügt, sind Regularität, vollständige Regularität, Normalität und Metrisierbarkeit gleichwertige Eigenschaften.

Es gilt sogar:

Für einen T1-Raum <math>X</math> sind die folgenden Bedingungen gleichwertig:

(1) <math>X</math> ist ein regulärer Raum und genügt dem Zweiten Abzählbarkeitsaxiom.

(2) <math>X</math> ist ein separabler und metrisierbarer Raum.

(3) <math>X</math> lässt sich einbetten in den Hilbertwürfel <math>I^{\aleph_0}</math>.

Korollare

Aus dem Metrisierbarkeitssatz von Urysohn ergeben sich drei unmittelbare Folgerungen:

(1) Ein kompakter Hausdorff-Raum ist genau dann metrisierbar, wenn er dem Zweiten Abzählbarkeitsaxiom genügt.<ref name="LF-I" />

(2) Ein lokalkompakter Hausdorff-Raum, der dem Zweiten Abzählbarkeitsaxiom genügt, ist ein σ-kompakter Raum und als solcher – ebenso wie seine Einpunkt-Kompaktifizierung – metrisierbar.<ref name="LF-I" /><ref>Dieses Resultat geht laut Lutz Führer auf Paul Alexandroff zurück.</ref>

(3) Das stetige Bild eines kompakten metrischen Raums in einem Hausdorff-Raum ist stets ein metrisierbarer Raum.<ref name="SW-I" />

Siehe auch

• Satz von Bing-Nagata-Smirnow

Literatur

• Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg Verlag, Braunschweig 1977, ISBN 3-528-03059-3. 
• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6.  MR0423277
• Paul Urysohn: Zum Metrisationsproblem. In: Mathematische Annalen. Band 94, 1925, S. 309–315 ([1]). 
• Stephen Willard: General Topology (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading, Massachusetts (u. a.) 1970.  MR0264581

Einzelnachweise

<references />