标准算子代数上满足某些等式的广义导子的刻画(英文)

令H为复数域C上的Hilbert空间,A为H上的标准算子代数.设δ:A→B(H)是线性映射.本文证明了,如果对任意A∈A成立δ(AA~*A)=δ(A)A~*A-Aδ(A~*)A+AA~*δ(A),则存在λ∈C及算子S,T∈B(H)满足S+T=λI,使得对所有的A∈A都有δ(A)=SA-AT.     

β(H)上Jordan同构的一个代数不变量:幂等元的集合

令β(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数,I(H)是β(H)中所有幂等元的集合.设Φ:β(H)→β(H)是满射.证明了对任意的λ∈{-1,1,2,3,1/2,1/3}及A,B∈β(H),映射Φ满足条件A-λB∈I(H)(=)Φ(A)-λΦ(B)∈I(H)当且仅当Φ是β(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子T,使得Φ(A)=TAT-1对所有的A∈β(H)成立,或Φ(A)=TA*T-1对所有的A∈β(H)成立.令i表示虚数单位,进而如果Φ也满足条件A-iB∈I(H)(=)Φ(A)-iΦ(B)∈I(H),则Φ是自同构,或是反自同构.     

$C^*$-代数上可加Jordan左$*$-导子的刻画

设$\delta$是一个$*$-代数$\mathcal A$到其左$\mathcal A$-模$\mathcal M$的可加映射, 如果对任意$A\in\mathcal A$, 有$\delta(A^2)=A\delta(A)+A^*\delta(A)$, 则称$\delta$~是一个可加Jordan左$*$-导子. 在本文中, 我们证明了复的单位$C^*$- 代数到其Banach左模的每个可加Jordan左$*$-导子都恒等于零. 设$G\in\mathcal A$, 如果对任意$A,B\in \mathcal A$, 当$AB=G$时, 有$\delta(AB)=A\delta(B)+B^*\delta(A)$, 则称$\delta$在$G$处左$*$-可导. 我们证明了复的单位$C^*$-代数到其Banach左模的在单位点处左$*$-可导的连续可加映射恒等于零.     

保持算子乘积投影的线性映射

设B(H)是复Hilbert空间H上的有界线性算子全体且dim H≥2.本文证明了B(H)上的线性满射φ保持两个算子乘积非零投影性的充分必要条件是存在B(H)中的酉算子U以及复常数λ满足λ~2=1,使得φ(X)=λU~*XU,(?)X∈B(H).同时也得到了线性映射保持两个算子Jordan三乘积非零投影的充分必要条件.     

含幂等元的环上的Jordan导子的刻画—在零点Jordan可导的可加映射

设A为包含非平凡幂等元且有单位的环(或代数),δ:A→A是可加(或线性)映射.称δ在零点Jordan可导,若δ(A)B+Aδ(B)+δ(B)A+Bδ(A)=0对任意满足AB+BA=0的A,B∈A成立.在一定条件下,证明了δ在零点Jordan可导当且仅当存在可加Jordan导子τ,使得δ(A)=τ(A)+δ(I)A对任意的A∈A成立.利用此结论,完全刻画了因子von Neumann代数上在零点Jordan可导的可加映射.此外,还刻画了一般von Neumann代数和C~*代数上在零点Jordan可导的有界线性映射.     

含幂等元的环上的Jordan导子的刻画-在零点Jordan可导的可加映射

设A为包含非平凡幂等元且有单位的环(或代数),δ:A→A是可加(或线性)映射.称δ在零点Jordan可导,若δ(A)B+Aδ(B)+δ(B)A+Bδ(A)=0对任意满足AB+BA=0的A,B∈A成立.在一定条件下,证明了δ在零点Jordan可导当且仪当存在可加Jordan导子τ,使得δ(A)=τ(A)+δ(I)A对任意的A∈A成立.利用此结论,完全刻画了因子von Neumann代数上在零点Jordan可导的可加映射.此外,还刻画了一般von Neumann代数和C*代数上在零点Jordan可导的有界线性映射.     

弱闭T(N)-模的预零化子的等距映射

本文刻划了弱闭T(N)-模的预零化子间的等距映射.设u,W分别为由左连续序同态N→~N和N→~N所确定的弱闭T(N)-模, u(?),W(?)分别为u,W的预零化子,Φ为由u(?)到W(?)上的线性等距映射.若(0)*=(0)#=(0),dim(0)+≠1且min{dim(H(?)~H),dim(He(?)^H)}≥2,则存在酉算子Ui,Vi(i=1,2),使得Φ(A)=U1AV*1或Φ(A)=U2A*V2*.     

可解 C~*代数张量积中的交换算子组的联合p-谱和p-指标(英文)

本文定义了可解 C~*代数的 p-谱和 p-指标。若 T=(T_1,…,T_n)和 S=(S_1,…,S_n)分别是 A 和 B 中的交换算子组,则对任意 p,等式σ_p(T(?)I,I(?)S)=U(?)σ_i(T)×σ_j(S)成立。并且,若 T 是 i—Tredhlm,S 是 j—Fredholm,则(T(?)I,I(?)S)是p-Fredholm,其中 p=i+j-1,而 Ind_p(T(?)I,I(?)S)=(Ind_iT)。(Ind_jS)。     

B(H)上的酉可导映射

设H是维数大于2的复Hilbert空间,B(H)表示H上所有有界线性算子构成的代数.若φ∶B(H)→B(H)上的有界线性映射,如果对所有的A∈B(H)且A~*A=AA~*=I,有φ(A)~*A+A~*φ(A)=φ(A)A~*+Aφ(A)~*=φ(I),则存在数λ∈R和算子S∈B(H),且S+S~*=λI,使得对所有的A∈B(H),有φ(A)=AS-SA.     

保持算子束部分等距的映射

设B(H)是复Hilbert空间H上的有界线性算子全体,PI(H)表示B(H)中全体部分等距的集合.该文证明了B(H)上的满射Φ保持算子束(pencil)部分等距,即A-λB∈PI(H)Φ(A)-λΦ(B)∈PI(H)的充要条件是存在H上的两个酉算子U,V使得对于任意的X∈B(H)都有Φ(X)=UXV或存在H上的两个共轭酉算子U,V使得对于任意的X∈B(H)都有Φ(X)=UX*V.     

Nest代数上的在零点广义可导映射

设A为B（H）的子代数,　是A到B（H）的线性映射,我们说　在0点广义可导（广义双边可导）,如果对任意的S,T∈A且ST=0（ST=0或TS=0）,有　（ST）=　（S）T+S　（T）-S　（I）T.本文主要得到如下结果:（1）有限Nest代数上的每个范数拓扑连续的在0点广义可导的线性映射是广义内导子;（2）若N是完备Nest且H_　 H,则algN上的每个范数拓扑连续的在0点广义双边可导的线性映射是广义内导子.     

环上的广义导子与Von Neumann代数上的P-核值保持映射

设Ａ是Ｂ（Ｈ）的子代数，ψ是Ａ到Ａ的线性映射，且对Ａ中的每个正交投影算子ｐ，有ψ（ｐ）（ｋｅｒｐ）ｒａｎｐ，则称ψ是Ａ到Ａ的Ｐ－核值保持映射，本文主要得到如下结果：每个２－非绕的半素环上的广义Ｊｏｒｄａｎ导子都是广义导子；每个ＶｏｎＮｅｕｍａｎｎ代数上的范数拓扑连续的Ｐ－核值保持映射是广义内导子．     

算子代数上的Jordan初等映射(英文)

给定两个环R,R’.对于满足一定条件的环R,本文证明了若M:R→R’,M*:R’→R为满射且对A,C∈R和B,D∈R’满足M（AM*（B）C+CM*（B）A）=M（A）BM（C）+M（C）BM（A）,M*（BM（A）D+DM（A）B）=M*（B）AM*（D）+M*（D）AM*（B）则M和M*是可加的;若R和R’分别包含单位I和I’,M（I）,M*（I’）可逆,则存在环同构N使得M（A）=N（A）M（I）,M*（B）=N^-1（BM（I））.特别地,若R=R’为标准算子代数或Hilbert空间套代数,则M和M*可加且存在有界可逆的线性或共轭线性算子S和T使得M（A）=SAT,M*（B）=TBS或M（A）=TA*S,M*（B）=（SBT）*对任意的A,B∈R成立.     

An algebraic invariant for Jordan automorphisms on B(H): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H)the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that φ is a surjective map from B(H) onto itself. If for everyλ∈ {-1, 1, 2, 3, 1/2, 1/3} and A, B ∈ B(H), A - λB ∈ I(H) (→)φ(A) - λφ(B) ∈ I(H), then φis a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that φ(A) = TAT-1 for all A ∈ B(H), or φ(A) = TA*T-1 for all A ∈ B(H); if, in addition, A - iB ∈ I(H) (→)φ(A) - iφ(B) ∈ I(H), here i is the imaginary unit, then φ is either an automorphism or an anti-automorphism.     

初基演算

<正> 命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 到二值演算.这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤.综合这两个三步骤,会带来许多便利,而本文所提出的也就是作为二者共同基础的初基演算.     

A characterization of generalized derivations of JSL algebras

Let AlgL be a J-subspace lattice algebra on a Banach space X and M be an operator in AlgL. We prove that if δ : AlgL → B(X) is a linear mapping satisfying δ(AB) = δ(A)B + Aδ(B)for all A, B ∈ AlgL with AMB = 0, then δ is a generalized derivation. This result can be applied to atomic Boolean subspace lattice algebras and pentagon subspace lattice algebras.     

Characterizations of ( m,n )-Jordan Derivations and ( m,n )-Jordan Derivable Mappings on Some Algebras

Let R be a ring, M be a R-bimodule and m, n be two fixed nonnegative integers with m + n = 0. An additive mapping δ from R into M is called an(m, n)-Jordan derivation if(m +n)δ(A~2) = 2 mAδ(A) + 2nδ(A)A for every A in R. In this paper, we prove that every(m, n)-Jordan derivation with m = n from a C*-algebra into its Banach bimodule is zero. An additive mappingδ from R into M is called a(m, n)-Jordan derivable mapping at W in R if(m + n)δ(AB + BA) =2mδ(A)B + 2 mδ(B)A + 2 nAδ(B) + 2 nBδ(A) for each A and B in R with AB = BA = W. We prove that if M is a unital A-bimodule with a left(right) separating set generated algebraically by all idempotents in A, then every(m, n)-Jordan derivable mapping at zero from A into M is identical with zero. We also show that if A and B are two unital algebras, M is a faithful unital(A, B)-bimodule and U = [A M N B] is a generalized matrix algebra, then every(m, n)-Jordan derivable mapping at zero from U into itself is equal to zero.     

套代数上的Jordan同构

本文主要研究了套代数上的Jordan同构.证明了套代数algβ和algγ之间的每一个Jordan同构　,要么是同构;要么是反同构.进而,存在可逆算子Y∈B（H）,使得对任意T∈algβ,要么　（T）=Y-1TY;要么　（T）=Y-1JT＊JY,这里J是一个共轭线性对合算子.     

Буняковский不等式之推广及其对于积分方程与希尔伯特空间之应用

<正> 不等式■(1) 通常称为布湼可夫斯基不等式,或席瓦耳智不等式,在本文中,作者推广此不等式为这里我们用 det u_(ij)(i,j=1,2,…,n)表第i列j行之元为 u_(ij)之n列行列式,f_i,g_j(i,j=1,2,…,n)表任一希尔伯特空间之任意二组之元,(f_i,g_j)表f_i与g_j二元之内乘积.