拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

关于拟连续domain以及函数空间的注记

用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。     

关于拟连续Domain的一个注记

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

拟C-偏序集的若干性质

Menon在对连续Domain进行推广时引入C-偏序集的概念,即可用主滤子与上完备下集分离点的偏序集。基于Menon的思想,我们把拟连续偏序集推广至拟C-偏序集,即可用有限生成上集与上完备下集分离点的偏序集。结果表明,C-偏序集、拟连续偏序集都为拟C-偏序集,反之则不一定成立,并且,拟C-偏序集及其基具有类似于C-偏序集的关于映射、乘积等的封闭性。     

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。     

拟连续格的逆极限

给出以保任意交和定向并为态射的拟连续格范畴的逆极限,讨论函子保广义拟连续格逆极限的条件。     

性质M_F与拟连续Domain中的Scott上紧集

对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.     

拟连续Domain的若干拓扑性质

对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。