Definition

Let UU be a of a GG on a complex H\mathcal H. Its discrete-spectrum subspace Hd\mathcal H_{\mathrm d} is the closed linear span of all irreducible closed U(G)U(G)-invariant subspaces of H\mathcal H. Its continuous-spectrum subspace is

Hc=Hd.\mathcal H_{\mathrm c}=\mathcal H_{\mathrm d}^{\perp}.

Both subspaces are invariant, and U=UdUcU=U_{\mathrm d}\oplus U_{\mathrm c}. This orthogonal decomposition is canonical under unitary intertwiners. The representation has purely discrete spectrum when Hd=H\mathcal H_{\mathrm d}=\mathcal H, and purely continuous spectrum when Hd=0\mathcal H_{\mathrm d}=0.

Direct sums and direct integrals

The discrete part can be organized as a of , 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 over a nonatomic measure. This is why “continuous” does not mean “indecomposable.”

Standard examples

The of a compact group is purely discrete: the decomposes it as a Hilbert sum of finite-dimensional irreducibles Folland, chapter on compact groups. The translation representation of R\mathbb R on L2(R)L^2(\mathbb R) is purely continuous; Fourier transformation diagonalizes translations over the continuum of characters, but no character occurs as an L2L^2 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
  1. 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.
  2. Jacques Dixmier, CC^*-Algebras, North-Holland, 1977. Publisher record. Relevant: §18.8, disintegration and decomposition of group representations.