摘要
拓扑系统是目前最广泛的拓扑研究对象之一 ,它以点集拓扑空间 ,Locale的空间化 ,模糊拓扑空间与拓扑分子格为特例 .它可以用来研究计算机程序语言的指称语义的Domain理论 .作者从拓扑学的角度研究了拓扑系统的分离性 。
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.
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2002年第4期644-648,共5页
Journal of Sichuan University(Natural Science Edition)