拓扑系统的Lindelf性质  

The Lindelf Property of Topological System

作　　者：杨慧[1] 姜广浩[1] 肖璨[1] 

机构地区：[1]淮北师范大学数学科学学院,安徽淮北235000

出　　处：《淮北师范大学学报（自然科学版）》2013年第3期1-3,共3页Journal of Huaibei Normal University：Natural Sciences

基　　金：国家自然科学基金资助项目(11001001);安徽省高等学校省级自然科学研究重点项目(KJ2013A236)

摘　　要：拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机程序语言的指称语义的Domain理论.文章从拓扑学的角度研究了拓扑系统的Lindelf性质,得到关于拓扑系统Lindelf性质的若干定理.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 earl study Domain theory on denotation semantics of computer programming language by using the topological system. The paper discusses the Lindelof property of topological system, and obtains some theorems of topological system on Lindelof property.

关 键 词：拓扑系统 分离性 紧性 LINDELOF性质 

分 类 号：O153.1[理学—数学] O189.1[理学—基础数学]