BC-domain的性质及core紧空间的刻画

该文研究了bc-domain与其他domain之间的联系,给出了bc-domain的一些性质,得到了范畴BC不是笛卡尔闭范畴,最后给出了bc-domain与core紧空间的一个等价刻画.

关于代数L-domain的一个刻画定理

引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.

关于函数空间上的Isebell和Scott拓扑的一个注记(英文)

主要讨论Domain函数空间上的Isebell拓扑和Scott拓扑何时相同的问题 ,对这一问题 ,刘应明和梁基华已给出了部分的回答 ,作者改进了这一结果 ,并且对L

关于强core紧空间的一个刻画定理

本文引入了强core紧概念,给出了强core紧空间的一个刻画定理.其主要结果是:设X是一个拓扑空间,若X是强core紧的当且仅当对每个代数L-domainD,函数空间[X→D]是代数L-domain.

Domain函数空间上Isbell拓扑与Scott拓扑何时相同

本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain.而且还证明了,若X是核紧的局部连通空间,则对所有有最小元的连续L-DomainL,[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.特别地,若X是连续DCPO,则对所有有最小元的连续L-DomainL,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.这也给出由Lawson和Mislove提出的一个公开问题的一个部分回答.