Bourbaki

Remarque 2

Étiquette 0E6Y, permanente. À citer comme [Bourbaki, Tag 0E6Y].

Integration, chapter VII, § 1. Construction d'une mesure de Haar

Supposons μ\mu relativement invariante et non nulle. Il existe, pour tout s∈Gs \in G, un nombre complexe χ(s)\chi(s) unique tel que

γ(s)μ=χ(s)−1μ \gamma(s)\mu = \chi(s)^{-1}\mu

et la fonction χ\chi sur GG est une représentation de GG dans C∗\mathbf{C}^* appelée multiplicateur de μ\mu. La formule (5) donne alors

∫Xf(sx)dμ(x)=χ(s)−1∫Xf(x)dμ(x) \int_X f(sx)d\mu(x) = \chi(s)^{-1}\int_X f(x)d\mu(x)

et la formule (6) donne

μ(sA)=χ(s)μ(A). \mu(sA) = \chi(s)\mu(A).

Avec les conventions faites plus haut, (7) peut aussi s'écrire

dμ(sx)=χ(s)dμ(x). d\mu(sx) = \chi(s)d\mu(x).

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.

Transcrit du volume imprimé. Non traduit.