Stone's representation theorem for Boolean algebras |
In mathematics, Stone's representation theorem for Boolean
algebras, named in honor of Marshall H. Stone, is the
duality between the category of Boolean algebras and the
category of Stone spaces, i.e., totally
disconnected compact Hausdorff
topological spaces. It is a special case of Stone duality, a general framework for dualities between topological spaces and
partially ordered sets. In the category of Boolean algebras, the morphisms are Boolean homomorphisms. In the category of Stone
spaces, the morphisms are continuous functions. Stone's duality generalises to infinite sets of propositions the use of truth tables to characterise elements of finite Boolean algebras. It employs
systematically the two-element Boolean algebra {0,1} or {F,T} of truth-values, as the target of homomorphisms; this algebra may
be written simply as 2.
In detail, the Stone space of a Boolean algebra A is the set of all 2-valued homomorphisms on A, with the
topology of pointwise convergence of nets of such homomorphisms. (An alternative and equivalent way to
construct the Stone space of A is as the set of all maximal
ideals in A, with the sets {M : M is a maximal ideal that doesn't contain a} for
a in A as base of the topology. In the sequel
we will use the homomorphism approach.)
Every Boolean algebra is isomorphic to the algebra of clopen (i.e., simultaneously
closed and open) subsets of its Stone space. The isomorphism maps any element a of A to the set of
homomorphisms that map a to 1.
Every totally disconnected compact Hausdorff space is homeomorphic to
the Stone space of the Boolean algebra of all of its clopen subsets. The homeomorphism maps each point x to the 2-valued
homomorphism φ given by φ(S) = 1 or 0 according as x ∈ S or x not ∈
S. (Perhaps this is one of the few occasions for such rapid-fire mulitple repetition of the two distinct words
homomorphism and homeomorphism in one breath. Let us therefore warn the reader not to confuse them with each other.)
Homomorphisms from a Boolean algebra A to a Boolean algebra B correspond in a natural way to continuous
functions from the Stone space of B into the Stone space of A. In other words, this duality is a contravariant
functor.
The Stone representation theorem cannot be proven within the Zermelo-Fraenkel axioms. It is equivalent to the Boolean prime ideal theorem which states that every Boolean algebra has a prime ideal. Both can
be proven using the axiom of choice. But the Stone representation
theorem is strictly weaker than the axiom of choice.
This theorem was proved by Marshall H. Stone in 1934. His interest in these questions arose from his study of the spectral theory of operators on a Hilbert space. Stone's theorem has since been the model for many other similar
representation theorems.
See also
|