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

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

连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

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

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

相容双有限Domain的几个性质

在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论：相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.     

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

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

定向空间的下幂结构

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

相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

拟连续domain的网式刻画

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

伪相容连续Domain的若干研究

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

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

相容拟半连续Domain和相容交半连续Domain

引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。     

拟连续Domain的特征与浓度

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

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

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

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

拓扑空间的计算环境

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

偏序集上的MS-收敛

定义在s₂-连续偏序集上的S-极限是一种重要的收敛结构．本文用集族MS代替定向集，将s₂-连续和S-极限进行推广，定义了s_2MS-连续和MS-极限，并用MS-极限定义了s_2MS-α-连续．本文主要结果有：(i)如果L为s_2MS-连续偏序集且?MS关系具有插入性质，则MS-收敛是拓扑的；(ii)如果L为偏序集，任意的x∈L，?α(MS)x∈MS且?α(MS)具有插入性质，则MS-收敛为拓扑的当且仅当L为s_2MS-α-连续的．     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．