On the Cantor and Hilbert Cube Frames and the Alexandroff-Hausdorff Theorem

DOI10.1016/J.JPAA.2021.106919arXiv2102.01794WikidataQ113870182 ScholiaQ113870182MaRDI QIDQ6359695FDOQ6359695

Authors: Francisco Ávila, Julio C. Urenda, Luis Angel Zaldívar-Corichi 

Publication date: 2 February 2021

Abstract: The aim of this work is to give a pointfree description of the Cantor set. It can be shown that the Cantor set is homeomorphic to the $p$-adic integers $mathbb{Z}_p:=xinmathbb{Q}_p:|x{|}_{p}leq1$ for every prime number $p$. To give a pointfree description of the Cantor set, we specify the frame of $mathbb{Z}_p$ by generators and relations. We use the fact that the open balls centered at integers generate the open subsets of $mathbb{Z}_p$ and thus we think of them as the basic generators; on this poset we impose some relations and then the resulting quotient is the frame of the Cantor set $mathcalL(mathbb{Z}_p)$. We prove that $mathcalL(mathbb{Z}_p)$ is a spatial frame whose space of points is homeomorphic to $mathbb{Z}_p$. In particular, we show with pointfree arguments that $mathcalL(mathbb{Z}_p)$ is $0$-dimensional, (completely) regular, compact, and metrizable (it admits a countably generated uniformity). Finally, we give a point-free counterpart of the Hausdorff-Alexandroff Theorem which states that emph{every compact metric space is a continuous image of the Cantor space} (see, e.g. cite{Alexandroff} and cite{Hausdorff}). We prove the point-free analog: if $L$ is a compact metrizable frame, then there is an injective frame homomorphism from $L$ into $mathcalL(mathbb{Z}_2)$.

Mathematics Subject Classification ID

Frames, locales (06D22) Metric spaces, metrizability (54E35) Frames and locales, pointfree topology, Stone duality (18F70)

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 Q6359695)