Schur orthogonality for compact Lie groups
Let be a compact Lie group . Fix the normalized Haar measure on (so ). Let and be finite-dimensional continuous unitary representations of (see representation of a Lie group ), with irreducible (see irreducible representation ). Choose orthonormal bases so that and have matrix entries and .
Schur orthogonality asserts:
Equivalently, the matrix coefficients of irreducible unitary representations form an orthogonal family in , and within a fixed irreducible representation they are orthogonal with the explicit scale factor .
This is the analytic avatar of Schur’s lemma and is one of the key inputs in the Peter–Weyl theorem , which decomposes into finite-dimensional isotypic pieces. In practice, Schur orthogonality is the tool that turns representation theory into concrete integral identities on compact groups (compare also complete reducibility ).