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:

    “screenwriter
    Beneath every stone there lurks a scorpion.”
    —Sophocles (497–406/5 B.C.)

    “through the spaces of the dark
    Midnight shakes the memory
    As a madman shakes a dead geranium.”
    —T.S. (Thomas Stearns)