Abstract
Among the conditions of separation type, the axiom of regularity is very special. From the earliest stages of point-free topology there was natural interest in conditions that would capture classical separation phenomena as convincingly as possible in the new, more general, context. Classical separation axioms are typically formulated in the language of points and point-dependent notions; hence, one looked for equivalent formulations, or imitated the geometric intuition to obtain suitable replacements or at least analogies (see, e.g., Isbell (Math Scand 31:5–32, 1972), Dowker and Strauss. Separation axioms for frames. In: Topics in Topology, pp. 223–240. Proc. Colloq., Keszthely, 1972. Colloq. Math. Soc. Janos Bolyai, vol. 8, North-Holland, Amsterdam, 1974, Isbell (Math Scand 36:317–339, 1975), Simmons. A framework for topology. In: Logic Colloq. ’77, pp. 239–251. Stud. Logic Foundations Math., vol. 96. North-Holland, Amsterdam-New York, 1978, Johnstone. Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge 1982, Rosický and Šmarda (Math. Proc. Cambridge Philos. Soc. 98:81–86, 1985)). In this company, regularity stands out. As we have already seen in Chap. I, it can be translated very easily, and the obtained formula has a natural appeal even in classical spaces (in fact, in an obviously equivalent form it is used classically anyway). There is no reasonable doubt that this formula makes a fully satisfactory point-free extension. It can be used without problems for proving useful facts parallel with the classical ones; moreover, it is algebraically versatile and easy to work with.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This holds, to some extent, also for the closely related complete regularity. It needs more explanation, but the natural formulation is equally compelling. Now, however, we wish to emphasize the exceptional role of regularity first.
- 2.
In localic terms, this means that a localic map f : L → M is codense if f[L] is a codense sublocale of M, that is, \(f[L]\subseteq \mathfrak {o}(a)\ \Rightarrow \ \mathfrak {o}(a)=L.\)
- 3.
We follow the historical terminology in which an open U is called regular if \(U=\mathrm {int}\,(\overline {U})\). It has nothing to do with the regularity in separation.
- 4.
More examples are given by Dube in [89], within the realm of frames of radical ideals of a ring.
References
B. Banaschewski. On pushing out frames. Comment. Math. Univ. Carolinae 31 (1990) 13–21.
X. Chen. Closed Frame Homomorphisms. Doctoral dissertation, McMaster University, Hamilton, 1991.
C. H. Dowker, D. Strauss. Separation axioms for frames. In: Topics in Topology, pp. 223–240. Proc. Colloq., Keszthely, 1972. Colloq. Math. Soc. Janos Bolyai, vol. 8, North-Holland, Amsterdam, 1974.
T. Dube. Some connections between frames of radical ideals and frames of z-ideals. Algebra Universalis 79 (2018) Art. 7, 18 pp.
J. R. Isbell. Atomless parts of spaces. Math. Scand. 31 (1972) 5–32.
J. R. Isbell. Function spaces and adjoints. Math. Scand. 36 (1975) 317–339.
P. T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge 1982.
J. Picado, A. Pultr. Frames and Locales: Topology without points. Frontiers in Mathematics, vol. 28, Springer, Basel, 2012.
J. Picado, A. Pultr. Notes on the product of locales. Math. Slovaca 65 (2015) 247–264.
J. Rosický, B. Šmarda. T 1-locales. Math. Proc. Cambridge Philos. Soc. 98 (1985) 81–86.
H. Simmons. A framework for topology. In: Logic Colloq. ’77, pp. 239–251. Stud. Logic Foundations Math., vol. 96. North-Holland, Amsterdam-New York, 1978.
M. Singal, S. Arya. On almost regular spaces. Glasnik. Matematicki Ser. III 4 (1969) 89–99.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2021 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Picado, J., Pultr, A. (2021). Regularity and Fitness. In: Separation in Point-Free Topology. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-53479-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-53479-0_5
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-53478-3
Online ISBN: 978-3-030-53479-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)