Stone's Representation Theorem For Boolean Algebras - Stone Spaces

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 basis consisting of all sets of the form

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

Read more about this topic:  Stone's Representation Theorem For Boolean Algebras

Famous quotes containing the words stone and/or spaces:

    Wouldst thou hear what man can say
    In a little? Reader, stay.
    Underneath this stone doth lie
    As much beauty as could die;
    Ben Jonson (1572–1637)

    We should read history as little critically as we consider the landscape, and be more interested by the atmospheric tints and various lights and shades which the intervening spaces create than by its groundwork and composition.
    Henry David Thoreau (1817–1862)