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

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

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及相关范畴性质

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

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

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

相容双有限Domain的几个性质

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

一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质，并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo（定向完备集）．     

函数空间[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紧的。     

拓扑空间的计算环境

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

定向空间的下幂结构

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

广义模糊赋范空间中的收敛性

目的 证明广义模糊赋范空间中关于收敛的一些性质.方法 定义了广义模糊赋范空间,模糊收敛性,模糊有界性,柯西列和完备性.借助这些定义,证明了广义模糊赋范空间中序列的若干收敛定理.而且考虑了这种完备性和赋范空间中的完备性的关系.结果 证明了以下结果:模糊收敛序列的极限是唯一的;模糊收敛序列的任一子列模糊收敛到此序列的极限;模糊收敛的序列是柯西列;柯西列是模糊有界的;任一有模糊收敛子列的柯西列是模糊收敛的;存在不完备的广义模糊赋范空间.结论 说明赋范空间中的一些概念和结果可类似的在广义模糊赋范空间中建立.     

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

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

拟连续domain的网式刻画

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

几乎代数基与有界完备domain

研究几乎代数dcpo的性质,并得到如下主要结果:1)具有可数几乎代数弱闭基的有界完备domain构成的范畴是Cartesian闭的;2)对每个具有(可数)几乎代数基的dcpo,其相容下幂domain是一个具有可数几乎代数弱闭基的有界完备domain.     

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

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

一对模糊映象的公共不动点定理

利用完备度量空间的性质和引理[1.1]、[1.2],研究了在完备度量空间中一对模糊映象满足一些特定不等式条件,以及当其截集是中非空有界闭集时,该对模糊映象的公共不动点的存在性问题.推广了Park J Y和Jeong J U论文的结论.     

模糊拟原子格上的一致

基于一种新型的模糊拟原子格的乘积概念,本文在该类格上引进一致结构。同时也引进一致连续、完备性以及全有界诸概念并证明有关结果,特别是全有界加上完备性等价于紧性的命题。本文的诸概念和结果包括了经典一致和模糊一致的相应概念和结果作为特例。     

关于概率幂domain的一个注记

概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和Plotkin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL-domain,则D的概率幂domain连续当且仅当D连续.     

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

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

Hausdorff模糊度量拓扑和Vietoris拓扑

模糊度量是模糊拓扑学的一个重要的概念,模糊度量超空间是模糊度量空间理论的重要组成部分之一。鉴于此,研究了由Hausdorff模糊度量拓扑与Vietoris拓扑的包含关系,导出了给定的stationary模糊有界的模糊度量空间的准紧性、完备性和紧致性的几个结论。     

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

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