登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
关于拟连续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空间为局部强紧空间。
单位
江西师范大学
; 南昌教育学院
相似论文
引用论文
参考文献