English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The aim of this work is to give a pointfree description of the Cantor set. Itcan be shown that the Cantor set is homeomorphic to the $p$-adic integers$\mathbb{Z}_{p}:=\{x\in\mathbb{Q}_{p}: |x|_p\leq 1\}$ 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 openballs centered at integers generate the open subsets of $\mathbb{Z}_{p}$ andthus we think of them as the basic generators; on this poset we impose somerelations and then the resulting quotient is the frame of the Cantor set$\mathcal{L}(\mathbb{Z}_{p})$. We prove that $\mathcal{L}(\mathbb{Z}_{p})$ is aspatial frame whose space of points is homeomorphic to $\mathbb{Z}_{p}$. Inparticular, we show with pointfree arguments that $\mathcal{L}(\mathbb{Z}_{p})$is $0$-dimensional, (completely) regular, compact, and metrizable (it admits acountably generated uniformity). Finally, we give a point-free counterpart ofthe Hausdorff-Alexandroff Theorem which states that \emph{every compact metricspace 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 compactmetrizable frame, then there is an injective frame homomorphism from $L$ into$\mathcal{L}(\mathbb{Z}_{2})$.

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