S-极限相关论文
本学位论文研究了相容Dcpo与局部Dcpo的若干性质,对局部Dcpo进行了推广,引入了LBF-Domain的定义,并对LBF-Domain作了更深层次地研......
学位
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo.其主要结果:证明了U是Scott开集当且仅当U∈O(S);......
借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);......