No label defined (Q4516873)

If \(A\) is a complex nonunital Banach algebra and \(A^*\) is its dual space, then there are two subsets of the complex plane which can be considered as generalizations of the algebraic numerical range for the unital case: they are \(V_1(A,a)= \{f(xa): f\in A^*\) and \(x\in A\Rightarrow\|f\|=\|x\|= f(x)= 1\}\) and \(V_2(A, a)= \{f(ax): f\in A^*\) and \(x\in A\Rightarrow \|f\|=\|x\|= f(x)= 1\}\) for an element \(a\) in \(A\). The main result of this paper gives alternative expressions for \(V_1(B, b)\) and \(V_2(B, b)\) for \(b\) in a subalgebra \(B\) of the \(C^*\)-algebra \(A\). As a corollary, it is shown that for any \(a\) in a \(C^*\)-algebra \(A\), the set \(V_1(A, a)\) lies in between the convex hull of \(\{f(a):f\) pure state of \(A\}\) and its closed convex hull. This generalizes the same result for commutative \(C^*\)-algebras proved before by Gaur and Husain. We remark that there is a typo in the statement of the main theorem: in the expression for \(V_2(B, b)\), ``\(f(x)\)'' should be replaced by ``\(f(x^*)\)''.