定向空间的下幂结构

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Schder定义的普通拓扑空间上观察诱导的下幂空间.     

拟连续Domain的特征与浓度

在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

Z-连续偏序集的特征与稠密度

该文引入了Z-连续偏序集的局部基和稠密子集的概念,基于此定义了Z-连续偏序集的特征和稠密度;给出了局部基的刻画,并讨论了Z-连续偏序集的特征和稠密度与Z-连续偏序集上Z-Scott拓扑和Z-Lawson拓扑的特征、稠密度之间的关系;证明了Z-连续偏序集上Z-Scott拓扑的特征小于或等于Z-连续偏序集及其Z-Lawson拓扑的特征,Z-连续偏序集的稠密度与其Z-Scott拓扑的稠密度相等,且小于或等丁Z-Lawson拓扑的稠密度.     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

拟连续domain的网式刻画

本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.     

一致连续偏序集的特征和浓度

利用连续格理论讨论了一致连续偏序集的特征和浓度,证明了一致连续偏序集的特征和浓度与一致连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于一致连续偏序集带上Law-son拓扑时拓扑空间的特征和浓度.     

关于度量空间的formal balls构成的偏序集

ball构成的偏序集为度量空间理论和domain理论之间提供了联系.作者考察了Ω-范畴 的tensor完备化.当度量空间被视为Ω-范畴时，其formal ball构成的偏序集正好是它的tensor完备化.     

关于度量空间的formal balls构成的偏序集

formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.     

伪相容连续Domain的若干研究

根据相容的概念,定义了伪相容连续与伪相容连续的基,进而得出若干等价命题及相关性质的证明.最后介绍了在伪相容连续偏序集中一类特殊的相容定向集,并加以证明.     

Exact偏序集的乘积和映射性质

该文证明了有最小元的Exact偏序集(弱Domain)的乘积为Exact偏序集(弱Domain),Exact.Domain在保定向并的投射算子、具有下伴随的投射算子或具有下伴随且保定向并的满映射下的像仍为Exact Domain,文中还讨论了Exact偏序集的基.     

广义Z-连续偏序集

研究了广义Z连续偏序集在Z连续的闭包算子下的像还是广义z连续偏序集,证明了一个强广义Z连续偏序集在推广的lawson拓扑下是T2的     

仿sober与超sober拓扑空间

对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性：仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了domain上Scott拓扑与仿sober、超sober分离性的关系,证明了仿（超）sober偏序集均为代数domain.     

拓扑空间的计算环境

讨论了Tychonoff空间的计算环境.主要结论有：Choquet完备的弱domain,其极大点空间也是Choquet完备的;拓扑空间X是Tychonoff空间当且仅当X有一有界完备的弱环境;Tychonoff空间的Hausdorff紧化可以通过其计算环境实现.     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。     

相容连续Domain的特征与浓度

引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度.给出局部基的刻画,并讨论相容连续Domain的特征、浓度与相容连续Domain带上Scott拓扑或Lawson拓扑时拓扑空间的特征与浓度之间的关系.证明相容连续Domain的特征、浓度分别带上Scott拓扑时拓扑空间的特征、浓度相等,它们分别小于相容连续Domain带上Lawson拓扑时拓扑空间的特征与浓度.     

偏序集中下收敛的一个刻画

偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利用该刻画说明了在用下收敛刻化偏序集的连续性时,交连续性的条件是必要的.