论文部分内容阅读
本研究基于将拟连续偏序集分别推广至广义可数逼近偏序集与拟连续偏序集的思想,借助于正规完备化算子引入可数S2-拟连续偏序集的概念作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广。较为系统地讨论了可数S2-拟连续偏序集的性质。结果表明:在一般偏序集上给出可数way below关系的定义并引入可数S2-拟连续偏序集的概念;证明了可数S2-拟连续偏序集上的可数way below关系满足插入性质;得到了偏序集 P为可数&-拟连续偏序集当且仅当 P关于其上的弱可数Scott拓扑是局部强紧空间以及可数S2-拟连续偏序集P上的弱可数Scott拓扑为可数sober拓扑等价于P为广义可数逼近偏序集等结论;给出了可数S2-交连续偏序集的定义并证明了偏序集P为可数A-连续偏序集当且仅当P为可数 S2-交连续的可数S2-拟连续偏序集;引入了GS*-收敛的概念并给出了可数S2-拟连续偏序集的网式刻画:偏序集P是可数S2-拟连续偏序集当且仅当GS*-收敛关于弱可数Scott拓扑是可拓扑化的。