On the relation between subspaces and sublocales

DOI10.1016/J.JPAA.2021.106851zbMATH Open1487.06002arXiv2010.05284OpenAlexW3177646645MaRDI QIDQ1979313FDOQ1979313

Authors: Anna Laura Suarez 

Publication date: 2 September 2021

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

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.

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

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

zbMATH Keywords

framelocalesublocalescattered space\(T_D\)totally spatial sublocale

Mathematics Subject Classification ID

Frames, locales (06D22)

Cites Work

• Title not available (Why is that?)
• Infinite distributive laws versus local connectedness and compactness properties
• Atomless Parts of Spaces.
• Pointfree Aspects of theT_dAxiom of Classical Topology
• Title not available (Why is that?)
• Spaces with Boolean assemblies
• Spatial sublocales and essential primes
• On dissolute spaces
• Separation axioms and frame representation of some topological facts
• When is the frame of nuclei spatial: a new approach
• The frame of nuclei on an Alexandroff space
• On covered prime elements and complete homomorphisms of frames
• Axiom $T_D$ and the Simmons sublocale theorem

Cited In (7)

• Spatial sublocales and essential primes
• Martínez frames
• Notes on the spatial part of a frame
• T D property and spatial sublocales
• Some further results on pointfree convex geometry
• Title not available (Why is that?)
• Title not available (Why is that?)

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)