All-derivable points of operator algebras

Let A be an operator subalgebra in B(H), where H is a Hilbert space. We say that an element Z∈A is an all-derivable point of A for the norm-topology (strongly operator topology, etc.) if, every norm-topology (strongly operator topology, etc.) continuous derivable linear mapping φ at Z (i.e. φ(ST)=φ(S)T+Sφ(T) for any S,T∈A with ST=Z) is a derivation. In this paper, we show that every invertible operator in the nest algebra is an all-derivable point of the nest algebra for the strongly operator topology. We also prove that every nonzero element of the algebra of all 2×2 upper triangular matrixes is an all-derivable point of the algebra.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

Characterizations of Jordan derivations and Jordan homomorphisms

Let 𝒜 be a unital Banach algebra and ? be a unital 𝒜-bimodule. We show that if δ is a linear mapping from 𝒜 into ? satisfying δ(ST)?=?δ(S)T?+Sδ(T) for any S, T?∈?𝒜 with ST?=?W, where W is a left or right separating point of ?, then δ is a Jordan derivation. Also, it is shown that every linear mapping h from 𝒜 into a unital Banach algebra ? which satisfies h(S)h(T)?=?h(ST) for any S,?T?∈?𝒜 with ST?=?W is a Jordan homomorphism if h(W) is a separating point of ?.     

On derivable mappings

A linear mapping δ from an algebra A into an A-bimodule M is called derivable at c∈A if δ(a)b+aδ(b)=δ(c) for all a,b∈A with ab=c. For a norm-closed unital subalgebra A of operators on a Banach space X, we show that if C∈A has a right inverse in B(X) and the linear span of the range of rank-one operators in A is dense in X then the only derivable mappings at C from A into B(X) are derivations; in particular the result holds for all completely distributive subspace lattice algebras, J-subspace lattice algebras, and norm-closed unital standard algebras of B(X). As an application, every Jordan derivation from such an algebra into B(X) is a derivation. For a large class of reflexive algebras A on a Banach space X, we show that inner derivations from A into B(X) can be characterized by boundedness and derivability at any fixed C∈A, provided C has a right inverse in B(X). We also show that if A is a canonical subalgebra of an AF C^∗-algebra B and M is a unital Banach A-bimodule, then every bounded local derivation from A into M is a derivation; moreover, every bounded linear mapping from A into B that is derivable at the unit I is a derivation.     

All-derivable points in the algebra of all upper triangular matrices

Let TM_n be the algebra of all n×n upper triangular matrices. We say that an element G∈TM_n is an all-derivable point of TM_n if every derivable linear mapping φ at G (i.e. φ(ST)=φ(S)T+Sφ(T) for any S,T∈TM_n with ST=G) is a derivation. In this paper we show that G∈TM_n is an all derivable point of TM_n if and only if G≠0.     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

Multiplicative mappings at some points on matrix algebras

Let M_n be the algebra of all n×n matrices, and let φ:M_n→M_n be a linear mapping. We say that φ is a multiplicative mapping at G if φ(ST)=φ(S)φ(T) for any S,T∈M_n with ST=G. Fix G∈M_n, we say that G is an all-multiplicative point if every multiplicative linear bijection φ at G with φ(I_n)=I_n is a multiplicative mapping in M_n, where I_n is the unit matrix in M_n. We mainly show in this paper the following two results: (1) If G∈M_n with detG=0, then G is an all-multiplicative point in M_n; (2) If φ is an multiplicative mapping at I_n, then there exists an invertible matrix P∈M_n such that either φ(S)=PSP^-1 for any S∈M_n or φ(T)=PT^trP^-1 for any T∈M_n.     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

Characterizations of derivations of Banach space nest algebras: All-derivable points

Let N be a nest on a complex Banach space X with N∈N complemented in X whenever N_-=N, and let AlgN be the associated nest algebra. We say that an operator Z∈AlgN is an all-derivable point of AlgN if every linear map δ from AlgN into itself derivable at Z (i.e. δ(A)B+Aδ(B)=δ(Z) for any A,B∈A with AB=Z) is a derivation. In this paper, it is shown that if Z∈AlgN is an injective operator or an operator with dense range, or an idempotent operator with ran(Z)∈N, then Z is an all-derivable point of AlgN. Particularly, if N is a nest on a complex Hilbert space, then every idempotent operator with range in N, every injective operator as well as every operator with dense range in AlgN is an all-derivable point of the nest algebra AlgN.     

Additive maps derivable or Jordan derivable at zero point on nest algebras

Let AlgN be a nest algebra associated with the nest N on a (real or complex) Banach space X. Assume that every N∈N is complemented whenever N_-=N. Let δ:AlgN→AlgN be an additive map. It is shown that the following three conditions are equivalent: (1) δ is derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B) whenever AB=0; (2) δ is Jordan derivable at zero point, i.e., δ(AB+BA)=δ(A)B+Aδ(B)+Bδ(A)+δ(B)A whenever AB+BA=0; (3) δ has the form δ(A)=τ(A)+cA for some additive derivation τ and some scalar c. It is also shown that δ is generalized derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B)-Aδ(I)B whenever AB=0, if and only if δ is an additive generalized derivation. Finer characterizations of above maps are given for the case dimX=∞.     

A characterization of reflexive spaces of operators

We show that for a linear space of operators M ? B(H₁, H₂) the following assertions are equivalent. (i) M is reflexive in the sense of Loginov-Shulman. (ii) There exists an order-preserving map Ψ = (ψ₁, ψ₂) on a bilattice Bil(M) of subspaces determined by M with P ≤ ψ₁(P,Q) and Q ≤ ψ₂(P,Q) for any pair (P,Q) ∈ Bil(M), and such that an operator T ∈ B(H₁, H₂) lies in M if and only if ψ₂(P,Q)Tψ₁(P,Q) = 0 for all (P,Q) ∈ Bil(M). This extends the Erdos-Power type characterization of weakly closed bimodules over a nest algebra to reflexive spaces.     

Reflexive *-derivations and lattices of invariant subspaces of operator algebras associated with them

The paper studies unbounded reflexive *-derivations δ of C*-algebras of bounded operators on Hilbert spaces H whose domains D(δ) are weekly dense in B(H and contain compact operators. It describes a one-to-one correspondence between these derivations and pairs S,L, where S are symmetric densely operators on H and L are J-orthogonal π-reflexive lattices of subspaces in the deficiency spaces of S. The domains D(δ) of these *-derivations are associated with some non-selfadjoint reflexive algebras A_δ of bounded operators on H⊕H. The paper analyzes the structure of the lattices of invariant subspaces of A_δ and of the normalizers of A_δ-the largest Lie subalgebras of B(H⊕H) such that A_δ are their Lie ideals.     

Characterization of derivations on reflexive algebras

Let Alg? be a reflexive algebra on a Hilbert space H. We say that a linear map δ: Alg??→?Alg? is derivable at Ω?∈?Alg? if δ(A)B?+?Aδ(B)?=?δ(Ω) for every A, B?∈?Alg? with AB?=?Ω. In this article, we give a necessary and sufficient condition for a map δ on Alg? to be derivable at Ω. In particular, we show that every linear map δ derivable at Ω?≠?0 from an irreducible CDC algebra (in particular, a nest algebra) into itself is a derivation. Moreover, if Alg? is a CSL algebra, and if for some nontrivial projection P?∈??, PΩP and (I???P)Ω(I???P) are left or right separating points in PAlg?P and (I???P)Alg?(I???P) respectively, then a linear map δ on Alg? is derivable at Ω if and only if δ is a derivation.     

The uniqueness of the adjoint operation. II

Let H be a complex, finite-dimensional Hilbert space, and let L(H) denote the set of linear transformations mapping H into itself. For certain interesting subsets A(H) of L(H) [nonsingular transformations and L(H) are examples], the functions h: A(H) → L(H) which have the properties h(ST) = h(T)h(S) and h(S)S ⩾ 0 are characterized.     

Generalized Lie derivations on triangular algebras

Let A be a unital algebra and let M be a unitary A-bimodule. We consider generalized Lie derivations mapping from A to M. Our results are applied to triangular algebras, in particular to nest algebras and (block) upper triangular matrix algebras. We prove that under certain conditions each generalized Lie derivation of a triangular algebra A is the sum of a generalized derivation and a central map which vanishes on all commutators of A.     

COMPARATIVE PROBABILITY ON THE C* ALGEBRA OF COMPACT OPERATORS

Abstract

Let A be a von Neumann algebra on a Hilbert space H and let P(A) denote the projections of A. A comparative probability (CP) on A (or more correctly on P(A)) is a preorder ? on P(A) satisfying:

0 ? P ? P ε P(A) with Q ≠ 0 for some Q ε P(A).

If P, Q ε P(A) then either P ? Q or Q ? P.

If P, Q and R are all in P(A) and P⊥R, Q⊥R, then P ? Q ? P + R ? Q + R.

Let τ be any of the usual locally convex topologies on A. We say ? is τ continuous if the interval topology induced on P(A) by ? is weaker than the τ topology on P(A). If μ an additive (completely additive) measure on P(A) then μ induces a uniformly (weakly) continuous CP ?μ on P(A) given by P ?_μ Q if μ(P) ? μ(Q). We show that if A is the C* algebra C(H) of compact operators on an infinite dimensional Hilbert space H, the converse is true under an extra boundedness condition on the CP which is automatically satisfied whenever the identity is present in A = P(C(H)).     

The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

Factorization of delta-monotone linear mappings

For a delta-monotone linear mapping we prove that the factors in the polar decomposition are delta-monotone. Also, we prove that every delta-monotone linear mapping can be factored into a product of (1-ε)-monotone mappings for any ε∈(0,1). As an application in nonlinear case, we give a new proof of the following fact: the quasiconformality constant K(δ,n) of a δ-monotone mapping can be chosen such that K(δ,n) tends to 1 as δ tends to 1.