On prend une forme quadratique quelconque et sa moyenne sur la mesure de Haar répond à la question

(les formes quadratiques définies positives ont le bon goût d'être additionable)

Question encore plus dure : sous les mêmes hypothèses, peut-on construire des formes quadratiques de signature quelconque invariantes par G ?

Pas d'idée sans parler de Haar ?

Si, j'ai trois solutions différentes mais j'ai passé l'agreg alors elles ne sont pas de moi.

Par contre je trouve que l'exercice posé comme ça est très compliqué pour un innocent topic "formes quadratiques définies positives"

L'énoncé tel qu'il m'a été posé été brut, j'ai reçu des indications plus tard cela dit, parce qu'effectivement on se retrouve vite bloqué

Ouah ! C'était dans quel contexte ce problème ? C'est très vache.

Toujours mon gentil chargé de TD qui me pose des exercices tordus

Il ferait un très bon khôlleur ton chargé de TD on dirait avec tous ces exos...

Il les pompe dans les oraux X-ENS

En tout cas comme le dit tringlarido c'est un développement bien connu de la plupart des agrégatifs.

Uppage de topic. Si quelqu'un a un nain dix, je suis prenant.

Re uppage...

_{Allez je fais un petit up pour toi on dirait que tu la veux cette réponse ^^}