Stone's representation theorem for Boolean algebras

Stone's representation theorem for Boolean algebras This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2015) (Learn how and when to remove this template message) In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a certain 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 Marshall H. Stone.[1] Stone was led to it by his study of the spectral theory of operators on a Hilbert space.

Contents 1 Stone spaces 2 Representation theorem 3 See also 4 Citations 5 References Stone 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 two-element Boolean algebra. The topology on S(B) is generated by a (closed) basis consisting of all sets of the form {displaystyle {xin S(B)mid bin x},} where b is an element of B. This is the topology of pointwise convergence of nets of homomorphisms into the two-element Boolean algebra.

For every Boolean algebra B, S(B) is a compact totally disconnected Hausdorff space; such spaces are called Stone spaces (also profinite 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 every Boolean algebra B is isomorphic to the algebra of clopen subsets of its Stone space S(B). The isomorphism sends an element {displaystyle bin B} to the set of all ultrafilters that contain b. This is a clopen set because of the choice of topology on S(B) and because B is a Boolean algebra.

Restating the theorem using the language of category theory; the theorem 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 correspondence 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 an early 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 that states that every Boolean algebra has a prime ideal.

An extension of the classical Stone duality to the category of Boolean spaces (= zero-dimensional locally compact Hausdorff spaces) and continuous maps (respectively, perfect maps) was obtained by G. D. Dimov (respectively, by H. P. Doctor).[2][3] See also Stone's representation theorem for distributive lattices Representation theorem – Proof that every structure with certain properties is isomorphic to another structure Field of sets – Algebraic concept in measure theory, also referred to as an algebra of sets List of Boolean algebra topics Stonean space Stone functor Profinite group Ultrafilter lemma Citations ^ Stone, Marshall H. (1936). "The Theory of Representations of Boolean Algebras". Transactions of the American Mathematical Society. 40 (1): 37–111. JSTOR 1989664. ^ Dimov, G. D. (2012). "Some generalizations of the Stone Duality Theorem". Publ. Math. Debrecen. 80 (3–4): 255–293. doi:10.5486/PMD.2012.4814. ^ Doctor, H. P. (1964). "The categories of Boolean lattices, Boolean rings and Boolean spaces". Canad. Math. Bull. 7 (2): 245–252. doi:10.4153/CMB-1964-022-6. 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. Burris, Stanley N., and H. P. Sankappanavar, H. P.(1981) A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2. Categories: General topologyBoolean algebraTheorems in lattice theoryCategorical logic

Si quieres conocer otros artículos parecidos a Stone's representation theorem for Boolean algebras puedes visitar la categoría Boolean algebra.

Deja una respuesta

Tu dirección de correo electrónico no será publicada.


Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información