定向完备偏序集上的模糊Scott拓扑  

Fuzzy Scott topology on directed complete poset

作　　者：路玲霞[1] 

机构地区：[1]石家庄经济学院数理学院,石家庄050031

出　　处：《计算机工程与应用》2012年第25期57-60,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.10926055);河北省自然科学基金(No.A2010000826);石家庄经济学院校立基金(No.XN201003)

摘　　要：设L是一个完备剩余格,定义了定向完备偏序集上的Hohle意义下的满层L-拓扑,称之为模糊Scott拓扑;基于满层的L-滤子,建立了相应的Scott收敛理论。证明了一个定向完备偏序集是连续的当且仅当对于每一个满层的L-滤子,其Scott收敛等价于按模糊Scott拓扑收敛。Suppose that L is a complete residuated lattice, a stratified L-topology in sense of Hohle, called the fuzzy Scott topology, is defined on Directed Complete Poset （DCPO）. Based on stratified L-filters, the corresponding Scott convergence theory is established. It is shown that a DCPO is continuous iff for any stratified L-filter, Scott convergence coincides with convergence about the fuzzy Scott topology.

关 键 词：定向完备偏序集 模糊Scott拓扑 满层的L-滤子 Scott收敛 

分 类 号：O189.1[理学—数学]