Abstract
Normality is a classical separation axiom in the context of topological spaces and frames (locales). We investigate it in the setting of biframes; the class of normal biframes includes the compact regular ones, the Lindelöf regular ones, the strictly zero-dimensional ones and the Boolean ones. We obtain an explicit description of the compact, regular coreflection of a normal, regular biframe, and conclude by proving a version of Urysohn's Lemma, which characterizes normal biframes in terms of maps from the real line.
Similar content being viewed by others
References
D. Baboolal and B. Banaschewski: Compactification and local connectedness of frames,J. Pure Appl. Algebra 70 (1991), 3–16.
B. Banaschewski:Universal Zero-Dimensional Compactifications. Categorical topology and its relations to modern analysis, algebra and combinatorics (Prague, 1988), pp. 257–269. World Sci. Publishing, Teaneck, NJ, 1989.
B. Banaschewski and G. C. L. Brümmer: Strong zero-dimensionality of biframes and bispaces,Quaestiones Math. 13 (1990), 273–290.
B. Banaschewski, G. C. L. Brümmer, and K. A. Hardie: Biframes and bispaces,Quaestiones Math. 6 (1983), 13–25.
C. H. Dowker and D. Papert:On Urysohn's Lemma, General Topology and its Relations to Modern Analysis and Algebra II (Proc. Second Prague Topological Sympos., 1966), pp. 111–114, Academia, Prague, 1967.
J. L. Frith:Structured frames, Ph.D. thesis, University of Cape Town (1987).
P. T. Johnstone:Stone Spaces, Cambridge Univ. Press, Cambridge, 1982.
J. C. Kelly: Bitopological spaces,Proc. London Math. Soc. 13(3) (1963), 71–89.
L. Nachbin:Topology and Order, Van Nostrand, Toronto-New York-London, 1965.
A. Schauerte:Biframes, Ph.D. thesis, McMaster University, 1992.
A. Schauerte: Biframe compactifications,Comment. Math. Univ. Carolinae 34(3) (1993), 567–574.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schauerte, A. Normality for biframes. Appl Categor Struct 3, 1–9 (1995). https://doi.org/10.1007/BF00872946
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00872946