首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 62 毫秒
1.
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特殊滤子与特殊命题集之间的关系..关键词:e*命题逻辑系统;R0代数;T-R0代数;滤子;极大命题集;完备命题集  相似文献   

2.
在研究区间集思想、滤子理论和奇异概念的基础上,给出了区间集上非交换剩余格与区间集上非交换剩余格广义fuzzy奇异滤子的定义,得到了I(2~U)的广义fuzzy奇异滤子的基本结构特征与基本性质表示定理,以凸显基于非交换逻辑的区间集上非交换剩余格的代数结构的多样性。  相似文献   

3.
广环上代数     
作为一个代数结构的概念一代数(线性代数),通常被研究的是域上代数和有幺元的交换结合环上代数。本文提出广环上代数。讨论的结果表明,域(或上述的环)K上代数A的传统定义中所包含的一条公理在A有么元的情形下,可由定义中的其他公理推出。定义1.具有两个代数运算一加法和乘法一的一个非空集R叫做一个广环。设R是一个广环。1_R∈R叫做R的一个幺元,如果1_Rr=r1_R=r,Vr∈R_o一个广环R至多有一个幺元。R的子集,叫做R的中心。  相似文献   

4.
探讨以Boole代数、MV代数、R0代数为特例的MP代数的代数性质;得到了概括上述3个代数系统表示定理的MP代数表示定理;在一恰当的结构上统一了MV代数与R0代数.  相似文献   

5.
令R是有单位元1的2-挠自由的交换环,Ln(R)是R上的n(n5)阶反对称矩阵李代数,Aij=Eij-Eji(1≤ij≤n),其中Eij表示(i,j)位置为1,其余位置为0的n阶方阵,是Ln(R)的一组基。通过李三导子在基Aij=Eij-Eji(1≤ij≤n)上的作用,研究反对称矩阵李代数的李三导子的结构,并给出其上的任意李三导子都是内导子、反对称矩阵李代数是完备李代数等结论。  相似文献   

6.
以上确界原理为公理,由此公理出发,不必利用区间套定理和有限覆盖定理,直接讨论闭区间上连续函数的几个重要性质及数列极限的柯西准则.这样处理,使得这几个性质的证明自然,通俗易懂,教者易教,学者易学,同时做到提出问题,马上解决问题。  相似文献   

7.
研究了由无限维单3-李代数■和A_ω上具有非零权的齐次Rota-Baxter算子R(满足R(L_m)=f(m+k)L_(m+k),其中f:Z→F)所构造的3-李代数的结构。当权入不等于零时,3-李代数的权为λ的Rota-Baxter算子完全由权为1的Rota-Baxter算子所决定,给出A_ω上权为1且满足f(0)+f(1)+1≠0的齐次Rota-Baxter算子的具体表达式,利用齐次Rota-Baxter算子,构造16类权为1的齐次Rota-Baxter3-李代数。  相似文献   

8.
对环中R的模糊理想集FI(R)按模糊集μ在0点的隶属度μ(0)进行分类,在此基础上分别从格、环中模糊集的加法,环中模糊集的乘法等角度研究了各个类及商集的代数结构。并给出了这些代数系统之间的同态和同构关系。  相似文献   

9.
采取太极代数与布尔代数相比较、算术运算与逻辑运算相比较的方法,介绍超越布尔代数的太极代数和超越扩展的布尔代数的广义太极代数,其中扩展的布尔代数是建立在扩展含0的自然数上的布尔代数.证明了广义太极代数是一种建立在φR(实数R包含φ的扩张)上的逻辑代数.同时通过广义太极代数的建构,讨论了"数学的基础是什么"这一问题.  相似文献   

10.
无限维单3-李代数A_ω=sum from m∈Z FL_m上权为λ的齐次Rota-Baxter算子R是A_ω的Rota-Baxter算子,且满足R(L_m)=f(m) L_m,其中f:Z→F。当λ不等于零时,3-李代数的权为λ的Rota-Baxter算子完全由权为1的Rota-Baxter算子所决定。研究A_ω上满足f(0)=0,f(1)=-1,权为1且f在无穷多个偶数上取非零值的14类齐性Rota-Baxter算子的结构;在3-李代数A_ω的基底空间A上,利用齐次Rota-Baxter算子构造齐次Rota-Baxter 3-李代数(A,[,,]_j,R_j),1≤ j≤ 7,其中R_j是由f_j确定的齐次Rota-Baxter算子。  相似文献   

11.
对素特征域上的顶点代数的零化子的性质进行了研究,证明了素特征域上的顶点代数模的任一非空子集在顶点代数中的零化子构成顶点代数的一个理想.  相似文献   

12.
本文讨论了拟正则环的几个代数K—理论性质,得到:定理设R是拟正则环,1 若R还是有1的可换环,则有R的幂零理想J,使得K_0(endM(R))≌K_0(endM(R/J))≌K_0(endH(R/J))≌K_0(endP(R/J))≌K_0(R/J)×(R/J)2 若T是一定向循环,则K_1R≌K_1R〔T〕3 NilR=0,K_0(NiLP(R))≌K_0(NiLP(R/J)).  相似文献   

13.
粗集的性质     
在粗集中引入秩函数的概念,研究了秩函数的性质,并给出了粗集的秩函数公理系统;证明了由粗集中可定义集构成的格是一个几何格.  相似文献   

14.
首先定义了区间直觉模糊集的截集及区间直觉集合套,其次讨论了区间直觉模糊集的截集的性质,最后给出了区间直觉模糊集的分解定理和表现定理.  相似文献   

15.
首先将向量空间上的多项式函数概念扩展到无挠交换群上,并自然地引出可去集的概念。以类比代数几何中的代数集.接着提炼出一类非常一般的由无挠交换群分次的非结合代数,称之为拟Block代数.然后利用可去集的基本性质和”有限vs无限”的组合技巧,借助几何直观,证明拟Block代数之间的满同态总是”接近于”分次.最后以实例演示该结论的应用.  相似文献   

16.
在特征p3的情况下,对于有限维奇Hamiltonian李超代数偶部到奇部的负Z-次数导子的问题,利用奇Hamiltonian李超代数偶部的生成元集,通过计算导子在其生成元集上的作用的方法,证明奇Hamiltonian李超代数偶部到Witt李超代数奇部的Z-次数为-1的导子,进而决定了奇Hamiltonian李超代数偶部到奇Hamiltonian李超代数奇部的Z-次数为-1的导子。  相似文献   

17.
Cartan型模李超代数HO的结构   总被引:1,自引:0,他引:1  
研究特征p3域上有限维限制Cartan型模李超代数HO的一些简单性质,确定了它的乘法生成元及其生成集的简单性质,在此基础上借助于HO的阶化性质讨论了它的某些极大阶化子代数的具体形式.  相似文献   

18.
在相应于非退化李代数g的顶点代数的结构基础上构造顶点算子代数.为此,首先给出了非退化李代数g的Casimir算子Ω的定义,和在伴随表示下Ω作用在g上及相关性质;应用Ω定义出g的顶点代数V■(l,0)中元素,证明了V■(l,0)关于w构成一个顶点算子代数.  相似文献   

19.
L—fuzzyU—分离公理及其特征   总被引:2,自引:0,他引:2  
在LF拓扑空间中引入L-fuzzyUi(i=-1,0,1,2,3,4),L-fuuzyU-正则及L-fuzzyU-正规则 分离公理,讨论了这些分离公理的特征及其相关系,证明了这些分离公理是遗传和拓扑不变的等重要性质。  相似文献   

20.
研究了斜Hurwitz级数环的PP性质,证明了当R是σ-刚性环,且R关于加法做成的群是挠自由群时,R上的斜Hurwitz级数环是PP-环当且仅当R是PP-环,且R的每个由幂等元组成的可数集在R的全体幂等元组成的集合B(R)中有上确界.还证明了若R是交换的σ-刚性环,且R关于加法做成的群是挠自由群时,R上的斜Hurwitz级数环是弱PP-环当且仅当R是弱PP-环.  相似文献   

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

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