113 2 4 PDF

Le thorme d'approximation de Peter-Weyl
Nicolas Tosel
Professeur en classe de MP au lyce du Parc, Lyon.

Partie I
Introduction et notations
Partie II
Fonctions reprsentatives
Partie III
Oprateurs noyaux hermitiens sur
Partie IV
Dmonstration du thorme d'approximation
Partie V
Une version structurelle de P.W.
Partie VI
Caractrisation des groupes de matrices compacts
Bibliographie

Partie I
Introduction et notations
Le classique thorme de Weierstrass assure que toute fonction continue sur le tore ,
valeurs complexes, est limite uniforme de polynmes trigonomtriques. Une des consquences
de ce rsultat est que les exponentielles

pour dcrivant forment une base hilbertienne de . Or ces fonctions s'interprtent
comme les morhismes continus du groupe ablien compact dans le cercle , ce qui permet
d'esprer une gnralisation.
En 1927, dans [11], Weyl et son lve Peter ont obtenu une telle gnralisation, en exhibant, si
est un groupe de Lie compact muni de la mesure de Haar, une base hilbertienne privilgie de
, construite partir des coefficients matriciels des reprsentations irrductibles de . La
mesure de Haar a t dcouverte, dans le cas gnral, en 1933 ; une fois que l'on en dispose, il
n'y a rien changer l'article de Peter-Weyl pour l'appliquer aux groupes compacts les plus
gnraux.
Si est ablien, la base hilbertienne du thorme de Peter-Weyl se rduit l'ensemble des
caractres de , c'est--dire aux morphismes continus de dans . Un expos lmentaire et
transparent de ce cas a t publi dans la RMS ([10]).
Du point de vue analytique, on peut formuler le rsultat fondamental de Peter et Weyl comme un
thorme d'approximation tendant celui de Weierstrass, thorme qui peut tre nonc et tabli
sans recours explicite la thorie des reprsentations. C'est ce thorme qu'est essentiellement
Page 1sur 15 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=320&Type=enonce&Num=0&Mode=...
consacr ce texte. La construction de la base hilbertienne de susmentionne s'obtient sans
aucune difficult en combinant cet nonc les rudiments de la thorie des reprsentations des
groupes compacts, eux-mmes faciles prouver en adaptant le cas des groupes finis de
Frobenius-Schur. Elle ne sera pas aborde ici, et est traite, entre autres, dans [1], [2], [15] et
[16].
L'ide majeure de la dmonstration de Peter et Weyl, conserve dans la plupart des prsentations
ultrieures, est d'utiliser la thorie des quations intgrales de Hilbert-Schmidt. On suit ici
cette mthode, en collant d'aussi prs que possible l'expos du cas commutatif de [10]. Au
total, la rdaction adopte est proche du paragraphe affrent de [3].
Dans toute la suite, est un groupe compact. Pour viter des difficults topologiques vnielles,
le lecteur pourra, s'il le dsire, supposer mtrisable ; mais les arguments employs sont
valables en toute gnralit. Toutes les intgrales sont relatives l'unique mesure de Haar
normalise de , laquelle est invariante droite et gauche ; une construction simple et
lgante de cette mesure, d'aprs von Neumann, est dtaille dans [4]. L'espace des fonctions
continues de dans est not , et muni d'une structure prhilbertienne complexe en
posant, pour et dans :

La norme hilbertienne provenant de est note , tandis que dsigne la norme
uniforme sur . Si est dans et dans , on crit (resp. ) la
translate de droite (resp. gauche) par . Ainsi, pour dans :

Comme on l'a dit plus haut, le langage des reprsentations n'est pas indispensable pour formuler
et prouver le thorme de Peter-Weyl. S'en passer compltement mutile toutefois
considrablement les ides mises en jeu. On utilisera donc le vocabulaire de base de cette
thorie, et on notera l'ensemble des reprsentations (sous-entendu : continues et de
dimension finie) de , le sous-ensemble des reprsentations irrductibles. Si
, soit l'espace de reprsentation de , de sorte que est un morphisme continu
de dans ; soit aussi l'espace des fonctions de dans de la forme :

Il est immdiat de vrifier que est engendr par les coefficients matriciels associs ,
qui sont les fonctions de dans de la forme :

est la matrice de dans une base fixe quelconque de .
Le paragraphe 2 introduit la notion de fonction reprsentative, extension approprie de celle de
polynme trigonomtrique qui permet (enfin) d'noncer le thorme de Peter-Weyl, que nous
abrgerons dsormais en P.W. Dans le paragraphe 3, on s'appuie sur la rduction des oprateurs
hermitiens compacts pour exposer le petit morceau de thorie de Hilbert-Schmidt utilis, au
paragraphe 4, pour dmontrer P.W. Le paragraphe 5 donnne une traduction structurelle de
P.W. Enfin, le paragraphe 6 applique P.W. la caractrisation des groupes compacts linaires
comme groupes compacts sans petits sous-groupes ; ce rsultat, obtenu par von Neumann peu
aprs la construction de la mesure de Haar, permet de rsoudre le cinquime problme de
Hilbert pour les groupes compacts.
L'essentiel du texte est trs lmentaire. Seules quelques remarques, particulirement dans les
paragraphes 5 et 6 ncessitent des connaissances un peu plus labores, mais peuvent tre omises
sans prjudice pour la lecture du reste.
On ne fait ici qu'effleurer une trs belle thorie, celle de la reprsentation des groupes compacts,
gnralisation simultane des sries de Fourier et des caractres de Frobenius-Schur. Le lecteur
qui dsirerait approfondir le sujet est renvoy [1], [2], [15] et [16], ainsi qu' [12] pour l'aspect
historique.

Partie II
Fonctions reprsentatives
Pour dans , on dsignera par le plus petit sous-espace de contenant et
stable par toutes les translations droite ; en d'autres termes :

La fonction de est dite reprsentative si et seulement si est de dimension finie, et on
notera l'ensemble des fonctions reprsentatives. De l'inclusion :

valable pour et dans et dans , il rsulte aussitt que est un sous-
espace de .
Si est dans , est contenu dans . En effet, vu que est de
dimension finie, il suffit, pour justifier l'affirmation prcdente, de vrifier que est stable
pour toutes les translations , . Soient donc dans , et dans telles
que :

alors, si et :

et le rsultat vu que : est dans si .
En fait, on a le rsultat plus prcis suivant, qui n'est pas utilis dans les paragraphes 3 et 4, mais
montre que est le sous-espace de engendr par les coefficients matriciels des
lments de .
Lemme 1 est engendr par les pour dcrivant .

Preuve
Il suffit de montrer, si , qu'il existe dans telle que appartienne
. Or, on dispose de la reprsentation de dans provenant de l'action de sur
par translation droite, c'est--dire :

Pour conclure, on crit, pour dans :

o est dfinie sur par :

Remarques
1. On tablit sans peine que la fonction de est dans si et seulement si
est de dimension finie.
2. Sachant que toute de est somme directe, au sens de la thorie des reprsentations,
d'lment de , on peut se borner, dans l'nonc du lemme 1, aux de .
Ainsi est engendr par les coefficients matriciels des reprsentations irrductibles de
.
3. En utilisant le lemme 1 et le produit tensoriel de reprsentations, on vrifie que est
une sous-algbre de . Cette sous-algbre est trivialement stable par la conjugaison
complexe.
4. C'est un petit exercice que d'identifier l'espace des polynmes trigonomtriques.
D'aprs la remarque 4, l'nonc ci-aprs est bien une gnralisation du thorme de Weierstrass.

Thorme 1 Thorme d'approximation de Peter-Weyl
Le sous-espace est dense dans .
Avant de dmontrer ce rsultat, il est bon de noter que le cas o est un groupe matriciel est
trs simple. En effet, si est un sous-groupe compact de , la remarque 3 ci-dessus
garantit que est une sous-algbre de stable par conjugaison. De plus, si on note
contient les fonctions coordonnes . Le thorme
de Weierstrass polynomial implique alorts que est dense dans pour la
convergence uniforme.
Cela ne signifie pas, cependant, que P.W. n'a pas d'application srieuse en thorie de
l'approximation. Par exemple, il conduit naturellement des extensions du thorme de Bohr sur
les fonctions presque priodiques. Ce point de vue est videmment sous-jacent la preuve du
thorme de Bohr indique dans [10], et exploit systmatiquement dans [16] et [18]. Il trouve
d'ailleurs son origine dans un travail de Weyl sur le sujet, expos dans [13] comme application
de la thorie des oprateurs hermitiens compacts.

Partie III
Oprateurs noyaux hermitiens sur
On prsente ici, en se limitant l'indispensable, l'outil essentiel du paragraphe 4. Afin d'viter
une trop longue digression, on admet un rsultat trs classique d'analyse fonctionnelle, dont on
trouvera la preuve dans [9] ou [13].
Thorme 2 Thorme de rduction des endomorphismes hermitiens compacts d'un espace
prhilbertien
Soient un espace prhilbertien complexe, un endomorphisme hermitien compact
de . Alors :

(i) Les valeurs propres de sont relles.
(ii) Les valeurs propres non nulles de forment un ensemble au plus dnombrable, que l'on
peut ranger en une suite finie ou infinie telle que soit dcroissante. Si est
infinie, .
(iii) Pour tout , est de dimension finie.
(iv) Si est le projecteur orthogonal de sur , on a, pour tout de :

(au sens de la convergence dans si est infinie).

Remarque
Si est complet, on peut renforcer en l'existence d'une base hilbertienne de
diagonalisation.
Dans la suite, on prend pour espace prhilbertien . Si est une fonction de
dans , on peut former, pour dans , la fonction de dans dfinie par :

L'application est facilement un endomorphisme de , dit oprateur noyau
associ , que l'on note encore . Un calcul simple assure que admet pour adjoint
l'oprateur noyau associ :

Ainsi, si (1),
l'oprateur est hermitien.
De l'ingalit de Cauchy-Schwarz on dduit les deux faits suivants :
(a) pour dans : ;
(b) pour dans , , , dans :

Le thorme d'Ascoli entrane alors que est compact dans dans ,
a fortiori de dans lui-mme.
Toutes ces observations impliquent aussitt la premire partie du rsultat suivant, dont on peut
bien sr donner des versions beaucoup plus gnrales.

Thorme 3 Thorme de Hilbert-Schmidt pour
Soient une fonction de dans vrifiant (1), l'oprateur associ. Alors :

(i) est un endomorphisme hermitien compact de , de sorte que l'on peut
appliquer le thorme 2.
(ii) En reprenant les notations du thorme 2, la srie converge uniformment vers
si .

Preuve
Seule l'assertion (ii) reste prouver, et va dcouler de la continuit de de dans
exprime par l'ingalit (a). Prcisment, soient :

Si , on a :

Mais . Or, grce l'ingalit de Bessel, la srie de terme
gnral converge. La suite est de Cauchy dans et converge
donc dans cet espace. Vu que converge en moyenne quadratique vers et que la
convergence uniforme implique la convergence en moyenne quadratique, le rsultat suit.
En fait, seul le corollaire suivant sera utilis :

Lemme 2 Soient une fonction de dans vrifiant (1), l'oprateur noyau associ.
Alors :

(i) Si , est de dimension finie.
(ii) La somme est dense dans .

Partie IV
Dmonstration du thorme d'approximation

0. Soit dans . On veut approcher uniformment par des lments de . L'ide
de base est, sous une hypothse technique non restrictive, d'utiliser l'oprateur de convolution
droite par , c'est--dire l'oprateur associ au noyau dfini par :

Un calcul immdiat montre que commute aux pour dans , ce qui implique que
chaque sous-espace propre de est stable pour tous les . D'autre part, si :

l'oprateur est hermitien.

a. Du lemme 2, on dduit alors le :

Lemme 3 Si vrifie (2), l'adhrence de dans contient
.

Preuve
Si , le (i) du lemme 2 et la stabilit de par les entranent que
est contenu dans . Le (ii) du lemme 2 achve la vrification.

b. On tablit alors le thorme 1 pour une fonction satisfaisant (2) en combinant au lemme 3
le :
Lemme 4 Si , est adhrente dans .

Preuve
C'est l'argument usuel d'approximation uniforme par convolution. On fixe , puis au
voisinage de dans tel que :

ce qui est possible par continuit et compacit.
Soit alors (lemme d'Urysohn) dans valeurs dans d'intgrale gale et porte
par . Pour dans :

Le rsultat suit.

c. Il reste s'affranchir de la condition (2). C'est facile, car le sous-espace rel des de
vrifiant (2) engendre le -espace vectoriel comme le montre la relation :

(il s'agit bien sr d'une proprit gnrale des lments hermitiens d'une -algbre involutive).
Cette observation complte la preuve du thorme.

Remarques
1. On peut procder un peu diffremment. Soit l'ensemble des voisinages de 1 dans . Pour
dans , soient une fonction de valeurs dans , d'intgrale 1, porte par , et
l'oprateur associ au noyau dfini par :

Les oprateurs sont hermitiens, et commutent aux translations
droite, et on montre comme au lemme 3 que l'adhrence de dans
contient . Mais la preuve du lemme 4 tablit que
est dense dans , ce qui permet de conclure.
Cette approche revient en somme inverser les rles de et dans la dmonstration du
thorme, et a l'avantage d'viter d'isoler le cas o vrifie (2). C'est celle de l'article de Peter et
Weyl. Elle est explique par Weyl dans [17] peu prs comme suit. Si est fini, et si est la
fonction caractristique de sur , la dcomposition de l'algbre de groupe en
somme directe de reprsentations irrductibles peut se dduire, puisque est le neutre pour la
convolution, de la dcomposition de en somme de caractres irrductibles. Dans le cas
gnral, n'est pas dans , mais peut tre remplace par des approximations de l'identit.

2. Une fonction de est dite centrale si et seulement si elle est invariante par
conjugaison. partir du thorme 1, on vrifie simplement que toute fonction centrale de
est limite uniforme de fonctions centrales appartenant . En utilisant le lemme 1,
le fait que toute de est somme directe d'lments de , et le lemme de
Schur, on constate par ailleurs que le sous-espace de constitu des fonctions centrales
est engendr par les caractres des lments de , c'est--dire par les fonctions :

pour dans .

3. Si est ablien, les lments de sont de degr 1, et s'identifient donc aux
morphismes continus de dans (caractres au sens de la thorie des groupes abliens,
gnraliss par ceux de la remarque 2). On retrouve ainsi le rsultat de [10] voqu dans
l'introduction.

Partie V
Une version structurelle de P.W.
Le thorme 1 signifie principalement que le groupe compact admet beaucoup de
reprsentations finies, c'est--dire assez pour sparer les points. C'est le contenu du lemme ci-
aprs.

Lemme 5 On a : .

Preuve
Soit dans . Il existe, grce au lemme d'Urysohn, dans telle que .
Le thorme 1 fournit alors dans telle que (il suffit de choisir assez
proche de pour ). Le lemme 1 implique alors l'existence de telle que
, i.e. : .

Remarque
Compte-tenu du thorme de Stone-Weierstrass et de la remarque 3 du paragraphe 2, le lemme 5
et le thorme 1 sont quivalents.
Puisque toute de est somme directe d'lments de , on peut renforcer le
lemme 5 en :

On en dduit alors le :

Thorme 4 Thorme de plongement de Peter-Weyl
Le groupe

tant muni de la topologie produit, l'application :

est un morphisme injectif de groupes topologiques ; en tant que groupe topologique, est
isomorphe son image par le morphisme prcdent.

Preuve
D'aprs ce qui prcde, seule la seconde phrase mrite une justification par l'argument de
topologie gnrale suivant : toute bijection continue entre deux espaces compacts est un
homomorphisme.

Remarques
1. On verra dans [2] d'autres faons d'noncer P.W.
2. Le thorme 4 montre, en particulier, que tout groupe compact est limite projective de groupes
de matrices compacts (cf. [14]).
3. Voici une jolie application du thorme 4 la thorie des groupes topologiques, tire de [14] :
tout groupe compact connexe rsoluble est ablien.
En effet, il suffit, d'aprs le thorme 4, d'tablir que tout sous-groupe compact connexe
rsoluble de agissant irrductiblement sur est ablien si est un -espace vectoriel
de dimension finie. Or, un thorme classique de Kolchin ([14]) assure que tout sous-groupe
connexe et rsoluble de est cotrigonalisable ; un tel groupe ne peut agir irrductiblement
sur que si est de dimension 1, cas auquel est ablien.

Partie VI
Caractrisation des groupes de matrices compacts
Voici tout d'abord un renforcement simple du lemme 5.

Lemme 6 Soit un ferm de ne contenant pas 1. Il existe dans telle que
.

Preuve
Grce au lemme 5, . La proprit de Borel-Lebesgue fournit
dans (avec dans ) telles que :

Il suffit, pour terminer, de prendre gale la somme directe des .
On peut alors caractriser topologiquement les groupes de matrices compacts parmi les groupes
compacts.

Thorme 5 Thorme de von Neumann de caractrisation des groupes compacts linaires
Les conditions suivantes sont quivalentes :

(i) Il existe un voisinage ouvert de 1 dans ne contenant aucun sous-groupe normal de
hormis .
(ii) Il existe tel que soit isomorphe, en tant que groupe topologique, un sous-groupe
de .
(iii) Il existe un voisinage ouvert de 1 dans ne contenant aucun sous-groupe de hormis
.

Preuve
L'implication (iii) (i) est triviale.
L'implication cruciale (i) (ii) dcoule du lemme 6 (i.e. de P.W.). En effet, soit un voisinage
ouvert de comme dans (i). On applique le lemme 6 au ferm . La reprsentation
fournie par le lemme 6 est alors ncessairement fidle, et induit, par l'argument de topologie
gnrale rappel dans la preuve du thorme 4, un isomorphisme de groupes topologiques de
sur son image dans .
L'implication (ii) (iii) est consquence du classique :

Lemme 7 Il existe un voisinage de dans ne contenant aucun sous-groupe non
rduit .

Preuve
On suit [2], de faon ce que la preuve se gnralise facilement (remarque 1 ci-dessous). Soient
une norme sur et, pour , la boule ouverte de centre et de rayon , ainsi
que . Le thorme d'inversion locale fournit tel que induise un -
diffomorphisme de sur . Montrons alors que le seul sous-groupe de contenu dans
est . En effet, si est dans , on peut crire o .
Il existe alors dans tel que :


L'entier tant choisi de la sorte, est dans , ce qui termine la
dmonstration.

Remarques
1. On peut encore adjoindre aux conditions prcdentes :
(iv) Le groupe est de Lie.
En effet, un clbre thorme de Cartan et von Neumann assure que tout sous-groupe ferm d'un
groupe linaire (et, plus gnralement, d'un groupe de Lie quelconque) est de Lie ; d'o (ii)
(iv). D'autre part, on montre que (iv) (iii) en recopiant la dmonstration de lemme 7,
tant remplac par l'algbre de Lie de .

2. Le thorme de Cartan et von Neumann susmentionn est prouv dans [8] ou [5]. La dernire
rfrence contient une splendide exgse de l'article original de von Neumann.

3. Le cinquime des clbres problmes de Hilbert ([6]) demande, en termes modernes, de
caractriser les groupes de Lie parmi les groupes topologiques. Le problme a t rsolu en 1952
par Gleason, Montgomery et Zippin, et un expos accessible de la solution est donn par [7].
Une des caractrisations est qu'un groupe localement compact est de Lie si et seulement s'il ne
possde pas de petits sous-groupes. Le thorme 5 ci-dessus (auquel on incorpore la condition
(iv) de la remarque 1) traite le cas facile des groupes compacts.

Bibliographie
1 J .F. Adams,Lectures on Lie Groups, The University of Chigaco Press.
2 J .L. Duistermaat, J .A.C. Kolk,Lie Groups, Springer Verlag.
3 N. Dunford, J .T. Schwartz,Linear Operators, tome 2, Wiley.
4 Y. Duval,Mesure de Haar sur les groupes compacts, RMS 5, janvier 1997.
5 R. Godement,Introduction la thorie des groupes de Lie, tome 1, Publications
mathmatiques de l'Universit Paris VII.
6 D. Hilbert,Sur les problmes futurs des Mathmatiques, Gabay.
7 I. Kaplansky,Lie Algebras and locally compact Groups, the University of Chicago Press.
8 R. Mneinen, F. Testard,Introduction la thorie des groupes de Lie classiques,,
Hermann.
9 H. Ppin,Rduction d'un endomorphisme normal compact, RMS 6, fvrier 2000.
10 H. Ppin,Caractres des groupes abliens discrets dnombrables ou compacts
mtrisables. Applications, RMS 6, fvrier 2000.
11 F. Peter et H. Weyl,Die Vollstndigkeit der primitiven Darstellungen einer geschlossenen
kontinuierlichen Gruppe, Math. Ann 97, 1927.
12 J .P. Pier,L'analyse harmonique, son dveloppement historique, Masson.
13 F. Riesz et B. Sz-Nagy,Functional Analysis, Dover.
14 J .P. Serre,Lie Algebras and Lie Groups, The Benjamin/Cunning Publishing Company).
15 B. Simon,Representation of Finite and Compact Groups, AMS.
16 A. Weil,L'intgration dans les groupes topologiques et ses applications, Hermann.
17 H. Weyl,Sur la reprsentation des groupes continus, L'enseignement Mathmatique, 35,
1927.
18 K. Yosida,Functional Analysis, Springer-Verlag.


113 2 4 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

113 2 4 PDF

Uploaded by

Copyright:

Available Formats

Le thorme d'approximation de Peter-Weyl

You might also like