偏序集上的相对余定向集

首先在偏序集上引入相对余定向集的概念,考察其性质,并给出相对余定向集族是完备格的一个充分条件。其次,给出相对余定向完备集的概念,并研究相对余定向完备集、余一致完备集之间的关系。     

连续范畴

将定向完备偏序集上的way-below关系推广到任意小范畴上,从而在任意小范畴上引入了连续性.并进一步讨论了连续范畴的性质,证明了连续范畴有许多类似于连续偏序集的好的性质.     

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

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

拟连续domain的网式刻画

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

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

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

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

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

模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.     

偏序集上Z—态射的刻划

该文引入了Ｚ－Ｓｃｏｔｔ连续映射的概念,证明了Ｚ－完备偏序集上的映射为Ｚ－连续映射当且仅当它为Ｚ－Ｓｃｏｔｔ连续映射,并由此得到了偏序集上Ｚ－态射的刻划定理。     

连续偏序集及其Smyth幂的特征与浓度

推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.     

可数一致集及其应用

首先引入可数一致集与可数一致完备集的概念,研究其若干性质。其次,在此基础上给出可数一致极小集和可数一致连续偏序集的定义,得到可数一致极小集的若干内部刻画,并利用可数一致极小集,给出可数一致连续偏序集的一个等价刻画。     

可数一致连续偏序集的序同态与扩张

在可数一致连续偏序集上引入序同态的概念,给出若干的等价刻画,并证明可数一致连续偏序集在保可数一致并投射下的像自身仍为可数一致连续偏序集;此外,引入可数一致基与可数一致稠密集的概念,探讨一些性质,证明它们的序同态可以唯一扩张为整个可数一致连续偏序集的序同态.     

相容滤子完备偏序集上投射算子的几个性质

本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.     

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

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

L-偏序集映射空间连续性的刻画

设L为完备剩余格,在L-偏序集中引入步函数的概念。基于一般的weight类,得到了L-偏序集映射空间连续性的一个刻画定理。基于以上结果,证明了两个完全代数的L-完备格之间的余连续映射之集是完全代数的。     

强理想及其在有限偏序集上的应用

在偏序集上引入强集和强理想的概念,进而从另一个角度给出有限偏序集上元素之间的一种等价关系:连通关系,从而将有限偏序集分为连通和非连通两类.此外,在不交并偏序集上给出分支、可分分支和不可分分支等概念,并在有限偏序集上探讨强理想、非连通偏序集和不交并偏序集之间的关系.     

拟连续Domain的特征与浓度

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

模糊Domain上的模糊序同态及其性质

通过引入模糊定向极小集和模糊Domain的基的概念,证明了模糊定向完备偏序集X是模糊Domain当且仅当X有基当且仅当x∈X,x有模糊定向极小集.基于模糊定向极小集和模糊Domain的基,研究了模糊Domain上的模糊序同态,证明了模糊Domain X的基到模糊Domain Y上的模糊序同态可以唯一扩张为模糊Domain X到模糊Domain Y上的模糊序同态.     

W-代数偏序集及其性质

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。     

偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

Z-连续偏序集的基

引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质.