Perfekt normaler Raum

Perfekt normale Räume werden im mathematischen Teilgebiet der Topologie untersucht. Es handelt sich um normale Räume, in denen jede abgeschlossene Menge eine zusätzliche Eigenschaft hat.

Definition

Ein normaler Hausdorffraum ${\displaystyle X}$ heißt perfekt normal, wenn jede abgeschlossene Menge eine G_δ-Menge ist.

Äquivalente Charakterisierungen

Folgende Aussagen über einen normalen Hausdorffraum ${\displaystyle X}$ sind äquivalent:

• ${\displaystyle X}$ ist perfekt normal
• Jede offene Menge in ${\displaystyle X}$ ist eine F_σ-Menge.
• Jede abgeschlossene Menge in ${\displaystyle X}$ ist Nullstellenmenge einer stetigen Funktion ${\displaystyle f\colon X\rightarrow [0,1]}$.
• Für je zwei disjunkte, abgeschlossene Mengen ${\displaystyle A,B\subseteq X}$ gibt es eine stetige Funktion ${\displaystyle f\colon X\rightarrow [0,1]}$, so dass ${\displaystyle A=f^{-1}(\{0\})}$ und ${\displaystyle B=f^{-1}(\{1\})}$.

Die erste Äquivalenz ist sehr einfach, denn beim Übergang zu Komplementen werden abgeschlossene Mengen zu offenen und G_δ-Mengen zu F_σ-Mengen, und das gilt auch umgekehrt. Die Äquivalenz zu den beiden letzten Eigenschaften ist auch als Satz von Vedenissoff bekannt.

In einem normalen Raum gibt es nach dem Lemma von Urysohn zu je zwei disjunkten, abgeschlossenen Teilmengen ${\displaystyle A,B\subset X}$ eine stetige Funktion ${\displaystyle f\colon X\rightarrow [0,1]}$, so dass ${\displaystyle A\subseteq f^{-1}(\{0\})}$ und ${\displaystyle B\subseteq f^{-1}(\{1\})}$, und das ist sogar äquivalent zur Normalität. In der letzten der äquivalenten Aussagen ist also lediglich die Teilmengenbeziehung durch die stärkere Forderung nach Gleichheit ersetzt und man hat damit einen weiteren Unterschied zwischen normalen und perfekt normalen Räumen beschrieben.

Beispiele

• Metrische Räume sind perfekt normal, denn bezeichnet ${\displaystyle \operatorname {dist} (x,A)}$ den metrischen Abstand eines Punktes ${\displaystyle x}$ zur Menge ${\displaystyle A}$, so ist jede abgeschlossene Menge ${\displaystyle A}$ wegen ${\displaystyle \textstyle A=\bigcap _{n\in \mathbb {N} }\{x\mid \operatorname {dist} (x,A)<{\frac {1}{n}}\}}$ eine G_δ-Menge. Man kann das aber auch leicht mit Hilfe der Charakterisierung obiger Trennungseigenschaft durch stetige Funktionen erkennen. Sind nämlich ${\displaystyle A,B\subset X}$ nicht-leere, disjunkte, abgeschlossene Mengen, so leistet die stetige Funktion

${\displaystyle f\colon X\rightarrow [0,1],x\mapsto {\frac {\operatorname {dist} (x,A)}{\operatorname {dist} (x,A)+\operatorname {dist} (x,B)}}}$

das Verlangte. Ist eine der beiden Mengen leer, ohne Einschränkung ${\displaystyle A=\emptyset }$ und ${\displaystyle B\not =\emptyset }$, so nehme man ${\displaystyle \textstyle x\mapsto \max({\frac {1}{2}},1-\operatorname {dist} (x,B))}$, sind beide leer, so nehme man die konstante Funktion mit Wert ${\displaystyle {\tfrac {1}{2}}}$.

• Die Sorgenfrey-Gerade ist ein Beispiel eines perfekt normalen Raums, der nicht metrisierbar ist.
• Ist ${\displaystyle \omega _{1}}$ die erste überabzählbare Ordinalzahl, so ist das Ordinalzahlen-Intervall ${\displaystyle [0,\omega _{1}]}$ mit der Ordnungstopologie ein kompakter und daher normaler Hausdorffraum. Dieser Raum ist nicht perfekt normal, da ${\displaystyle \{\omega _{1}\}}$ keine G_δ-Menge ist.

• Der überabzählbare Fort-Raum ist ein weiteres Beispiel für einen normalen aber nicht perfekt normalen Raum.

Eigenschaften

• Perfekt normale Räume sind vollständig normal, das heißt, dass jeder Unterraum wieder normal ist. Die Umkehrung gilt nicht, wie das Beispiel des überabzählbaren Fort-Raums zeigt.
• Perfekt normale Räume sind total normal.
• Perfekt normale Räume sind abzählbar parakompakt.

Einzelnachweise

1. ↑ James Dugundji: Topology. Allyn and Bacon Inc., Boston, London, Sidney, Toronto 1966, S. 148, Korollar 4.3 (englisch). 
2. 1 2 Ryszard Engelking: General Topology. Państwowe Wzdawnictwo Naukowe, Warschau 1977, S. 64, Satz 1.5.19 (The Vedenissoff-Theorem) (englisch). 
3. ↑ A. R. Pears: Dimension Theory of General Spaces. Cambridge University Press, Cambridge, London, New York, Melbourne 1975, ISBN 0-521-20515-8, S. 33, Kap. 1, Satz 4.16 (englisch). 
4. ↑ Lynn A. Steen, J. Arthur Seebach, Jr.: Counterexamples in Topology. 2. Auflage. Springer-Verlag, New York, Heidelberg, Berlin 1978, ISBN 0-387-90312-7, Example 23, 24 Countable/Uncountable Fort Space (englisch). 
5. ↑ James Dugundji: Topology. Allyn and Bacon Inc., Boston, London, Sidney, Toronto 1966, S. 148, Absatz 4.4 (englisch). 
6. ↑ A. R. Pears: Dimension Theory of General Spaces. Cambridge University Press, Cambridge, London, New York, Melbourne 1975, ISBN 0-521-20515-8, S. 34, Kap. 1, Korollar 4.17 (englisch). 
7. ↑ A. R. Pears: Dimension Theory of General Spaces. Cambridge University Press, Cambridge, London, New York, Melbourne 1975, ISBN 0-521-20515-8, S. 66, Kap. 2, Satz 1.19 (englisch).