Peter-Weyl 1927: regular representation of compact Lie group decomposes as direct sum of irreducibles; matrix-coefficients form Hilbert-basis of L2(G).
Peter-Weyl 1927: regular representation of compact Lie group decomposes as direct sum of irreducibles; matrix-coefficients form Hilbert-basis of L2(G).