GNS representation of a vector state ($U[a]=a\eta ,U{\pi }_{x_{\eta }}(a)U^{-1}=a{|}_{\overline{A\eta }}$)

For a vector state on a C-star algebra, $N=\{a:a\eta =0\}$ and $⟨[a],[b]⟩=⟨a\eta ,b\eta ⟩$. Thus $U_0[a]=a\eta$ is a well-defined linear isometry from the quotient pre-Hilbert space onto $A\eta$. It extends to an isometry from the completed GNS space onto $K=\overline{A\eta }$: its range is complete and therefore closed, and contains the dense subspace $A\eta$. The space $K$ is invariant under both $A$ and its adjoints. On quotient vectors, $U\pi (a)[b]=ab\eta =aU[b]$, proving the displayed unitary equivalence after continuity. The cyclic vector maps to $\eta$.

If $A=\mathcal{B}(H)$, then $A\eta =H$, since the rank-one map $v\mapsto ⟨v,\eta ⟩\zeta$ sends $\eta$ to any chosen $\zeta$. In this case, for the rank-one orthogonal projection $p_{\eta }$, $a\eta =0$ is equivalent to $a{p}_{\eta }=0$, by evaluating at $\eta$ and using $(a{p}_{\eta })v=⟨v,\eta ⟩a\eta$.