连续Domain的特征与浓度

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

相容连续Domain的特征与浓度

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

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

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

Scott Domain上的稳定映射与Lawson拓扑

研究了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的性主Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射与拓扑之间的联系，给出了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的特征定理，得到了Ｓｃｔｏｏ Ｄｏｍａｉｎ上的稳定映射下Ｌａｗｓｏｎ拓扑之间的关系定理。     

Z-拟代数Domain

引入Z－拟代数Domain的概念，证明了在Z－连续闭包算子下的保持性以有当满足条件△（L）包含于（L）时，Z－拟代数格L关于Z－Lawson拓扑lz(L）是Priestlespace。     

拟Z-连续Domain的基

基于一般子集系统Z,引入了拟Z-连续Domain基的概念,讨论了拟Z-连续Domain基的一些映射性质,将关于拟连续偏序集的一些性质推广到了拟Z-连续Domain.     

拟代数Domain的若干性质

基于拟连续Domain的等价定义及其构造，研究了拟代数Domain的一系列性质，并且给出了它的等价刻画，由此得到拟代数Domain一定是拟连续Domain．通过讨论Scott连续闭包算子保持集合与集合之间的Waybelow关系这一特性，证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain；得到了拟代数Domain上赋予Scott拓扑构成Baire空间，拟代数格上赋予Lawson拓扑构成Priestley空间等结论．     

连续Domain的若干特征定理

目的 给出准连续Domain与连续Domain的特征刻画。方法 利用准连续Domain的每一点都有准定向极小集，连续Domain的每一点都有定向极小集。结果 给出了准连续Domain与连续Domain的一些等价刻画，得到了连续Domain的等式刻画。利用Waybelow关系给出了连续Domain的一个特征定理。结论 通过引入准连续Domain，得到了连续Domain的一些特征定理。     

关于一致连续偏序集的权的一些性质

引入了一致连续偏序集的基的概念,给出了其一些等价刻画,讨论了一致连续偏序集的权与相应一致Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的一致Lawson拓扑空间的权之间的关系.最后给出了在一致连续偏序集中,有w(Λ(P))=w(P)=w((P)).     

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

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

Scott Domain上的稳定映射与Lawson拓扑

研究了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的性质及 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射与下拓扑之间的联系,给出了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的特征定理,得到了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ上的稳定映射与 Ｌａｗ ｓｏｎ 拓扑之间的关系定理     

偏序集乘积的拓扑与拓扑乘积

作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.     

局部dcpo和相容dcpo的交连续性

在局部dcpo和相容dcpo中引入了交连续的概念，并证明了它们在半格情况下等价．本的主要结果是定理1，定理2，定理3．     

关于函数空间上的Isebell和Scott拓扑的一个注记

主要讨论Domain函数空间上的Isebell拓扑和Soott拓扑何时相同的问题，对这一问题，刘应明和梁基华已给出了部分的回答，作者改进了这一结果，并且对L—Domain得到了进一步的结果。     

局部dcpo上的S-极限

在局部dcpo上引入了S-极限的概念，并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果：证明了U是Scott开集当且仅当U∈O(S)；D是连续的局部dcpo当且仅当，S-收敛是关于Scott拓扑的拓扑收敛。     

Hausdorff拓扑与Scott拓扑的对偶

作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑,并由此对Mislove和Lawson提出的一个公开问题作了部分回答.     

R~n的全体闭集上的一种自然度量

在图象处理中 ,我们需要给 Rn的全体闭集上建立拓扑结构和度量结构 .一种自然的称之为 HM拓扑的拓扑结构已经建立 ,可以证明 HM拓扑是紧的可度量化空间 .本文中笔者给出这种拓扑以具体自然的度量刻画和序刻画