A compact, Hausdorff, zero-dimensional (totally disconnected) topological space that arises as the dual object of a Boolean algebra under Stone duality; points correspond to ultrafilters and clopen sets correspond to algebra elements.

Principle

Stone duality: the correspondence between Boolean algebras and zero-dimensional compact Hausdorff spaces, organized by the assignment B ↦ Ultrafilter space of B and X ↦ algebra of clopen subsets of X.

Demonstration

Given a Boolean algebra B, the set of ultrafilters on B endowed with the topology generated by sets {U ∈ Ult(B) : a ∈ U} for a ∈ B is a Stone space; conversely, the clopen subsets of any Stone space form a Boolean algebra isomorphic to the original.

Misapplication

Treating an arbitrary compact Hausdorff space that lacks a clopen basis as a Stone space or assuming Stone duality applies without verifying the zero-dimensional condition.

Consequence

Algebraic properties of a Boolean algebra (atoms, completeness, homomorphisms) translate to topological properties (isolated points, extremal disconnectedness, continuous maps) of its Stone space, enabling transfer of problems between algebra and topology.

Reversal

From a Stone space X one recovers a Boolean algebra of clopen sets; reversing the duality converts topological questions about X into algebraic questions about that Boolean algebra.

Boundary

Requires compactness, the Hausdorff property, and zero-dimensionality (a basis of clopen sets); connected or merely T1 non-compact spaces do not qualify as Stone spaces in general.

Semantic Tension

Often confused with other 'Stone' constructions (for example Stone–Čech compactification); Stone space here specifically refers to the zero-dimensional compact Hausdorff dual of a Boolean algebra, not to other Stone-named objects.

Synthesis

A Stone space is the topological mirror of a Boolean algebra: a compact Hausdorff space with a clopen basis whose points are ultrafilters, so topological structure and Boolean algebraic structure determine each other under Stone duality.