The frame of the p-adic numbers

DOI10.1016/J.TOPOL.2019.106977MaRDI QIDQ2310787zbMATH OpenOpenAlexWikidataFDO

Authors F. Ávila

Publication date 6 April 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2019.106977

zbMATH Keywords

\(p\)-adic integers\(p\)-adic numbersCantor setframeslocalespointfree topology

Mathematics Subject Classification ID

Frames, locales (06D22) Metric spaces, metrizability (54E35) Peculiar topological spaces (54G99)

Review text

In pointfree topology, i.e. the study of the category \(\mathbf{Frm}\) of frames or its dual, the category \(\mathbf{Loc}\) of locales, one of the nice features of the algebraic nature of the category of frames is that objects can be described using generators and relations. In the present paper, the author introduces the frame \(\mathcal{L}(\mathbb{Q}_p)\) of \(p\)-adic numbers in this way. The author then continues by showing that the frame \(\mathcal{L}(\mathbb{Q}_p)\) is completely regular, \(0\)-dimensional and a continuous lattice which relates back to the classical notion of \(p\)-adic numbers by the result that its spectrum equals the classical \(p\)-adic numbers with their usual topology. He then continues by endowing \(\mathcal{L}(\mathbb{Q}_p)\) with a natural complete (metric) uniformity and shows that the uniform frame thus obtained is a completion of the spatial uniform frame on \(\Omega(\mathbb{Q})\) derived from the \(p\)-adic absolute value. Starting with an arbitrary frame \(L\), the author then defines algebraic operations on \(C_p(L) = \mathbf{Frm}(\mathcal{L}(\mathbb{Q}_p),L)\) making it into a unital \(\mathbb{Q}_p\)-algebra and endows it with a non-Archimedean norm. In the last section of the present paper, the following pointfree generalization of a \(p\)-adic Stone-Weierstrass theorem due to Kaplansky is proved: Theorem 8.3. Let \(L\) be a compact \(0\)-dimensional frame and let \(\mathcal{A}\) be a unitary subalgebra of \(C_p(L)\) which separates points. Then \(\mathcal{A}\) is uniformly dense in \(C_p(L)\).

Recommendations

• Algebraic characterization of rings of continuous \(p\)-adic valued functions
• p -Adic Continuous Functions on Rings of Integers and a Theorem of K. Mahler
• Adelic versions of the Weierstrass approximation theorem
• \(p\)-adic interpolation and approximation of a continuous function by linear combinations of shifts of \(p\)-adic valuations
• On some expansions of p-adic functions

Cites work

• Frames and Locales
• scientific article; zbMATH DE number 3880803 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3581101 (Why is no real title available?)
• scientific article; zbMATH DE number 1164976 (Why is no real title available?)
• scientific article; zbMATH DE number 3798484 (Why is no real title available?)
• scientific article; zbMATH DE number 3347009 (Why is no real title available?)
• scientific article; zbMATH DE number 3095922 (Why is no real title available?)
• Lattice Theory: Special Topics and Applications
• ON THE COMPLETION OF NEARNESS FRAMES
• The frame of the \(p\)-adic numbers
• The Spectral Theory of Distributive Continuous Lattices
• The Weierstrass Theorem in Fields with Valuations

Cited in

(6)

• On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem
• The frame of the \(p\)-adic numbers
• Adelic versions of the Weierstrass approximation theorem
• Frames of translates for number-theoretic groups
• p-adic distance functions and comparative performance analysis of distance functions with the k-NN classifier
• Presenting the frame of the unit circle.

This page was built for publication: The frame of the \(p\)-adic numbers

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