套代数上的广义Jordan中心化子

设H是实数域或复数域F上的Hilbert空间,N为H上的非平凡套,τ(N)为相应的套代数,并且φ:τ(N)→τ(N)是一个可加映射.本文证明了如果存在正整数m,n,p,使得(m+n)φ(A~(p+1))=mφ(A)A~p+nA~pφ(A)或φ(A~(m+n+1))=A~mφ(A)A~n对所有的A∈τ(N)成立,则存在λ∈F,使得对所有的A∈τ(N),有φ(A)=λA.     

β(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),则Φ是自同构,或是反自同构.     

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

令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.     

矩阵代数上的拟三重Jordan可导映射

设R是一个含单位元的可交换2-无挠环,且M_n(R)是R上的n×n阶矩阵代数.本文证明了M_n(R)(n≥2)上的满足Φ(ABA)=Φ(A)BA+AΦ(B)A+ABΦ(A)的映射Φ具有形式:存在T∈M_n(R)和R上的一个可加导子φ,使得对任意A= (a_(ij))∈M_n(R),有Φ(A)=AT-TA+A_φ,这里A_φ=(φ(a_(ij))).     

环与算子代数上中心化子的刻画

令R是含有单位元I和一非平凡幂等元P的环.假设Φ:R→R是可加映射,A,B∈R.本文证明了,在一些徽弱的假设下,下列表述成立:(1)Φ满足AB=P蕴涵Φ(A)B=AΦ(B)=Φ(P)当且仅当Φ是中心化子;(2)Φ满足AB+BA=P蕴涵Φ(A)B+Φ(B)A=Φ(P)(AΦ(B)+BΦ(A)=Φ(P))当且仅当圣是左(右)中心化子;(3)Φ满足AB+BA=0蕴涵Φ(A)B+Φ(B)A=0(AΦ(B)+BΦ(A)=0)当且仅当Φ是左(右)中心化子.作为应用,获得了三角代数、套代数、因子von Neumann代数等算子代数上中心化子的刻画.     

自伴算子空间上保因子乘积数值域的映射

设H为复Hilbert空间,y_a(H)代表H上的有界自伴算子组成的空间,Φ:y_a(H)→y_a(H)是满射且复数ξ,n∈C\{1},则Φ满足W(AB-ξBA)=W(Φ(A)Φ(B)-ηΦ(B)Φ(A))对所有A,B∈y_a(H)成立当且仅当存在酉算子或者共轭酉算子U,使得Φ(A)=UAU*对所有A∈y_a(H)成立,或者Φ(A)=-UAU*对所有A∈y_a(H)成立.     

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.     

含幂等元的环上的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可导的有界线性映射.     

三角代数上的零点(m,n)-弱可导映射

设m和n是任意固定的非零整数且m+n≠0,u是一个|mn(m+n)|-无挠的三角代数,δ是u上的一个线性映射.本文证明了:如果对任意的x,y∈u且xy=yx=0有mδ(xy)+nδ(yx)=mδ(x)y+mxδ(y)+nδ(y)x+nyδ(x),则在u上存在一个导子Φ和一个中心元λ使得对任意的x∈u,有δ(x)=Φ(x)+λx.     

Banach空间积分双半群的生成条件

研究Banach空间中积分双半群的生成条件.利用算子A的豫解算子,给出了积分双半群T(t)的生成定理.结果表明:如果对任意的x∈X,f∈X*,以及A|λ]<δ,λ∈ρ(A),有∈Lp(R),则存在算子族S(t),t∈R,S(t)强连续且满足积分双半群的定义.     

双对称非负定阵一类逆特征值问题的最小二乘解

１．引言 逆特征值问题在工程中有广泛的应用,其研究已有一些很好的结果［１－５］．最近,文［６］还研究了双对称矩阵逆特征值问题,即研究了如下两个问题： 问题Ａ．已知Ｘ∈Ｒｎｘｍ,Ａ＝ｄｉａｇ（λ１…,λｍ）,求Ａ∈ＢＳＲｎｘｎ使 ＡＸ＝ＸＡ,其中 Ｒｎｘｍ表示全体 ｎ ｘ ｍ实矩阵集合, ＢＳＲｎｘｎ表示全体 ｎ ｘ ｎ双对称阵集合． 问题Ｂ．已知Ａ＊ＥＲｎｘｎ,求Ａ∈ＳＥ使 ｜｜Ａ＊－Ａ｜｜＝ ｉｎｆ ｜｜Ａ＊－Ａ｜｜ ＡＦＳＥ其中 ＳＥ是问题 Ａ的解集合,｜｜． ｜｜表示 Ｆｒｏｂｅｎｉｕｓ范数． 在实际问题中, …     

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

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

多项式零点保持线性映射

设H是维数大于2的复Hilbert空间,β(H)代表H上所有有界线性算子全体．假定Φ是从β(H)到其自身的弱连续线性双射．我们证明了映射Φ满足对所有的A,B∈β(H),AB=BA~*蕴涵Φ(A)Φ(B)=Φ(B)Φ(A)~*当且仅当存在非零实数c和酉算子U∈(?)(H),使得Φ(A)=cUAU~*对所有的A∈β(H)成立．     

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.     

Strong 3-commutativity preserving maps on standard operator algebras

Let X be a Banach space of dimension ≥ 2 over the real or complex field F and A a standard operator algebra in B(X). A map Φ :A →A is said to be strong 3-commutativity preserving if [Φ(A), Φ(B)]3 = [A,B]3 for all A,B∈ A, where[A,B]3 is the 3-commutator of A,B defined by[A, B]3 = [[[A, B],B],B] with [A,B] = AB-BA. The main result in this paper is shown that.,if Φ is a surjective map on A, then Φ is strong 3-commutativity preserving if and only if there exist a functional h : A →F and a scalar λ∈ F with λ~4 = 1 such that Φ(A)=λ A+h(A)I for all A ∈ A.     

A Class of Constrained Inverse Eigenproblem and Associated Approximation Problem for Symmetric Reflexive Matrices

Let S∈Rn×n be a symmetric and nontrival involution matrix. We say that A∈E R n×n is a symmetric reflexive matrix if AT = A and SAS = A. Let S R r n×n(S)={A|A= AT,A = SAS, A∈Rn×n}. This paper discusses the following two problems. The first one is as follows. Given Z∈Rn×m (m < n),∧= diag(λ1,...,λm)∈Rm×m, andα,β∈R withα<β. Find a subset (?)(Z,∧,α,β) of SRrn×n(S) such that AZ = Z∧holds for any A∈(?)(Z,∧,α,β) and the remaining eigenvaluesλm 1 ,...,λn of A are located in the interval [α,β], Moreover, for a given B∈Rn×n, the second problem is to find AB∈(?)(Z,∧,α,β) such that where ||.|| is the Frobenius norm. Using the properties of symmetric reflexive matrices, the two problems are essentially decomposed into the same kind of subproblems for two real symmetric matrices with smaller dimensions, and then the expressions of the general solution for the two problems are derived.     

CHARACTERIZATIONS OF JORDAN (?)-SKEW MULTIPLICATIVE MAPS ON OPERATOR ALGEBRAS OF INDEFINITE INNER PRODUCT SPACES

Let H and K be indefinite inner product spaces. This paper shows that a bijective map φ:B(H)→B(K) satisfies φ(AB B A) =φ(A)φ(5) φ(B) φ(A) for every pair A,B ∈B(H) if and only if either φ(A) = cU AU for all A or φ(A) = cUA U for all A; φsatisfies φ(AB A) = φ(A)φ(B) φ(A) for every pair A,B ∈B(H) if and only if either φ(A) = UAV for all A or φ(A) = UA V for all A, where A denotes the indefinite conjugate of A, U and V are bounded invertible linear or conjugate linear operators with U U = c-1I and V V = cI for some nonzero real number c.