Ein kompakter, Hausdorffscher, nulldimensionaler (total getrennt) topologischer Raum, der als duales Objekt einer Booleschen Algebra im Sinne der Stone-Dualität auftritt; Punkte entsprechen Ultrafiltern und klopen Mengen entsprechen den Algebraelementen.

Prinzip

Stone-Dualität: die Entsprechung zwischen Booleschen Algebren und nulldimensionalen, kompakten Hausdorffräumen, realisiert durch B ↦ Ultrafilterraum von B und X ↦ Boolesche Algebra der klopen Teilmengen von X.

Demonstration

Für eine Boolesche Algebra B ist die Menge ihrer Ultrafilter mit der Topologie, die von Mengen {U ∈ Ult(B) : a ∈ U} (a ∈ B) erzeugt wird, ein Stone-Raum; umgekehrt bilden die klopen Mengen eines solchen Raums eine Boolesche Algebra, die zu B isomorph ist.

Fehlanwendung

Einen beliebigen kompakten Hausdorffraum ohne klopen Basis fälschlich als Stone-Raum zu bezeichnen oder die Stone-Dualität anzuwenden, ohne Null-Dimensionalität nachzuprüfen.

Konsequenz

Algebraische Eigenschaften einer Booleschen Algebra (Atome, Vollständigkeit, Homomorphismen) erscheinen als topologische Eigenschaften (isolierte Punkte, extremale Getrenntheit, stetige Abbildungen) ihres Stone-Raums, was den Transfer von Problemen zwischen Algebra und Topologie ermöglicht.

Umkehrung

Von einem Stone-Raum X erhält man die Boolesche Algebra der klopen Teilmengen; die Umkehrung der Dualität übersetzt topologische Fragen über X in algebraische Fragen über diese Algebra.

Abgrenzung

Voraussetzung sind Kompaktheit, Hausdorffeigenschaft und Null-Dimensionalität (Existenz einer Basis aus klopen Mengen); zusammenhängende oder nur T1 nicht-kompakte Räume fallen in der Regel nicht unter Stone-Räume.

Semantische Spannung

Wird oft mit anderen 'Stone'-Konzepten verwechselt (z. B. Stone–Čech-Kompaktifizierung); hier bezeichnet Stone-Raum speziell den nulldimensionalen kompakten Hausdorff-Dual einer Booleschen Algebra.

Synthese

Ein Stone-Raum ist das topologische Gegenstück zu einer Booleschen Algebra: ein kompakter Hausdorffraum mit kloper Basis, dessen Punkte Ultrafilter sind, sodass Topologie und Boolesche Algebra sich durch Stone-Dualität gegenseitig bestimmen.