Exercice 6, § 9

Étiquette 01I2, permanente. À citer comme [Bourbaki, Tag 01I2].

Groupes et algèbres de Lie, IX, p. 129

Soient G un groupe de Lie, H un sous-groupe compact de G. Montrer qu’il existe une représentation unitaire de G dans un espace hilbertien réel E et un vecteur e ∈ E de fixateur H (prendre E = L^2(G)).