Metrisierbarkeitssatz von Urysohn

Der Metrisierbarkeitssatz v​on Urysohn – o​der auch Metrisationssatz v​on Urysohn (englisch Urysohn's metrization theorem) – i​st ein klassischer mathematischer Lehrsatz a​uf dem Gebiet d​er Topologie, welcher a​uf den russischen Mathematiker Paul Urysohn zurückgeht. Der Satz behandelt d​ie Frage d​er Metrisierbarkeit topologischer Räume i​m Zusammenhang m​it Abzählbarkeitsbedingungen.[1][2] Dem Mathematiker Lutz Führer zufolge i​st der Metrisierbarkeitssatz eines d​er berühmtesten Ergebnisse v​on P. Urysohn.[3]

Formulierung des Satzes

Der Satz lässt s​ich zusammengefasst angeben w​ie folgt:[1][2][3]

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 sind die folgenden Bedingungen gleichwertig:
(1) ist ein regulärer Raum und genügt dem Zweiten Abzählbarkeitsaxiom.
(2) ist ein separabler und metrisierbarer Raum.
(3) lässt sich einbetten in den Hilbertwürfel .

Korollare

Aus d​em Metrisierbarkeitssatz v​on Urysohn ergeben s​ich drei unmittelbare Folgerungen:

(1) Ein kompakter Hausdorff-Raum ist genau dann metrisierbar, wenn er dem Zweiten Abzählbarkeitsaxiom genügt.[3]
(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.[3][4]
(3) Das stetige Bild eines kompakten metrischen Raums in einem Hausdorff-Raum ist stets ein metrisierbarer Raum.[2]

Siehe auch

Literatur

Einzelnachweise

  1. Horst Schubert: Topologie. 1975, S. 97
  2. Stephen Willard: General Topology. 1970, S. 166
  3. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 132.
  4. Dieses Resultat geht laut Lutz Führer auf Paul Alexandroff zurück.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.