连续广义度量空间

本文研究了连续广义度量空间的基本性质。首先证明了对于连续的广义度量空间，c-Scott拓扑和广义Scott拓扑相等；其次证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续。     

半连续dcpo

作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.     

拟连续domain的网式刻画

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

函数空间［X→L］上若干拓扑之间的关系

作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.     

局部dcpo上的S-极限

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

函数空间[X→L]上若干拓扑之间的关系

讨论在函数空间上Isbell拓扑和Scott拓扑何时一致是domain理论中很重要的问题。作者给出了两个主要定理：(1) L 是带有性质m 的含最小元的连续domain，则函数空间[X→L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain. (2) L 是含最小元的连续domain，则函数空间[X→L]上Scott拓扑与 Isbell拓扑对于所有RW空间X一致当且仅当L是Lawson紧的。     

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

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

Lawson-Mislove问题的一个必要条件

借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的.结果表明,Scott吸收性是Lawson-Mislove问题的一个必要性刻画.     

拟连续Domain的特征与浓度

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

连续Domain的特征与浓度

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

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

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

拟代数Domain的若干性质

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

相容连续Domain的特征与浓度

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

关于LF拓扑空间中的Lindelf覆盖性质

本文证明了LF拓扑空间中的(准)Lindelf覆盖性质被连续的广义Zadeh型函数所保持,并且获得了Lindelf空间的一些基本性质.     

关于LF拓扑空间中的Lindelof覆盖性质

本文证明了LF拓扑空间中的(准)Lindelof覆盖性质被连续的广义Zadeh型函数所保持,并且获得了Lindelof空间的一些基本性质.     

关于LF拓扑空间中的Lindelöf覆盖性质

本文证明了LF拓扑空间中的(准)Lindelof覆盖性质被连续的广义Zadeh型函数所保持,并且获得了Lindelof空间的一些基本性质.     

拟连续Domain的遗传性、不变性及映射空间

讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备拟连续DomainX和L,当L是全序时,由Scott连续映射构成的映射空间[X→L]是有界完备拟连续Domain.     

由T0空间的特殊化序定义的定向空间

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴.     

伪-γ空间的若干等价刻画

讨论了一类重要的广义度量空间-伪-γ空间的等价刻画问题,利用o-度量及局部拟一致结构给出对伪-γ空间的若干等价刻画.得到X为伪-γ空间当且仅当存在与X上拓扑相容的具有可数基的局部拟一致结构和X为伪-γ空间当且仅当存在与X上拓扑相容的o-度量d使得对X的任一紧集K及任一闭集F,若K∩F=O,则d(K,F) 0.     

模糊度量空间中模糊广义H-弱压缩映射

提出模糊度量空间中模糊广义H-弱压缩映射的概念,并运用构造迭代序列方法证明了在模糊度量M一致连续的条件下,模糊广义H-弱压缩映射在M-完备的模糊度量空间中存在唯一的不动点.该结论从本质上推广了模糊H-弱压缩映射的概念及其不动点定理.