拓扑系统的Lindelf性质

The Lindelf Property of Topological System

拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、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.