Baire-Raum (speziell)

Der Baire-Raum ${\mathcal {N}}$ (nach dem französischen Mathematiker René Louis Baire) ist ein topologischer Raum. Seine Grundmenge ist die Menge aller Folgen von natürlichen Zahlen ($\mathbb {N} ^{\mathbb {N} }$), und die Topologie des Baire-Raums (die Menge der offenen Mengen des Baire-Raums) besteht aus denjenigen Mengen solcher Folgen, die die Vereinigung von Mengen aus Folgen mit gemeinsamem Präfix sind.

Der Baire-Raum hat besondere Bedeutung für die deskriptive Mengenlehre, da sich viele Sätze, die für den Baire-Raum bewiesen werden können, auf allgemeine polnische Räume, etwa auf $\mathbb {R} ^{n}$ oder den Hilbertwürfel $[0,1]^{\mathbb {N} }$ unmittelbar übertragen. In Beweisen kann der Baire-Raum einfacher zu handhaben sein als etwa der Raum der reellen Zahlen.

Die Topologie des Baire-Raums

Die Topologie des Baire-Raums lässt sich als die abzählbare Produkttopologie der diskreten Topologie über $\mathbb {N}$ definieren, was äquivalent zu der obigen intuitiven Definition offener Mengen ist, die Mengen von Folgen mit gemeinsamem Präfix bilden dabei eine Basis der Topologie. Zu zeigen ist, dass der Baire-Raum tatsächlich ein polnischer Raum ist. Da die diskrete Topologie metrisierbar ist, ist auch das abzählbare Produkt metrisierbar, es lässt sich auch eine einfache Metrik konkret angeben:

$d\colon {\mathcal {N}}\times {\mathcal {N}}\to \mathbb {R} ,(x,y)\mapsto {\frac {1}{2^{n(x,y)}}}$,

wobei $n(x,y)$ die erste Stelle bezeichne, an der sich die Folgen $x$ und $y$ unterscheiden. Es handelt sich sogar um eine Ultrametrik. Der Baire-Raum ist separabel, da die Menge aller Folgen, die ab einer gewissen Position den Wert Null annehmen, abzählbar ist und dicht in ${\mathcal {N}}$ liegt. Die Vollständigkeit lässt sich analog zu den reellen Zahlen zeigen, da der Baire-Raum auf sehr natürliche Weise eine Intervallschachtelung zulässt.

Bedeutung für die deskriptive Mengenlehre

Seine universelle Einsetzbarkeit erhält der Baire-Raum dadurch, dass jeder polnische Raum das Bild einer stetigen Abbildung aus dem Baire-Raum ist, d. h., dass eine stetige Surjektion von ${\mathcal {N}}$ in jeden polnischen Raum existiert.

Im Baire-Raum sind Eigenschaften projektiver Mengen besonders leicht zu zeigen, da jedes abzählbare Produkt des Baire-Raums homöomorph zum Baire-Raum selbst ist, d. h., ${\mathcal {N}}$ ist homöomorph zu ${\mathcal {N}}^{n}$ für $n\in \mathbb {N}$, ${\mathcal {N}}^{\mathbb {N} }$ und $\mathbb {N} \times {\mathcal {N}}$. Dies macht die Definition von projektiven Mengen besonders einfach. Zudem ist auch jede analytische Menge im Baire-Raum Projektion einer abgeschlossenen Menge, während etwa für die reellen Zahlen oder den Cantor-Raum Projektionen von $\Pi _{2}^{0}$-Mengen betrachtet werden müssen.

Eigenschaften der Topologie

Jeder Punkt im Baire-Raum hat die Menge aller Mengen $U_{n}(x)$ als abzählbare Umgebungsbasis, wobei hier $U_{n}(x)$ die Menge aller Punkte im Baire-Raum bezeichne, sodass die ersten $n$ Stellen mit denen von $x$ übereinstimmen. Dies erlaubt eine natürliche Charakterisierung der Stetigkeit einer Funktion $f\colon {\mathcal {N}}\to {\mathcal {N}}$ in einem Punkt $x$: $f$ ist genau dann stetig im Punkt $x$, wenn für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb{N}} ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb{N}} existiert, sodass die ersten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} Stellen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} die ersten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} Stellen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} bestimmen.

Ebenso lässt sich die Konvergenz einer Folge von Punkten des Baire-Raums charakterisieren: Eine Folge konvergiert genau dann, wenn für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb{N}} ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb{N}} existiert, sodass ab dem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} -ten Folgenglied die ersten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} Stellen stets übereinstimmen. Dies unterscheidet den Baire-Raum von den reellen Zahlen, bei denen Randfälle auftreten, bei denen diese Eigenschaft verletzt ist (Die Folge 0,9, 0,99, 0,999, … konvergiert gegen die Eins).

Der Baire-Raum ist – wie jeder ultrametrisierbare Raum – total unzusammenhängend, jeder Unterraum mit mindestens zwei Elementen lässt sich in zwei disjunkte offene Mengen aufteilen. Für offene Mengen sieht man dies sehr leicht: Repräsentiert man eine offene Menge als Menge von Präfixen, was stets möglich ist, da die Mengen von Folgen mit einem bestimmten Präfix eine Basis bilden, so lässt sich die offene Menge durch „Anfügen“ zusätzlicher Zeichen an ein Präfix in disjunkte offene Teilmengen aufteilen. Ein Beispiel: Die Menge aller mit Null beginnenden Folgen im Baire-Raum ist offen, sie lässt sich in die offene Menge der Folgen beginnend mit Null, gefolgt von einer geraden Zahl und die offene Menge der Folgen beginnend mit Null, gefolgt von einer ungeraden Zahl aufteilen. Die Eigenschaft überträgt sich für nicht-offene Mengen auf die Unterraumtopologie.

Im Baire-Raum gibt es keine isolierten Punkte, d. h., es handelt sich um einen perfekten polnischen Raum.

Der Baire-Raum lässt sich auch in die reellen Zahlen einbetten: Mittels der Kettenbruchentwicklung lässt sich zeigen, dass er homöomorph zum Teilraum der irrationalen Zahlen ist. Die Funktion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \iota \colon \mathcal{N} \to \R, s \mapsto 1+s(0)+\cfrac{1}{1+s(1)+\cfrac{1}{1+s(2)+\cfrac{1}{1+s(3)+\cfrac{1}{\;\,\ddots}}}}} (wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} die Null enthalte)

ist ein Homöomorphismus auf ihr Bild, das gerade die Menge der irrationalen Zahlen größer als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} ist. Dieses wiederum ist mittels des Homöomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\mapsto \textstyle\frac{1}{x}} homöomorph zu den irrationalen Zahlen im Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0,1)} . Somit sind die irrationalen Zahlen abzählbare topologische Summe von zum Baire-Raum homöomorphen Mengen und somit ebenfalls homöomorph zum Baire-Raum. Man beachte, dass dieser Teilraum der reellen Zahlen nicht abgeschlossen und daher die übliche, von den reellen Zahlen vererbte Metrik auf ihm nicht vollständig ist.

Zur Universalität

Wie bereits angemerkt ist eine grundlegende Eigenschaft des Baire-Raums, dass jeder polnische Raum stetiges Bild des Baire-Raums ist. Sei also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein polnischer Raum. Nun lassen sich für alle endlichen Wörter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle w\in \N^*} offene Teilmengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_w} mit den folgenden Eigenschaften konstruieren:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_\varepsilon=X}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{U_{wi}}\subset U_w}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_w=\bigcup_{i\in\N}U_{wi}}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{diam}(U_w)\to 0} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |w|\to \infty} .

Hierfür benötigt man die Separabilität: Für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_w} existiert eine abzählbare dichte Teilmenge, hinreichend kleine offene Kugeln um diese erfüllen dann die gewünschten Eigenschaften. Nun definiere man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon \mathcal{N}\to X} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(s)\in \textstyle\bigcap_{n\in\N}U_{s|n}} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s|n} das Präfix von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} der Länge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} bezeichne. Aufgrund der Vollständigkeit des Raumes ist nach dem Intervallschachtelungsprinzip Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(s)} eindeutig definiert. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist stetig, da es Konvergenz erhält: Punkte des Baire-Raums mit gemeinsamem Präfix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} werden auf Punkte in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_p} abgebildet, sodass die Bildfolge einer konvergenten Folge gegen das Bild des Grenzwertes konvergiert. Es existiert sogar eine stetige Bijektion von einem abgeschlossenen Teilraum nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} (man beachte, dass diese kein Homöomorphismus sein muss, sondern die Topologie auch vergröbern kann – die Kategorie der polnischen Räume ist nicht ausgeglichen – insbesondere ist ein solcher Teilraum total unzusammenhängend, womit er etwa nicht homöomorph zu den reellen Zahlen sein kann). Hierfür wähle man statt offener Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_w} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta^0_2} -Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_w} , die neben den obigen Bedingungen zusätzlich auf jeder Ebene paarweise disjunkt sind, das heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_{wi}\cap W_{wj}=\emptyset} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i\neq j} . Solche erhält man etwa durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_{wi}=W_w\cap U_{wi}\setminus \textstyle\bigcup_{j<i} U_{wj}} . Schränkt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} nun auf die Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} ein, für die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\bigcap_{n\in\N}W_{s|n}} nichtleer und somit gerade gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(s)} ist, erhält man die gewünschte stetige Bijektion.

Retrakte

Im Baire-Raum ist jeder abgeschlossene Teilraum (diese sind insbesondere polnisch) auch ein Retrakt. Zum Beweis überdecke man den Teilraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\subset \mathcal{N}} wie zuvor mit offenen Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_w} mit der zusätzlichen Bedingung, dass für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in A} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in U_{a|n}} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\in\N} . Die wie oben konstruierte Abbildung ist dann wiederum stetig und jedes Element von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} ist ein Fixpunkt. Somit ist sie eine Retraktion und der Teilraum ein Retrakt. Einschränkung liefert, dass auch jeder abgeschlossene Teilraum eines abgeschlossenen Teilraums Retrakt des letzteren ist. Umgekehrt muss wie in jedem Hausdorffraum jedes Retrakt abgeschlossen sein, d. h., die Retrakte sind hiermit vollständig charakterisiert.

Siehe auch

• Cantor-Raum