布尔代数和补模格的特征

本文给出了一个格是布尔代数或补模格的充分必要条件。定义1.若L是一个格,有最大元1和最小元○。对a∈L若赢元素a′∈L存在,使得则称a′是a的一个补元;当L的每个元素都有补元时,称L为有补的格;补格L的每个元只有一个补元时,称L是有唯一补的格;补格L的每个元都没有两个不同的可以比较的补元     

完全分配可交换子空间格代数上的广义Jordan中心化映射

基于Hilbert空间H上的一个完全分配可交换子空间格L,讨论L上的代数Alg L上的中心化映射。设Φ为Alg L上的一个可加映射,运用完全分配可交换子空间格代数的结构性质和代数分解,证明若存在正整数m、n、r≥1,使得?A∈Alg L,有(m+n)Φ(A~(r+1))-(mΦ(A)A~r+nA~rΦ(A))∈Z(Alg L),则存在Alg L的中心元素λ∈Z(Alg L),满足?A∈Alg L,有Φ(A)=λA。     

一类算子矩阵值域的正交补

设X和Y是Hilbert空间,T:D(T)?X→Y和S:D(S)?Y→X是稠定闭线性算子。令■:D(T)×D(S)?X×Y→X×Y,其中a,b∈C。通过T和S的图来刻画算子矩阵A的值域的正交补,进而得到了TS和ST的某些谱性质。     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y )]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+ [x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

同余关系格是完全 Stone格的格

本文主要研究具有完全Stone同余关系格的格,为此我们给出一个条件(S):称格L的真商u/v满足条件(S),如果对L的任意满足的真商a/b,c/d,存在真商x/y,满足通过条件(S),我们给出了格L的同余关系格C(L)的骨架S(C(L))中原子(如果存在)的形式及S(C(L))为原子格时格L的特征,最后我们得出本文的主要结果:格L的简余关系格C(L)是完全Stone格的充要条件是:对任意a,b∈L,a>b,存在有限链使得对每个i_0,x_(i-j)/x_i满足条件(S)。     

三角代数上的Lie可导映射对

设U=Tri(A,M,B)是三角代数,δ,τ为U→U上的两个映射(无可加性或线性假设).利用矩阵分块的方法证明了:如果对任意的a,b∈U,有δ([a,b])=[δ(a),b]+[a,τ(b)],则τ=σ+L,δ=θ+f,其中:σ:U→U是可加导子;L:U→Z(U)是模可加的中心值映射;θ:U→U是关于σ的可加广义导子;f:U→Z(U)是中心值映射,且f([a,b])=0.     

完全分配可交换子空间格代数上的中心化映射

基于Hilbert空间H上的一个完全分配可交换子空间格代数Alg L,考虑Alg L上的中心化映射.设为Alg L上的一个可加映射,用完全分配可交换子空间格代数的结构性质和代数分解,证明了:若存在正整数m,n≥1,使得A∈Alg L,(Am+n+1)-Am(A)An∈F I成立,则存在Alg L中心里的元素λ,满足A∈Alg L,有(A)=λA.     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y)]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+[x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

关于完全链格与完全格的讨论

<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。     

极良集

本文提出极良集等概念,並证明它们的一些基本性质。定义1 设a_1是全序集A的首元(最小元),a ∈A,若A的截段A_a={a ∈A:a≤a}为可数集,则称a是A的一个可数元,a_1也称为A的可数元。若A_1是非可数集,则称b是A的一个非可数元。     

三角代数上Lie积为平方零元的非线性Jordan可导映射

设U=Tri(A, M, B )是特征不为 2 的三角代数, Q={u∈U:u²=0}且φ:U→U是一个映射(无可加或线性假设)。 证明了如果对任意a,b∈U且［a,b］∈Q, 有φ(ab)=φ(a)b+aφ(b), 则φ是一个可加导子, 其中［a,b］=ab-ba为Lie积, ab=ab+ba为Jordan积。     

Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(～=)Q.     

保持矩阵迹的反乘法映射

设P是一个域,Г是满足{aEij︱i,j=2,…,n,a∈P}ГMn(P)的一个乘法半群,其中Mn(P)定义P上所有n×n矩阵组成的乘法半群。本文证明了一个结果:若f:Г→Mn(P)是一个保迹反乘法映射,则存在可逆矩阵S∈Mn(P),使得f(A)=SATS-1,A∈Г。由此刻画了Г的保迹反乘法映射。     

套代数上的Lie导子的特征

设H为Hilbert空间,N为H上的完备的子空间套,AlgN为相应的套代数,若线性映射δ:AlgN→AlgN满足,任给a,b∈AlgN,当ab=0时,有δ([a,b])=[δ(a),b]+[a,δ(b)],则存在r∈AlgN,使得任给a∈AlgN,有δ(a)=ra-ar+τ(a)I,其中线性映射τ:AlgN→C满足,任给a,b∈AlgN,当ab=0时,τ([a,b])=0。     

伪补Ockham代数核理想同余关系的注记

理想是反映Ockham代数类结构的一个重要工具,利用伪补Ockham代数的核理想判别定理以及核理想同余关系表达式,研究了伪补Ockham代数的核理想的性质,证明了伪补Ockham代数核理想及其同余关系是同构的。主要结果为:(1)设L是伪补Ockham代数,符号I(L),I_k(L)分别表示L的理想和核理想构成的集合,则I_k(L)是I(L)的一个子格。(2)对于任意的I,J∈Ik(L),则R_I,R_J具有同余置换性,其中同余关系R_I定义为:(x,y)∈R_I(■a∈I)x∧a*=y∧a*。(3)设L是伪补Ockham代数,则I_k(L)■C_k(L),其中符号Ck(L)={RI(■a∈I)x∧a*=y∧a*,I∈Ik(L)}。所得结论为进一步研究Ockham代数类的代数结构提供理论支持,丰富了Ockham代数的发展。     

关于可除剩余格的构造

对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓a={x∈L|x≤a}成为一个可除剩余格La.进一步有,如果L是预线性的或者广义MV-代数,则La亦是.     

格的字典扩张

主要结果如下:(a)若I是格L的非零理想,则下列条件等价:(1)L=LexI;(2)INJ(∪)I;(3)I与L的每一个理想可比较;(4)K=∪{a┸∈L＼I}=(0).(b)L是格,则N∪{0}=∪{M|M是L的极小素理想}.     

素环上的交换映射

设R是一个环,F:R→R是一个映射.如果对所有的x∈R,有[F(x),x]=0成立,则称F是R上的交换映射.文章的主要结论为:设R是特征不为2的素环.如果存在一个非零广义导子:δR→R,使得映射x→[δ(x),x]在R上是可变换的且δ(I)∈Z(R),则δ在R上是可交换的.     

一类Baer半单纯环的交换性

对于满足一定条件的Baer半单纯环讨论了其交换性,得到了两个结论:(1)设R为Baer半单纯环,C为R的中心,G(a,b)(a,b∈R)是由a,b生成的乘法子半群,若有自然数e,对任意a,b∈R,恒有小于e的自然数n=n(a,b)>1,使对于任意x,y∈G(a,b),有(xy)n-xnyn∈C,则R为交换环。(2)设R为Baer半单纯环,C为R之中心,若有自然数e,对任意a,b∈R,恒有自然数k=n(a,b),n(a,b)+1,n(a,b)+2≤e,使得(ab)k-akbk∈C,则R为交换环。     

积分第一中值定理的一个简明的证明

本学报1979年第2期刊登了绍文同志《关于积分第一中值定理》一篇文篇,作者给出了定理的证明。本文就C∈(a,b)的问题再给出一个较为简明的证明,并给一个例子,说明连续的条件是必要的,即若f(x)在〔a,b〕上不连续时,则结论不再成立。这个定理是这样叙述的: 积分第一中值定理设在区间〔a,b〕上f(x)与g(x)都可积,且g(x)不变号,m≤f(x)≤M,则存在μ,m≤μ≤M,使下式成立 integral from n=a to b(f(x)g(x)dx)=μintegral from n=a to b(g(x)dx) (1)如果f(x)在〔a,b〕上连续,则可进一步证明,存在C∈(a,b),使 (?) (2) 为了叙述上的完整起见,把前一部分的证明也写上。证明:先证前一部分。由f(x)与g(x)在区间〔a,b〕上的可积性知(1)式左端的积分是存