可数S_2-拟连续偏序集

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

可数S_2-拟连续偏序集上的收敛

本文引入了可数S_2-拟连续偏序集、GS*-收敛和弱可数Scott拓扑的概念,给出了可数S_2-拟连续偏序集的收敛刻画:偏序集P是可数S_2-拟连续的当且仅当GS*-收敛关于弱可数Scott拓扑是可拓扑化的。

S_2-代数偏序集

引入了S_2-代数偏序集的概念,证明了偏序集为S_2-代数的当且仅当其上弱Scott拓扑为强代数格,即完全分配的代数格。

s2-连续性的遗传性和映射不变性

基于正规完备化算子,本文讨论了s2-连续性和拟连续性的遗传性和映射不变性。主要结果有:(1)s2-连续性,s2-交连续性与拟连续性对弱Scott开集都是可遗传的;(2)s2-连续性,s2-交连续性和s2-拟连续性对弱Scott闭集一般不具有遗传性;(3)s2-连续偏序集的连续收缩与s2-连续偏序集在弱Scott连续的核映射下的像还是s2-连续的;(4)s2-拟连续偏序集的连续收缩与s2-拟连续偏序集在弱Scott连续的核映射下的像仍是s2-拟连续的。

强拟连续与强拟S_i分离性

首先利用半开集引入强拟开集、强拟连续概念,研究强拟连续的相关性质;其次引入了强拟S_(2.75)分离、强拟S_(3.5)分离概念,并给出它们的特征刻画,最后得到强拟S_i-空间之间的关系.