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

引入模糊有界完备domain和模糊Scott domain的概念,研究它们的模糊闭包算子的像以及模糊保序映射等一些基本的性质.证明在一定条件下,模糊有界完备domain上的所有理想之集是模糊Scott 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定理。

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

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

分明偏序集不能简单地当作模糊偏序集

一般而言,分明的数学结构借助于特征函数可以看成相应的模糊结构,如拓扑和模糊拓扑、群和模糊子群以及拟阵和模糊化拟阵等.对于偏序集和模糊偏序集,似乎也是这样的.但当考虑偏序集的具体性质,如(定向)完备性时,却发生了根本性的改变.文章通过例子说明分明的完备格借助于特征函数并不一定是模糊完备格,甚至连模糊DCPO都不是.由此说明,分明偏序集不能简单地直接当作模糊偏序集.

有界完备dcpo上的线性逼近——强线性FS-domain

作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain,并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性质。

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

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

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

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

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

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