拟极小集及其对于连续偏序集理论的应用

本文以拟极小集概念为基础,论述了连续偏序集的刻划问题,对于连续偏序集之间的余态射作了详细的分析。对J.D.Lawson和R.E.Hoffmann所确立的完全分配格与连续偏序集间的对应关系给出了一种新的处理。     

分配格上向量线性相关性探讨

给出了分配格上向量线性相关和线性无关的定义,在此基础上,研究了向量组线性相关和线性无关的一些性质,比较了与古典线性代数中向量线性相关性的性质的异同.     

格上BR0-代数结构的表示定理

利用模糊命题演绎系统BL＊中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。     

分配格的幂格

研究了分配格土的幂格，给出了格的相对凸子格的概念，得到了分配格土的幂格的一个充要条件。     

一种分配格哈斯图的结构

建立整数n惟一分解式与分配格(Dn,)哈斯图构成的联系,给出该分配格哈斯图的构成规律,并进一步指出布尔格哈斯图的结构.     

完全分配格上的矩阵的行列式

研究了完全分配格上的矩阵及其行列式的性质,给出了格矩阵的行列式的"拉普拉斯展开"计算式,研究了格矩阵及其伴随矩阵与行列式的关系,并用格矩阵的行列式给出了以格元素为系数的线性方程组的"克兰姆法则".     

完备格上的完全素滤子

讨论了完备格上完全素滤子的性质，借助于完全素滤子，给出完全分配格的刻划。     

有限分配格的性质与结构（Ⅰ）

通过引入各元素的出度和入度，进一步刻划分配格的内部结构，从而得到有限分配格可由Ｂｏｏｌｅ代数格迭加而成。主要结果：设（Ｓ，≤）是一个分配格，α∈Ｓ，Ｇ（α）＝ｒ≥２，α所覆盖的元分别为α１，α２…，αｒ，则Ｓ中存在一个含有α的子格Ｌ＝Ｉ［α０，α］同构于Ｂｏｏｌｅ代数格。其中α０＝α１＾α２＾…α，Ａ是含有ｒ个元的集合；ｎ元可简化分配格在同构意义下共有Ｄ（ｎ－１）类。     

广义λ完全分配格的关系表示

引入了广义λ完全分配格的概念,证明了L为广义λ完全分配格〈=〉L^op是广义λ超连续格〈=〉L上的关系（≮）^op=（≯）是广义λ正则的.