comparison of projections in $C^*$ algebra

42 Views Asked by At

Suppose p is a projection and $vv^*$ is a projection such that $vv^*\leq p\leq Cvv^*$,where $C$ is a constant,how to conclude that $p=vv^*$?

1

There are 1 best solutions below

2
On BEST ANSWER

If you have $q\leq p\leq c q$, then $$ 0=(1-q)(cq)(1-q)\geq(1-q)p(1-q)=[p(1-q)]^*p(1-q). $$ So $p(1-q)=0$. Thus $p=pq=qpq\leq q$, and so $p=q$.