Corollaire 3
Étiquette 0E8Z, permanente. À citer comme [Bourbaki, Tag 0E8Z].
Lie Groups and Lie Algebras, chapter IX, § 6. Intégration dans les groupes de Lie compacts
*Soient un sous-groupe fermé connexe de contenant , son algèbre de Lie, et la mesure de Haar sur de masse totale 1. Soit une fonction centrale intégrable sur , à valeurs dans un espace de Banach ou dans . Alors la fonction est intégrable et centrale sur et l’on a :
En effet, la fonction est une fonction centrale sur , dont la restriction à est la fonction . Le corollaire résulte donc du cor. 2 appliqué à et à .
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.