首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 187 毫秒
1.
利用纯代数的方法,构造了一种新的格的判别方法.由于格定义在偏序集上,利用偏序关系与关系矩阵的对应,分析关系矩阵的性质,定义了一个K阶子矩阵,通过K阶子矩阵判断该偏序集是否构成格,并在Matlab7做了实例验证,该方法思路规范、便于计算机程序化.  相似文献   

2.
首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念,得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质;给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画,又从格论的角度出发;给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件.  相似文献   

3.
Z-半连续偏序集的性质   总被引:1,自引:1,他引:0  
讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划.同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划.  相似文献   

4.
设L为完备剩余格,在L-偏序集中引入步函数的概念。基于一般的weight类,得到了L-偏序集映射空间连续性的一个刻画定理。基于以上结果,证明了两个完全代数的L-完备格之间的余连续映射之集是完全代数的。  相似文献   

5.
Heyting代数中同余关系的简化   总被引:1,自引:1,他引:0  
给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。  相似文献   

6.
两类代数Domain范畴的等价   总被引:1,自引:0,他引:1  
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSa(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价.  相似文献   

7.
给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。  相似文献   

8.
给出了偏序半群中最小滤子的构造 ,以及几种特殊的偏序半群 ,其中的最小滤子有简单的形式 ,给出了偏序半群上最小半格同余 n与最小正则半格同余 N相等的一个充分必要条件 ,并提出一个问题 ,即 Nm( x) =Nm( x)是否为 n =N的必要条件  相似文献   

9.
给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.  相似文献   

10.
对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。  相似文献   

11.
偏序集上关联蕴涵代数的性质   总被引:4,自引:0,他引:4  
偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在偏序集关联蕴涵代数概念的基础上,本文对其性质进行了一定的讨论,给出了它与其它逻辑代数结构间的关系.  相似文献   

12.
对于中心非零的perfect李代数,关于它的泛中心扩张的导子代数与它本身的导子代数之间的关系尚未有一个一般的结论.通过计算带有一维中心的Schrdinger-Virasoro李代数sv的泛中心扩张L的导子,证明了L只有一个外导子,而由文献[1]知sv有三个外导子,从而得到了一个中心非零的perfect李代数的导子代数与其泛中心扩张的导子代数不同构的例子.  相似文献   

13.
本文在研究匀称带及其对应半格的匀称性中,提出了强纯整半群的概念,证明了强纯整半群不必是逆半群,因此这是比逆半群宽的一类纯整半群。文中又定义了基本强纯整半群,得到了基本强纯整半群同构于Hall半群WB的满幂纯整半群,最后证明了若带B匀称,则B所对应的半格也是匀称的。  相似文献   

14.
在不同的代数教材中给出了行列式的不同定义,一般教材中n阶行列式的古典定义,学生学习起来比较困难,有些教材采用归纳法定义n阶行列式,但是行列式性质的证明却很复杂,不得不把证明放入附录中.为了使学生学习起来比较顺畅,采用归纳法定义n阶行列式,利用全新的方法给出了n阶行列式性质的简单证明,并给出了n阶行列式的古典定义与归纳法定义的等价性的证明.  相似文献   

15.
基于Horvath关于序拓扑空间中所给出的拓扑半格的框架结构,利用拓扑半格中的不动点定理,给出了序拓扑空间中的n-非合作广义对策Nash平衡点的存在性定理。  相似文献   

16.
本文研究了一般半群的任意子半群上半格同余扩张的问题。证明了,如果T是半群S的C-子半群,则T上的每个半格同余能唯一地扩张成S上的半格同余,并且T上所有的半格同余与S上所有的半格同余之间存在格同构。当S是正则半群,那么S的全子半群T上每个半格同余能唯一地扩张成S上的半格同余当且仅当T是S的C一子半群。  相似文献   

17.
引进了B*-纯序半群的概念,并研究了B*-纯序半群的性质及有关B*-纯序半群上的一些等价条件,最后得出了B*-纯序半群与双单序半群的半格之间的关系.推广了B*-纯半群的性质和在正规和正则的条件下,一个半群是序群的半格的一些结论.  相似文献   

18.
Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation between lattice H implication algebra and associated implication algebra is discussed. Also, the concept of filter is proposed with some basic properties being studied.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号