Stone's representation theorem for Boolean algebras


Stone's representation theorem for Boolean algebras

In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a field of sets. The theorem is fundamental to the deeper understanding of Boolean algebra that emerged in the first half of the 20th century. The theorem was first proved by Stone (1936), and thus named in his honor. Stone was led to it by his study of the spectral theory of operators on a Hilbert space.

tone spaces

Each Boolean algebra "B" has an associated topological space, denoted here "S"("B"), called its Stone space. The points in "S"("B") are the ultrafilters on "B", or equivalently the homomorphisms from "B" to the 2-element Boolean algebra. The topology on "S"("X") is generated by a basis consisting of all sets of the form:{ x in S(X) mid b in x},where "b" is an element of "B".

For any Boolean algebra "B", "S"("B") is a compact totally disconnected Hausdorff space; such spaces are called Stone spaces. Conversely, given any topological space "X", the collection of subsets of "X" that are clopen (both closed and open) is a Boolean algebra.

Representation theorem

A simple version of Stone's representation theorem states that any Boolean algebra "B" is isomorphic to the algebra of clopen subsets of its Stone space "S"("B"). The full statement of the theorem uses the language of category theory; it states that there is a duality between the category of Boolean algebras and the category of Stone spaces. This duality means that in addition to the isomorphisms between Boolean algebras and their Stone spaces, each homomorphism from a Boolean algebra "A" to a Boolean algebra "B" corresponds in a natural way to a continuous function from "S"("B") to "S"("A"). In other words, there is a contravariant functor that gives an equivalence between the categories. This was the first example of a nontrivial duality of categories.

The theorem is a special case of Stone duality, a more general framework for dualities between topological spaces and partially ordered sets.

The proof requires either the axiom of choice or a weakened form of it. Specifically, the theorem is equivalent to the Boolean prime ideal theorem, a weakened choice principle which states that every Boolean algebra has a prime ideal.

ee also

* Field of sets
* List of Boolean algebra topics
* Stonean space

References

* Paul Halmos, and Givant, Steven (1998) "Logic as Algebra". Dolciani Mathematical Expositions No. 21. The Mathematical Association of America.
* Johnstone, Peter T. (1982) "Stone Spaces". Cambridge University Press. ISBN 0-521-23893-5.
* Marshall H. Stone (1936) " [http://links.jstor.org/sici?sici=0002-9947%28193607%2940%3A1%3C37%3ATTORFB%3E2.0.CO%3B2-8 The Theory of Representations of Boolean Algebras,] " "Transactions of the American Mathematical Society 40": 37-111. A monograph available free online:
* Burris, Stanley N., and H.P. Sankappanavar, H. P.(1981) " [http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.] " Springer-Verlag. ISBN 3-540-90578-2.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Representation theorem — In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to a concrete structure. For example, *in algebra, ** Cayley s theorem states that every group is isomorphic to… …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean prime ideal theorem — In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given abstract algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime… …   Wikipedia

  • Stone duality — In mathematics, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they… …   Wikipedia

  • Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract …   Wikipedia

  • Boolean ring — In mathematics, a Boolean ring R is a ring (with identity) for which x 2 = x for all x in R ; that is, R consists only of idempotent elements.Boolean rings are automatically commutative and of characteristic 2 (see below for proof). A Boolean… …   Wikipedia

  • STONE (M. H.) — STONE MARSHALL HARVEY (1903 1989) Après ses études à l’université Harvard, Marshall Harvey Stone enseigna dans diverses universités: Columbia (1925 1927), Yale (1931 1933), Harvard (1927 1931, puis 1933 1946) et Chicago (depuis 1944). Il fut élu… …   Encyclopédie Universelle

  • Stone–Čech compactification — In the mathematical discipline of general topology, Stone–Čech compactification is a technique for constructing a universal map from a topological space X to a compact Hausdorff space beta; X . The Stone–Čech compactification beta; X of a… …   Wikipedia

  • List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia