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

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

相容连续Domain的序同态扩张

对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.     

Z-相容连续Domain及其相关性质

对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.     

相容半连续dcpo

作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.     

相容并半连续格

利用半素滤子定义了相容并完备格,进而给出了相容并半连续格的概念以及研究了它的若干性质.此外,研究了相容并半连续格的映射性质,并得到相容并半连续格的任意收缩仍是相容并半连续格.     

相容连续Domain的特征与浓度

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

相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.     

相容L-Domain及其相关范畴性质

引入了相容L－Dimain概念，给出了相容L－Domain的多种内部的外部的刻画；利用Scott拓扑定义了相容L－Domain的定向完备化，证明了相容L－Domain的定向完备化是L－Domain；考察了相容L－Domain范畴，得知稳定映射为态射的相容L－Domain范畴是Cartesian闭范畴，证明了稳定映射为态射的L－Domain范畴为相容L－Domain范畴的满的反射子范畴。     

拟相容半连续格

给出了拟相容半连续格的概念以及它的若干性质,讨论了拟相容半连续格的像集是拟相容半连续格的条件.     

关于拓扑空间上的几乎不动点定理和不动点定理

定义拓扑空间的R-子集的概念,利用古典的KKM原理的开形式得到一般拓扑空间上的KKM型定理并建立连续选择定理,然后给出局部一致空间上的上半连续映射的几乎不动点定理,并给出具有闭值的上半连续映射的不动点定理.这些结果推广和改进了很多相应结果.       

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质。     

非相容映象对的公共不动点定理

利用R-弱变换映象定义,在没有假设完备空间和连续映射的条件下,证明了非相容映象对的公共不动点定理.     

模糊度量空间中几种压缩映象的公共不动点定理

模糊度量空间中,在不要求空间完备以及映象对连续的情况下,仅利用非相容映象对和(Ag)型R-弱交换的条件,建立了几种压缩映象的新的公共不动点定理.     

局部连续Domain的特征与浓度

引入局部连续Domain的局部基和稠密子集的概念,在此基础上定义了局部连续Domain的特征与浓度.给出了局部基的刻画,并讨论局部连续Domain的特征、浓度与局部连续Domain带上Scott拓扑或局部Lawson拓扑时的拓扑空间的特征、浓度之间的关系.     

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

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

交半连续格的性质

讨论了交半连续格的一些基本性质,在交半连续格中引入交半Scott开集簇,用其刻画交半连续格.同时,定义了交半连续格上的拓扑和交半连续格之间的映射,并证明了交半连续格的收缩仍是交半连续的.     

G-度量空间中A_f型非相容映象对的一个新的公共不动点定理

利用自映象对非相容性的条件,在G-度量空间中证明了Af型R-弱交换非相容映象对的公共不动点的定理,并且去掉了G-度量空间的完备性和映象对的连续性条件,得到的结果进一步发展和完善了公共不动点理论方面的有关结果.     

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

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

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

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

拟连续Domain的特征与浓度

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