Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

The Banach-Lie algebra of multiplication operators on a JBW-triple

The Banach-Lie algebra L(A) of multiplication operators on the JB^∗-triple A is introduced and it is shown that the hermitian part Lh(A) of L(A) is a unital GM-space the base of the dual cone in the dual GL-space ^∗(Lh(A)) of which is affine isomorphic and weak^∗-homeomorphic to the state space of L(A). In the case in which A is a JBW^∗-triple, it is shown that tripotents u and v in A are orthogonal if and only if the corresponding multiplication operators in the unital GM-space Lh(A) satisfy

0?D(u,u)+D(v,v)?idA,     

Strong convergence of an iterative method for nonexpansive and accretive operators

Let X be a Banach space and A an m-accretive operator with a zero. Consider the iterative method that generates the sequence {xn} by the algorithm xn+1=αnu+(1−αn)Jrnxn, where {αn} and {rn} are two sequences satisfying certain conditions, and Jr denotes the resolvent ⁻¹(I+rA) for r>0. Strong convergence of the algorithm {xn} is proved assuming X either has a weakly continuous duality map or is uniformly smooth.     

Generalized Hyers–Ulam–Rassias stability of n-sesquilinear-quadratic mappings on Banach modules over -algebras

Assume that X is a left Banach module over a unital C^*-algebra A. It is shown that almost every n-sesquilinear-quadratic mapping h:X×X×Xⁿ→A is an n-sesquilinear-quadratic mapping when holds for all x,y,z₁,…,z_nX.Moreover, we prove the generalized Hyers–Ulam–Rassias stability of an n-sesquilinear-quadratic mapping on a left Banach module over a unital C^*-algebra.     

Algebraic properties of isometries between groups of invertible elements in Banach algebras

We prove that an isometry T between open subgroups of the invertible groups of unital Banach algebras A and B is extended to a real-linear isometry up to translation between these Banach algebras. While a unital isometry between unital semisimple commutative Banach algebras need not be multiplicative, we prove in this paper that if A is commutative and A or B are semisimple, then (T(eA))⁻¹T is extended to an isometric real algebra isomorphism from A onto B. In particular, A−1 is isometric as a metric space to B−1 if and only if they are isometrically isomorphic to each other as metrizable groups if and only if A is isometrically isomorphic to B as a real Banach algebra; it is compared by the example of ?elazko concerning on non-isomorphic Banach algebras with the homeomorphically isomorphic invertible groups. Isometries between open subgroups of the invertible groups of unital closed standard operator algebras on Banach spaces are investigated and their general forms are given.     

Largeness of the set of finite products in a semigroup

We investigate when the set of finite products of distinct terms of a sequence 〈x _n 〉 _n=1^∞ in a semigroup (S,⋅) is large in any of several standard notions of largeness. These include piecewise syndetic, central, syndetic, central*, and IP*. In the case of a “nice” sequence in (S,⋅)=(ℕ,+) one has that FS(〈x _n 〉 _n=1^∞) has any or all of the first three properties if and only if {x _n+1−∑ _t=1 ⁿ x _t :n∈ℕ} is bounded from above. N. Hindman acknowledges support received from the National Science Foundation via Grant DMS-0554803.     

Derivations on the algebra of operators in hilbert C*-modules

Let M be a full Hilbert C*-module over a C*-algebra A,and let End*A(M) be the algebra of adjointable operators on M.We show that if A is unital and commutative,then every derivation of End A(M) is an inner derivation,and that if A is σ-unital and commutative,then innerness of derivations on "compact" operators completely decides innerness of derivations on End*A(M).If A is unital(no commutativity is assumed) such that every derivation of A is inner,then it is proved that every derivation of End*A(Ln(A)) is also inner,where Ln(A) denotes the direct sum of n copies of A.In addition,in case A is unital,commutative and there exist x0,y0 ∈ M such that x0,y0 = 1,we characterize the linear A-module homomorphisms on End*A(M) which behave like derivations when acting on zero products.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

Topological free entropy dimension in unital C-algebras

The notion of topological free entropy dimension of n-tuple of elements in a unital C^∗ algebra was introduced by Voiculescu. In the paper, we compute topological free entropy dimension of one self-adjoint element and topological free orbit dimension of one self-adjoint element in a unital C^∗ algebra. We also calculate the values of topological free entropy dimensions of any families of self-adjoint generators of some unital C^∗ algebras, including irrational rotation C^∗ algebra, UHF algebra, and minimal tensor product of two reduced C^∗ algebras of free groups.     

On the generalized Hyers-Ulam stability of module left derivations

Let A be a unital normed algebra and let M be a unitary Banach left A-module. If f:A→M is an approximate module left derivation, then f:A→M is a module left derivation. Moreover, if M=A is a semiprime unital Banach algebra and f(tx) is continuous in t∈R for each fixed x in A, then every approximately linear left derivation f:A→A is a linear derivation which maps A into the intersection of its center Z(A) and its Jacobson radical rad(A). In particular, if A is semisimple, then f is identically zero.     

Characterizations of isomorphisms and derivations of some algebras

Let ? be a zero-product preserving bijective bounded linear map from a unital algebra A onto a unital algebra B such that ?(1)=k. We show that if A is a CSL algebra on a Hilbert space or a J-lattice algebra on a Banach space then there exists an isomorphism ψ from A onto B such that ?=kψ. For a nest algebra A in a factor von Neumann algebra, we characterize the linear maps on A such that δ(x)y+xδ(y)=0 for all x,y∈A with xy=0.     

Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Strong convergence theorems for maximal monotone mappings in Banach spaces

Let E be a uniformly convex and 2-uniformly smooth real Banach space with dual E^∗. Let be a Lipschitz continuous monotone mapping with A⁻¹(0)≠∅. For given u,x₁∈E, let {xn} be generated by the algorithm xn+1:=βnu+(1−βn)(xn−αnAJxn), n?1, where J is the normalized duality mapping from E into E^∗ and {λn} and {θn} are real sequences in (0,1) satisfying certain conditions. Then it is proved that, under some mild conditions, {xn} converges strongly to x^∗∈E where Jx^∗∈A⁻¹(0). Finally, we apply our convergence theorems to the convex minimization problems.     

The Rokhlin property and the tracial topological rank

Let A be a unital separable simple C∗-algebra  with TR(A)?1 and α be an automorphism. We show that if α satisfies the tracially cyclic Rokhlin property then . We also show that whenever A has a unique tracial state and α^m is uniformly outer for each m(≠0) and α^r is approximately inner for some r>0, α satisfies the tracial cyclic Rokhlin property. By applying the classification theory of nuclear C∗-algebras, we use the above result to prove a conjecture of Kishimoto: if A is a unital simple -algebra of real rank zero and α∈Aut(A) which is approximately inner and if α satisfies some Rokhlin property, then the crossed product is again an -algebra of real rank zero. As a by-product, we find that one can construct a large class of simple C∗-algebras with tracial rank one (and zero) from crossed products.     

Finite 3-groups of class 3 whose elements commute with their automorphic images

A group G is an A-group if x ^α x =  xx ^α for all ${x\in G}A group G is an A-group if x ^α x =  xx ^α for all x ? G{x\in G} and all automorphisms α of G. Such groups have nilpotency class at most 3; we construct the first example having class precisely 3.     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

Weak continuous states on Banach algebras

We prove that if a unital Banach algebra A is the dual of a Banach space A_? then the set of normal states is weak^∗ dense in the set of all states on A. Further, normal states linearly span A_?.     

Numerical radius and zero pattern of matrices

Let A be an n×n complex matrix and r be the maximum size of its principal submatrices with no off-diagonal zero entries. Suppose A has zero main diagonal and x is a unit n-vector. Then, letting ‖A‖ be the Frobenius norm of A, we show that

|〈Ax,x〉^|2?(1−1/2r−1/2n)‖A^‖2.     

Generalized M-Matrices

Let ρ?Rⁿ be a proper cone. From the theory of M-matrices (see e.g. [1]) it is known that if there exist α > 0 and a matrix B: ρ→ρ such that A = B?αI, then the following conditions are equivalent: (i) ? A is ρ-monotone,(ii) A is ρ-seminegative, (iii) Re[Spectrum(A)]<0. In this paper we show that while the condition (e) e^tAρ?ρ ?t≥0 is more general than the structural assumption A = B?αI, conditions (i)-(iii) are nevertheless all equivalent to (iv) {x∈ρ: Ax∈ρ}={0} when (e) holds.