Corollaire 3
Étiquette 0E92, permanente. À citer comme [Bourbaki, Tag 0E92].
Lie Groups and Lie Algebras, chapter IX, § 7. Représentations irréductibles des groupes de Lie compacts connexes
L’application qui, à chaque fonction continue centrale sur G, associe la fonction induit un isomorphisme de l’espace des fonctions représentatives centrales sur G sur l’espace des éléments anti-invariants de ; elle se prolonge par continuité en un isomorphisme d’espaces hilbertiens de sur le sous-espace des éléments anti-invariants de .
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.