【摘要】 拓扑系统是目前最广泛的拓扑研究对象之一 ,它以点集拓扑空间 ,Locale的空间化 ,模糊拓扑空间与拓扑分子格为特例 .它可以用来研究计算机程序语言的指称语义的Domain理论 .作者从拓扑学的角度研究了拓扑系统的分离性 ,得到了关于拓扑系统分离性刻画的几个定理更多还原

【Abstract】 The topological system is the most widely studied object in topology at present. Topological space ,spatialization of locale,fuzzy topological space and topological molecular lattice are its special cases.One can also study Domain theory on denotational semantics of computer programming languages by using the topological system.The author discussed some separations of Topological system from the view of general topology,and then showed the relation among them.更多还原