摘要
通过定义完备格L上的预余拓扑、预闭包算子、预外导算子族、预内部算子、覆盖族及它们上的序关系,研究给定完备格L上预余拓扑的确定方式.证明了(1)给定完备格L上预余拓扑的全体、预闭包算子的全体构成了彼此同构的完备格;(2)当L是闭集格时,L上预外导算子族的全体与预余拓扑的全体构成了彼此同构的完备格;(3)当L是完备DeMorgan代数时,L上的预余拓扑的全体、预内部算子的全体、覆盖族的全体构成了彼此同构的完备格.因此给定完备格L上的预余拓扑可以由L上的预闭包算子、预外导算子族、预内部算子及覆盖族确定.
- 单位