首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去,从而简化定义。  相似文献   

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

3.
定义并讨论了Heyting代数中的直觉模糊滤子及其性质.给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件.  相似文献   

4.
对路李代数及其性质做了研究.给出了有限维路李代数均可解的结论和所有的卡当子代数;并给出了其相对于一个特定的卡当子代数的根子空间的分解;最后,对一类无限维路李代数可解的条件作了探讨.  相似文献   

5.
关于Heyting代数公理系统的一个注记   总被引:1,自引:0,他引:1  
Heyting代数是一类重要的代数,很多数学结构都与这一代数有联系。在本文,我们指出,Heyting代数的公理系统中的一个条件是多余的。  相似文献   

6.
Heyting代数的若干性质   总被引:1,自引:0,他引:1  
  相似文献   

7.
Heyting代数的若干性质黄文平(陕西师范大学数学系,西安710062;作者,男,36岁,副教授)设L=(L,≤)是一个偏序集,如果L的每个有限子集A都有上确界(记为∨A)和下确界(记为∧A),则称L是一个格.这时,空集的上确界与下确界分别是A的最...  相似文献   

8.
9.
GB代数及其基本性质   总被引:4,自引:0,他引:4  
本文引入了GB代数既念,并确立它的若干基本性质。GB代数是BCI代数的推广。  相似文献   

10.
IS-代数中理想的分解   总被引:1,自引:0,他引:1  
引入了IS-代数的既约理想和次极大理想的概念,讨论了它们的性质,并得到把每个理想分解为既约理想和次极大理想的几个分解定理。  相似文献   

11.
引入局部AT-代数的定义,并证明了一个C*-代数是局部AT-代数当且仅当它是AT-代数.给出AT-代数的某些性质,利用这些性质可计算它们的投影等价类所形成的半群.  相似文献   

12.
文章研究了Banach代数中Zhou逆的加法性质.设a,b∈AZ,如果有a2ba=0,ab2=0,则a+b∈AZ.将这些结果应用到算子矩阵上,进而获得了相关算子矩阵的Zhou可逆性刻画.  相似文献   

13.
给出了具有有限多个理想的李代数的若干性质.  相似文献   

14.
对半群代数κ[A]中的理想的性质进行了研究,并得出κ[A]中任意理想Ⅰ仅有有限个首项理想。  相似文献   

15.
《河南科学》2017,(10):1567-1569
借助于效应代数中的主元研究了效应代数中的理想.证明了[0,e]是效应代数E的理想当且仅当e是E中的主元;在序列效应代数E中,E_p=E_S;特别地,在Hilbert空间效应代数ε(H)中,[0,P]是ε(H)的理想当且仅当P是H上的投影算子.  相似文献   

16.
预备知识1.设 X 是一个非空的有限集合,叫做字母表.X~*表示由 X 生成的自由么半群(Free monoids).X 的元素叫做字母.X~*的元素和子集分别叫做 X 上的字和语言,X~*的恒等元叫空字,记为ε.W∈X~*,W 中的字母的个数叫字 W 的长度,记为 lgW.规定 lgε=0.X~+=X~*-{ε}.  相似文献   

17.
引入XI代数概念,证明了其若干基本性质,从而推广了BZ代数的相应结果。  相似文献   

18.
对一类循环图进行了刻划,从而讨论了它们的组合结构与代数性质。  相似文献   

19.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的.  相似文献   

20.
推广了Banach代数中的理想概念.定义了半理想证明了:设B为有单位元e的Banach代数,L为B的左(右)理想,则L的Riesz扩张Lr是B的半理想.且,其中{L}为B的极大左、右理想全体.Q为B的广义幂零元全体。并将交换Banach代数中的Gelfand-Mazur表示定理作了部分推广  相似文献   

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

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