You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
18 Généralités<br />
Inversement, supposons que (Ok)k converge vers une orbite O dans l’espace<br />
<strong>de</strong>s orbites g ∗ /G. Alors pour tout l ∈ O, on peut trouver une famille décroissante<br />
<strong>de</strong> voisinages ouverts relativement compacts (Vn)n <strong>de</strong> l telle que<br />
Les ensembles<br />
V n+1 ⊂ Vn et � Vn = {l}.<br />
Un := Ad(G)Vn<br />
sont <strong>de</strong>s voisinages ouverts G-invariants <strong>de</strong> O. Donc, il existe kn ∈ N tel que<br />
Ok ⊂ Un pour tout k ≥ kn. On peut supposer que la suite (kn)n est croissante<br />
et que lim<br />
n→∞ kn = +∞. Pour kn ≤ k ≤ kn+1, on choisit un élément<br />
lk ∈ Ok ∩ Vn.<br />
Si V est un voisinage <strong>de</strong> l alors V contient Vn pour certain n ∈ N et par suite<br />
lk ∈ V pour tout k ≥ kn. Ceci prouve que lim<br />
k→∞ lk = l.<br />
1.3 Représentations induites<br />
Dans ce paragraphe, G désigne un groupe <strong>de</strong> Lie d’algèbre <strong>de</strong> Lie g. Soient<br />
dg une mesure invariante à gauche sur G et ∆G la fonction module <strong>de</strong> G, qui<br />
est définit par la relation :<br />
�<br />
f(gx −1 �<br />
)dg = ∆G(x) f(g)dg,<br />
G<br />
pour tout x ∈ G, et f ∈ Cc(G), l’espace <strong>de</strong>s fonctions continues sur G à<br />
support compact.<br />
Soit H un sous-groupe fermé <strong>de</strong> G d’algèbre <strong>de</strong> Lie h. On note par ∆H,G le<br />
caractère positif <strong>de</strong> H défini par<br />
pour tout h ∈ H. Comme<br />
on a<br />
G<br />
∆H,G(h) = ∆H(h)<br />
∆G(h) ,<br />
∆G(x) = | <strong>de</strong>t(Ad(x))| −1 (x ∈ G),<br />
∆H,G(exp(X)) = e tr g/h(adX) (X ∈ h),<br />
où exp est l’application exponentielle <strong>de</strong> g dans G, et ad est la représentation<br />
adjointe <strong>de</strong> l’algèbre <strong>de</strong> Lie g sur g. Il est clair que si H est un sous-groupe<br />
distingué <strong>de</strong> G alors ∆H,G = 1.