## [Urysohns Metrisierungsatz](/de/node/62210) Definition Ein hinreichendes Kriterium dafür, dass ein topologischer Raum eine kompatible Metrik besitzt: Ein zweitzählbarer, regulärer Hausdorff-Raum (äquivalent regulär T1 mit einer abzählbaren Basis) ist metrisierbar — es existiert eine Metrik, die die gegebene Topologie induziert. ## Prinzip Prinzip Eine abzählbare Basis erlaubt die Indizierung und Kombination lokaler Trennungsdaten zu einer einzigen Metrik; Regulärität (Trennung von Punkten und abgeschlossenen Mengen durch Umgebungen) sichert die notwendige lokale Kontrolle, damit die konstruierte Distanz mit der Topologie übereinstimmt. ## Demonstration Demonstration Jede endlichdimensionale Mannigfaltigkeit oder R^n ist zweitzählbar und regulär Hausdorff, daher garantiert der Satz eine mit der Standardtopologie verträgliche Metrik; konstruktiv kann man eine Metrik aus gewichteten Urysohn-artigen Funktionen zur abzählbaren Basis bilden. ## Fehlanwendung Fehlanwendung Zu glauben, Metrisierbarkeit folge aus schwächeren Voraussetzungen wie der ersten Zählbarkeit allein, oder den Satz auf Räume ohne abzählbare Basis oder ohne Regulärität anzuwenden; die Verwechselung von Zweitzählbarkeit und Separabilität ist häufige Fehlannahme. ## Konsequenz Konsequenz Ermöglicht das Übertragen metrischer Resultate (Folgen, Vollständigkeit, Baire-Kategorie) in die topologische Ebene und vereinfacht die Analyse durch zugängliche distanzbasierte Konstruktionen und Invarianten. ## Umkehrung Umkehrung Die Umkehrung gilt allgemein nicht: Metrisierbare Räume müssen nicht in allen Kontexten zweitzählbar sein, und Metrisierbarkeit lässt sich auch durch andere Kriterien (Nagata–Smirnov, Bing) mit anderen Hypothesen charakterisieren. ## Abgrenzung Abgrenzung Gibt hinreichende, aber nicht notwendige Bedingungen an; setzt eine abzählbare Basis und Regulärität/Hausdorff-Eigenschaften voraus und deckt nicht alle möglichen Metrisierbarkeitskriterien oder pathologische Beispiele ab. ## Semantische Spannung Semantische Spannung Steht im Wettbewerb mit anderen Metrisierungsätzen (Nagata–Smirnov, Bing), die andere Hypothesen (z. B. Parakompaktheit, Entwicklung) verwenden — die Wahl des passenden Kriteriums hängt von den verfügbaren strukturellen Voraussetzungen ab. ## Synthese Synthese Urysohns Metrisierungssatz besagt, dass die Kombination einer abzählbaren Basis mit regulären Trennungseigenschaften hinreichend ist, um eine Metrik zu erzeugen, die die Topologie induziert, womit abstrakte topologische Räume zu metrischen Räumen werden.