Pointfree pointwise suprema in unital Archimedean -groups.

DOI10.1016/J.JPAA.2015.03.006MaRDI QIDQ2349334zbMATH OpenOpenAlexFDO

Authors Richard N. Ball, Anthony W. Hager, Joanne Walters Wayland

Publication date 22 June 2015

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

Full work available at URL https://arxiv.org/abs/1411.3362

zbMATH Keywords

continuous real valued functions on localesMadden representationsNakano-Stone theorempointwise supremaunital Archimedean lattice-ordered groupsweak order units

Mathematics Subject Classification ID

Frames, locales (06D22) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Real-valued functions in general topology (54C30)

Abstract: We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of $mathcalRL$, the family of continuous real valued functions on a locale, or pointfree space. Our setting is the category $mathbfW$ of archimedean lattice-ordered groups ($ell$-groups) with designated weak order unit, with morphisms which preserve the group and lattice operations and take units to units. A main result is the appropriate analog of the Nakano-Stone Theorem: a (completely regular) locale $L$ has the feature that $mathcalRL$ is conditionally pointwise complete ($sigma$-complete), i.e., every bounded (countable) family from $mathcalRL$ has a pointwise supremum in $mathcalRL$, iff $L$ is boolean (a $P$-locale). We adopt a maximally broad definition of unconditional pointwise completeness ($sigma$-completeness): a divisible $mathbfW$-object $G$ is pointwise complete ($sigma$-complete) if it contains a pointwise supremum for every subset which has a supremum in any extension. We show that the pointwise complete ($sigma$-complete) $mathbfW$-objects are those of the form $mathcalRL$ for $L$ a boolean locale ($P$-locale). Finally, we show that a $mathbfW$-object $G$ is pointwise $sigma$-complete iff it is epicomplete.

Recommendations

• Pointfree pointwise convergence, Baire functions, and epimorphisms in truncated Archimedean \(\ell\)-groups
• Free Archimedean l-Groups.
• Free bounded Archimedean \(\ell\)-algebras
• scientific article; zbMATH DE number 1208038
• Free non-archimedean topological groups.
• The projectable hull of an Archimedean -group with weak unit
• Injectivity of Archimedean \(\ell \)-groups with order unit
• scientific article; zbMATH DE number 4170976
• scientific article; zbMATH DE number 2002318
• Points of joint continuity for the semigroup of ultrafilters on an Abelian group

Cites work

• \(*\)-maximum lattice-ordered groups.
• C- and C^*-quotients in pointfree topology
• Completeness properties of function rings in pointfree topology.
• Convergence and Cauchy Structures on Lattice Ordered Groups
• Epicomplete archimedean l-groups via a localic Yosida theorem
• Essential completeness in categories of completely regular frames.
• Essential completeness of Archimedean \(\ell\)-groups with weak order unit
• Frames and Locales
• Free lattice-ordered Abelian groups
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 4152437 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3593633 (Why is no real title available?)
• On the localic Yosida representation of an archimedean lattice ordered group with weak order unit
• The \(P\)-frame reflection of a completely regular frame
• The essential closure of an Archimedean lattice-ordered group

Cited in

(6)

• A new characterization of the continuous functions on a locale
• On the Dini and Stone-Weierstrass properties in pointfree topology.
• Truncated abelian lattice-ordered groups. II: The pointfree (Madden) representation
• Pointfree pointwise convergence, Baire functions, and epimorphisms in truncated Archimedean \(\ell\)-groups
• From \(\lambda\)-hollow frames to \(\lambda\)-repletions in \(\mathcal{W}\). III: Continuous convergence in \(\mathcal{R}L\)
• The four uniform completions of a unital Archimedean vector lattice

This page was built for publication: Pointfree pointwise suprema in unital Archimedean \(\ell\)-groups.

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