Enough existence of faithful normal states on von Neumann algebra acting on separable Hilbert space

Under which condition , given a von Neumann algebra $M$ acting on separable Hilbert space $\mathcal{H}$ have uncountable number of faithful normal states?

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.$$
• For any uncountable set $X$, the commutative von Neumann algebra $\ell^\infty(X)$ is non-separable, and so it cannot have a normal state. Dec 28, 2020 at 3:59