模糊度量空间中多变量压缩映射的公共耦合不动点定理

本文提出了多变量映射的一致点的概念.本文的结果是模糊偏序度量空间中不动点定理的一些主要结论从低维到高维的推广.     

利用二阶上三角矩阵构造各类非交换的序群

利用二阶上三角矩阵分别构造了非交换的序群、拟序群、拟偏序群和拟格序群.     

群中由子集定义的关系

考虑了任何群中的由一个非空子集定义的一个关系,证明了这个关系是等价关系当且仅当这个非空子集是一个子群.还研究了这个关系是偏序关系的充要条件.     

拟C-偏序集的若干性质

Menon在对连续Domain进行推广时引入C-偏序集的概念,即可用主滤子与上完备下集分离点的偏序集。基于Menon的思想,我们把拟连续偏序集推广至拟C-偏序集,即可用有限生成上集与上完备下集分离点的偏序集。结果表明,C-偏序集、拟连续偏序集都为拟C-偏序集,反之则不一定成立,并且,拟C-偏序集及其基具有类似于C-偏序集的关于映射、乘积等的封闭性。     

模糊蕴涵代数的结构特征

本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件.     

Axioms in the Variety of eO-Algebras

The variety eO of extended Ockham algebras consists of those algebras (L; ∧,∨, f,k, 0, 1) such that (L; ∧,∨, 0, 1) is a bounded distributive lattice together with a dual endomorphism f on L and an endomorphism k on L such that fk = kf. In this paper we extend Urquhart's theorem to eO-algebras and we are in particular concerned with the subclass e2M of eO-algebras in which f2 = id and k2=id. We show that there are 19 non-equivalent axioms in e2M and then order them by implication.     

半正定Hermitian矩阵的广义Schur补的Loewner偏序和特征值

首先得到了半正定Ｈｅｒｍｉｔｉａｎ矩阵的方幂的广义Ｓｃｈｕｒ补的Ｌｏｅｗｎｅｒ偏序的一些结果,然后改进了半正定Ｈｅｒｍｉｔｉａｎ矩阵的Ｓｃｈｕｒ补的交错不等式。     

交换p-群的子群格的强Sperner性质

设n和k是任意正整数 ,p是素数 ,L_(kⁿ) (p)是交换p 群 (Z/p^kZ)ⁿ 的子群格 ,则存在正整数N(n ,k) ,使得当p >N(n ,k)时 ,L(_{kⁿ) (p)}具有强Sperner性质 .     

Z/(p~r)上模p上三角矩阵的轨道

本文证明了由 Ｂｉｒｋｈｏｆｆ给出的有限 Ａｂｅｌ　ｐ－群的子群的标准矩阵表示所构造的从 Ｚ／ｐｋＺ ｘ… ｘＺ／ｐｋＺ的子群格到多重集｛１ｋ,２ｋ,…,ｎｋ｝（ｎ≥３）的子集格之间的保秩保序映射ψ,在集中每一点的原象集均是 Ｚ／ｐｋＺ上的一般线性群的子群一模 ｐ上三角矩阵群的轨道．这个结果当 ｋ退化为 １时,便可得到Ｋｎｕｔｈ构造的关于子空间格到子集格的保秩保序映射也具有这种性质．