On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem (Q2065608)

This paper is a description of the Cantor space in pointfree topology. It presents the frame \(\mathcal{L}(\mathbb{Z}_p)\) of \(p\)-adic integers by generators and relations. The spatialization of \(\mathcal{L}(\mathbb{Z}_p)\) is homeomorphic to the ultrametric space of \(p\)-adic integers \(\mathbb{Z}_p=\{x\in\mathbb{Q}_p\colon |x|_p\le 1\}\), thus homeomorphic to the Cantor space. It is shown that \(\mathcal{L}(\mathbb{Z}_p)\) is zero-dimensional, compact, metrizable, ultraparacompact, and ultranormal and that any compact metrizable locale is a localic image of \(\mathcal{L}(\mathbb{Z}_2)\).