During my beginning PhD-research I have encountered the following question/problem:
- Let $X$ be a boolean space. Is it possible to reconstruct the space $X$ from its boolean algebra of clopen sets, $Cl(X)$ (viewed as a boolean algebra)?
By a boolean space I mean a (non-empty) zero-dimensional locally compact Hausdorff space, or equivalently, a Hausdorff space with a basis consisting of compact open sets. The particular spaces I am studying are second countable and have no isolated points as well -- in case it makes a difference.
The set of clopen subsets of $X$, $Cl(X)$, forms a boolean algebra under the usual set-operations of union, intersection and complement. It is generally not a complete boolean algebra.
In the case that $X$ is in fact compact (i.e. a Stone space) the answer is of course yes, this being the classical Stone duality. In the locally compact case however, it seems to me like the answer in general is no, based on the references below, as these seem to require the boolean algebra of compact open sets instead. And it is not possible to "detect" compactness of an element $A \in Cl(X)$, as one only has finite unions/joins in this boolean algebra.
- Dimov – Some Generalizations of the Stone Duality Theorem (http://rmi.tsu.ge/tolo2/presentations/Dimov.pdf)
- Doctor – The Categories of Boolean Lattices, Boolean Rings and Boolean Spaces (https://cms.math.ca/openaccess/cmb/v7/cmb1964v07.0245-0252.pdf)
Not in general: two non-isomorphic boolean spaces can have isomorphic algebras of clopen sets. Indeed, let $X$ be any boolean space that is not compact, and let $B=Cl(X)$. Then the Stone space $Y$ of $B$ is a boolean space with $Cl(Y)\cong Cl(X)$, but $Y$ is not homeomorphic to $X$ since $Y$ is compact and $X$ is not.
However, if you restrict to second-countable spaces, then $X$ can be reconstructed from $Cl(X)$. Indeed, the compact open sets can be identified as those elements $b\in Cl(X)$ such that $\{c\in Cl(X):c\leq b\}$ is countable. From there, the locally compact version of Stone duality can be used to reconstruct $X$.
To prove this characterization of the compact open sets, note that $\{c\in Cl(X):c\leq b\}$ is just the clopen algebra $Cl(b)$, considering $b$ as a subspace of $X$. So replacing $X$ with $b$, it suffices to show that if $X$ is a second-countable boolean space, then $X$ is compact iff $Cl(X)$ is countable. To prove this, choose a countable basis $(B_n)_{n\in\mathbb{N}}$ for $X$ consisting of compact open sets. If $X$ is compact, every clopen set is a finite union of basis elements (by compactness), and so $Cl(X)$ is countable. If $X$ is not compact, then for each $k\in\mathbb{N}$, $C_k=\bigcup_{n<k}B_n$ is compact and thus a proper subset of $X$. By induction, we can choose a sequence of disjoint nonempty compact open subsets $D_k\subset X\setminus C_k$ for each $k$. Then for every $A\subseteq\mathbb{N}$, $\bigcup_{k\in A} D_k$ is clopen, giving uncountably many distinct elements of $Cl(X)$. (The assumption that $D_k\subset X\setminus C_k$ guarantees that $\bigcup_{k\in A}D_k$ is closed, since its intersection with each $C_k$ is just a finite union and thus closed, and the $C_k$ are an open cover of $X$.)
(Alternatively, using the additional assumption that $X$ has no isolated points, you can just cite the classification in Henno Brandsma's answer, and so you just have to check that $Cl(C)$ is countable and $Cl(C\setminus\{0\})$ is uncountable.)