Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-4/19i/b/solution

A continuous homomorphism is immediately an -dimensional real group representation by composing with the inclusion .
Conversely, let be a continuous real representation with . Choose any positive-definite inner product on and normalized Haar measure on . Define
This is bilinear and symmetric. It is positive definite because the continuous nonnegative integrand is positive at every whenever . Right invariance of normalized Haar measure on a compact group gives
Choose an orthonormal basis for this averaged form. In that basis every lies in , proving the orthogonalization of a compact-group representation and the stated equivalence.

New to topics? Read the docs here!