Abstract
The purpose of this paper is to identify the role of perfectness in the Michael insertion theorem for perfectly normal locales. We attain it by characterizing perfect locales in terms of strict insertion of two comparable lower semicontinuous and upper semicontinuous localic real functions. That characterization, when combined with the insertion theorem for normal locales, provides an improved formulation of the aforementioned pointfree form of Michael’s insertion theorem.
Similar content being viewed by others
References
Aull, C.E., Thron, W.J.: Separation axioms between \(T_0\) and \(T_1\). Indag. Math. 24, 26–37 (1963)
Banaschewski, B.: The real numbers in pointfree topology. Textos de Matemática, vol. 12. University of Coimbra, Coimbra (1997)
Gutiérrez García, J., Kubiak, T.: A new look at some classical theorems on continuous functions on normal spaces. Acta Math. Hung. 119, 333–339 (2008)
Gutiérrez García, J., Kubiak, T.: Inserting measurable functions precisely. Czechoslov. Math. J. 64(139), 743–749 (2014)
Gutiérrez García, J., Kubiak, T., Picado, J.: Pointfree forms of Dowker’s and Michael’s insertion theorems. J. Pure Appl. Algebra 213, 98–108 (2009)
Gutiérrez García, J., Kubiak, T., Picado, J.: Localic real functions: a general setting. J. Pure Appl. Algebra 213, 1064–1074 (2009)
Gutiérrez García, J., Kubiak, T., Picado, J.: Perfectness in locales. Quaest. Math. 40, 507–518 (2017)
Gutiérrez García, J., Kubiak, T., Picado, J.: On hereditary properties of extremally disconnected frames and normal frames. Topol. Appl. 273, 106978 (2020)
Gutiérrez García, J., Picado, J.: Rings of real functions in pointfree topology. Topol. Appl. 158, 2264–2278 (2011)
Gutiérrez García, J., Picado, J.: On the parallel between normality and extremal disconnectedness. J. Pure Appl. Algebra 218, 784–803 (2014)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Lane, E.P.: Insertion of a continuous function. Topol. Proc. 4, 463–478 (1979)
Li, Y.-M., Wang, G.-J.: Localic Katětov–Tong insertion theorem and localic Tietze extension theorem. Comment. Math. Univ. Carol. 38, 801–814 (1997)
Mozo Carollo, I.: A lattice-theoretic approach to arbitrary real functions on frames. Quaest. Math. 41, 319–347 (2018)
Picado, J., Pultr, A.: Frames and Locales: Topology Without Points. Springer, Basel (2012)
Picado, J., Pultr, A.: A Boolean extension of a frame and a representation of discontinuity. Quaest. Math. 40, 1111–1125 (2017)
Yan, P.-F., Yang, E.-G.: Semi-stratifiable spaces and the insertion of semicontinuous functions. J. Math. Anal. Appl. 328, 429–437 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by W. Wm. McGovern.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors acknowledge financial support from the Ministry of Economy and Competitiveness of Spain (Grant MTM2015-63608-P (MINECO/FEDER, UE)), from the Basque Government (Grant IT974-16) and from the Centre for Mathematics of the University of Coimbra (Grant UID/MAT/00324/2019, funded by the Portuguese Government through FCT/MEC and ERDF Partnership Agreement PT2020).
Rights and permissions
About this article
Cite this article
Gutiérrez García, J., Kubiak, T. & Picado, J. Perfect locales and localic real functions. Algebra Univers. 81, 32 (2020). https://doi.org/10.1007/s00012-020-00661-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-020-00661-x
Keywords
- Locale
- Sublocale
- Perfectness
- \(G_{\delta }\)-perfectness
- Perfect normality
- Semicontinuous real function
- Insertion theorem