BCK和BCI—代数的左映射与弱左映射

在BCK—代数中引进左映射和在BCI—代数中引进弱左映射,并探讨它们的性质。主要结果是:如果X是BCK—代数,Y是正定关联BCK—代数,则所有X到Y的左映射的集合也构成正定关联BCI—代数;如果X是BCI—代数,Y是弱正定关联BCI—代数,则所有X到Y的弱左映射的集合也构成弱正定关联BCI—代数。这推广了文(1)与(2)的结果。

BCI-代数弱左自映射集合的一个性质

证明了如果X是一个弱正定关联BCI -代数 ,L′(X)是X的所有弱左自映射集合 ,则( 1)L′(X)是一个弱正定关联BCI-代数 ;( 2 )L′(X)同构于X。这推广了文 [3

左正则映射和弱左正则映射(英语)

本文定义了BCK—代数的左正则映射和BCI—代数的弱左正则映射,并研究了他们的性质。

矩阵左移位循环映射的应用及教学实验案例设计

文章给出了利用左移位循环映射构造集合笛卡儿积的具体步骤,并从矩阵乘法运算的角度进行编程,在此基础上,给出了n个数码的所有全排列的构造程序,n阶行列式的计算程序等教学实验案例.本文给出的程序直观,简洁,易懂,适用于教学实验实践.

BCK和BCI—代数的映射

在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是一个正定关联ＢＣＫ－代数，则所有Ｘ到Ｙ的左映射的集合也构成一个正定关联ＢＣＫ－代数。

利用两映射象的关系补成交换图

根据给定的两个左R-映射的特点,将其补成交换图,并应用该结论证明了一个左R-映射的核是一个拉回.

Quantale的最大左半可换商

通过引入Quantale上左半可换核映射的概念,用Quantale中的左准对称元给出最大左半可换商的刻画,证明了左半可换Quantale范畴是Quantale范畴的反射子范畴,并讨论了局部核映射与左半可换核映射之间的关系.

K型Lipschitz映射非对称度量空间及其完备性

利用从非对称度量空间(X,d)到(R,dL)上的左K型Lipschitz映射和右K型Lipschitz映射构造了两类非对称度量空间,并分别证明了其上完备性和下完备性.

由格蕴涵代数诱导的伴随半群

给出由格蕴涵代数诱导出的伴随半群及有关概念 ,详细讨论伴随半群中的元素即格蕴涵代数的左映射的性质 ,得到它们的几个等价条件。最后讨论由格蕴涵代数诱导的两个双格半群与伴随半群之间的关系 ,并证明这些半群是幂等的当且仅当它们是由格

R_0代数中的幂等元及其应用

研究了R0代数中的幂等元及其应用.在R0代数中定义了幂等元、左映射与幂等映射等概念,讨论了幂等元的性质,得出由全体幂等元构成的集合是子R0代数中最大的Boole代数;证明了幂等元诱导的左映射是幂等映射,由此得到R0代数的分解定理:R0代数可以分解为由幂等元诱导的幂等映射的像集合与其映射核的直积.

Quantale上的左(右)蕴含核映射

为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左(右)蕴含Quantale商的等价刻画,并且给出了一个映射是左(右)蕴含核映射的等式刻画。最后,证明了在预Girard quantale上左(右)蕴含核映射与右(左)理想余核之间是一一对应关系。