Abstract
Algebraic conditions on frame homomorphisms representing various types of openness requirements on continuous maps are investigated. It turns out that several of these can be expressed in terms of formulas involving pseudocomplements. A full classification of the latter is presented which shows that they group into five equivalence classes and establishes the logical connections between them. Among the relation of our algebraic conditions to continuous maps between topological spaces, we establish that the coincidence of the algebraic and topological notion of openness is equivalent to the separation axiomT D for the domain space.
Similar content being viewed by others
References
C. E. Aull and W. J. Thron: Separation axioms betweenT 0 andT 1,Indag. Math. 24 (1962), 26–37.
B. Banaschewski: Frames and compactifications, Proceedings,Symposium on Extension Spaces, 1967, Deutscher Verlag der Wissenschaften, Berlin (1969), 29–33.
B. Banaschewski and A. Pultr:Booleanization as Reflection, Preprint 1961.
W. W. Comfort and N. B. Hindman: Refining families for ultrafilters,Math. Zeitschr. 149 (1976), 189–199.
Z. Frolik: Remarks concerning the invariance of Baire spaces under mappings,Czech. Math. J. 11 (1961), 381–385.
H. Herrlich and G. E. Strecker: H-closed Spaces and Reflective Subcategories,Math. Annalen 177 (1968), 302–309.
J. R. Isbell: Atomless parts of spaces,Math. Scand 31 (1972), 5–32.
D. S. Janković and C. Konstadilaki-Saovopoulou: On α-continuous functions, submitted toMath. Bohemica.
P. T. Johnstone:Stone Spaces, Cambridge University Press, Cambridge, 1982.
P. T. Johnstone:Factorization Theorems for Geometric Morphisms II, Springer Lecture Notes in Math. 915, ‘Categorical Aspects of Topology and Analysis’, 216–233.
P. T. Johnstone: Open locales and exponentiation,contemp. Math. 30 (1984), 84–116.
P. T. Johnstone:A Constructive Theory of Uniform Locales, I. General Topology and Applications. Lecture Notes in Pure and Applied Mathematics134. Dekker (New York, 1991), 187–193.
A. Joyal and M. Tierney:An Extension of the Galois Theory of Grothendieck, Memoirs of the AMS, Volume 51, Number 309 (September 1984).
J. L. Kelley:General Topology, Van Nostrand 1955.
N. Levine: Semi-open sets and semi-continuity in topological spaces,Amer. Math. Monthly 70 (1963), 36–41.
J. Mioduszewski and L. Rudolf: H-closed and extremally disconnected Hausdorff spaces,Dissertationes Math 66 (1969).
V. Pták: Completeness and the open mapping theorem,Bull. Soc. Math. France 86 (1958), 41–74.
R. Sikorski: ‘Boolean algebras’,Ergebnisse der Math. und Ihrer Grenzgebiete, Bd. 25, Springer 1864.
P. Simon and P. Vojtáš, oral communication.
Author information
Authors and Affiliations
Additional information
In honour of Dieter Pumplün on the occassion of his 60th birthday
Rights and permissions
About this article
Cite this article
Banaschewski, B., Pultr, A. Variants of openness. Appl Categor Struct 2, 331–350 (1994). https://doi.org/10.1007/BF00873038
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00873038