On Some Results Related to Sober Spaces

被引:2
作者
Li, Qingguo [1 ]
Jin, Mengjie [1 ]
Miao, Hualin [1 ]
Chen, Siheng [1 ]
机构
[1] Hunan Univ, Sch Math, Changsha 410082, Peoples R China
关键词
sober space; descriptive set theory; function space; strong d-space; product space; reflection;
D O I
10.1007/s10473-023-0401-3
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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 p20-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 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 Xu and Zhao in [11].
引用
收藏
页码:1477 / 1490
页数:14
相关论文
共 18 条
[1]   A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES [J].
de Brecht, Matthew .
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[2]   Quasi-Polish spaces [J].
de Brecht, Matthew .
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (03) :356-381
[3]  
Gierz GHK+03 Gerhard, 2003, Encyclopedia of Mathematics and Its Applications, V93, DOI [10.1017/CBO9780511542725, DOI 10.1017/CBO9780511542725]
[4]  
GoubaultLarrecq J, 2013, NEW MATH MONOGR, P1, DOI 10.1017/CBO9781139524438
[5]  
HECKMANN R, 1992, LECT NOTES COMPUT SC, V598, P272
[6]   Quasicontinuous Domains and the Smyth Powerdomain [J].
Heckmann, Reinhold ;
Keimel, Klaus .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 298 :215-232
[7]  
Johnstone PT., 1982, Stone Spaces
[8]   D-completions and the d-topology [J].
Keimel, Klaus ;
Lawson, Jimmie D. .
ANNALS OF PURE AND APPLIED LOGIC, 2009, 159 (03) :292-306
[9]   On function spaces related to d-spaces [J].
Liu, Bei ;
Li, Qingguo ;
Ho, Weng Kin .
TOPOLOGY AND ITS APPLICATIONS, 2021, 300
[10]   Towards a descriptive set theory for domain-like structures [J].
Selivanov, Victor L. .
THEORETICAL COMPUTER SCIENCE, 2006, 365 (03) :258-282