Fuzzy格（软代数）的标准分支,正则分支及直积分解

该文是对作者文［１］的补充、修正和发展．文中深化了分支的观念，引入了标准分支、正则分支、Ｐ－到Ｆｕｚｚｙ格等构造性新概念．讨论了它们的特征、性质以及相互关系．Ｆｕｚｚｙ格（软代数）以一种自然方式集合幂集格的同态嵌入，以及直积分解．该文通过特定分支与特定元的内在关系．得出了Ｆｕｚｚｙ格比较具体的直积分解定理．其中四、五、六节，依次就Ｐ－型、正统Ｐ－型、完全三种Ｆｕｚｚｙ格，作了详细地分析和讨论．     

并素元有限生成格的弱直积分解

本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积,证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格.     

半连续格的半素极小集与序同态扩张

对完备格引入半素极小集的概念,证明完备格L为半连续格当且仅当L中的每个元在L中存在半素极小集,给出半连续格的两个序同态扩张定理.     

一类完备格的直积分解与Fuzzy格的构造

本文主要结果为:1.以拓扑空间的连通分支为工具,证明了由并素元生成的完全Heyting代数存在既约的直积分解,并且它的任意两个既约直积分解是等价的,从而推广了[1]的主要结果;2.利用完全分配格的既约直积分解,得到Fuzzy格的一个构造定理,并在此基础上讨论Fuzzy格的直积分解,证明了任一Fuzzy格存在既约直积分解,并在序同构的意义下是唯一的.     

半连续格的性质

讨论了半连续格的一些基本性质。定义了一种新的元素——-素元,举例说明-素元与素元、伪素元是不同的,并给出了-素元与素元、伪素元相等的条件;同时,定义了半连续格上的拓扑和半连续格之间的映射,并证明了半连续格的收缩仍是半连续的。     

格L~x上的点式距离函数

本文给出了L-Fuzzy集上的p.q(p.)度量对应的点式距离函数(不同于[2]的点式刻划),其满足的公理不但与分明集的度量公理相协调,而且体现了分子集的有序性,颇有格上度量的特色.文中X和L总表非空集和Fuzzy格,J(L)表全体L的非0既约元所构成之集,β(A)表L的元A对虚的极小集[3](β(0)=φ)、“(?)”表格上的way below关系。若以小写英文字母a表J(L)的元,则a(?)A等价于a∈β(A)。     

L-良紧子集的几何刻划

本文引入了L-Fuzzy子集的强α-远域族的概念;证明了,当M(?)J(L)时,广义Fuzzy拓扑分子格的Fuzzy子集A是良紧的充要条件是A的每个α-远域族都有有限强α-远域子族.利用这个结果我们还证明了良紧的Alexander子基定理,给出了良紧的定理的另一证明.     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

双蕴含算子及其在Fuzzy关系方程中的应用

本文在全序完备格L上定义了双蕴含算子“(?)”。讨论了L上及L-Fuzzy矩阵上算子“(?)”的若干性质,分别得到了Fuzzy关系方程AX=A(XA=A)及Fuzzy不等方程AX≤A(XA≤A)的解,给出了L-Fuzzy矩阵有广义下逆的一个充分必要条件及幂等阵的两个广义逆。     

完全分配格的谱论与拓扑分子格

本文借助于完全分配格的谱理论是首先证明分子格范畴同构于某连续偏序集范畴子范畴,然后利用上述同构,证明分子格上余拓扑同构于其中分子之集上。与分子序密切相关的某分明拓扑,从而就给“重域”“远域”这两个基本概念以合理解释,并证明许多拓扑分子格性质的研究可以化为相应的拓扑空间性质的研究.“重域”概念的引入,使 fuzzy 拓扑学的研究发生了根本变化,导致了有点派的兴起。而“远域”的引入,则导致因更广的拓扑分子格理论的产生,从而把 Fuzzy 拓扑为学纳入了拓扑格的范畴.本文中我们首先建立分子格范畴与连续偏序集范畴某子范畴的同构,从而把二者的研究紧密结合起来,然后借助上述同构把拓扑分子格中的问题的研究化为连续偏序集中问题去考虑,通过这种转化,我们将会看到,“重域”,“远域”等基本概念确为 fuzzy 拓扑学,拓扑分子格中唯一合理的点与集合的邻属关系,而择一原理这条fuzzy 拓扑学中的基本原理成立的原因也就变得很清楚。本文中凡未定义的概念请参看[4].     

完全分配格中极小族、极大族的刻划

王国俊在[3]中对B.Hutton在[1]中提出的极小族的概念给出了一个较强的定义并以此为工具讨论了Fuzzy格的构造。本文采用[3]的定义对完全分配格上的极小族,极大族给出了进一步的刻划,使其直观化,具体化。我们还给出了完全分配格的一个构造定理。     

格的模糊软理想

将模糊软集与格的模糊理想概念相结合,引入了格的模糊软理想的概念,给出了它们的若干代数性质.定义了格的模糊软同态(同构)概念,证明了格的一个模糊软理想在模糊软同构(同态)下的像(原像)仍为模糊软理想的结论.     

点式拟一致分子格中的拓扑

分子格Ｌ上的一个点式拟一致结构可以诱导出Ｌ上的一个拓扑和一个余拓扑（）。本文证明了下面结论：（１）在拓扑分子格（Ｌ，＊（））中，每个分子皆有一个由（）一开元组成的远域基；（２）在拓扑空间（Ｌ，（））（这里Ｌ是Ｆｕｚｚｙ格）中，每个分子皆有一个由（）一开元组成的＊远域基；（３）若（Ｌ，）是点式一致Ｆｕｚｚｙ格，则（）＝（）。     

Fuzzy格YX的特征

从两个方面对 Fuzzy格 YX 进行研究。通过讨论有限偏序集 X与 Fuzzy格 2 X 的关系 ,得到当 X为软偏序集时 ,2 X 必为 Fuzzy格 ;通过引入 E-非空概念 ,得到关于 Fuzzy格 YX 的重要定理。     

一种统一的Fuzzy化方法和代数系的Fuzzy化

§1 引言各种分明集的Fuzzy化是Fuzzy集理论基本手法之一。目前较流行的孤立的定义方法没有很好地体现出Fuzzy化是一个统一的概念。本文探讨了“拼Fuzzy集”[1]与其分明集的关系及它们在隶属函数形式上的一致性问题,从而给出了一种统一的Fuzzy化方法。     

矩阵代数的Kadison-Singer格的分类

研究了矩阵代数M_n(C)的KS格,证明了每个生成M_3(C)的KS格都相似于(?)_0或I-(?)_0,其中(?)_0为M_3(C)的一个极大对角投影套和一个赋值全非零的秩1投影所生成的KS格,从而M_3(C)的对角平凡的KS代数都是4维的.同时,还给出了几个生成M_4(C)但非同构的KS格的例子.     

直觉模糊格及其同态

在K.Atanassov引进直觉模糊集的基础上,定义了直觉模糊格,并讨论了它的简单性质,给出了直觉模糊集截集与直觉模糊格的关系,证明了A是格L的一个直觉模糊子格的充要条件是A的截集是L的一个子格,然后在格同态与同构意义下,研究了直觉模糊格的像与原像。最后给出了直觉模糊凸子格的概念,并得到了它的一些基本性质。     

整体决定的一类Clifford半群(英文)

如果半格E中的一个元素不能表示为E中两个都不同于它自身的元素的乘积,则称该元素为E中的素元.本文将证明其半格可由素元生成的这类Clifford半群是整体决定的.这一结论推广了Gould和Ⅰskra,于1984年发表在《Semigroup Forum》上的一个结果.     

格测度空间的表现与积分

无论是经典的测度,还是近年来模糊数学中定义的各种测度,其可测空间实质上都是Fuzzy格上的一个子集。受王国俊先生的拓扑分子格理论的启发,我们在格上考虑可测空间,随后定义测度与积分,对上面所提的诸种测度空间及积分进行推广与统一。本文在无特別说明时,所涉及的格L(≤,∨,∧,’)均表示Fuzzy格,L中的最大元与最小元分別以I和θ来表示。有关分子、原子、极小集等概念可参见[1]—[5]。     

Rodabaugh α-闭包的推广

对LF拓扑空间的分明集及模糊格L中的元素α,Rodabaugh提出了α-闭包的概念.本文对此做了推广，对LF拓扑空间中的任一LF集，定义了HFα-闭包．并顺便引入了HFα-闭集的概念.文中讨论了这两个概念的基本性质。