Skip to main content
2 of 2
interchange 1 and 2 ;); added 22 characters in body

Yes they are. This is Proposition I.9.2 in Theory of Operator Algebras I by Takesaki.

Short proof:

  1. => 1): suppose $\pi(a)\xi = 0$ for all $a$. Then $(\pi(a)\eta|\xi) = 0$ for all $\eta\in h$ and $a\in\mathcal{A}$ hence $\xi=0$.

  2. => 2): Take $\xi \in h$ orthogonal to all $\pi(a) \eta$. Then from $(\xi| \pi(a^* a) \xi)= 0$ for all $a$ it follows that $\xi =0$.