闭元确定的拓扑系统中闭包元及其应用

本文利用余Frame和点集两部分建立由闭元确定的拓扑系统,对其基本性质进行了讨论;通过闭元给出了点集部分的闭包元概念,并对闭包元性质进行了讨论.在余Frame和点集部分之间利用双映射建立了闭包元算子,证明了与拓扑系统相关的Kuratovski闭包定理;作为应用,利用闭包元算子对闭元确定的拓扑系统之间的连续映射进行了等价刻画.

拓扑系统中的闭包元和闭包集及其相关性质

由于拓扑系统中闭元的缺失,对拓扑系统中与闭集相关内容的理论及性质研究受到一定程度的制约。首先利用余frame和点集两部分建立对偶拓扑系统——由闭元确定的拓扑系统,对其基本性质进行初步讨论;其次利用闭元给出点集部分的闭包元概念,并对闭包元性质进行讨论;第三,利用闭包元给出拓扑系统中凝聚点和导集的定义,对导集和闭包集的性质进行讨论。最后总结讨论闭包元和闭包集的关系。