Cantor-Raum

Der Cantor-Raum 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 \mathcal{C}} (nach dem deutschen Mathematiker Georg Cantor) ist ein topologischer Raum. Er ist – neben dem Baire-Raum – von besonderer Bedeutung für die deskriptive Mengenlehre. Er findet Anwendungen in den Theorien unendlicher Spiele und unendlicher Automaten. Der Cantor-Raum wird dabei in der Regel als Raum aller Folgen auf der Menge 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\}} angesehen. Er ist homöomorph zur Cantor-Menge, einem Teilraum der reellen Zahlen, d. h. sämtliche topologischen Eigenschaften sind dieselben. Dieser Artikel behandelt dabei den Raum aus der Sicht der deskriptiven Mengenlehre, wobei etwa die Einbettung in die reellen Zahlen keine Rolle spielt.

Definition

Sei 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 \mathcal{C}:=\{0,1\}^\N} die Menge aller Folgen von Werten $0$ oder 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} . Betrachtet man auf $\{0,1\}$ die diskrete Topologie, so ergibt sich dadurch mittels der Produkttopologie eine Topologie auf 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 \mathcal{C}} . 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 \mathcal{C}} mit dieser topologischen Struktur heißt Cantor-Raum. Da 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\}} mit der diskreten Topologie ein kompakter polnischer Raum ist, ist auch dieses abzählbare Produkt ein kompakter polnischer Raum. Eine konkretere Vorgehensweise, um zu zeigen, dass es sich um einen polnischen Raum handelt, ist wie folgt: Die Topologie wird durch eine Metrik 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 d} induziert, die wie folgt gegeben ist:

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 d\colon \mathcal{C} \times \mathcal{C} \to \mathbb{R}, (x,y) \mapsto \frac{1}{2^{n(x,y)}}}

Hierbei bezeichne 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(x,y)} die erste Stelle, in der sich die Folgen 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} und 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 y} unterscheiden. Es handelt sich dabei sogar um eine Ultrametrik. Der Raum ist separabel, da die schlussendlich 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} werdenden Folgen eine abzählbare, dichte Teilmenge bilden. Die Vollständigkeit lässt sich analog zu den reellen Zahlen zeigen, mittels der dyadischen Entwicklung entsprechen die reellen 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 \left[0,1\right]} , gerade solchen Folgen, wobei allerdings auf unendlich viele 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} en endende Folgen mit auf unendlich viele 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} en endenden Folgen identifiziert werden.

Eigenschaften der Topologie

Viele Eigenschaften des Cantor-Raums sind analog zu solchen des Baire-Raums, etwa mögliche Charakterisierungen der Stetigkeit und der Konvergenz:

Eine 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 f\colon \mathcal{C} \to \mathcal{C}} ist genau dann in einem Punkt 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} stetig, 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 \N} ein $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. 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 \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 \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 $n$ Stellen stets übereinstimmen. Dies ist anders als bei der dyadischen Entwicklung reeller Zahlen, dort können aufgrund der oben genannten Identifikation die Stellen in der Entwicklung bei rationalen, dyadischen Grenzwerten völlig andere sein (0,1, 0,11, 0,111, … konvergiert gegen 1,000…).

Da der Cantor-Raum ultrametrisierbar ist, ist er total unzusammenhängend und somit sogar ein Stone-Raum. Zudem ist er ein perfekter polnischer Raum, da er keine isolierten Punkte enthält.

Der Cantor-Raum ist in dem Sinne universell für die kompakten polnischen Räume, dass jeder kompakte polnische Raum stetiges Bild des Cantor-Raums ist (Satz von Alexandroff-Urysohn).

Verschiedene Cantor-Räume

Es stellt sich heraus, dass der Cantor-Raum homöomorph zu zahlreichen ähnlichen oder abgeleiteten Strukturen ist, was ihn in der deskriptiven Mengenlehre und der Automaten- und Spieltheorie leicht handhabbar macht: 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 \mathcal{C}} ist homöomorph zu 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 \mathcal{C}^n} 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 n\in \N} , 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 \mathcal{C}^\N} und 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\}\times \mathcal{C}} . Somit kann man zum Beispiel einfach von Projektionen von Mengen sprechen, ohne in einen Produktraum wechseln zu müssen. Oder es lassen sich etwa Relationen zwischen Elementen des Cantor-Raums genauso wie einfache Teilmengen behandeln.

Visualisierung des nebenstehenden Homöomorphismus: Oben die Teilräume von Mengen mit gemeinsamem Präfix 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 3^\N} nach Präfixen angeordnet (oberste Ebene: gesamter Raum, zweite: Unterräume mit 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 0} , $1$ oder 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 2} , …), unten 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 2^\N} . Das Bild eines Teilraums trägt dieselbe Farbe.

Auch Folgen über größeren endlichen Mengen führen zu derselben Topologie. Es spielt also für die topologischen Betrachtungen keine Rolle, wenn man etwa bei einer Anwendung in der Automatentheorie nicht-binäre Alphabete zulässt. Sei etwa ein Raum 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 \mathcal{C}^\prime:=\{0,\ldots,b-1\}^\N} mit der Produkttopologie und 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<b\in\N} gegeben. Definiere nun eine Abbildung 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{C}^\prime \to \mathcal{C}} , die jedes Folgenglied 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 k} durch ein binäres Wort 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(k)} mit

$u(k)=0^{k}1$ 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 0\leq k<b-1} , 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(k-1)=0^{k-1}} sonst

ersetzt. 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 ein Homöomorphismus, denn: Sind im 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,\ldots,b-1\}^\N} 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 festgelegt, so sind es im Bild auch mindestens so viele. Umkehrung stetig: Sind im ${\mathcal {C}}$ 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 festgelegt, so sind es im Bild auch mindestens $\lfloor \textstyle {\frac {n}{b}}\rfloor$ viele.

Tatsächlich ist sogar jeder perfekte, polnische Stone-Raum homöomorph zum Cantor-Raum (äquivalent dazu: jeder perfekte, metrisierbare Stone-Raum). (siehe nächster Abschnitt zum Beweis)

Schlussendlich sei noch ein Homöomorphismus zur Cantor-Menge genannt: Die Funktion

$f\colon {\mathcal {C}}\to \left[0,1\right],s\mapsto \sum _{i=0}^{\infty }2\cdot s(i)\cdot 3^{-i-1}$

ist ein Homöomorphismus auf ihr Bild – die Cantor-Menge, die Menge der reellen Zahlen im abgeschlossenen Einheitsintervall, deren ternäre Entwicklung keinerlei $1$en enthält. Die Topologie des Cantor-Raums wird mittels dieses Homöomorphismus also auch durch die Metrik auf den reellen Zahlen erzeugt, wobei diese vollständig ist, da in einem kompakten Raum alle die Topologie induzierenden Metriken vollständig sind.

Zur Universalität

Der Baire-Raum hat die besondere Eigenschaft, dass jeder polnische Raum stetiges Bild dieses Raumes ist. Diese Eigenschaft besitzt der Cantor-Raum nicht, schließlich ist er kompakt, weshalb nur kompakte Räume stetiges Bild seiner sein können. Jedoch gilt, dass jeder kompakte polnische Raum stetiges Bild des Cantor-Raums ist (dies sind gerade die kompakten Hausdorffräume, die das zweite Abzählbarkeitsaxiom erfüllen, diese sind nach dem Metrisierbarkeitssatz von Urysohn metrisierbar und, da sie kompakt sind, bezüglich jeder Metrik vollständig; ebenso sind dies genau die kompakten metrisierbaren Räume). Zum Beweis: Sei $X$ ein kompakter metrisierbarer Raum. Konstruiere nun einen Baum von offenen Teilmengen, also für jedes Wort $w\in \mathbb {N} ^{*}$ eine abgeschlossene Menge $C_{w}$ mit natürlichen Zahlen $n_{w}$ mit den folgenden Eigenschaften:

• $C_{\varepsilon }=X$
• $C_{wi}\subset C_{w}$
• Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \operatorname {diam} (C_{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}
• 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 C_w=\bigcup_{i<n_w} C_{wi}}
• $C_{w}i=\emptyset \Leftrightarrow i\geq n_{w}$.

Hierzu wähle man für jeden Punkt 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 C_w} abgeschlossene Kugeln, die hinreichend klein sind, um die dritte Bedingung erfüllen zu können (etwa mit einem Radius 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 \frac{1}{|w|}} ). Ihre offenen Kerne bilden eine offene Überdeckung 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 C_w} , das als abgeschlossene Teilmenge eines Kompaktums kompakt ist. Somit existiert eine endliche Teilüberdeckung, deren Kardinalitä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 n_w} heiße, die jeweiligen Abschlüsse lassen sich nun 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 C_{wi}} 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<n_w} auswählen, die restlichen $C_{wi}$ werden leer. Sei nun ${\mathcal {C}}^{\prime }$ der Raum der Folgen 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} über den natürlichen Zahlen, für die für alle Indizes 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} 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(i)<n_{w|i}} . 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 \mathcal{C}^\prime} ist stetiges Bild des Cantor-Raums (die obige Konstruktion eines Homöomorphismus für Folgen über einer anderen endlichen Menge entspricht konstanten $n_{w}$, diese lässt sich entsprechend zu einer stetigen Abbildung 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 \mathcal{C}} 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 \mathcal{C}^\prime} verallgemeinern). 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 f\colon \mathcal{C}^\prime \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} C_{s|n}} ist nach dem Intervallschachtelungsprinzip eindeutig definiert und surjektiv. Zudem ist es stetig, da Konvergenz von Folgen unter dieser Abbildung erhalten bleibt. Dies liefert also die gewünschte Abbildung.

Im Falle eines Raumes, der zusätzlich perfekt und total unzusammenhängend ist, lassen sich die $C_{wi}$ disjunkt und perfekt und 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_w\geq 2} wählen, wodurch sich dann sogar ein Homöomorphismus ergibt.

Auf ähnliche Weise ergibt sich, dass jeder perfekte polnische Raum den Cantor-Raum enthält, woraus mit dem Satz von Cantor-Bendixson folgt, dass jeder überabzählbare polnische Raum die Kardinalität des Kontinuums hat. Auch enthält jeder vollständig metrisierbare, perfekte Raum den Cantor-Raum.

Boolesche Algebra

Nach dem Darstellungssatz für Boolesche Algebren ist jede boolesche Algebra isomorph zu der booleschen Algebra der offenen und abgeschlossenen Mengen eines Stone-Raums (total unzusammenhängender, kompakter Hausdorffraum). Die offenen und abgeschlossenen Mengen des Cantor-Raums sind gerade die, die sich als endliche Vereinigung von Mengen aller Folgen mit einem festen gemeinsamen 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 \{s\in\mathcal{C}\mid s|_n=w\}} 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 w\in\{0,1\}^n} ) schreiben lassen, denn: Das Komplement einer solchen Menge ist offenbar wieder eine offene Menge, und da besagte Mengen mit gemeinsamem Präfix eine Basis der Topologie bilden, müssen alle weiteren offenen Mengen nur als unendliche Vereinigung solcher Mengen darstellbar sein, deren Komplement dann nicht offen ist, da kein solches Basiselement enthalten sein kann. Somit sind die angegebenen tatsächlich alle offenen und abgeschlossenen Mengen. Diese boolesche Algebra ist also abzählbar und besitzt keine Atome, d. h. minimale Nicht-Nullelemente, denn jede nichtleere offene und abgeschlossene Menge zerfällt wiederum in zwei solche Mengen. Sei umgekehrt ein perfekter Stone-Raum mit abzählbar vielen offenen und gleichzeitig abgeschlossenen Mengen gegeben. Da ein Stone-Raum stets nulldimensional ist, bilden diese Mengen eine Basis, die somit abzählbar ist. Es ergibt sich aus obiger Charakterisierung, dass der Raum homöomorph zum Cantor-Raum ist. Nun folgt aus dem Darstellungssatz für Boolesche Algebren, dass je zwei abzählbar unendliche boolesche Algebren ohne Atome isomorph sind, denn ihr zugehöriger Stone-Raum ist gerade stets der Cantor-Raum (wäre der zugehörige Stone-Raum nicht perfekt, so besäße die boolesche Algebra Atome).

Gruppenstruktur

Mittels der komponentenweisen Addition im 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 \Z/2\Z} wird der Cantor-Raum auch zu einer kompakten, abelsch topologischen Gruppe (Produkte topologischer Gruppen sind wieder topologische Gruppen), genannt Cantor-Gruppe. Diese wird auch seitens der harmonischen Analyse betrachtet, die Walsh-Funktionen sind dabei Charaktere dieser Gruppe.