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 $\mathbf{\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 [9]; we called this an $\mathrm{H}$-well-filtered space. We obtain that, for a $T_{0}$ space $X$ and an $\mathrm{H}$-well-filtered space $Y$, the function space $TOP(X,Y)$ equipped with the Isbell topology is $\mathrm{H}$-well-filtered. Going beyond the aforementioned work, we solve several open problems concerning strong $d$-spaces posed by Xu and Zhao in [11].
Qingguo Li
,
Mengjie Jin
,
Hualin Miao
,
Siheng Chen
. ON SOME RESULTS RELATED TO SOBER SPACES∗[J]. Acta mathematica scientia, Series B, 2023
, 43(4)
: 1477
-1490
.
DOI: 10.1007/s10473-023-0401-3
[1] Gierz G, Hofmann K H, Keimel K, et al.Continuous Lattices and Domains. Cambridge: Cambridge University Press, 2003
[2] Goubault-Larrecq J.Non-Hausdorff Topology and Domain Theory. Cambridge: Cambridge University Press, 2013
[3] Heckmann R.An upper power domain construction in terms of strongly compact sets//Brookes S, Main M, Melton A, et al. Math Found Program Sema. Berlin: Springer, 1991: 272-293
[4] Heckmann R, Keimel K. Quasicontinuous domains and the Smyth powerdomain. Electron Notes Theor Comput Sci, 2013, 298: 215-232
[5] Xi X, Lawson J. On well-filtered spaces and ordered sets. Topol Appl, 2017, 228: 139-144
[6] Selivanov V. Towards a descriptive set theory for domain-like structures. Theoret Comput Sci, 2006, 365: 258-282
[7] de Brecht M. Quasi-Polish spaces. Ann Pure Appl Logic, 2013, 164: 356-381
[8] de Brecht M. A generalization of a theorem of Hurewicz for quasi-Polish spaces. Log Methods Comput Sci, 2018, 14: 1-18
[9] Xu X. On H-sober spaces and H-sobrifications of $T_{0}$ spaces. Topol Appl, 2021, 289: 107548
[10] Xu X, Zhao D. On topological Rudin's lemma, well-filtered spaces and sober spaces. Topol Appl, 2020, 272: 107080
[11] Xu X, Zhao D. Some open problems on well-filtered spaces and sober spaces. Topol Appl, 2020, 301: 107540
[12] Xu X, Shen C, Xi X, et al. First countability, $\omega$-well-filtered spaces and reflections. Topol Appl, 2020, 279: 107255
[13] Xu X, Xi X, Zhao D. A complete Heyting algebra whose Scott space is non-sober. Fund Math, 2021, 252: 315-323
[14] Liu B, Li Q, Ho W. On function spaces related to d-spaces. Topol Appl, 2021, 300: 107757
[15] Skula L. On a reflective subcategory of the category of all topological spaces. Trans Amer Math Soc, 1969, 142: 37-41
[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, 2009, 159: 292-306
[18] Johnstone P T. Stone Spaces.Cambridge: Cambridge University Press, 1982
