Zum Inhalt springen

Normaler Raum/Lemma von Urysohn/Textabschnitt

Aus Wikiversity

Die folgende Aussage heißt Satz von Urysohn.


Es sei ein normaler topologischer Raum.

Dann gibt es zu disjunkten abgeschlossenen Teilmengen eine stetige Funktion mit und .

Wir definieren induktiv über zu den Zahlen mit eine Kette von offenen Teilmengen und von abgeschlossenen Teilmengen mit

und mit

für . Wir starten induktiv mit , , und . Es seien die Mengen zum Nenner schon konstruiert. Das heißt, dass zum Nenner die Mengen zu den Indizes mit gerade schon konstruiert sind. Für ungerade liegt die Situation

vor. Aufgrund der Normalität gibt eine offene Menge und eine abgeschlossene Menge mit

wie gewünscht.

Wir definieren jetzt eine Funktion

durch

Dabei besitzt auf den Wert und auf den Wert . Es ist

woraus die Stetigkeit folgt.