Exercice 2, § 6
Étiquette 01FN, permanente. À citer comme [Bourbaki, Tag 01FN].
Groupes et algèbres de Lie, IX, p. 121
Bourbaki marks this one as harder than the rest.
Soit V un espace hilbertien réel de dimension finie sur R. On munit l’espace des polynômes sur V du produit scalaire défini en EVT, V, p. 30 (cf. exerc. 1). On note la mesure gaussienne canonique sur V (INT, IX, § 6, nos 4 à 6) ; si est une base orthonormale de , on a donc . a) Soit q l’élément de qui définit le produit scalaire dans , et soit l’opérateur produit intérieur par q (A, III, p. 165). Montrer que pour toute base orthonormale de et tout polynôme , on a . b) Pour , on pose , de sorte qu’on a pour . Démontrer l’égalité . (Se ramener à prouver la formule analogue pour la fonction , pour .)
c) Démontrer la formule pour et dans (identifié à un sous-espace de ).
d) Si est un polynôme homogène sur tel que , on a .
e) Soit un groupe fini d’automorphismes de , engendré par des réflexions ; notons l’ensemble des réflexions de . Pour , soient et tels que . Montrer que le polynôme satisfait à (utiliser , § 5, n° 4, prop. 5).
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
- Integration, Chap. IX, §6, nos. 4 not in this corpus: INT IX
- Topological Vector Spaces, Chap. V, §3, no. 3 not in this corpus: EVT V
- Algebra, Chap. III, §11, no. 9
- Exerc. 1
- Chap. V, §5, no. 4, Prop. 5 not in this corpus