JEDNOSTKA NAUKOWA KATEGORII A+

# Wydawnictwa / Czasopisma IMPAN / Studia Mathematica / Wszystkie zeszyty

## Product of operators and numerical range preserving maps

### Tom 174 / 2006

Studia Mathematica 174 (2006), 169-182 MSC: 47A12, 47B15, 47B49, 15A60, 15A04, 15A18. DOI: 10.4064/sm174-2-4

#### Streszczenie

Let ${\bf V}$ be the $C^*$-algebra $B(H)$ of bounded linear operators acting on the Hilbert space $H$, or the Jordan algebra $S(H)$ of self-adjoint operators in $B(H)$. For a fixed sequence $(i_1, \dots, i_m)$ with $i_1, \dots, i_m \in \{1, \dots, k\}$, define a product of $A_1, \dots, A_k \in {\bf V}$ by $A_1* \cdots * A_k = A_{i_1} \cdots A_{i_m}$. This includes the usual product $A_1* \cdots * A_k = A_1 \cdots A_k$ and the Jordan triple product $A*B = ABA$ as special cases. Denote the numerical range of $A \in {\bf V}$ by $W(A) = \{ (Ax,x): x \in H,\, (x,x) = 1\}.$ If there is a unitary operator $U$ and a scalar $\mu$ satisfying $\mu^m = 1$ such that $\phi:{\bf V} \rightarrow {\bf V}$ has the form $$A \mapsto \mu U^*AU \quad \hbox{or} \quad A \mapsto \mu U^*A^tU,$$ then $\phi$ is surjective and satisfies $$W(A_1 *\cdots *A_k) = W(\phi(A_1)* \cdots *\phi(A_k)) \quad\ \hbox{for all } A_1, \dots, A_k \in {\bf V}.$$ It is shown that the converse is true under the assumption that one of the terms in $(i_1, \dots, i_m)$ is different from all other terms. In the finite-dimensional case, the converse can be proved without the surjectivity assumption on $\phi$. An example is given to show that the assumption on $(i_1, \dots, i_m)$ is necessary.

#### Autorzy

• Chi-Kwong LiDepartment of Mathematics
College of William and Mary
Williamsburg, VA 23185, U.S.A.
e-mail
• Nung-Sing SzeDepartment of Mathematics
University of Hong Kong
Hong Kong
e-mail

## Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Odśwież obrazek