模糊有界完备domain及其基本性质

引入模糊有界完备domain和模糊Scott domain的概念,研究它们的模糊闭包算子的像以及模糊保序映射等一些基本的性质.证明在一定条件下,模糊有界完备domain上的所有理想之集是模糊Scott domain,在此基础上给出模糊有界完备domain的等价刻画.

几乎代数基与有界完备domain

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

模糊赋范线性空间的紧性与完备性

讨论了 Fuzzy赋范线性空间中准紧集、完备集及有界集间的关系 ;给出完备 Fuzzy赋范空间的闭球套定理与 Baire定理 ;刻画了有限维 Fuzzy赋范空间的特征。

有界Heyting代数的扩张模糊LI-理想

运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引入了模糊LI-理想∫关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画;讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系;考查了扩张模糊LI-理想在构造格结构研究中的应用,证明了有界Heyting代数(H,≤,→ ,0,1)的模糊LI-理想全体之集FLI(H)的三类子集在模糊集合包含序■下均构成完备Heyting代数。

模糊度量空间的完备性特征

在Kaleva和Seikkala引入的模糊度量空间框架下,研究它的完备性特征。引入了模糊度量空间中子集的模糊有界性和模糊直径的概念,在此基础上证明了模糊度量空间的一个充分必要条件,它类似于表征通常度量空间完备性的G.Cantor定理。

准连续Domain和稳定映射

研究了准连续Domain的积结构,子结构和商结构.给出了有界完备准连续Domain上同余关系的等价刻画.讨论了有界完备准连续Domain上稳定映射及其相关性质,证明了有界完备准连续Domain上保定向并的映射是稳定映射当且仅当它保非空交,指出了有界完备准连续Do-main上保有限交的映射是稳定映射当且仅当它关于Lawson拓扑连续.

算子的模糊范数及其空间性态的刻画

利用模糊分解原理提出模糊赋范线性空间上算子的模糊范数的定义,指出赋此范数的模糊有界线性算子集构成模糊赋范线性空间且保持值域空间的完备性.

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.

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

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

K-M Fuzzy度量空间中一类更广泛的不动点定理(英文)

提出并证明了ＫＭＦｕｚｚｙ 度量空间中另一类更广泛的不动点定理．

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

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

L-抽象基与模糊Round理想完备化

首先引入了L-抽象基和模糊Round理想,并给出模糊Round理想的等价刻画,证明了一个模糊Domain的模糊Round理想同构于该模糊Domain。其次,研究了L-抽象基的模糊Round理想完备化,且证明了模糊偏序集的模糊Round理想完备化是模糊Domain。最后证明了模糊Domain的连续收缩是模糊Domain。

模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。

模糊偏序集上的扩张定理

借助于模糊Galois联络,在模糊偏序集上定义了完备扩张,并建立了模糊dcop和完备扩张之间的等价关系。此外,还定义了连续扩张,并得到模糊domain和连续扩张的等价刻画定理。

双有限liminf domain范畴的笛卡尔闭性

基于模糊偏序集的liminf连续性,引入了双有限liminf domain的概念。这可看作是双有限domain在模糊偏序集框架下的推广。在真值格为frame的情形下,证明了双有限liminf domain范畴是笛卡尔闭的。

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

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