I need help on proving the following. If $A$ is a C* algebra with unit, not necessarily commutative, then why is it that $(b^*)b\leq||b||^21$ wrt the partial order induced by the cone $A_+$? Also, why is it then true that for all $a$ we have $a^*b^*ba\leq||b||^2a^*a$? In your response, please help me with a solution that does not involve any sort of embedding theorem. I seem to remember that there is an embedding of all C* algebras into B(H) for some Hilbert space H, but I don't know the proof. If this is true, please let me know, but I do not want to have it used if at all possible. Thanks!
C* algebra inequalities
-
0Thank you Jonas. that was very helpful. – 2012-05-17
1 Answers
The easiest way to prove the first inequality is indeed by embedding in $B(H)$ (via the universal representation).
Anyway, it can be done in different ways depending on what you want to use. One more algebraic way would be to notice that the spectrum of $\|b\|^2-b^*b$ is $\tag{1} \{\|b\|^2-\lambda:\ \lambda\in\sigma(b^*b)\}. $ Then you can also notice that the spectral radius of $b^*b$ is $ r(b^*b)=\lim_{n\to\infty}\|(b^*b)^n\|^{1/n}\leq\|b^*b\|=\|b\|^2. $ This tells us that any $\lambda$ in $\sigma(b^*b)$ satisfies $-\|b\|^2\leq\lambda\leq\|b\|^2$ (I'm using here that $\sigma(b^*b)\subset\mathbb{R}$, which is easy to obtain from the fact that $b^*b$ is selfadjoint); so all the elements in the set (1) are non-negative. Now we can apply functional calculus to the selfadjoint operator $c=\|b\|^2-b^*b$ with the function $g(t)=t^{1/2}$ (possible since the spectrum of $c$ is nonnegative); the operator $g(c)$ is selfadjoint and $\|b\|^2-b^*b=g(c)^*g(c)\geq0$.
The second inequality follows from the first one and the fact that if $x\leq y$, then $a^*xa\leq a^*ya$ (because $y-x=z^*z$, so $a^*(y-x)a=a^*z^*za=(za)^*za\geq0$.
-
0The point is that states separate points (and this is a consequence of Hahn-Banach and some positivity considerations). If your algebra is separable, you can then get a countable family $\{\phi_n\}$ of states that separates points, and then you consider $\sum_n 2^{-n}\phi$. When the algebra is non-separable you can still get a faithful unbounded functional. Now, to say that every C$^*$-algebra embeds in $B(H)$ one does not need GNS; it can be done via the universal representation (I'll correct that in the answer). – 2012-05-17