A theorem establishing a dual equivalence between the category of Boolean algebras and the category of zero-dimensional compact Hausdorff spaces (Stone spaces) by representing each Boolean algebra as the algebra of clopen subsets of a canonical compact space of ultrafilters.

Principle

Every Boolean algebra can be realized concretely as the algebra of sets that are both open and closed in a naturally constructed compact Hausdorff zero-dimensional space; conversely every such topological space yields a Boolean algebra of its clopen sets, and these constructions are inverse up to natural isomorphism.

Demonstration

Given a Boolean algebra B, form the space X of ultrafilters on B with the topology generated by sets {U in X : a in U} for a in B; these basic sets are clopen and the map sending a in B to that basic clopen set is a Boolean algebra isomorphism from B onto the algebra of clopens of X. For example, the Boolean algebra of finite-cofinite subsets of a countable set yields a Stone space homeomorphic to the one-point compactification of a discrete space.

Misapplication

Applying the theorem to lattices that are not Boolean (for example distributive lattices without complements) or to non-zero-dimensional or non-compact Hausdorff spaces; expecting an analogous one-to-one representation without verifying zero-dimensionality and compactness leads to incorrect identifications.

Consequence

Provides a powerful bridge between algebra and topology: algebraic problems about Boolean algebras can be translated into topological problems about Stone spaces and vice versa, enabling transfer of invariants and constructions (e.g., homomorphisms ↔ continuous maps, ideals ↔ clopen partitions).

Reversal

Viewed dually, every zero-dimensional compact Hausdorff space is completely determined (up to homeomorphism) by its Boolean algebra of clopen subsets; reversing the construction recovers the original algebra from the topology.

Boundary

Holds for Boolean algebras and zero-dimensional compact Hausdorff spaces; it does not extend verbatim to general distributive lattices (Priestley duality addresses that case), to noncompact or non-Hausdorff spaces, nor to infinite-meet-only structures without complements.

Semantic Tension

Often confused with other ‘Stone’ results (for example Stone–Čech compactification or Stone–Weierstrass); the tension is between Stone representation (Boolean algebra ↔ zero-dimensional compact spaces) and other dualities that pair different algebraic or order structures with different classes of spaces.

Synthesis

Stone Representation Theorem is the precise statement that Boolean algebraic structure and the topology of clopen-set Stone spaces encode the same information in dual languages, permitting algebra ↔ topology translations via the ultrafilter (or prime ideal) construction.