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

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