On the relation between subspaces and sublocales

DOI10.1016/J.JPAA.2021.106851MaRDI QIDQ1979313zbMATH OpenOpenAlexFDO

Authors Anna Laura Suarez

Publication date 2 September 2021

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

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

zbMATH Keywords

\(T_D\)framelocalescattered spacesublocaletotally spatial sublocale

Mathematics Subject Classification ID

Frames, locales (06D22)

Abstract: We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales $mathsfsp[mathsfS(L)]$ form a coframe which is isomorphic to the coframe $mathsfsob[mathcalP(mathsfpt(L))]$ of sober subspaces of $mathsfpt(L)$. We characterize the frames $L$ such that the spatial sublocales of $mathsfS(L)$ perfectly represent the subspaces of $mathsfpt(L)$. We prove choice-free, weak versions of the results by Niefield and Rosenthal characterizing those frames such that all their sublocales are spatial (i.e., those such that the sober subspaces of $mathsfpt(L)$ perfectly represent the sublocales of $L$). We do so by using a notion of essential prime which does not rely on the existence of enough minimal primes above every element. We will re-prove Simmons' result that spaces such that the sublocales of $Omega(X)$ perfectly represent their subspaces are exactly the scattered spaces. We will characterize scattered spaces in terms of a strong form of essentiality for primes. We apply these characterizations to show that, when $L$ is a spatial frame and a coframe, $mathsfpt(L)$ is scattered if and only if it is $T_D$, and this holds if and only if all the primes of $L$ are completely prime.

Review text

In this investigation, the author shows the instrisic relation between sublocales and subspaces. This situation leads to the question: for which locales (frames) all sublocales (quotients) are spatial? In order to give a full answer, the author introduces the set of all spatial sublocales as a sublocale of the coframe of all sublocales. At the end, it is shown that for a spatial frame its point space is scattered exactly when it is \(T_{D}\), and this holds exactly when all the primes of the frame are completely prime. The investigation shows how localic-methods and frame-theoretic methods interplay in a such good way.

Recommendations

• The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
• Hewitt's irresolvability and induced sublocales in spatial frames
• On an aspect of scatteredness in the point-free setting
• On joins of complemented sublocales
• Generating sublocales by subsets and relations: a tangle of adjunctions

Cites work

• Atomless Parts of Spaces.
• Axiom T_D and the Simmons sublocale theorem
• scientific article; zbMATH DE number 3177268 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• Infinite distributive laws versus local connectedness and compactness properties
• On covered prime elements and complete homomorphisms of frames
• On dissolute spaces
• Pointfree aspects of the T_D axiom of classical topology
• Separation axioms and frame representation of some topological facts
• Spaces with Boolean assemblies
• Spatial sublocales and essential primes
• The frame of nuclei on an Alexandroff space
• When is the frame of nuclei spatial: a new approach

Cited in

(13)

• Spatial sublocales and essential primes
• The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
• When is the frame of nuclei spatial: a new approach
• Localic subspaces and colimits of localic spaces
• Generating sublocales by subsets and relations: a tangle of adjunctions
• scientific article; zbMATH DE number 617877 (Why is no real title available?)
• T D property and spatial sublocales
• scientific article; zbMATH DE number 7626843 (Why is no real title available?)
• Hewitt's irresolvability and induced sublocales in spatial frames
• Some further results on pointfree convex geometry
• Martínez frames
• Notes on the spatial part of a frame
• Canonical extensions via fitted sublocales

This page was built for publication: On the relation between subspaces and sublocales

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