完备格的关系表示理论及其应用

主要讨论完备格的关系表示问题,分别建立了完全分配格的正则表示定理、超连续格的有限正则表示定理、λ-超连续格的λ-正则关系表示定理、区间拓扑T2完备格的广义有阴正则表示定理,给出了正则关系、完全分配格、超连续格、λ-超连续格、区间拓扑T2完备格的内蕴式刻划;给出了本文所建立的完备格的关系表示理论在Domain理论、格论和拓扑学中的若干应用.     

完备格中的完备子集与它们相关的映射

本文研究了完备格中的各种完备子集与完备格中的各种保序幂等自映射之间的关系，得到了一系列的新定理，弄清楚了它们之间的相互关系．     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

Banach压缩映象原理与空间完备性

本文揭示了Banach压缩映象原理与空间完备性的关系,证明了在具有一致局部连通性的距离空间中,压缩映象原理与空间完备性仍然等价.     

基于完备格的模糊数学形态学

数学形态学被广泛应用于信号与图像处理。本文在完备格的框架下,利用模糊逻辑运算及其伴随,给出模糊数学形态学运算的定义,并深入讨论了这些运算的性质。特别是,由这种途径定义的模糊形态学,模糊闭和模糊开具有很好的性质。本文还探讨了模糊形态学运算和古典形态学运算之间的关系。     

基于完备信息表的IS-概念格构建

本文借鉴在形式背景上构造概念格的方法,利用对象子集的极大描述公式,直接构造完备信息表上的概念格,称为IS-概念格.首先在完备信息表中通过公式和对象子集构造出信息表上的概念,再通过这些概念之间的泛化和特化关系,得到完备信息表上的IS-概念格.为了避免属性冗余,给出了在完备信息表上保持1S-概念格格结构不变的属性约简方法.     

完备Brouwerian格上Fuzzy关系方程有极小解的条件

本文在有限论域上对完备Brouwerian格上Fuzzy关系方程极小的存在问题作了探讨，首先构造了Fuzzy关系方程有解但无极小解的一个例子，然后在解集非空时给出了对Fuzzy关系方程的每一个解都存在一个小于等于它的极小解的一个充分条件及一个充要条件，特别地，在充分条件下给出了一类Fuzzy关系方程所有极小解的个数的公式。     

关于完备格上的T-型矩阵方程

利用完备格L上的无限分配t-模T,研究了T-型矩阵方程A TX TB=C的解,得到该方程有解的一个等价条件。同时,在有解时给出求该方程整个解集的一个算法。     

局部Cauchy列和局部完备性的性质

利用完备化的方法,给出了局部凸分离空间（X,T）中序列{xn}是局部Cauchy列当且仅当存在单调增且趋于正无穷大的正实数列{an},使得min{an,am}（xn-xm）→0（m,n→∞）,并得到局部凸分离空间（X,T）是局部完备的当且仅当X中每个丁局部Cauchy列的绝对凸闭包是丁紧的,以及一些局部完备性的相关性质．     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

Complete Surjections and Complete Epimorphisms over Completely Distributive Lattices

Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given.     

完备强对偶原子分配格上的不可约极小并分解及其应用

在完备强对偶原子分配格上引入了不可约极小并分解的概念,给出了元素存在不可约极小并分解的一些充要条件.证明了当元素恰有一个下邻时,该元索就足完全并既约元;有两个下邻时,元素的不可约极小并分解与不可约完全并既分解是等价的;下邻多于两个时,元素的不可约极小并分解不一定足不可约完全并既分解.最后证明了模糊关系方程有极小解的充要条件是方程左边有大于等于右手项的系数或右手项系数有不可约极小并分解.     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。     

Complete Distributivity of Lattice Ordered Groups and of Vector Lattices

In this paper we investigate the possibility of a regular embedding of a lattice ordered group into a completely distributive vector lattice.     

<Emphasis Type="BoldItalic">κ</Emphasis>-Complete Uniquely Complemented Lattices

We show that for any infinite cardinal κ, every complete lattice where each element has at most one complement can be regularly embedded into a uniquely complemented κ-complete lattice. This regular embedding preserves all joins and meets, in particular it preserves the bounds of the original lattice. As a corollary, we obtain that every lattice where each element has at most one complement can be embedded into a uniquely complemented κ-complete lattice via an embedding that preserves the bounds of the original lattice.     

Topological Representations of Distributive Hypercontinuous Lattices

The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O（X） is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O（X） of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.     

Complete congruence lattices of join-infinite distributive lattices

Received July 26, 1993; accepted in final form July 16, 1996.     

The Existence of the Complete and Completely Distributive Lattices

ＴｈｅＥｘｉｓｔｅｎｃｅｏｆｔｈｅＣｏｍｐｌｅｔｅａｎｄＣｏｍｐｌｅｔｅｌｙＤｉｓｔｒｉｂｕｔｉｖｅＬａｔｔｉｃｅｓＢａｔＲｕｉｐｕ（白瑞蒲）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｅｂｅｉＵｎｉｖｅｒｓｉｔｙ，Ｂａｏｄｉｎｇ，０７１００...     

完全分配格上的覆盖粗糙集模型

将集合论中的覆盖概念抽象到完全分配格L上,利用它定义格L上关于覆盖的上(下)近似算子,给出格L上覆盖粗糙集模型.文中先讨论格L上覆盖的相关性质,进而研究了覆盖上(下)近似算子的性质,得到若干结果.