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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

16 Généralités<br />

La représentation π est dite unitaire, si pour tout g ∈ G, π(g) est un opérateur<br />

unitaire, i.e.,<br />

∀g ∈ G, ∀v ∈ H, �π(g)v� = �v�.<br />

Deux représentations (π1, H1) et (π2, H2) <strong>de</strong> G sont dites équivalentes s’il<br />

existe une application linéaire A <strong>de</strong> H1 dans H2 telle que<br />

Aπ1(g) = π2(g)A, ∀g ∈ G.<br />

On dit que A est un opérateur d’entrelacement.<br />

Dans toute la suite, G désigne un groupe compact et dg une mesure <strong>de</strong> Haar<br />

sur G.<br />

Proposition 1.<br />

i) Toute représentation unitaire <strong>de</strong> G contient une sous-représentation <strong>de</strong><br />

dimension finie.<br />

ii) Toute représentation unitaire irréductible <strong>de</strong> G est <strong>de</strong> dimension finie.<br />

Théorème 1. Soit π une représentation C-linéaire <strong>de</strong> G dans un espace<br />

hilbertien H <strong>de</strong> dimension dπ. Alors pour tout u, v ∈ H,<br />

�<br />

|〈π(g)u, v〉| 2 dg = 1<br />

�u� 2 �v� 2 ,<br />

G<br />

et, par polarisation, pour u, v, u ′ , v ′ ∈ H,<br />

�<br />

〈π(g)u, v〉〈π(g)u<br />

G<br />

′ , v ′ 〉dg = 1<br />

〈u, u<br />

dπ<br />

′ 〉〈v, v ′ 〉.<br />

On désigne par L 2 π(G) le sous-espace <strong>de</strong> L 2 (G) engendré par les coefficients<br />

<strong>de</strong> la représentation π, i.e., les fonctions <strong>de</strong> la forme<br />

dπ<br />

g ↦→ 〈π(g)u, v〉 (u, v ∈ H).<br />

Théorème 2. Soient (π, H) et (π ′ , H ′ ) <strong>de</strong>ux représentations unitaires irréductibles<br />

d’un groupe compact G qui ne sont pas équivalentes. Alors L2 π(G)<br />

et L2 π ′(G) sont <strong>de</strong>ux sous espaces orthogonaux <strong>de</strong> L2 (G) :<br />

�<br />

(u, v ∈ H, u ′ , v ′ ∈ H ′ ).<br />

〈π(g)u, v〉〈π<br />

G<br />

′ (g)u ′ , v ′ 〉dg = 0

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

Saved successfully!

Ooh no, something went wrong!