Homomorphisms and derivations in C^*-algebras

DOI10.1155/2007/80630MaRDI QIDQ2472073zbMATH OpenOpenAlexFDO

Authors Choonkil Park, A. Najati

Publication date 20 February 2008

Published in Abstract and Applied Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://eudml.org/doc/55172

zbMATH Keywords

\(C^*\)-algebra, \(JC^*\)-algebra derivation homomorphism Hyers-Ulam-Rassias stability

Mathematics Subject Classification ID

Functional equations for functions with more general domains and/or ranges (39B52) Stability, separation, extension, and related topics for functional equations (39B82) General theory of (C^*)-algebras (46L05) Derivations, dissipations and positive semigroups in (C^*)-algebras (46L57)

Review text

The paper deals with the following question due to \textit{S. M. Ulam} [A collection of mathematical problems. New York, London: Interscience Publishers (1960; Zbl 0086.24101)]: Given a group \(G\), a metric group \(G'\) with metric \(\rho(\cdot,\cdot)\), and \(\varepsilon>0\), does there exist a \(\delta>0\) such that if \(f:G\to G'\) satisfies \(\rho(f(xy),f(x)f(x))<\delta\) for all \(x,y\in G\), then a homomorphism \(h:G\to G'\) exists with \(\rho(f(x),h(x))<\varepsilon\) for all \(x\in G\)? The authors provide an affirmative answer to this question in some certain easy cases. Let \(f:A\to B\) be a mapping such that \[ \big\| f(z-\mu x)+\mu f(z-y)+\tfrac12f(x+y)\big\| \leq\big\| 2f \big(z-\tfrac{x+y}4\big)\big\|, \] for all \(\mu\in\mathbb{T}:=\{\lambda\in\mathbb{C}:| \lambda| =1\}\) and all \(x,y,z\in A\). It is proved that if \(A\) and \(B\) are both \(C^*\)-algebras and \(f\) satisfies \(\| f(xy)-f(x)f(y)\| \leq\theta\| x\| ^r \| y\| ^r\) and \(\| f(x^*)-f(x)^*\| \leq2\theta\| x\| ^r\) for some \(r>1\) and \(\theta\geq0\), then \(f\) is a \(*\)-homomorphism. They also show that if \(A\) and \(B\) are both \(C^*\)-algebras and \(f\) satisfies \(\| f(xy)-f(x)y-xf(y)\| \leq\theta\| x\| ^r\| y\| ^r\) for some \(r>1\) and \(\theta\geq0\), then \(f\) is a linear derivation. The same results concerning homomorphisms and Lie (respectively, Jordan) derivations when \(A\) and \(B\) are both Lie \(C^*\)-algebras (respectively, \(JC^*\)-algebras) are given by exactly the same reasoning.

Recommendations

Cites work

Cited in

(42)

This page was built for publication: Homomorphisms and derivations in \(C^{*}\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472073)