of a Boolean algebra
A totally-disconnected compact space whose field of all open-and-closed sets is isomorphic to . This space is defined canonically from in the following way: is the set of all ultrafilters (cf. Ultrafilter) of , while the topology is generated by the family of subsets of the form , where is an arbitrary element of . Instead of ultrafilters, the set of maximal ideals, of two-valued homomorphisms or of two-valued measures on with an appropriate topology may be used. Isomorphic Boolean algebras have homeomorphic Stone spaces. Every totally-disconnected compact space is the Stone space of the Boolean algebra of its open-and-closed sets.
The concept of a Stone space and its basic properties were discovered and studied by M.H. Stone (1934–1937, see ).
The Stone space of a Boolean algebra is metrizable if and only if the Boolean algebra is countable. A Boolean algebra is complete if and only if its Stone space is extremally disconnected (i.e. if the closure of any open set in the space is open). The perfect Cantor set is the Stone space of a countable atomless Boolean algebra (they are all isomorphic). The generalized Cantor discontinuum is the Stone space of the free Boolean algebra with generators.
|||R. Sikorski, "Boolean algebras" , Springer (1969)|
An ultrafilter on a Boolean algebra is a maximal filter on the underlying ordered set.
A good up-to-date reference on Boolean algebras is [a2].
The term "Stone space" is often used as a synonym for "totally-disconnected compact space" , although others use "Boolean spaceBoolean space" for this concept. The correspondence between Boolean algebras and their Stone spaces is a categorical duality (see Dual category); thus, if and are Boolean algebras with Stone spaces and , respectively, the Boolean homomorphisms correspond bijectively to continuous functions . Using this, one may translate algebraic theorems about Boolean algebras into topological theorems about Stone spaces, or vice versa: for example, Sikorski's theorem that complete Boolean algebras are injective in the category of all Boolean algebras (see Injective object) corresponds to Gleason's theorem that extremally-disconnected spaces are projective in the category of Stone spaces. For more details see [a1].
|[a1]||P.T. Johnstone, "Stone spaces" , Cambridge Univ. Press (1982)|
|[a2]||S. Koppelberg, "General theory of Boolean algebras" J.D. Monk (ed.) R. Bonnet (ed.) , Handbook of Boolean algebras , 3 , North-Holland (1989)|
|[a3]||J.D. Monk (ed.) R. Bonnet (ed.) , Handbook of Boolean algebras , 1–3 , North-Holland (1989)|
Stone space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Stone_space&oldid=14734