拟连续Domain的拟基及其权

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

Rudin性质与拟Z-连续Domain

对一般子集系统Z,引入了Rudin性质,给出了它的映射式刻划.作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了Rudin性质及其映射式刻划在拟Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟Z-连续Domain情形.     

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。     

相容连续Domain的不变性

引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.     

关于拟连续Domain的一个注记

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

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

关于连续Domain权的进一步结果

在连续格理论的基础上探索连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间的关系,最后给出在连续Domain中W（P）＝W（∑P）=W（AP）的结论。     

超连续Domain与拟超连续Domian

讨论了超连续domain与拟超连续domain的相关性质,证明了超连续半格范畴为有性质M*的拟超连续domain范畴的反射子范畴。     

相容Domain间Scott连续自映射的不动点

研究相容连续L-dom a in之间的稳定映射以及相容FS-dom a in之间的一致交换映射的不动点之集的性质。     

拟连续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-拓扑。