拓扑系统的分离性

摘要：

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

关键词：拓扑空间、拓扑系统、连续映射、Frame

所属期刊栏目：39

分类号：O189(几何、拓扑)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：644-648