Formules concernant les mesures de Haar.
Soient G un groupe localement compact, A son module,
une
mesure de Haar à gauche, v une mesure de Haar droite.
1) On a
Si f est pintégrable,
Si A c G est y-intégrable,
y(s)v = A(s)v
V
S(S)V = v
v = A.v.
dv(xs) = dv(x)
dv(s-lx) = A(s)dv(x)
dv(x-l) = A(x)dv(x).
Si f est v-intégrable,
Si A C G est v-intdgrable,
3) v est proportionnelle à A-'. p, p est proportionnelle à A . v.