偏序集上的Mobius反演公式

偏序集上的Ｍｏｂｉｕｓ反演公式万哲先（中国科学院）编者按万哲先院士的这篇文章深人浅出地介绍了著名的Ｍｏｂｉｕｓ（莫比乌斯）函数与反演公式在偏序集上的推广及其应用，内容虽然涉及某些近代数学内容，但文中都交代得很清楚，相信大多数细心的读者都能看懂，并从中...     

［X→L］上的Isbell拓扑和Scott拓扑

本文证明了：对ｃｏｒｅｃｏｍｐａｃｔ空间Ｘ和具有最小元的有界完备连续ＤＣＰＯＬ，［Ｘ→Ｌ］上的Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑重合．并且构造两个反例说明：若Ｌ不具有最小元，或Ｌ具有最小元但不满足有界完备性，则［Ｘ→Ｌ］上的Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑不必重合．     

5元素集合上T_0拓扑总数的计算

利用有限偏序集上的几个重要结果并借助于拓扑空间对应的特殊化序与拓扑之间的关系计算得出5元素集合上T0拓扑总数为4231,拓扑总数为6942.     

偏序半群的偏序扩张

引入了偏序半群(S,·,≤)上的半拟序σ及模σ半拟链的概念.通过模σ半拟链,将S的偏序≤扩张为≤*,讨论了(S,*,≤*)是偏序半群的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的两个半格同态定理.最后,还给出了S的满足某些给定条件的有限子集在≤*下成链的充要条件.     

基于偏序集的PROMETHEE方法优化研究

尽管PROMETHEE是当前最受欢迎的多准则决策方法之一,但在实践应用过程中,模型的应用范围与质量依然受制于指标权重问题。一些常用的赋权方法,不仅没有解决不确定权重问题,反而增加了决策风险。在偏序集相关定理的基础上,给出权重的定性信息即权重次序,由流出矩阵、流入矩阵和净流矩阵等定义,得到了PROMETHEE的偏序集表达形式。当流入和流出之和为常数时,证明了模型存在对偶性质。根据对偶性质,简化了PROMETHEE方法的分析步骤,删减模型冗余信息。应用偏序集表示的PROMETHEE,突破了模型没有具体权重便无法应用的思维定势,解决了模型赋权困难,增强了模型的鲁棒性,拓展了模型处理数据类型的范围。     

BCHK-代数的亚原子

在BCHK-代数中引入了亚原子的概念,给出了亚原子的一些性质.证明了有限偏序BCHK-代数一定存在亚原子,且X\{0}等于其所有亚分支的并集.证明了一个BCHK-代数的亚原子和元素0做成的集合是X的一个子代数,不变亚原子和元素0做成的集合是X的一个理想.     

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.     

拟C-偏序集的若干性质

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

有限集合上偏序关系的矩阵判别方法

要从定义出发去判断集合X上的二元关系R是否是偏序关系比较困难,从关系矩阵出发,给出了偏序关系的矩阵判别方法,并对此方法进行了证明.     

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.