Exercise 1, § 3

Let G be a locally compact group. Let $\pi$ be a unitary representation of G in a complex Hilbert space E and $x\in E$. One has $\pi (g)x=x$ for every $g\in G$ if and only if the function of positive type $g\mapsto \langle x|\pi (g)x\rangle$ is constant.