关于拟连续Domain的一个注记

作者：杨金波; 龚雅玲; 陈群

来源：模糊系统与数学, 2010, (03): 82-85.

• 拟连续Domain
• 下拓扑
• 局部强紧空间
• Hoare空间 Quasicontinuous Domain
• Lower Topology
• Locally Strongly Compact Space
• Hoare Space

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。

• 单位
  江西师范大学; 南昌教育学院