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

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

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

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

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

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

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

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

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.