Hostname: page-component-f554764f5-rvxtl Total loading time: 0 Render date: 2025-04-20T21:19:03.639Z Has data issue: false hasContentIssue false

T0-spaces and the lower topology

Published online by Cambridge University Press:  19 September 2024

Jimmie Lawson
Affiliation:
Department of Mathematics, Louisiana State University, Baton Rouge, LA, USA
Xiaoquan Xu*
Affiliation:
Fujian Key Laboratory of Granular Computing and Applications, Minnan Normal University, Zhangzhou, China
*
Corresponding author: Xiaoquan Xu; Email: [email protected]

Abstract

The authors’ primary goal in this paper is to enhance the study of $T_0$ topological spaces by using the order of specialization of a $T_0$-space to introduce the lower topology (with a subbasis of closed sets $\mathord{\uparrow } x$) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets $\mathord{\uparrow } F$, $F$ finite, is contained in an open set $U$, then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong $d$-spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo $P$ with the Scott topology is a strong $d$-space, then it is well-filtered, and if additionally the Scott topology of the product $P\times P$ is the product of the Scott topologies of the factors, then the Scott space of $P$ is sober. We also exhibit connections of this work with de Groot duality.

Type
Paper
Copyright
© The Author(s), 2024. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

Footnotes

This research was supported by the National Natural Science Foundation of China (Nos. 12071199, 12471070).

References

Abramsky, S. and Jung, A. (1994). Domain theory. In: Semantic Structures, Handbook of Logic in Computer Science, vol. 3, Warzawa, Polish Scientific Publishers, 1168.Google Scholar
Erné, M. (2009). Infinite distributive laws versus local connectedness and compactness properties. Topology and Its Applications 156 (12) 20542069.CrossRefGoogle Scholar
Erné, M. (2018). Categories of locally hypercompact spaces and quasicontinuous posets. Applied Categorical Structures 26 (5) 823854.CrossRefGoogle Scholar
Gierz, G., Hofmann, K., Keimel, K., Lawson, J., Mislove, M. and Scott, D. (2003). Continuous Lattices and Domains, Cambridge, Cambridge University Press.CrossRefGoogle Scholar
Gierz, G., Lawson, J. and Stralka, A. (1983). Quasicontinuous posets. Houston Journal of Mathematics 9 191208.Google Scholar
Goubault-Larrecq, J. (2013). Non-Hausdorff Topology and Domain Theory, New Mathematical Monographs, vol. 22, Cambridge, Cambridge University Press.CrossRefGoogle Scholar
Heckmann, R. (1992). An upper power domain construction in terms of strongly compact sets. In: Mathematical Foundations of Programming Semantics, vol. 598, Berlin, Springer-Verlag, 272293, Lecture Notes in Computer Science.CrossRefGoogle Scholar
Heckmann, R. and Keimel, K. (2013). Quasicontinuous domains and the Smyth powerdomain. Electronic Notes in Theoretical Computer Science 298, 215232.CrossRefGoogle Scholar
Isbell, J. (1982). Completion of a construction of Johnstone. Proccedings of the Amercan Mathematical Society 85 (3) 333334.CrossRefGoogle Scholar
Jia, X. (2018). Meet-Continuity and Locally Compact Sober Dcpos. Phd thesis, University of Birmingham.Google Scholar
Jia, X., Jung, A. and Li, Q. (2016). A note on coherence of dcpos. Topology and Its Applications 209 235238.CrossRefGoogle Scholar
Johnstone, P. (1981). Scott is not always sober. In: Continuous Lattices, vol. 871, Berlin, Springer-Verlag, 282283, Lecture Notes in Mathematics.CrossRefGoogle Scholar
Keimel, K. and Lawson, J. (2009). $D$ -completion and $d$ -topology. Annals of Pure and Applied Logic 159 292306.CrossRefGoogle Scholar
Kou, H. (2001). Uk-admitting dcpos need not be sober. In:Domains and Processes, Semantic Structure on Domain Theory, vol. 1. Netherlands, Kluwer Academic Publishers, 4150.Google Scholar
Lawson, J. (1998). The upper interval topology, property $\mathscr{M}$ , and compactness. Electronic Notes in Theoretical Computer Science 13 158172.CrossRefGoogle Scholar
Lawson, J., Wu, G. and Xi, X. (2020). Well-filtered spaces, compactness, and the lower topology. Houston Journal of Mathematics 46 (1) 283294.Google Scholar
Li, Q., Jin, M., Miao, H. and Chen, S. (2023). On some results related to sober spaces. Acta Mathematica Scientia 43B (4) 14771490.CrossRefGoogle Scholar
Lu, C. and Li, Q. (2017). Weak well-filtered spaces and coherence. Topology and Its Applications 230 373380.CrossRefGoogle Scholar
MacLane, S. (1997). Categories for the Working Mathematician, 2nd edn., Springer.Google Scholar
Miao, M., Yuan, Z. and Li, Q. (2021). A discussion of well-filteredness and sobriety. Topology and Its Applications 291 107450.CrossRefGoogle Scholar
Nel, L. and Wilson, R. (1972). Epireflections in the category of $T_0$ spaces. Fundammenta Mathematicae 75 6974.CrossRefGoogle Scholar
Rudin, M. (1981). Directed sets which converge. In: General Topology and Modern Analysis, University of California, Riverside, Academic Press, 305307.Google Scholar
Schalk, A. (1993). Algebras for Generalized Power Constructions. Phd thesis, Technische Hochschule Darmstadt.Google Scholar
Wen, X. and Xu, X. (2018). Sober is not always co-sober. Topology and Its Applications 250 4852.CrossRefGoogle Scholar
Wyler, U. (1981). Dedekind complete posets and Scott topologies. In: Continuous Lattices, vol. 871, Berlin, Springer-Verlag, 384389, Lecture Notes in Mathematics.CrossRefGoogle Scholar
Xi, X. and Lawson, J. (2017). On well-filtered spaces and ordered sets. Topology and Its Applications 228 139144.CrossRefGoogle Scholar
Xi, X. and Zhao, D. (2017). Well-filtered spaces and their dcpo models. Mathematical Structures in Computer Science 27 (4) 507515.CrossRefGoogle Scholar
Xu, X. (2016a). Order and Topology, Beijing, Science Press.Google Scholar
Xu, X. (2016b). A note on dual of topologies. Topology and Its Applications 199 95101.CrossRefGoogle Scholar
Xu, X., Shen, C., Xi, X. and Zhao, D. (2020a). First countability, ω-well-filtered spaces and reflections. Topology and Its Applications 279 107255.CrossRefGoogle Scholar
Xu, X., Shen, C., Xi, X. and Zhao, D. (2020b). On $T_{0}$ spaces determined by well-filtered spaces. Topology and Its Applications 282 107323.CrossRefGoogle Scholar
Xu, X., Shen, C., Xi, X. and Zhao, D. (2021). First-countability, ω-Rudin spaces and well-filtered determined. Topology and Its Applications 300 107775.CrossRefGoogle Scholar
Xu, X. and Zhao, D. (2020). On topological Rudin’s lemma, well-filtered spaces and sober spaces. Topology and Its Applications 272 107080.CrossRefGoogle Scholar
Xu, X. and Zhao, D. (2021). Some open problems on well-filtered spaces and sober spaces. Topology and Its Applications 301 107540.CrossRefGoogle Scholar
Zhao, D. and Ho, W. (2015). On topologies defined by irreducible sets. Journal of Logical and Algebraic Methods in Programming 84 (1) 185195.CrossRefGoogle Scholar
Zhao, D., Xi, X. and Chen, Y. (2019). A new dcpo whose Scott topology is well-filtered but not sober. Topology and Its Applications 252 97102.Google Scholar