 Unitarization of a compact-group representation

For a compact group with normalized Haar measure, averaging any positive-definite Hermitian form,produces an invariant positive-definite Hermitian form.