On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem

From MaRDI portal
Publication:2065608





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)\).











This page was built for publication: On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065608)