On some results related to sober spaces. (English) Zbl 1524.54071
Summary: This paper investigates sober spaces and their related structures from different perspectives. First, we extend the descriptive set theory of second countable sober spaces to first countable sober spaces. We prove that a first countable \(T_0\) space is sober if and only if it does not contain a \(\boldsymbol{\Pi}_2^0\)-subspace homeomorphic either to \(S_D\), the natural number set equipped with the Scott topology, or to \(S_1\), the natural number set equipped with the co-finite topology, and it does not contain any directed closed subset without maximal elements either. Second, we show that if \(Y\) is sober, the function space \(TOP(X, Y)\) equipped with the Isbell topology (respectively, Scott topology) may be a non-sober space. Furthermore, we provide a uniform construction to \(d\)-spaces and well-filtered spaces via irreducible subset systems introduced in [X. Xu, Topology Appl. 289, Article ID 107548, 38 p. (2021; Zbl 1494.54015)]; we called this an H-well-filtered space. We obtain that, for a \(T_0\) space \(X\) and an H-well-filtered space \(Y\), the function space \(TOP(X, Y)\) equipped with the Isbell topology is H-well-filtered. Going beyond the aforementioned work, we solve several open problems concerning strong \(d\)-spaces posed by X. Xu and D. Zhao in [Topology Appl. 301, Article ID 107540, 19 p. (2021; Zbl 1473.54026)].
MSC:
| 54D99 | Fairly general properties of topological spaces |
| 54C35 | Function spaces in general topology |
| 06B35 | Continuous lattices and posets, applications |
| 06F30 | Ordered topological structures |
Keywords:
sober space; descriptive set theory; function space; strong \(d\)-space; product space; reflectionReferences:
| [1] | Gierz, G.; Hofmann, K. H.; Keimel, K., Continuous Lattices and Domains (2003), Cambridge: Cambridge University Press, Cambridge · Zbl 1088.06001 · doi:10.1017/CBO9780511542725 |
| [2] | Goubault-Larrecq, J., Non-Hausdorff Topology and Domain Theory (2013), Cambridge: Cambridge University Press, Cambridge · Zbl 1280.54002 · doi:10.1017/CBO9781139524438 |
| [3] | Heckmann, R.; Brookes, S.; Main, M.; Melton, A., An upper power domain construction in terms of strongly compact sets, Math Found Program Sema, 272-293 (1991), Berlin: Springer, Berlin · Zbl 1518.68200 |
| [4] | Heckmann, R.; Keimel, K., Quasicontinuous domains and the Smyth powerdomain, Electron Notes Theor Comput Sci, 298, 215-232 (2013) · Zbl 1334.68127 · doi:10.1016/j.entcs.2013.09.015 |
| [5] | Xi, X.; Lawson, J., On well-filtered spaces and ordered sets, Topol Appl, 228, 139-144 (2017) · Zbl 1372.54018 · doi:10.1016/j.topol.2017.06.002 |
| [6] | Selivanov, V., Towards a descriptive set theory for domain-like structures, Theoret Comput Sci, 365, 258-282 (2006) · Zbl 1108.03050 · doi:10.1016/j.tcs.2006.07.053 |
| [7] | de Brecht, M., Quasi-Polish spaces, Ann Pure Appl Logic, 164, 356-381 (2013) · Zbl 1270.03086 · doi:10.1016/j.apal.2012.11.001 |
| [8] | de Brecht, M., A generalization of a theorem of Hurewicz for quasi-Polish spaces, Log Methods Comput Sci, 14, 1-18 (2018) · Zbl 1459.03074 |
| [9] | Xu, X., On H-sober spaces and H-sobrifications of T_0 spaces, Topol Appl, 289, 107548 (2021) · Zbl 1494.54015 · doi:10.1016/j.topol.2020.107548 |
| [10] | Xu, X.; Zhao, D., On topological Rudin’s lemma, well-filtered spaces and sober spaces, Topol Appl, 272, 107080 (2020) · Zbl 1477.06020 · doi:10.1016/j.topol.2020.107080 |
| [11] | Xu, X.; Zhao, D., Some open problems on well-filtered spaces and sober spaces, Topol Appl, 301, 107540 (2020) · Zbl 1473.54026 · doi:10.1016/j.topol.2020.107540 |
| [12] | Xu, X.; Shen, C.; Xi, X., First countability, ω-well-filtered spaces and reflections, Topol Appl, 279, 107255 (2020) · Zbl 1440.54017 · doi:10.1016/j.topol.2020.107255 |
| [13] | Xu, X.; Xi, X.; Zhao, D., A complete Heyting algebra whose Scott space is non-sober, Fund Math, 252, 315-323 (2021) · Zbl 1498.06014 · doi:10.4064/fm704-4-2020 |
| [14] | Liu, B.; Li, Q.; Ho, W., On function spaces related to d-spaces, Topol Appl, 300, 107757 (2021) · Zbl 1473.54019 · doi:10.1016/j.topol.2021.107757 |
| [15] | Skula, L., On a reflective subcategory of the category of all topological spaces, Trans Amer Math Soc, 142, 37-41 (1969) · Zbl 0185.50401 |
| [16] | Shen C, Xi X, Zhao D. The reflectivity of some categories of T_0 spaces in domain theory. arXiv.2110.01138 |
| [17] | Keimel, K.; Lawson, J. D., D-completions and the d-topology, Ann Pure Appl Logic, 159, 292-306 (2009) · Zbl 1172.54016 · doi:10.1016/j.apal.2008.06.019 |
| [18] | Johnstone, P. T., Stone Spaces (1982), Cambridge: Cambridge University Press, Cambridge · Zbl 0499.54001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
