关于拟连续Domain的一个注记  

A Note on Quasicontinuous Domains

作　　者：杨金波[1] 龚雅玲[2] 陈群[1] 

机构地区：[1]江西师范大学数学系,江西南昌330022 [2]南昌教育学院,江西南昌330006

出　　处：《模糊系统与数学》2010年第3期82-85,共4页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10331010;10861007);全国优秀博士学位论文作者专项资金资助项目(2007B14);江西省自然科学基金资助项目(2009GZS0012;2007GZS0179);江西省教育厅资助项目(GTT08162)

摘　　要：证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。In this paper we prove that （1） For a dcpo L with property M, L is a quasicontinuous domain if and only if （ω）（L）, lohtain in） is a continuous lattice, where ω（L） is the lower topology on L; and （2） For a dcpo L, L is a quasicontinuous domain if and only if the Hoare space of ∑L is a locally strongly compact space.

关 键 词：拟连续DOMAIN 下拓扑 局部强紧空间 Hoare空间 

分 类 号：O153[理学—数学] O189[理学—基础数学]