测度拓扑和交连续偏序集的刻画

研究偏序集上的测度拓扑以及与其它内蕴拓扑间的若干关系,利用测度拓扑刻画了偏序集的交连续性。主要结果有:一个网如果测度收敛则存在最终上确界;偏序集上的测度拓扑实际上是由其上的任一全测度决定;拟连续偏序集上的测度拓扑是零维的;一个偏序集是交连续偏序集当且仅当其上的测度拓扑的开集的上集为Scott开集当且仅当它的D-完备化是交连续dcpo.

偏序集的φ-(交)连续性及其主理想刻画

证明φ-完备偏序集是(强)φ-连续的当且仅当该偏序集的任一主理想是(强)φ-连续的。在φ-完备偏序集中利用φ-S集族生成-φS cott拓扑,并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是φ-交连续的当且仅当该偏序集的任一主理想是φ-交连续的。

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.

交S-超连续偏序集

利用偏序集上的Scott S-集,引入了交S-超连续偏序集概念,探讨了交S-超连续偏序集的性质、刻画及与S-超连续偏序集、拟S-超连续偏序集等之间的关系。主要结果有:(1)交S-超连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交S-超连续的当且仅当对任意x∈L及子集A,当∨A存在时有x∧∨A=∨{x∧a:a∈A};(3)有界完备偏序集S-超连续的当且仅当它是交S-超连续且拟S-超连续的;(4)获得了反例说明分配的完备格可以不是交S-超连续格,连续格也可以不是交S-超连续格。

可数S_2-拟连续偏序集

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.

基于下极限收敛的偏序集的交连续性(英文)

本文首先研究了偏序集上下极限收敛和Scott拓扑之间的关系,然后根据下极限收敛给出了交连续的偏序集概念,并探讨了偏序集上交连续性,连续性和Scott拓扑之间的关系.