Namespaces
Variants
Actions

Stone space

From Encyclopedia of Mathematics
Revision as of 17:09, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 [1]).

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.

References

[1] R. Sikorski, "Boolean algebras" , Springer (1969)


Comments

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].

References

[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)
How to Cite This Entry:
Stone space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Stone_space&oldid=14734
This article was adapted from an original article by V.I. Malykhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article