Presenting the frame of the unit circle.

DOI10.1016/J.JPAA.2015.08.004MaRDI QIDQ890649zbMATH OpenOpenAlexFDO

Authors Javier Gutiérrez García, Imanol Mozo Carollo, Jorge Picado

Publication date 10 November 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10316/44424

zbMATH Keywords

frame of realsframe of the unit circleframeslocalic groups

Mathematics Subject Classification ID

Frames, locales (06D22) Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11)

Review text

The frame of reals, \(\mathfrak L(\mathbb R)\), can be presented as a frame generated by pairs \((p,q)\) of all rationals subject to some relations. It can also be presented as a frame generated by abstract ``rays \((p,-)\) and \((-, q)\), for \(p,q\in\mathbb Q\), subject to relations that mimic, in a way, how the rays \((p,\infty)\), \((-\infty,p)\) relate. Since \(\mathfrak L(\mathbb R)\) is isomorphic to the frame of open sets of the line, it is natural to ask if the frame of open sets of the unit circle can be presented by generators and relations. Incidentally, this question was posed to the authors by Bernhard Banaschewski. In answering this, the authors present frame \(\mathfrak L(\mathbb T)\) of the unit circle by generators and relations in two alternative ways. The first is the point-free counterpart of the Alexandroff compactification of the real line; and the second can be viewed as a localic analogue of the quotient space \(\mathbb R/\mathbb Z\). They prove, among other things, that the spectrum of \(\mathfrak L(\mathbb T)\) is homeomorphic to the unit circle; which accords with the case of the frame of reals. They show how the usual group operations of \(\mathfrak L(\mathbb R)\) can be lifted to \(\mathfrak L(\mathbb T)\), thus endowing it with a canonical localic group structure. As they remark, this is forward looking to a prospective point-free description of Pontryagin duality.

Recommendations

• On the completeness of localic groups
• The frame of the \(p\)-adic numbers
• Uniformities and a quantale structure on localic groups
• The group of units of a locally compact ring.
• \(\ell\)-ring aspects of compactification in pointfree topology

Cites work

• A constructive proof of the Stone-Weierstrass theorem
• A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure.
• Compactification of Frames
• Entourages, covers and localic groups
• Extended real functions in pointfree topology
• Frames and Locales
• Frames Associated with an Abelian l-Group
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 4079770 (Why is no real title available?)
• scientific article; zbMATH DE number 3759128 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3532143 (Why is no real title available?)
• scientific article; zbMATH DE number 1164976 (Why is no real title available?)
• scientific article; zbMATH DE number 809206 (Why is no real title available?)
• Lower and upper regularizations of frame semicontinuous real functions
• On the completeness of localic groups
• On the Dedekind completion of function rings.
• The point of pointless topology
• The spectral theory of commutative C^∗-algebras: The constructive spectrum

Cited in

(2)

• Notes on Point-Free Topology
• Presenting quotient locales

This page was built for publication: Presenting the frame of the unit circle.

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