Definition
Discrete and continuous spectrum of a unitary representation
The discrete part of a unitary representation is generated by its irreducible subrepresentations, while the continuous part is its orthogonal complement.
Definition
Let be a strongly continuous unitary representation of a locally compact group on a complex Hilbert space . Its discrete-spectrum subspace is the closed linear span of all irreducible closed -invariant subspaces of . Its continuous-spectrum subspace is
Both subspaces are invariant, and . This orthogonal decomposition is canonical under unitary intertwiners. The representation has purely discrete spectrum when , and purely continuous spectrum when .
Direct sums and direct integrals
The discrete part can be organized as a Hilbert direct sum of irreducible representations, with repetitions recording discrete multiplicity. By construction, the continuous part contains no nonzero irreducible subrepresentation. In type I harmonic analysis it may nevertheless decompose into irreducibles through a direct integral over a nonatomic measure. This is why “continuous” does not mean “indecomposable.”
Standard examples
The regular representation of a compact group is purely discrete: the Peter–Weyl theorem decomposes it as a Hilbert sum of finite-dimensional irreducibles Folland, chapter on compact groups. The translation representation of on is purely continuous; Fourier transformation diagonalizes translations over the continuum of characters, but no character occurs as an invariant line.
Conventions and scope
For separable representations of type I groups, the direct-integral formulation and the distinction between atomic and nonatomic spectral measure are treated in Folland, §7.4.
References
- Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd ed., CRC Press, 2016. DOI record. Relevant: the chapter on compact groups and §7.4 on direct-integral decomposition.
- Jacques Dixmier, -Algebras, North-Holland, 1977. Publisher record. Relevant: §18.8, disintegration and decomposition of group representations.