论文部分内容阅读
对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了domain上Scott拓扑与仿sober、超sober分离性的关系,证明了仿（超）sober偏序集均为代数domain.