共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
不可分素C^k—代数与本原C^*—代数的讨论 总被引:2,自引:0,他引:2
本文证明:若A是不可分的素C^*-代数,且包含非0的Liminal遗传C^*-子代数,则A是本原C^*-代数,本文还给出了I型C^*-代数为本原C^*-代数的充要条件。 相似文献
3.
在c~*-代数的定义中,要求范数是次乘的。但是这一点可以从其他条件推出来。 Araki-Elliott的定理1 设(A,||·||)是Banach空间,A并且是复数城上的*代数,及满足 相似文献
4.
5.
6.
文[1]给出了正定矩阵的几个重要不等式,作为矩阵代数理论的推广,本文讨论C^*代数中正元的几个相应不等式。 相似文献
7.
8.
本文把代数结构与分析体系结合起来,运用同调的方法,较系统地确定了A上C^*-模的部分理论,这里A为复数域C上的交换C^*-代数。即不仅定义了与C^*-模有关的某些新概念,而且还得到了有关C^*-模的若干结果。 相似文献
9.
通过对模糊逻辑命题演算形式系统£^*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L^*系统与幂零极小逻辑(NML)的等价性,由系统L^*是可代数化逻辑出发,得到与R0代数真子簇对应的£^*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张,具有较好的扩展性。 相似文献
10.
11.
基础R0-代数与基础L*系统 总被引:73,自引:0,他引:73
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数,以及:Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L^*系统的观点,讨论了基础L^*代数与BL代数,基础L^*系统与BL系统之间.的相互关系及相对独立性,讨论了基础L^*系统关于基础风一代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张,最后作为基础R0-代数与基础L^*系统的一个应用,证明了L^*系统关于语义Ωw的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试. 相似文献
12.
在集合Ω中,把犹豫模糊集、Ω模糊集相结合来研究BCI-代数.首先在BCI代数中引入闭Ω犹豫模糊理想的概念,讨论它的一些性质和等价刻画;其次,在闭犹豫模糊理想概念的基础上研究了如何构造闭Ω犹豫模糊理想,讨论了闭Ω犹豫模糊理想的同态像与同态原像的性质;最后,给出了闭Ω犹豫模糊理想与乘积型BCI代数的闭Ω犹豫模糊理想的关系. 相似文献
13.
本文给出了GICAR代数中闭Lie理想的完全刻画.设A是GICAR代数,L是A的闭Lie理想,则存在A的闭理想J,使得[A,J]=[J,J](?) L (?) π-1(Z(A/J)),其中π是A到A/J上的商映射.反之,任意这种形式的闭子空间L是A的闭Lie理想. 相似文献
14.
本文研究Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件,得到定理:设C0(U),C1(U,L,R,D,V),C2a(U),C2b(U,R),C3a(U),C3b(U,R)分别是Ⅱk空间上第0,Ⅰ,Ⅱa,Ⅱb,Ⅲa和Ⅲb类的算子代数,则(1)C0(U),C2a(U)或C3a(U)为一致闭(弱闭)的等价条件是U是Hibert空间G上的C*-代数(W*-代数;(2)C1(U,L,R,D,V)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间,V是闭算子,L对称闭的;(3)C2b(U,R)或C3b(U,R)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间. 相似文献
15.
设M是σ-有限von Neunann代数,A是M中关于忠实正规条件期望Φ的1型次对角代数.本文研究基于A的超代数与非交换Hp空间上的非交换解析Toeplitz代数.本文还证明M中任一个包含A的σ-弱闭子代数也是1型次对角代数,同时,在非交换HP (1
相似文献
16.
17.
关于BCI—代数伴随半群中的可逆元 总被引:4,自引:0,他引:4
给出了BCI-代数的伴随半群中可逆元的刻划,说明BCI-代数的p-半单闭理想与其伴随半群的子群之间有一一对应关系,并证明最大的p-半单闭理想是根理想。 相似文献
18.
探讨了Pro-C^*-代数中的次正规元,给出了具有余等距对Pro-C^*-代数中次正规元的一个代数特征。 相似文献
19.
20.
对于有限维C*-代数A,证明了其本质扩张的同构与酉等价是一致的,由此证明了扩张群Ext(A)中的等价类是区分该类扩张代数的完全不变量,并利用Bratteli图计算出它们的维数群. 相似文献