对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性:仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了dom a in上Scott拓扑与仿sober、...对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性:仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了dom a in上Scott拓扑与仿sober、超sober分离性的关系,证明了仿(超)sober偏序集均为代数dom a in.展开更多
This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is ...This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is presented.展开更多
Zhao and Ho asked in a recent paper that for each T_0 space X, whether KB(X)(the set of all irreducible closed sets of X whose suprema exist) is the canonical k-bounded sobrification of X in the sense of Keimel and La...Zhao and Ho asked in a recent paper that for each T_0 space X, whether KB(X)(the set of all irreducible closed sets of X whose suprema exist) is the canonical k-bounded sobrification of X in the sense of Keimel and Lawson. In this paper, we construct a counterexample to give a negative answer. We also consider the subcategory Top_κ of the category Top_0 of T_0 spaces, and prove that the category KBSob of k-bounded sober spaces is a full reflective subcategory of the category Top_κ.展开更多
文摘对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性:仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了dom a in上Scott拓扑与仿sober、超sober分离性的关系,证明了仿(超)sober偏序集均为代数dom a in.
基金Supported by the Natural Science Foundation of Shaanxi Province（2007A12） Supported by the Scientific Research Foundation of Shaanxi Educational Committee（11JK0507）
文摘This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is presented.
基金Supported by the National Natural Science Foundation of China(Grant Nos.11531009 and 11871320)the Fundamental Research Funds for the Central Universities(Grant No.GK201803002)
文摘Zhao and Ho asked in a recent paper that for each T_0 space X, whether KB(X)(the set of all irreducible closed sets of X whose suprema exist) is the canonical k-bounded sobrification of X in the sense of Keimel and Lawson. In this paper, we construct a counterexample to give a negative answer. We also consider the subcategory Top_κ of the category Top_0 of T_0 spaces, and prove that the category KBSob of k-bounded sober spaces is a full reflective subcategory of the category Top_κ.
