一类有限BCK—代数的序结构

我们在本文中引进了BCK-代数的主子代数的概念并证明了关于子代数格的若干结果。作为应用我们给出了n阶n-2型BCK-代数的序结构的特征。     

偏序集代数的同构问题

在[1]中对局部有限偏序集I={I,≤}及域K引入了关联代数KI的概念.这里的“局部有限”是指对任意a,b∈I,a≤b,集合{x∈I|a≤x≤b}.是有限集.KI的定义是:其元素是域K上以I中元素为行与列的足码的形式矩阵(кa,b)a,b∈I,(即允许有无限多个ka,b≠0)且满足条件:当a≮b时有ka,b=0.注意到I的局部有限性,易知上述形式矩阵的全体关于通常矩阵的加法和乘法以及数乘作成域K上的一个结合代数,称之为I在K上的关联代数KI。     

强Raney偏序集

引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集.     

赋范BCK-代数(英文)

引入了BCK-代数的范数与距离的概念,给出了赋范BCK-代数的一些基本性质,证明了赋范BCK-代数的同构(同态)像和原像仍是赋范BCK-代数,研究了BCK-代数与BCK-代数笛卡儿之间的赋范性质关系.并且引入了赋范BCK-代数的点列极限概念,研究了极限的相关性质.讨论了有界赋范BCK-代数的与模糊BCK-代数的关系.     

Z-连通代数偏序集及其范畴

对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

BCHK-代数的亚原子

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

软代数2~X的特征

本文通过讨论有限偏序集Ｘ与基数幂２Ｘ的关系得到２Ｘ可定义成软代数的充要条件是Ｘ可定义成软偏序集．且软代数２Ｘ的型数与软偏序集Ｘ的型数相同．     

偏序集上的Mobius反演公式（续）

偏序集上的Ｍｏｂｉｕｓ反演公式（续）万哲先（中国科学院）５局部有限偏序集上的关联代数和推广的Ｍｏｂｉｕｓ反演公式局部有限偏序集Ｐ上的Ｍｏｂｉｕｓ函数可以看作是Ｐ上的关联代数中的元素，现在先给出关联代数的定义．定义７设Ｐ是局部有限偏序集，Ｒ是有单位元１...     

可换BCH-代数

引入了可换BCH-代数的概念,给出了可换BCH-代数的两个充要条件.对偏序可换BCH-代数进行了讨论,给出了偏序BCH-代数是可换的两个充要条件.证明了偏序可换BCH-代数的每个分支是一个下半格,局部有界偏序可换BCH-代数的每个分支是一个格.     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念,给出了Fuzzy代数理想的某些特征,讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

软BCK-代数的模糊理想

将模糊集理论应用到软BCK-代数中,引入了软BCK-代数的模糊理想,并获得了它的基本性质。然后,讨论了BCK-代数的模糊理想在同态下的像和逆像的性质。最后,通过软同态概念的引入,给出了软BCK-代数的模糊同构定理。     

强代数偏序集

引入了一种新的强代数偏序集的概念,证明了偏序集P为强代数的当且仅当其正规完备化δ(P)为强代数格,给出了强代数偏序集的内蕴式刻画。     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

关于模糊质BCK-滤子

建立了模糊质 BCK-滤子定理 :设 X是一个有界可换 BCK-代数 ,F是 X的一个真模糊 BCK-滤子 ,并且 f ( 1 )是 X的一个∨ -封闭的模糊集 .如果 F≤ f且 M={μ∈ FF(X) |F≤μ≤f}则 M包含一个关于≤的极大元 P满足 (1 ) P是一个质模糊 BCK-滤子 ,(2 ) F≤ P≤f .     

关于偏序集相关联图的色数

对于每一个含有最小元素0的偏序集（P,≤）可以得到一个与其关联的图G（P）.本文主要通过代数的方法研究了所得关联图G（P）的性质,证明了如果G（P）的色数和团数是有限的,那么色数和团数都仅比P的极小素理想的个数大1.     

巴拿赫代数上序锥度量空间中的不动点定理

提出了巴拿赫代数上的锥度量空间的相关概念,并给出了巴拿赫代数上元素的谱半径的一些性质,证明了巴拿赫代数上锥度量空间中偏序集上的一些不动点定理,所得结论推广了已知结果.     

（∈,∈∨q）-模糊BCK-滤子

在BCK-代数中引入（∈,∈∨q）-模糊BCK-滤子的概念,讨论了它的某些性质.特别是,分别利用水平集和∈∨q-水平集给出了∈∨q-模糊BCK-滤子的若干特征.     

6元素集合上T0拓扑总数的计算

文中证明了有限预序集与有限偏序集的一些性质,并基于有限集上的拓扑和其上预序的一一对应关系,利用这些性质通过对极小元和极大元个数进行分类讨论,以一种有别于计算机算法而又容易理解的计算方法得出6元素集合上的T₀拓扑总数为130023.     

关于BCK-代数的模糊理想和超积

通过使用超滤子的概念以及所讨论的模糊理想的相应性质,提出了超积BCK-代数和BCK-代数模糊子集的模糊超积.     

R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.