The Unapologetic Mathematician

Mathematics for the interested outsider

Stone Spaces

The Stone space functor we’ve been working with sends Boolean algebras to topological spaces. Specifically, it sends them to compact Hausdorff spaces. There’s another functor floating around, of course, though it might not be the one you expect.

The clue is in our extended result. Given a topological space X we define S(X) to be the Boolean algebra of all clopen subsets. This functor is contravariant — given a continuous map f:X\to Y, we get a homomorphism of Boolean algebras S(f) sending the clopen set Z\subseteq Y to its preimage f^{-1}(Z)\subseteq X. It’s straightforward to see that this preimage is clopen. Another surprise is that this is known as the “Stone functor”, not to be confused with the Stone space functor S(\mathcal{B}).

So what happens when we put these two functors together? If we start with a Boolean algebra \mathcal{B} and build its Stone space S(\mathcal{B}), then the Stone functor applied to this space gives us a Boolean algebra S(S(\mathcal{B})). This is, by construction, isomorphic to \mathcal{B} itself. Thus the category \mathbf{Bool} is contravariantly equivalent to some subcategory \mathbf{Stone} of \mathbf{CHaus}. But which compact Hausdorff spaces arise as the Stone spaces of Boolean algebras?

Look at the other composite; starting with a topological space X, we find the Boolean algebra S(X) of its clopen subsets, and then the Stone space S(S(X)) of this Boolean algebra. We also get a function X\to S(S(X)). For each point x\in X we define the Boolean algebra homomorphism \lambda_x:S(X)\to\mathcal{B}_0 that sends a clopen set C\subseteq X to 1 if and only if x\in C. We can see that this is a continuous map by checking that the preimage of any basic set is open. Indeed, a basic set of S(S(X)) is s(C) for some clopen set C\subseteq X. That is, \{\lambda\in S(S(X))\vert\lambda(C)=1\}. Which functions of the form \lambda_x are in s(C)? Exactly those for which x\in C. Since C is clopen, this preimage is open.

Two points x_1 and x_2 are sent to the same function \lambda_{x_1}=\lambda_{x_2} if and only if every clopen set containing x_1 also contains x_2, and vice versa. That is, x_1 and x_2 must be in the same connected component. Indeed, if they were in different connected components, then there would be some clopen containing one but not the other. Conversely, if there is a clopen that contains one but not the other they can’t be in the same connected component. Thus this map X\to S(S(X)) collapses all the connected components of X into points of S(S(X)).

If this map X\to S(S(X)) is a homeomorphism, then no two points of X are in the same connected component. Thus each singleton \{x\}\subseteq X is a connected component, and we call the space “totally disconnected”. Clearly, such a space is in the image of the Stone space functor. On the other hand, if X=S(\mathcal{B}), then S(S(X))=S(S(S(\mathcal{B})))\cong S(\mathcal{B})=X, and so this is both a necessary and a sufficient condition. Thus the “Stone spaces” form the full subcategory of \mathbf{CHaus}, consisting of the totally disconnected compact Hausdorff spaces. Stone’s representation theorem shows us that this category is equivalent to the dual of the category of Boolean algebras.

As a side note: I’d intended to cover the Stone-Čech compactification, but none of the references I have at hand actually cover the details. There’s a certain level below which everyone seems to simply assert certain facts and take them as given, and I can’t seem to reconstruct them myself.

August 23, 2010 Posted by | Analysis, Category theory, Measure Theory | Leave a comment