Die folgende Aussage heißt Satz von Urysohn .
Wir definieren induktiv über
n
{\displaystyle {}n}
zu den Zahlen
k
2
n
{\displaystyle {}{\frac {k}{2^{n}}}}
mit
k
∈
{
0
,
…
,
2
n
}
{\displaystyle {}k\in \{0,\ldots ,2^{n}\}}
eine Kette von offenen Teilmengen
U
k
2
n
{\displaystyle {}U_{\frac {k}{2^{n}}}}
und von abgeschlossenen Teilmengen
Y
k
2
n
{\displaystyle {}Y_{\frac {k}{2^{n}}}}
mit
U
k
2
n
⊆
Y
k
2
n
{\displaystyle {}U_{\frac {k}{2^{n}}}\subseteq Y_{\frac {k}{2^{n}}}\,}
und mit
Y
ϵ
⊆
U
ϵ
′
{\displaystyle {}Y_{\epsilon }\subseteq U_{\epsilon '}\,}
für
ϵ
<
ϵ
′
{\displaystyle {}\epsilon <\epsilon '}
.
Wir starten induktiv mit
U
0
=
∅
{\displaystyle {}U_{0}=\emptyset }
,
Y
0
=
Y
{\displaystyle {}Y_{0}=Y}
,
U
1
=
X
∖
Z
{\displaystyle {}U_{1}=X\setminus Z}
und
Y
1
=
X
{\displaystyle {}Y_{1}=X}
.
Es seien die Mengen zum Nenner
2
n
{\displaystyle {}2^{n}}
schon konstruiert. Das heißt, dass zum Nenner
2
n
+
1
{\displaystyle {}2^{n+1}}
die Mengen zu den Indizes
m
2
n
+
1
{\displaystyle {}{\frac {m}{2^{n+1}}}}
mit
m
{\displaystyle {}m}
gerade schon konstruiert sind. Für
k
{\displaystyle {}k}
ungerade liegt die Situation
Y
k
−
1
2
n
+
1
⊆
U
k
+
1
2
n
+
1
{\displaystyle {}Y_{\frac {k-1}{2^{n+1}}}\subseteq U_{\frac {k+1}{2^{n+1}}}\,}
vor. Aufgrund der Normalität gibt eine offene Menge
U
k
2
n
+
1
{\displaystyle {}U_{\frac {k}{2^{n+1}}}}
und eine abgeschlossene Menge
Y
k
2
n
+
1
{\displaystyle {}Y_{\frac {k}{2^{n+1}}}}
mit
Y
k
−
1
2
n
+
1
⊆
U
k
2
n
+
1
⊆
Y
k
2
n
+
1
⊆
U
k
+
1
2
n
+
1
{\displaystyle {}Y_{\frac {k-1}{2^{n+1}}}\subseteq U_{\frac {k}{2^{n+1}}}\subseteq Y_{\frac {k}{2^{n+1}}}\subseteq U_{\frac {k+1}{2^{n+1}}}\,}
wie gewünscht.
Wir definieren jetzt eine Funktion
f
:
X
⟶
[
0
,
1
]
{\displaystyle f\colon X\longrightarrow [0,1]}
durch
f
(
x
)
=
inf
(
t
,
x
∈
Y
t
)
.
{\displaystyle {}f(x)=\operatorname {inf} (t,x\in Y_{t})\,.}
Dabei besitzt
f
{\displaystyle {}f}
auf
Y
{\displaystyle {}Y}
den Wert
0
{\displaystyle {}0}
und auf
Z
{\displaystyle {}Z}
den Wert
1
{\displaystyle {}1}
. Es ist
f
−
1
(
[
0
,
s
]
)
=
⋂
s
≤
k
2
n
Y
k
2
n
,
{\displaystyle {}f^{-1}([0,s])=\bigcap _{s\leq {\frac {k}{2^{n}}}}Y_{\frac {k}{2^{n}}}\,,}
woraus die Stetigkeit folgt.
◻
{\displaystyle \Box }