homeomorphism between Boolean spaces
In this entry, we derive a test for deciding when a bijection between two Boolean spaces is a homeomorphism.
We start with two general remarks.
Lemma 1.
If is zero-dimensional, then is continuous provided that is open for every clopen set in .
Proof.
Since is zero-dimensional, has a basis of clopen sets. To check the continuity of , it is enough to check that is open for each member of the basis, which is true by assumption. Hence is continuous.∎
Lemma 2.
If is compact and is Hausdorff
, and is a bijection, then is a homeomorphism iff it is continuous.
Proof.
One direction is obvious. We want to show that is continuous, or equivalently, for any closed set in , is closed in . Since is compact, is compact, and therefore is compact since is continuous. But is Hausdorff, so is closed.∎
Proposition 1.
If are Boolean spaces, then a bijection is homeomorphism iff it maps clopen sets to clopen sets.
Proof.
Once more, one direction is clear. Now, suppose maps clopen sets to clopen sets. Since is zero-dimensional, is continuous by the first proposition. Since is compact and Hausdorff, is a homeomorphism by the second proposition.∎