No label defined (Q4383368)

For a Boolean algebra \(A\), let \(\text{Sub}(A)\) denote the sublattice of all subalgebras of \(A\) endowed by the topology whose subbase is \[ \{\{C\in \text{Sub}(A);a\in C\},\{C\in \text{Sub} (A);a\notin C\};a\in A\}. \] It is proved that a Boolean algebra \(A\) is countable if and only if \(\text{Sub}(A)\) has a continuous complementation. As a consequence we obtain that a compact zero-dimensional topological space is metrizable if and only if there is a continuous mapping \(f:X\times \text{exp}(X)\rightarrow X\) such that \(f(x,Y)\in Y\) for all \(x\in X\) and all \(Y\subseteq X\); \(f(y,Y)=y\) for all \(y\in Y\subseteq X\).