Definition 32.1.1 (Unitary Representation).label Let $G$ be a locally compact group, then a unitary representation of $G$ is a pair $(H, \pi)$, where $H$ is a non-zero complex Hilbert space and $\pi: G \to U(B(H))$ is a strong-operator continuous homomorphism.