## [Sierpiński-Raum](/de/node/62158) Definition Der Sierpiński-Raum ist der zweipunktige topologische Raum S = {0,1} mit den offenen Mengen ∅, S und {1} (oder äquivalent mit genau einem nichttrivialen offenen Singleton); er ist das kleinste nichttriviale T0-Beispiel und ein Grundbeispiel in Topologie und theoretischer Informatik. ## Prinzip Prinzip Dient als Klassifikator für offene Mengen: stetige Abbildungen X → S entsprechen offenen Teilmengen von X über das Urbild des ausgezeichneten offenen Singletons; S kodiert die 'Wahrheit' der Offenheit und hat minimale Trennungseigenschaft (T0, nicht T1). ## Demonstration Demonstration Für jeden Raum X und jedes offene U ⊆ X ist die Charakteristikabbildung χ_U: X → S, die Punkte aus U auf 1 und andere auf 0 abbildet, stetig; S repräsentiert so Indikatorfunktionen offener Mengen in vielen kategorialen Argumenten. ## Fehlanwendung Fehlanwendung S mit dem diskreten Zweipunkte-Raum oder einem T1-Zweipunkte-Raum zu verwechseln, führt zu falschen Schlüssen bezüglich Trennung und Stetigkeit; viele Konstruktionen nutzen, dass das asymmetrische Singleton offen, aber nicht geschlossen ist. ## Konsequenz Konsequenz Die korrekte Verwendung von S klärt topologische Semantiken, liefert einfache Gegenbeispiele (z. B. zu T1 oder Hausdorff) und bietet einen minimalen nichttrivialen Zielraum für stetige Indikatorfunktionen offener Mengen. ## Umkehrung Umkehrung Die Umkehr ist der diskrete Raum mit zwei Punkten, in dem beide Singletons offen (und geschlossen) sind; im Gegensatz zu S ist der diskrete Raum T1 und Hausdorff und verliert die typische Asymmetrie von S. ## Abgrenzung Abgrenzung Ein spezieller endlicher topologischer Raum; sein Verhalten ist vollständig durch das gewählte offene Singleton bestimmt und repräsentiert keine höhergradigen Kardinalitätsphänomene, obwohl er in vielen kategorialen Zusamenhängen auftaucht. ## Semantische Spannung Semantische Spannung Spannung entsteht zwischen S als minimalem Klassifikator offener Mengen und anderen Zweipunkt-Räumen (diskret, indiscret): die Schlüsseleigenschaft ist das einzelne nichttriviale offene Set, das S von symmetrischen Zweipunkt-Beispielen unterscheidet. ## Synthese Synthese Der Sierpiński-Raum ist der zweipunktige asymmetrische Raum, dessen einziges nichttriviales offenes Singleton ihn zum kanonischen minimalen T0-Beispiel und zum natürlichen Klassifikator offener Mengen über stetige Abbildungen macht.