If $A$ is a abelian $C^*$-algebra and $a,b$ are elements in $A$ such that $0\leq a\leq 1,0\leq b\leq 1$ then $0\leq ab\leq 1$.
My problem is:" Is it true if $A$ is not abelian?"
If $A$ is a abelian $C^*$-algebra and $a,b$ are elements in $A$ such that $0\leq a\leq 1,0\leq b\leq 1$ then $0\leq ab\leq 1$.
My problem is:" Is it true if $A$ is not abelian?"
Copyright © 2021 JogjaFile Inc.
Typical example is $A=M_2(\mathbb C)$, $$ a=\begin{bmatrix}1&0\\0&0\end{bmatrix},\ \ \ b=\begin{bmatrix}1/2&1/2\\ 1/2&1/2\end{bmatrix}. $$ Then $0\leq a\leq 1$, $0\leq b\leq 1$, but neither $ab$ nor $ba$ is selfadjoint.