30.01.2013 Views

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

THÈSE DE DOCTORAT ELLOUMI Mounir Espaces duaux de ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!