OurBigBook.comSite Source code

Unitarization of a compact-group representation

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

⟨ v, w ⟩_{G} = \int_{G} ⟨ ρ (g) v, ρ (g) w ⟩ d g,

produces an invariant positive-definite Hermitian form.

 Ancestors (6)

 Incoming links (1)

Solution