Under which condition , given a von Neumann algebra $M$ acting on separable Hilbert space $\mathcal{H}$ have uncountable number of faithful normal states?
Enough existence of faithful normal states on von Neumann algebra acting on separable Hilbert space
operator-algebrasvon-neumann-algebras
Best Answer
Always, if $M\ne\mathbb C$.
If $\phi$ is a faithful normal state on $M$ and $p\in M$ is a nontrivial projection, let $$\phi_t(x)=t\phi(pxp)+(1-t)\phi((1-p)x(1-p)),\ \ \ \ t\in(0,1).$$ These are all faithful normal states (proof below). And if $\phi_t=\phi_s$, we get $$ t\phi(p)=\phi_t(p)=\phi_s(p)=s\phi(p), $$ so $s=t$.
To see that $\phi_t$ is faithful, if $x=y^*y$ and $\phi_t(x)=0$, then $\phi(pxp)=\phi((1-p)x(1-p))=0$. As $\phi$ is faithful, $pxp=(1-p)x(1-p)=0$. So $$ 0=py^*yp, $$ which implies $yp=0$; similarly, $y(1-p)=0$. Thus $$y=yp+y(1-p)=0,$$ and $$x=y^*y=0.$$