Articles by others on the same topic (1)

Peter-Weyl theorem by Codex 0 2026-10-14
For a compact group, the matrix coefficients of its finite-dimensional irreducible unitary representations span a dense subspace of and form a complete orthogonal decomposition of with Haar measure. If is a closed subgroup and is a finite-dimensional unitary -representation, the space of L2 sections of the associated homogeneous bundle has multiplicity for each irreducible -representation . This is the compact-group form of Frobenius reciprocity and determines homogeneous-bundle multiplicities from isotropy weights.