×

A duality involving Borel spaces. (English) Zbl 1154.06005

A Borel space is a set together with a collection of subsets (called Borel subsets) which is closed under countable unions and complements. Borel maps are functions between the underlying sets the inverse images of which preserve Borel sets. The arising category is called the category of Borel spaces. Sobriety in this category is defined in a manner fairly akin to one of characterizations of sober topological spaces. The gist of the paper is in establishing a dual equivalence between sober Borel spaces and spatial Boolean \(\sigma\)-frames.
Reviewer’s remark: It appears that there is an inadvertent tautology in Corollary 3.4. Since the Euclidean space \(\mathbb R^n\) is a separable metric space, and any metric space is separable iff it is second countable, statements (1) and (2) of the corollary are subsumed by statement (3).

MSC:

06D22 Frames, locales
06D50 Lattices and duality
28A05 Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets
54B30 Categorical methods in general topology
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Gillman, L.; Jerison, M., Rings of continuous functions (1960), van Nostrand Reinhold Company · Zbl 0093.30001
[2] Gilmour, C. R.A., Realcompact spaces and regular \(σ\)-frames, Math. Proc. Cambridge Philos. Soc., 96, 1, 73-79 (1984) · Zbl 0547.54021
[3] Gilmour, C. R.A., Realcompact Alexandroff spaces and regular \(σ\)-frames, Mathematical Monographs of the University of Cape Town, vol. 3 (1985), Department of Mathematics, University of Cape Town: Department of Mathematics, University of Cape Town Cape Town, viii+103pp · Zbl 0601.54019
[4] Hewitt, E., Linear functionals on spaces of continuous functions, Fund. Math., 37, 161-189 (1950) · Zbl 0040.06401
[5] Isbell, J. R., Atomless parts of spaces, Math. Scand., 31, 5-32 (1972) · Zbl 0246.54028
[6] Johnstone, P. T., Stone spaces (1982), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0499.54001
[7] Mac Lane, S., Categories for the Working Mathematician (1971), Springer Verlag: Springer Verlag New York · Zbl 0232.18001
[8] Madden, J. J., \(κ\)-frames, Proceedings of the Conference on Locales and Topological Groups (Curaçao 1989). \(κ\)-frames, Proceedings of the Conference on Locales and Topological Groups (Curaçao 1989), Jr. Pure Appl. Alg., 70, 1-2, 107-127 (1991) · Zbl 0721.06006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.