C HAPITRE IV

ESPACES
DE
HILBERT
ans ce chapitre, comme dans le prcdent, K dsigne soit le corps des nombres rels soit le corps des nombres complexes.  7! 
D dsigne lautomorphisme identique de K lorsque K = R et la conjugaison complexe lorsque K = C .

SECTION IV.1

Formes hermitiennes
SOUS-SECTION IV.1.1

Gnralits
D FINITION IV.1.1.
Soient E et F deux espaces vectoriels sur K . On dit quune application f de E  F dans K est une forme
sesquilinaire si elle vrifie les deux conditions suivantes :
(i) Pour tout y 2 F , lapplication de E dans K x 7! f (x; y ) est linaire ;
(ii) Pour tout x 2 E , lapplication de F dans K y 7! f (x; y ) est semi-linaire (i.e., f (x; y + y 0 ) = f (x; y ) +
f (x; y 0) et, pour  2 K ; f (x; y ) =  f (x; y )).
De plus, si pour tous x 2 E et y 2 F on a f (x; y) = f (y; x) (symtrie hermitienne), on dit que f est une forme
hermitienne.

Remarque IV.1.1. Lorsque K = R, une forme hermitienne sappelle aussi une forme bilinaire symtrique.
P ROPOSITION IV.1.1.
Soient E un espace vectoriel sur K et f une forme sesquilinaire sur E .
1. Si K = C , f est hermitienne si et seulement si pour tout x 2 E , f (x; x) est rel.
2. Pour tous x et y de E; on a :

73
CHAPITRE IV. ESPACES DE HILBERT

(a) Si K = R , et f est hermitienne, 4f (x; y) = f (x + y; x + y) f (x y; x y) ;

(b) Si K = C , 4f (x; y) = f (x + y; x + y) f (x y; x y) + if (x + iy; x + iy) if (x iy; x iy).
Dmonstration. La ncessit du 1. rsulte immdiatement de la symtrie hermitienne et la suffisance rsulte du (b) du 2. Le (a) du 2.
est immdiat et le (b) se vrifie par un calcul direct.

D FINITION IV.1.2.
1. On appelle noyau dune forme hermitienne f sur E lespace vectoriel form des x 2 E tels que 8y 2 E ,
f (x; y ) = 0. On dit quune forme hermitienne sur un espace vectoriel E sur K est non dgnre si son noyau
est rduit f0g.
2. On appelle vecteur isotrope dune forme hermitienne sur E un lment x de E tel que f (x; x) = 0.
3. Deux lments dun espace E sont dit orthogonaux pour une forme hermitienne f si f (x; y ) = 0.

SOUS-SECTION IV.1.2

Formes hermitiennes positives

D FINITION IV.1.3.
Soit E un espace vectoriel sur K . On dit quune forme hermitienne f sur E est positive si, 8x 2 E ,
f (x; x)  0.

P ROPOSITION IV.1.2 (Ingalit de Cauchy-Schwarz ).

Si f est une forme hermitienne positive sur E , on a, pour tous x; y 2 E , jf (x; y)j2  f (x; x)f (y; y).
Dmonstration. En effet, pour tout  2 R, on a f (x + y; x + y)  0, ce qui scrit
2 f (y; y) + 2<f
 (x; y) + f (x; x)  0;

et le discriminant de lquation du second degr en  est ngatif ou nul, cest--dire ( <f (x; y))2  f (x; x)f (y; y), et on conclut en
j
remplaant x par ei# x avec # de sorte que ei# f (x; y ) = f (x; y ) . j
P ROPOSITION IV.1.3.
Soit f une forme hermitienne positive sur E:
1. Un lment x de E est dans le noyau de f si et seulement si il est isotrope. En particulier, f est non
dgnre si et seulement si x 6= 0 implique f (x; x) > 0.
1=2
2. Pour tous x; y 2 E , on a (f (x + y; x + y )  f (x; x)1=2 + f (y; y)1=2 (ingalit de Minkowski)
Dmonstration. Le 1. rsulte aussitt de lingalit de Cauchy-Schwarz. Pour voir le 2., on reprend la preuve de lingalit de Cauchy-
<
Schwarz avec  = 1 ce qui donne f (x + y; x + y ) = f (y; y )+2 f (x; y )+ f (x; x) et on applique lingalit de Cauchy-Schwarz.

C OROLLAIRE .
p
Si f est une forme hermitienne positive sur E alors x 7! f (x; x) est une semi-norme sur E et une norme
si f est non dgnre.

Remarque IV.1.2. Soit f une forme hermitienne non dgnre sur E .

1. Dans lingalit de Cauchy-Schwarz on a galit si et seulement si x et y sont linairement dpendants.
2. Dans lingalit de Minkowski, on a galit si et seulement si on a x = y avec  2 R+ .

Dmonstration. Si x = y , on a f (x; x)f (y; y ) =  2 f (x; x)2 = f (x; y ) 2 , ce qui donne la condition suffisante pour Cauchy-
jj j j
2 
Schwarz, et, si  R, on voit facilement que lon a galit dans lingalit de Minkowski si  0. Rciproquement, supposons que lon
a galit dans lingalit de Cauchy-Schwarz. La dmonstration de cette dernire montre alors quil existe  tel que f (x + y; x + y ) =
0 ce qui signifie que x + y = 0, puisque f est non dgnre. Enfin, si on a galit dans lingalit de Minkowski, la preuve de celle-ci
=
montre que lon a galit dans lingalit de Cauchy-Schwarz, donc x = y , et aussi que f (x; y ) = 0, et, comme f (x; y ) =   f (x; x),
2 
il faut  R, et enfin  0 comme prcdemment.

74 Licence de Mathmatiques Pures de Bordeaux

 IV.2. ESPACES PRHILBERTIENS ET HILBERTIENS

SOUS-SECTION IV.1.3

Exemples de formes hermitiennes

1. Soit lI2 (C ) lespace des familles de carrs sommables (xi )i2I , indexes par I , de nombres
complexes (i.e. (x2i )i sommable ou
( xi 2 )i sommable ce qui revient au mme) . En remarquant que xi yi
j j X
1 xi 2 + yi 2 , il rsulte que la famille (xi yi )i2I
2j j j j j j
est sommable. Si on pose alors f ((xi ); (yi )) = xi yi , f est une forme hermitienne positive non dgnre sur lI2 (C ).
i2I
Z 1
2. Sur lespace C ([0; 1; C ), lapplication f (x; y) = x(t)y(t)dt est une forme hermitienne positive non dgnre.
0

SECTION IV.2

Espaces prhilbertiens et
Hilbertiens
p En termes du chapitre prcdent, lingalit de Minkowski dit que si f est une forme hermitienne sur E , lapplication x 7!
f (x; x) est une semi-norme sur E cest--dire une application de E dans R+ qui vrifie les axiomes des normes sauf ventuellement
kk
le fait que x = 0 implique x = 0. Clairement une semi-norme dfinit un cart sur lespace avec lequel on peut dfinir des boules
(comme avec une distance) et donc une topologie sur E . Ces remarques amnent poser la dfinition suivante :

D FINITION IV.2.1.
On appelle espace prhilbertien un espace vectoriel E muni dune forme hermitienne positive. Celle-ci est
gnralement note hx; y i (ou (xjy )) et est appele le produit scalaire. x 7! kxk = hx; xi1=2 est une semi-
norme sur E , et, E est toujours considr muni de cette semi-norme et de la topologie qui lui est associe. Si
le produit scalaire est non dgnr, cest--dire si lespace topologique E est spar, kxk est une norme et E
est donc considr comme muni de la structure despace norm induite.On appelle espace de Hilbert un espace
prhilbertien spar complet.

Si F est un sous-espace vectoriel dun espace prhilbertien E , lorsque lon parle de lespace prhilbertien F il sagit, sauf mention
expresse du contraire, de lespace obtenu en munissant F de la restriction du produit scalaire de E .
La Proposition qui suit est une consquence immdiate des dfinitions :

P ROPOSITION IV.2.1.
Soient E un espace prhilbertien, x et y deux points de E .
1. On a kx + y k = kxk + ky k + 2< hx; y i. En particulier, si x et y sont orthogonaux, on a kx + y k =
2 2 2 2

kxk2 + kyk2 (Thorme de Pythagore).

x + y 2
+ 12 kx yk2
 
2. On a kx + yk + kx yk = 2 kxk + kyk
2 2 2 2
ou encore kxk + kyk = 2
2 2
2

(Thorme de la mdiane).

D FINITION IV.2.2.
Soient E et F deux espace prhilbertiens. On dit quune application f de E dans F est un homomorphisme
(resp. isomorphisme) despaces prhilbertiens, ou simplement un homomorphisme (resp. isomorphisme), si
f est linaire (resp. linaire bijective) et si elle conserve les produits scalaires cest--dire hf (x); f (y )i = hx; y i.
En particulier, un homomorphisme est une isomtrie.

T HORME IV.2.1 (Compltion des espaces prhilbertiens spars ).

Soit E un espace prhilbertien spar. Alors il existe un unique ( un isomorphisme prs) espace de Hilbert
E^ pour lequel il existe un isomorphisme (despaces prhilbertiens) T^ de E sur un sous-espace dense de E^ .

Philippe Charpentier 75
CHAPITRE IV. ESPACES DE HILBERT

Dmonstration. Compte tenu du Thorme III.1.1, page 53, il nous suffit de voir que si E^ est un espace norm complt de E , on peut
^ dun produit scalaire qui dfinit la structure despace norm. Ceci est trs simple : comme pour la compltion des espaces
munir E
norms, on remarque que lapplication (T^(x); T^ (y )) 7! h i 
x; y est une isomtrie de T^(E ) T^(E ) dans K qui se prolonge donc

E^ E^ en un produit scalaire qui dfinit la norme de E^ .

SECTION IV.3

Exemples
1. K n muni du produit scalaire euclidien est un espace de Hilbert.
2. Si E est un espace prhilbertien, lespace 2
X norm lI (E ) (c.f. Sous-section III.3.4, page 59) est un espace prhilbertien pour le
h i
produit scalaire (xi )i2I ; (yi )i2I = h i
xi ; yi . De plus, si E est complet, lI2 (E ) est un espace de Hilbert (Proposition III.3.12,
i2I
page 59).
Nous verrons plus loin que lI2 (K ) est lexemple fondamental despace de Hilbert, dans le sens o tout espace de Hilbert est
isomorphe un espace de ce type.
Z 1
3. Sur lespace CC ([0; 1) des fonctions continues de [0; 1 dans C , le produit scalaire hf; gi = f (t)g(t)dt dfinit une structure
0
despace prhilbertien non complet. La famille (e2int )n2Z est forme dlments de CC ([0; 1) deux deux orthogonaux et de
normes gales 1 et est totale en vertu du Thorme de Stone-Weierstrass complexe (Corollaire 4, page 39) : pour le voir, on
remarque tout dabord que le Thorme de Stone-Weierstrass implique que lespace vectoriel engendr par la famille (e2int )n2Z
est une algbre uniformment dense dans lespace de Banach des fonctions continues f de [0; 1 dans C telles que f (0) = f (1)
C C
(de la manire suivante : si p ([0; 1) est cet espace, on lidentifie avec lespace (T
) des fonctions continues sur le tore
T = z f 2 jj g
C tels que z = 1 (qui est compact) par lapplication f 7!
g, g e2it = f (t), et, le Thorme de Stone-
n C
Weierstrass complexe implique que la famille (z )n2Z est totale dans (T)), puis on approche toute fonction continue (pour la
norme associe au produit scalaire) par une fonction continue qui prend les mme valeurs en 0 et en 1 ce qui se fait aisment.
Nous verrons dans le dernier paragraphe de ce chapitre dautres exemples classiques de familles orthonormales dans cet
espace.
n=n1
=n2
mX
4. Soit Mn1;n2 (C ) lespace des matrices n1  n2 coefficients complexes. Lapplication (A; B) 7! an;m bn;m , avec A =
n=1
m=1
(an;m ), B = (bn;m ), dfinit, sur Mn1 ;n2 (C ) une structure despace de Hilbert (qui est isomorphe C n1 n2 ).

SECTION IV.4

Projection sur un sous-ensemble

convexe
SOUS-SECTION IV.4.1

Projection sur un convexe spar et complet

T HORME IV.4.1 (Thorme des Projections sur un convexe ).
Soient E un espace prhilbertien, H une partie convexe non vide de E telle que le sous-espace m-
trique H soit spar et complet. Alors, pour tout x 2 E , il existe un et un seul point PH (x) dans H tel que
kx PH (x)k = zinf2H
kx zk. De plus, PH (x) est lunique point y de H tel que, pour tout z 2 H , on ait
< hx y; z yi  0. PH (x) sappelle la projection de x sur H .

76 Licence de Mathmatiques Pures de Bordeaux

 IV.4. PROJECTION SUR UN SOUS-ENSEMBLE CONVEXE

Dmonstration. Posons d = inf kx z k. Le thorme de la mdiane (Proposition IV.2.1, page 75) donne, pour y et t dans H ,
z2H

kx yk2 + kx tk2 = 12 k2x (y + t)k2 + 21 kt yk2 ;

soit ky tk2 = 2 kx yk2 + 2 kx tk2 4 x y+2 t 2 . Comme y+2 t 2 H , par convexit de H , on a x y+2 t  d2, et il vient
ky tk2  2 kx yk2 + 2 kx tk2 4d2 : (IV.4.1)
Lunicit se dduit aussitt de cette ingalit, car, si y et t sont dans H et tels que d = kx y k = kx tk, elle donne ky tk = 0,
et comme H est spar, y = t.
Dmontrons maintenant lexistence. Soit (xn ) une suite dans H telle que lim kx xn k = d. En posant "n = kx xn k2
n!1
d2 ,
(IV.4.1) applique y = xp et t = xq , donne



kxp xq k2  2 d2 + "p + 2 d2 + "q 4d2 = 2 ("p + "q ) ;
ce qui montre que la suite (xn ) est de Cauchy et donc converge dans H puisque ce dernier est
suppos complet, ce qui prouve
lexistence.
2 8 2  
Montrons maintenant la seconde partie du Thorme. Soit z H . Puisque H est convexe, t R, 0 t 1, (1 t)PH (x)+ tz 2
k
H , ce qui implique x PH (x) kk k
x (1 t)PH (x) tz . En levant ceci au carr, il vient
t2 kPH (x) z k2 + 2t< hx PH (x); PH (x) z i  0;
et, en simplifiant par t et en faisant tendre t vers zro, il viens < hx PH (x); z PH (x)i  0. Rciproquement, supposons que
y 2 H soit tel que 8z 2 H on ait < hx y; z yi  0. Alors en crivant kx z k2 = kx y + y z k2 et en dveloppant, il vient
kx zk2  kx yk2, ceci pour tout z 2 H , ce qui montre bien que y = PH (x) et termine la dmonstration du Thorme.
P ROPOSITION IV.4.1.
Soient E un espace prhilbertien, H une partie convexe non vide de E telle que le sous-espace mtrique
H soit spar et complet. Si x et y sont deux points de E on a kPH (x) PH (y )k  kx y k. Autrement dit la
fonction x 7! PH (x) est contractante (donc en particulier continue).

Dmonstration. En effet, en crivant x y = PH (x) PH (y) + (x y (PH (x) PH (y))), il vient

kx yk2 = kPH (x) PH (y)k2 + kx y (PH (x) PH (y))k2 +
+2< hx PH (x); PH (x) PH (y)i + 2< hPH (y) y; PH (x) PH (y)i ;
et, daprs la dernire assertion du Thorme des projections, on a
kx yk2  kPH (x) PH (y)k2 + kx y (PH (x) PH (y))k2 ;
ce qui donne le rsultat.

Les deux propositions qui suivent tudient le comportement de PH (x) par rapport au convexe H .

P ROPOSITION IV.4.2.
Soient E un espace prhilbertien, (Hn )n2N une suite dcroissante de parties convexes
\
non vides de E telles
que, pour tout n, le sous-espace mtrique Hn soit spar et complet, et posons H = Hn . Soit x un point de
n2N
E . Alors :
1. La suite n 7! kx PHn (x)k est croissante.
2. H est non vide si et seulement si il existe x0 2 E tel que sup kx0 PHn (x0 )k < +1.
n2N
3. Si H est non vide, pour tout x 2 E , la suite (PHn (x))n2N est convergente de limite PH (x).

k
Dmonstration. Le 1. est vident, montrons tout dabord le 2. La condition est clairement ncessaire car x PHn (x) kkx y , k
2 k k
pour tout y H . Vrifions quelle est suffisante. Le 1. et lhypothse montrent que la suite ( x0 PHn (x0 ) )n2N est convergente ;
\
 la boule ferme de centre x0 et de rayon d. Alors, par construction, la suite (B Hn )n2N est une suite
soit d sa limite. Soit B
dcroissante de convexes ferms, contenus dans H0 qui est complet, dont le diamtre tends vers zro : en effet, si x et y sont deux
points de B \ 2 \
 Hn , par convexit, 12 (x + y) B Hn , donc x0 12 (x + y) = d "n avec lim "n = 0, et lgalit de la mdiane
n!1
(Proposition IV.2.1, page 75) donne

x y 2 = 1 kx x k2 + ky x k2
x x + y 2

2 2 0 0 0
2
2 2
 d (d "n ) = "n (2d "n ):
\
 Hn est non vide et contient un et un seul
La Proprit de Cantor (Proposition II.7.5, page 24) implique alors que lintersection des B
point y0 qui est ncessairement dans tous les Hn donc dans H qui est donc non vide. Le 3. se dduit du raisonnement ci-dessus car
2 \
PHn (x0 ) B Hn , pour tout n.

Philippe Charpentier 77
CHAPITRE IV. ESPACES DE HILBERT

P ROPOSITION IV.4.3.
Soient E un espace prhilbertien, A une partie convexe non vide telle que le sous-espace mtrique A soit
spar et complet. Soit (Hn )n2N une suite croissante de sous-ensembles convexes non vides de E contenus dans
[
A et tels que, pour tout n le sous-espace mtrique Hn soit complet. Posons H = Hn . Alors H est un sous-
n2N
ensemble convexe non vide de E tel que le sous-espace mtrique H soit spar et complet et, pour tout x de E ,
la suite (PHn (x))n2N converge vers PH (x).

Dmonstration. Clairement H est convexe non vide spar et complet, il faut simplement vrifier la dernire assertion de lnonc.
k k k k
Puisque la suite x PHn (x) est dcroissante elle converge clairement vers x PH (x) . Comme
2 2 2
kx PHn (x)k kx PH (x)k = kPH (x) PHn (x)k + 2< hx PH (x); PH (x) PHn (x)i ;
on obtient que kPH (x) PHn (x)k2 + 2< hx PH (x); PH (x) PHn (x)i est positif ou nul et tend vers zro quand n ! 1, et,
comme < hx PH (x); PH (x) PHn (x)i  0, pour tout n (Thorme IV.4.1, page 76), on obtient que PHn (x) converge vers PH (x)
puisque A est spar.

SOUS-SECTION IV.4.2

Projection sur un cne convexe spar et

complet
Rappelons tout dabord la dfinition dun cne dans un espace vectoriel :

P ROPOSITION IV.4.4.
Soit E un espace vectoriel sur K . On dit quune partie C de E est un cne de sommet x0 2 E si C est
stable par les homothties de centre x0 et de rapport  2 R + (i.e.  > 0). On dit que C est point si x0 2 C .
De plus :
Pour que C  E soit un cne de sommet 0, il faut et il suffit que, pour tout  2 R + , on ait C  C , et
pour que C soit un cne convexe de sommet 0 il faut et il suffit que, pour tout  2 R + , on ait C  C et que
C + C  C . En particulier, un cne C de sommet 0 est convexe si et seulement si C + C  C .
La vrification de cette proposition est immdiate.

P ROPOSITION IV.4.5 (Thorme des Projections sur un cne convexe ).

Soient E un espace prhilbertien et C un cne convexe point de sommet 0 tel que le sous-espace mtrique
C soit spar et complet. Alors, pour tout x 2 E , PC (x) est caractris par les trois proprits suivantes :
(i) PC (x) 2 C ;
(ii) 8z 2 C , < hx PC (x); z i  0 ;
(iii) < hx PC (x); PC (x)i = 0.

8 2 2
Dmonstration. En effet, vrifions tout dabord que ces relation sont satisfaites. C tant un cne convexe, z C , PC (x) + z C , et
2
la relation (ii) rsulte du Thorme des projections (Thorme IV.4.1, page 76). Par ailleurs, comme 0 C , le mme Thorme donne
<h i 2
x PC (x); PC (x) 0, ce qui, confront (ii) donne (iii). Supposons maintenant que y C vrifie les relations (ii) et (iii) (avec
<h i <h i 8 2
PC (x) remplac par y). Alors x y; y = 0 donc x y; z y 0, z C , ce qui donne le rsultat y = PC (x) daprs le
Thorme des projections sur un convexe.

SOUS-SECTION IV.4.3

Projection sur un sous-espace vectoriel

spar et complet
T HORME IV.4.2 (Thorme des Projections sur un sous-espace ).
Soient E un espace prhilbertien et V un sous-espace vectoriel de E tel que le sous-espace mtrique V soit
spar et complet. Alors, pour tout x 2 E , PV (x) est lunique point y de V tel que x y soit orthogonal V .

78 Licence de Mathmatiques Pures de Bordeaux

 IV.4. PROJECTION SUR UN SOUS-ENSEMBLE CONVEXE

2 <h
Dmonstration. Lingalit (ii) du Thorme des projections sur un cne convexe applique z et z , z V , donne x PV (x); z = i
=h i
0. Ceci appliqu iz et iz donne x PV (x); z = 0, ce qui montre que x PV (x) est orthogonal V . Rciproquement, si y V 2
est tel que x y est orthogonal V , le Thorme des projections sur un cne convexe donne y = PV (x).

P ROPOSITION IV.4.6.
Soient E un espace prhilbertien et V un sous-espace vectoriel de E tel que le sous-espace mtrique V soit
spar et complet. Alors, x 7! PV (x) est une application linaire continue de E dans V telle que kPV (x)k 
kxk.
Dmonstration. Cest une consquence immdiate de la Proposition IV.4.1, page 77.

P ROPOSITION IV.4.7 (Thorme des trois perpendiculaires ).

Soient E un espace prhilbertien, V un sous-espace vectoriel spar et complet de E et W un sous-espace
vectoriel ferm de V . Alors, pour tout x 2 E , PW (x) = PW (PV (x)).

2 h
Dmonstration. En effet, pour tout z W , on a PW (PV (x)) PV (x); z i = hPW (PV (x)) x; z i + hx PV (x); z i = 0, ce qui
h i
donne PW (PV (x)) x; z = 0, do le rsultat.

SOUS-SECTION IV.4.4

Dual dun espace de Hilbert

P ROPOSITION IV.4.8.
Soient E un espace prhilbertien et a 2 E . Lapplication x 7! hx; ai est une forme linaire continue sur E .
De plus, si E est spar, la norme de cette forme linaire est kak.

Dmonstration. Ceci est immdiat : lingalit de Cauchy-Schwarz (Proposition IV.1.2, page 74) montre que la norme de la forme
kk
linaire est majore par a , et, en prenant x =
a , on obtient lgalit.
k ak
T HORME IV.4.3 (Dual dun espace de Hilbert ).
Soit E un espace de Hilbert. Pour toute forme linaire continue f sur E , il existe un unique lment xf de
E tel que, pour tout x 2 E , on ait f (x) = hx; xf i. De plus lapplication f 7! xf est une isomtrie semi-linaire
surjective du dual E  de E (muni de sa norme c.f. Dfinition III.4.3, page 64) sur E .
6
Dmonstration. Montrons tout dabord lexistence de xf . Si f = 0, cest vident, supposons donc f = 0. Soit V = ker f ; nous
savons que V est un hyperplan ferm de E (Proposition III.4.5, page 61) donc complet, et, daprs le Thorme IV.4.2, page ci-contre,
2 n
pour x0 E V , u0 = x0 PV (x0 ) est un vecteur non nul orthogonal V . Daprs la Proposition prcdente, g : x 7! h i
x; u0 est
2
une forme linaire continue sur E dont le noyau est V ce qui implique que f et g sont proportionnelles : il existe  C tel que f = g
2 E ; en particulier, pour x = u0, ceci donne f (u0) =  ku0 k2 do xf = kfu(uk02) u0.


cest--dire f (x) =  0
x; u , pour tout x
0
Montrons maintenant la seconde partie de lnonc. La Proposition prcdente montre que f 7! xf est une isomtrie surjective de
E 0 sur E . Il reste dont voir quelle est semi_linaire ce qui rsulte aussitt de lunicit de xf ..
P ROPOSITION IV.4.9.
Pour quune famille (xi )i2I dun espace de Hilbert soit totale (Dfinition III.5.1, page 68), il faut et il suffit
que y 2 E et hxi ; y i = 0, 8i 2 I impliquent y = 0.

Dmonstration. Cest bien sr une consquence immdiate du Thorme prcdent et du Thorme de Hahn-Banach (Thorme III.4.6,
page 63), mais on peut donner un preuve trs simple nutilisant pas laxiome du choix. La condition est videment ncessaire, montrons
2 6 2 n
quelle est suffisante. Soit F le sous-espace ferm de E engendr par les xi , i I . Si F = E , soit x0 E F ; alors x0 PF (x0 ) est
orthogonal F (Thorme IV.4.2) et non nul ce qui contredit lhypothse.

Un exemple classique dutilisation du Thorme sur le dual dun espace de Hilbert est lexistence de ladjoint dun oprateur sur
un espace de Hilbert :

P ROPOSITION IV.4.10.
L
Soient H un espace de Hilbert et T 2 (H ) (i.e. une application linaire continue de H dans lui mme, ce
que lon appelle habituellement un oprateur sur H ). Alors il existe un unique oprateur T  2 (H ) tel que, L
pour tous x et y dans H on ait hT (x); y i = hx; T  (y )i. T  sappelle ladjoint de T . De plus kT  k = kT k.

Philippe Charpentier 79
CHAPITRE IV. ESPACES DE HILBERT

2
Dmonstration. En effet, y H tant fix, lapplication x 7! h i
T (x); y tant une forme linaire continue sur H , daprs le Thorme
IV.4.3, page prcdente, il existe un unique lment T  (y ) de H tel que T (x); y = x; T  (y ) , pour tout x H . De lunicit, on
h i h i 2
dduit aussitt que y 7!T  (y) est linaire. De plus, T  (y) = sup T (x); y , ce qui implique sup T  (y) = T , ce qui
k k jh ij k k k k
kxk1 kyk1
signifie que T  est continu et que sa norme est gale celle de T .

Les proprits suivantes sont des consquences immdiates de la dfinition :

P ROPOSITION IV.4.11.
Soient H un espace de Hilbert et T et U deux oprteurs sur H . Alors :
1. (T  ) = T .
2. Pour tous scalaires  et  , on a (T + U ) =   .
T  + U
 
3. (U T ) = T U . 

SOUS-SECTION IV.4.5

Sous-espaces orthogonaux supplmentaires

D FINITION IV.4.1.
Soient E un espace prhilbertien et F un sous-espace vectoriel de E . On appelle orthogonal de F dans E le
sous-espace vectoriel ferm F ? = fx 2 E tels que 8y 2 F; hx; y i = 0g.

Il est clair que F ? est bien un sous-espace vectoriel ferm de E .

P ROPOSITION IV.4.12.
Soient E un espace prhilbertien et F un sous-espace vectoriel de E .
1. F ? = F ? et, si E est un espace de Hilbert (ou, plus gnralement, si E est spar et F complet), on a

F = (F ? )? .
2. Supposons F est spar et complet. Alors F ? = ker PF et E est somme directe topologique de F et de
F . De plus, si E est spar, (ker PF )? = F , cest--dire, F = (F ? )? .
?
3. Si E est un espace de Hilbert, et si F est ferm, tout lment de E scrit de manire unique x =
PF (x) + PF ? (x), et on a kxk2 = kPF (x)k2 + kPF ? (x)k2 .

Dmonstration. Il est clair que F ? = F ? . Dmontrons tout dabord le 2. Si x F ? , pour tout z F , on a x; z = PF (x); z = 0
2 2 h i h i
ce qui montre que PF (x) = 0 puisque F est spar ; rciproquement, si PF (x) = 0, la mme relation montre que x F ? . Pour 2
2 2
x E , on a x = PF (x) + (x PF (x)), et comme x PF (x) ker PF , on a E = F + ker PF . De plus cette somme est directe car
si x F F ? , on a x = 0 car F est spar. Enfin, comme PF est continue (Proposition IV.4.6), cette somme directe est topologique.
2 \
Enfin, il est vident que F (ker PF )? , et, si x (ker PF )? , on a 0 = x; x PF (x) = PF (x); x PF (x) , ce qui montre
2 h i h i
que x = PF (x) puisque E est spar. La seconde assertion du 1. se dduit alors aussitt du 2. puisque F est alors complet. Le 3. est
maintenant vident car, ce qui prcde montre que Id PF = PF ? .

Remarque IV.4.1. Mme si E est spar, si F nest pas complet, la seconde assertion du 1. peut tre mise en dfaut : il se peut
que F soit strictement contenu dans (F ? )? . Par exemple, dans lN2 (C ), en notant ei = (ij )j (symbole de Kronecker), soit E lespace
1
1 e et soit F le sous-espace propre de E engendr par les e ,
X
vectoriel engendr par les ei tels que i  2 et par le vecteur a = i i
i=1 i
i  2. On voit alors aisment que F est ferm dans E et que F ? = f0g, ce qui montre que (F ? )? = E .

80 Licence de Mathmatiques Pures de Bordeaux

 IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

SECTION IV.5

Sommes hilbertiennes et bases

hilbertiennes
SOUS-SECTION IV.5.1

Somme hilbertienne externe despaces de

Hilbert
P ROPOSITION IV.5.1.
Y
Soit (Ei )i2I une famille despaces de Hilbert. Le sous-espace Ei form des x = (xi )i2I tels
G de
i2I
que xi =X 0 sauf au plus pour un nombre fini dindices i 2 I (i.e. support fini) muni du produit scalaire
hx; yi = hxi ; yi i est un espace prhilbertien spar. On appelle somme hilbertienne externe des Ei , i 2 I ,
i2MI
et on note Ei , lespace de Hilbert complt de G.
i2I

Dmonstration. La seule chose voir, est que G est bien un espace prhilbertien spar, ce qui est vident.

T HORME IV.5.1.
Y
Soient (Ei )i2I une famille despaces de Hilbert et E le sous-espace vectoriel de Ei form des points
X
i2I
x = (xi )i2I tels que kxi k2 < +1 (i.e. la famille (kxi k2 )i2I est sommable). Alors :
i2I
1. Pour tous x = (xi )i2XI et (yi )i2I de E , la famille (hxi ; yi i)i2I est sommable.
2. Si on pose hx; y i = hxi yi i, x = (xi)i2I 2 E , (yi )i2I 2 E , alors hx; yi est une forme hermitienne
i2I
positive non dgnre sur E qui dfinit une structure despace de Hilbert isomorphe le somme hilbertienne
externe des Ei , i 2 I . On identifie ainsi toujours la somme hilbertienne externe des Ei lespace de Hilbert E .

Dmonstration. Le fait que E est un espace vectoriel rsulte de lingalit

kxi + yi k2  2(kxik2 + kyi k2):

Par Cauchy-Schwarz, on a dautre part jhxi ; yi ij  kxi k kyi k, donc jhxi ; yi ij  12 (kxi k2 + kyi k2 ), ce qui donne le 1. Dmontrons
maintenant le 2. Le fait que hx; y i est une forme hermitienne positive est immdiat compte tenu du 1. (Proposition III.3.11, page 57)
et la non dgnrescence viens du fait que les Ei sont des espaces de Hilbert. La seule chose dmontrer est la dernire assertion. Il
est clair que lespace G de la Proposition prcdents est contenu dans E et que le produit scalaire de E restreint G est celui de G.
Nous devons donc simplement voir que G est dense dans E et que E est complet. La densit de G dans E est vidente par le critre de
Cauchy pour les familles sommables, il nous reste seulement voir que E est complet. Or, si (xn )n2N = ((xn i )i2I )n2N est une suite
de Cauchy dans E , il est clair que, pour tout i, (xn 2
i )n2N est une suite de Cauchy dans Ei et donc converge vers xi Ei et comme,

pour tout " > 0, il existe un entier n" tel que, pour n n" et toute partie finie K de I on a
X n+p
x
i xni 2  ";
i2K
X X
on en dduit, en faisant tendre p vers linfini, kxi xni k2  ", pour toute partie finie K de I , soit kxi xni k2  ", pour
i2K i2I
n  n" , ce qui montre que (xn )n2N converge vers (xi )i2I et termine la preuve.

P ROPOSITION IV.5.2.
Soit E la somme hilbertienne externe dune famille despaces de Hilbert (Ei )i2I . Pour tout i 2 I , soit
fi lapplication de Ei dans E dfinie par fi (x) = (yi )i2I , , avec, yj = 0, si j 6= i, et yi = x. Alors fi est
un isomorphisme (despaces de Hilbert) de Ei sur un sous-espace ferm de E , et on identifie toujours Ei ce

Philippe Charpentier 81
CHAPITRE IV. ESPACES DE HILBERT

sous-espace au moyen de fi . De plus, cette identification tant

[
faite, les Ei sont des sous-espace deux deux
orthogonaux de E et le sous-espace vectoriel engendr par Ei est dense dans E .
i2I
Dmonstration. Le fait que fi est un isomorphisme est vident, lorthogonalit deux deux des Ei aussi, et la dernire assertion rsulte
de la dmonstration du Thorme prcdent.

SOUS-SECTION IV.5.2

Somme hilbertienne de sous-espaces

orthogonaux
D FINITION IV.5.1.
Soient E un espace de Hilbert et (Ei )i2I une famille de sous-espaces de E . On dit que E est somme
hilbertienne des Ei si les deux conditions suivantes sont satisfaites :
(i) Chaque Ei est ferm et les Ei sont deux[ deux orthogonaux ;
(ii) Le sous-espace vectoriel engendr par Ei est dense dans E .
i2I

P ROPOSITION IV.5.3.
Soit E un espace de Hilbert somme hilbertienne des lments dune famille de sous-espaces Ei , i 2 I , de
E . Alors il existe un unique isomorphisme (despaces de Hilbert) f de E sur la somme hilbertienne externe E~
des Ei tel que (chaque Ei tant identifi un sous-espace de E ~ comme dans la Proposition prcdente), pour
chaque i 2 I , fjEi = IdEi . Ainsi E sidentifie canoniquement lespace des familles (xi )i2I , xi 2 Ei , telles
X
que la famille (kxi k )i2I soit sommable dans R , muni du produit scalaire hx; y i = hxi ; yii, et donc de la
2

i2I
 1=2 X
norme k(xi )i2I k = i2I kxi k
P 2
. Autrement dit, E est lensemble des sommes xi o (xi )i2I est une
i2I
famille sommable dans E telle que dune part xi 2 Ei , 8i 2 I , et, dautre part, que la famille (kxi k )i2I
2

soit sommable dans R (ce qui implique la sommabilit de la famille (xi )i2I dans E ) ; le produit scalaire est
* + !1=2
X X X X X
xi ; yi = hxi ; yii et la norme xi = kxi k2 .
i2I i2I i2I i2I i2I

[ X
Dmonstration. En effet, si G dsigne lespace vectoriel engendr par Ei , et si x et y sont deux lments de G, on a x = xi et
X i2I
X X i2K
y= yi , K partie finie de I , ces critures tant uniques, et hx; yi = hxi ; yi i, ce qui montre que lapplication xi 7! (yi )i2I ,
i2K i2K i2K1
avec yj = xj , si j 2 K , et yi = 0 sinon, est un isomorphisme de G sur un sous-espace dense de E ~ qui se prolonge donc E tout entier.
Pour conclure, lunicit de f tant vidente, il suffit de remarquer que, si  est cet isomorphisme, (E ) est ncessairement complet
~ puisque ce dernier est le complt de (G).
donc gal E

On remarquera que la sommabilit de (k xi k2 )i2 I implique la sommabilit de (xi )i2I dans E puisque, par le Thorme de Py-
X 2 X
thagore, si K
est une partie finie de I , on a

xi = kxi k2, les espaces Ei tant deux deux orthogonaux. Par ailleurs, si
i2K i2K X
PEi dsigne le projecteur orthogonal de E sur Ei , alors, clairement, pour toute somme finie de la forme x = xj , i 2 K , on a
P
j 2K
PEi (x) = xi , et, par continuit, on a PEi i2I xi = xi pour tout lment de E . Ainsi :
C OROLLAIRE .
Soit E un espace de Hilbert somme hilbertienne dune famille (Ei )i2I de sous-espaces. Pour tout i 2 I soit
Pi la projection orthogonale de E sur le sous-espace Ei . Pour tout x de E la famille (Pi (x))i2I est sommable
dans E de somme x etX la famille (kPi (x)k )i2I est sommable dans R de somme kxk . De plus, pour tous x et y
2 2

dans E on a hx; y i = hPi (x); Pi(y)i.

i2I

82 Licence de Mathmatiques Pures de Bordeaux

 IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

Dans le cas des espaces prhilbertiens, on a un rsultat un peu plus faible :

P ROPOSITION IV.5.4.
Soient E un espace prhilbertien spar et (Ei )i2I une famille de sous-espaces vectoriels complets deux
deux orthogonaux. Pour tout i 2 I soit Pi le projecteur orthogonal de E sur Ei , et, pour tout i 2 I et tout
x 2 E , notons xi = Pi (x). Soit
X
enfin V le sous-espace vectoriel ferm engendr par la runion des Ei .
1. Pour tout x 2 E on a kxi k2  kxk2 ;
i2I
2. Les conditions suivantes sont quivalentes :
(a) x
X
2V ;
(b) kxi k2 = kxk2 ;
i2I X
(c) La famille (xi )i2I est sommable dans E et on a x = xi .
X
i2 I X
3. Si V est complet, la famille (xi )i2I est sommable dans E et on a xi = PV (x) et kxi k2 = kPV (x)k2 ,
i2I i2I
o PV dsigne le projecteur orthogonal sur V .

Dmonstration. Soit E^ lespace hilbertien complt de E . Les Ei tant complets, ce sont des sous-espaces ferms de E^ . Soit V
ladhrence de V dans E^ et W lorthogonal de V dans E^ de sorte que E^ est somme hilbertienne de V et de W donc des Ei et de W .
X X
^ , on a x 2 = PW (x) 2 +
Le Corollaire prcdent montre alors que, dans E kk k xi 2 et x = PW (x) + xi , ce qui montre le 1.
kk k
i2I i2I
Les conditions (b) et (c) du 2. sont quivalentes PW (x) = 0 ce qui quivaut x 2 V \ E = V puisque V est ferm dans E . Enfin,
si V est complet, on a xi = Pi (PV (x)) pour tout i et il suffit dappliquer 2. PV (x).

SOUS-SECTION IV.5.3

Familles orthonormales et bases

hilbertiennes
D FINITION IV.5.2.
On dit quune famille (ei )i2I dlments dun espace prhilbertien est orthogonale si, pour i 6= j , on a
hei ; ej i = 0. On dit que (ei )i2I est orthonormale si elle est orthogonale et si de plus,pour tout i 2 I , kei k = 1.
P ROPOSITION IV.5.5.
Soient E un espace prhilbertien spar, (ei )i2I une famille orthonormale dans E et V le sous-espace
vectoriel ferm engendr par les ei .
X
1. Pour tout x 2 E , on a jhx; ei ij2  kxk2 (Ingalit de Bessel). En particulier, lensemble des i 2 I tels
i2I
que hx; ei i 6= 0, est dnombrable.
2. Les conditions suivantes sont quivalentes :
(a) x2V ;
X
(b) kxk2 = jhx; ei ij2 ;
i2I
X
(c) La famille (hx; ei i ei )i2I est sommable dans E et x = hx; ei i ei .
i2I
X
3. Pour tous x et y dans V on a hx; y i = hx; ei i hy; eii.
i2I
4. Si de plus V est complet, on a :
(a) Pour tout x dans E , la famille (hx; ei i ei )i2I est sommable dans E et on a
X X
hx; ei i ei = PV (x) et jhx; eiij2 = kPV (x)k :
i2I i2I

Philippe Charpentier 83
CHAPITRE IV. ESPACES DE HILBERT

X
(b) Rciproquement, pour toute famille (i )i2I de scalaires telle que ji j2 < +1, il existe un et un
i2I
seul point x dans V tel que hx; ei i = i pour tout i 2 I .
(c) Si x et y sont deux points quelconques de E on a hPV (x); PV (y )i = i2I hx; ei i hy; ei i.
P

2
Dmonstration. Remarquons que si on pose Di = K ei , i I , les sous-espaces Di sont spars, complets et deux deux orthogonaux
2 h i
et, pour x E , on a PDi (x) = x; ei ei , et on est dans les conditions de la Proposition IV.5.4, page prcdente, ce qui donne aussitt
^ complt de E , et en considrant ladhrence de V dans E^ , on voit aussi que 3
1., 2. et 4. (a). En se plaant dans lespace de Hilbert E
et 4. (b) rsultent la Proposition IV.5.3, page 82 et de son Corollaire. Enfin 4. (c) rsulte de 3.

P ROPOSITION IV.5.6.
Soit (ei )i2I une famille orthonormale dans un espace prhilbertien spar E . Les proprits suivantes sont
quivalentes :
(a) La famille (ei )i2I est totale (Dfinition III.5.1, page 68). X
(b) Pour tout x dans E , la famille (hx; ei i ei )i2I est sommable dans E et x = hx; ei i ei .
X
i2 I
(c) Pour tout x dans E , kxk = jhx; ei ij2 (Identit de Parseval).
2

i2I X
(d) Pour tous x et y dans E , hx; y i = hx; ei i hy; ei i (Identit de Parseval).
i2I
De plus, lorsque E est un espace de Hilbert, ces proprits sont aussi quivalentes la suivante :
(e) Les conditions hx; ei i = 0, 8i 2 I , impliquent x = 0.
Lorsque ces conditions sont ralises, on dit que la famille (ei )i2I est une base hilbertienne de lespace
prhilbertien E . De plus, lapplication x 7! (hx; ei i)i2I est un isomorphisme de E dans lI2 (K ).

Dmonstration. Lquivalence entre (a), (b) et (c) rsulte aussitt de la Proposition prcdente. Il en est de mme de (a) )
(d) si on se
place dans lespace de Hilbert complt de E , et (d) implique clairement (c). Enfin, lquivalence entre (a) et (e) lorsque E est complet
rsulte de la Proposition IV.4.9, page 79.

SOUS-SECTION IV.5.4

Orthonormalisation, existence des bases

hilbertiennes
T HORME IV.5.2 (Thorme de la base incomplte ).
Soit E un espace de Hilbert. Toute famille orthonormale dlments de E est contenue dans une base
hilbertienne de E . En particulier, tout espace de Hilbert possde une base hilbertienne. De plus, si (ei )i2I est
une base hilbertienne de E alors E isomorphe lI2 (K ).

D
Dmonstration. Soit (xi )i2I une famille dlments unitaires de E deux deux orthogonaux. Soit lensemble des parties de E dont
les lments sont deux deux orthogonaux et unitaires. Ordonnons D par inclusion. Il est clair queDest inductif (i.e. toute partie
D f 2 g D
totalement ordonne de admet un majorant). Si L = xi ; i I , alors L appartient et le lemme de Zorn implique quil existe
D
un lment maximal B de contenant L. Pour voir que les lments de B forment une base hilbertienne de E il suffit de voir que
6
B est totale. Or si tel nest pas le cas, daprs la Proposition IV.4.9, page 79, il existe y = 0 dans E orthogonal B . Comme on peut
supposer y de norme 1, B [f g D
y appartient ce qui contredit la maximalit de B . La dernire assertion du Thorme se voit en
considrant lapplication x 7! h i
( x; ei )i2I , en vertu du 4. de la Proposition IV.5.5, page prcdente.

P ROPOSITION IV.5.7 (Procd dorthonormalisation de Schmidt ).

SoientE un espace prhilbertien spar et (an )n2N une famille dnombrable dlments de E . Il existe une
et une seule famille orthonormale (en )n2N possdant les proprits suivantes :
1. Pour tout entier p > 0, le sous-espace vectoriel engendr par fe1 ; : : : ; ep g est identique au sous-espace
vectoriel engendr par fa1 ; : : : ; ap g.
2. Pour tout indice n, han ; en i > 0.

Dmonstration. En effet, construisons les en par rcurrence sur n. Supposons ei construits pour 1 i   n. Le sous-espace Vn
 
engendr par les ai 1 i n, tant complet (car de dimension finie (Proposition III.5.3, page 67)) posons bn+1 = an+1 PVn (an+1 ).

84 Licence de Mathmatiques Pures de Bordeaux

 IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

Comme K bn+1 est le supplmentaire orthogonal de Vn dans Vn+1 , si en+1 satisfait 1., on doit avoir en+1 = bn+1 . Alors, il faut
j jk k h i
 bn+1 = 1 et  an+1 ; bn+1 > 0, ce qui dtermine entirement . Do lexistence et lunicit.
C OROLLAIRE .
Dans tout espace prhilbertien spar sparable il existe une base hilbertienne dnombrable. Le cardinal
dune base hilbertienne sappelle la dimension hilbertienne de lespace de Hilbert.

Remarque IV.5.1. On notera quil existe des espaces prhilbertiens spars qui ne possdent pas de bases hilbertiennes.

T HORME IV.5.3.
Dans un espace de Hilbert deux bases hilbertiennes sont quipotentes. De plus si (ei )i2I et (fi )i2J sont deux
bases hilbertiennes dun espace de Hilbert H il existe un automorphisme (i.e. conservant le produit scalaire) de
H qui transforme lune en lautre.
Dmonstration. Soient B et C deux bases hilbertiennes dun espace de Hilbert E . Si lune des deux bases est finie, le rsultat est trivial
2 f 2
puisqualors E est de dimension finie. Supposons donc ces deux bases infinies.Pour tout x B , soit Ax = y C tels que x; y = h i6
g
0 . Daprs le 1. de la Proposition IV.5.5, page 83, Ax est dnombrable. Comme B est une base hilbertienne, pour tout y C , il existe 2
2 h i6 2
x B tel que x; y = 0, ce qui montre que C est runion des ensembles dnombrables Ax , x B . Il existe donc une injection de C

dans N B , et donc, daprs le Corollaire 1 du Thorme B.3.2, page 113, une injection de C dans B . On conclut alors en changeant
les rles de B et C et en utilisant le Thorme de Cantor-Bernstein (Thorme B.1.1, page 111). La dernire assertion du Thorme se
voit trs simplement : si ' est le bijection entre les deux bases, par linarit, on construit une bijection linaire conservant le produit
scalaire entre lespace vectoriel engendr par la premire base et celui engendr par la seconde. Comme cette bijection est uniformment
continue (conservation du produit scalaire), elle se prolonge H (Proposition II.7.12, page 28) et on conclut en changeant les rles de
deux bases.

En se plaant dans le complt dun espace prhilbertien spar, les rsultats prcdents conduisent immdiatement la remarque
suivante :

Remarque IV.5.2. Si (ei )i2I est une base hilbertienne dun espace prhilbertien spar E alors Ex 7! (hx; ei i)i2I est une
isomtrie de E sur un sous-espace dense de lI2 (K ).

SOUS-SECTION IV.5.5

Exemples de bases hilbertiennes

1. Lexemple de base est bien sr lespace lI2 (K ), comme nous lavons vu dans les paragraphes prcdents : la famille (ei )i2I
dfinie par ei = (ij )j 2I avec ij = ij (ij symbole de Kronecker) est une base hilbertienne.
2. LExemple 3, page 76, montre que la famille (e2int )n2Z est une base hilbertienne. Cet exemple est naturellement relier la
thorie des sries de Fourier.
Z 1
3. Reprenons lespace prhilbertien de lexemple prcdent ( CC ([0; 1) avec le produit scalaire hf; gi = f (t)g(t)dt). Si on
0
orthonormalise le systme (tn ) n2N (qui est libre) on obtient un systme orthonorm (Pn )n2N , o les Pn sont les polynmes de
Legendre r
n
Pn (t) = n1 n + 1 d n 1 t2 n :


2 n! 2 dt
Les polynmes tant uniformment denses dans CC ([0; 1), daprs le Thorme de Stone-Weierstrass, la famille (Pn )n2N est
une base hilbertienne.
Z
4. Soit C! (R) lespace prhilbertien des fonctions continues f sur R telles que jf (t)j2 !(t)dt, avec !(t) = e t2 , muni du
Z R

produit scalaire hf; g i = f (t)g(t)!(t)dt. Alors, la famille (Hn )n2N forme des polynmes de Hermite
R
n
Hn (t) = 2 2  4 n!( 1)n t2 d n [e u (t); n  1; H0 (t) =  4 ;
n 1 2 1
dt
est une base hilbertienne.
5. Soit CC ([a; b) lespace prhilbertien des fonctions continues valeurs complexes sur le segment [a; b muni du produit scalaire
Z b
hf; gi = f (t)g(t)dt:
a

Philippe Charpentier 85
CHAPITRE IV. ESPACES DE HILBERT

La famille (Sn )n2N forme des fonctions

r    
sin  n + 1 t a ;
2
Sn (t) =
b a 2 b a
est une base hilbertienne.

Exercices
Exercice IV.1.

Soit E = C ([0; 1; C ) lespace des fonctions continues sur [0; 1 valeurs dans C . On considre sur E E lapplication (f; g )
R
7!
hf; g = 01 f (x)g(x)dx. Dmontrer que cette application est une forme hermitienne non dgnre positive. Lespace E muni de ce
i
produit scalaire est il un espace de Hilbert ?

Exercice IV.2.
Soient E et F deux espaces prhilbertiens rels, F espace spar, et f une application de E dans F telle que f (0) = 0 et f (x) k f (y)k =
k k
x y pour tout couple (x; y) dlments de E . Dmontrer que f conserve le produit scalaire (cest--dire : (x; y) 8 2 E
h i h i
E; f (x); f (y) = x; y) ) et que f est linaire.
Exercice IV.3.
kk
Soit (E; : ) un espace norm rel.
1. Dmontrer que la norme de E provient dun produit scalaire si et seulement si : 8(x; y) 2 E  E; kx + yk2 + kx yk2 =
2( x 2 + y 2 ) (thorme de la mdiane).
kk kk
2. Pour quelle(s) valeur(s) du rel p  1, la norme usuelle de lespace lp est elle dfinie par un produit scalaire ?
Exercice IV.4.
1. Dans lespace l2 = l2 (N ; C ), on dsigne par C = fx = (xn ) 2 l2 tel que 8n 2 N ; xn  0g. Dmontrer que C est un cne
convexe ferm et dterminer la projection sur C .
kk
2. Soit E = C ([0; 1; C ) lespace des fonctions continues sur [0; 1 valeurs dans C muni de la norme : 2 et F le sous espace des
fonctions constantes. Dmontrer que F est un sous espace complet de E et dterminer la projection sur F .

Exercice IV.5.
Soit E un espace de Hilbert.
1. Soit F un sous espace ferm de E non rduit f0g et p la projection orthogonale de E sur F . Dmontrer que
(a) p = p p;
(b) 8(x; y ) 2 E  E; hp(x); y )i = hx; p(y )i ;
(c) kpk = 1.
2. On suppose que p est une application de E dans E vrifiant les proprits (a) et (b) prcdentes ou bien que p est une application
linaire continue de E dans E vrifiant la proprit a) et kpk  1. Dmontrer quil existe un sous espace ferm F de E tel que
p soit la projection orthogonale de E sur F .
Exercice IV.6.
Soit E un espace vectoriel sur K = R ou C muni dune forme hermitienne non dgnre positive h
i ; Dans tout lexercice, A et B
dsignent des parties de E .
1. Dmontrer les assertions suivantes :
(a) A  B ) A?  B ? ;
(b) (A [ B )? = A? \ B ? ;
(c) A  A?? ;
(d) A \ A? = f0g.
2. Si E est un espace de Hilbert, alors A?? est gal ladhrence du sous espace vectoriel engendr par A.

Exercice IV.7.
Soit E un espace de Hilbert ; F un sous espace ferm de E et x0 un point de E .

86 Licence de Mathmatiques Pures de Bordeaux

 EXERCICES

1. Dmontrer que min fkx x0 k ; x 2 F g = maxfj hx0 ; yi j; y 2 F ? et kyk = 1g.

Z 1
2. Calculer min
a;b2R
jx2 a bxj2 dx .
1

Exercice IV.8.
C
Lespace ([0; 2 ; C ) est muni du produit scalaire usuel et P C ([0; 2; C ) dans lui-mme
est lapplication linaire continue de
Z 2
dfinie de la faon suivante : Si x 2 C ([0; 2 ; C ) et y = P (x), alors y (t) =
1 (1 + ei ( t s ) + e i(t s))x(s)ds. Dmontrer que
2
2 0
P est le projecteur orthogonal sur un sous espace vectoriel dterminer.
Exercice IV.9.
k:k1 ; u la forme linaire dfinie sur E par u(x) = x2nn et F son noyau. Montrer que F est ferm
X
Soient E = 0 muni de la norme
n0
et que si a 2
= F , il nexiste pas dlments b 2 F tel que d(a; F ) = ka bk1 . Quelle remarque peut on faire ?

Exercice IV.10.
Donner une dmonstration simple du thorme de Hahn-Banach dans un espace de Hilbert.

Exercice IV.11.
1. Soit  = (n )n une suite borne de nombres complexes et T lapplication linaire de l2 = l2 (N ; C ) dans lui-mme dfinie par
2
T (x) = (n xn )n ; x l2 . Dterminer ladjoint de T .
2. Soit S lapplication linaire de l2 = l2 (N ; C ) dans lui-mme dfinie par S (x) = (yn )n ; y0 = 0; yn = xn 1 si n > 0 ; x 2 l2 .
Dterminer ladjoint de S .
C
3. On dsigne par E lespace de Hilbert complt de ([0; 1; C ) muni du produit scalaire usuel et par K une application continue

de [0; 1 [0; 1 dans C . On dfinit C
R une application linaire T de ([0; 1; C ) dans lui-mme de la faon suivante : si f 2
([0; 1; C ), on pose T (f )(x) = 01 K (x; y)f (y)dy. Dmontrer que T est une application linaire continue et en dduire que
C
T admet un prolongement linaire continu E , not S . Dterminer S  (g) lorsque g est un lment quelconque de ([0; 1; C ). C
Exercice IV.12.
Soit u une application linaire continue de l2 dans lui-mme.
1. On dsigne par en llment de l2 dont toutes les composantes sont nulles sauf celle de rang n qui vaut 1.
1
X
(a) La famille fen g est elle une base hibertienne ? Pour tout n, on peut crire u(en ) = mn em o les mn sont des
m=0
nombres complexes et la srie converge dans l2 .
X 1
X
(b) Dmontrer que pour tout n la srie jmn j2 converge et que sa somme jmn j2 est  kuk2.
m m=0
(c) Soit, pour tout entier m, lapplication 'm : l2 !
C , 'm (x) = u(x); em . Dmontrer quil existe y l2 tel que
h i Xpour tout2
2
22 h i
x l , on ait 'm (x) = x; y . Dterminer la norme de 'm laide de y. En dduire que pour tout m la srie mn j j
n
1
X
converge et que sa somme jmn j2 est  kuk2 .
n=0
2. On suppose maintenant que fen g est une base hilbertienne quelconque. Les rsultats prcdents sont ils encore vrais ?
Exercice IV.13.
Soit E un espace de Hilbert et T une application linaire continue de E dans lui-mme. Montrer que les deux assertions suivantes sont
quivalentes :
1. Il existe un sous espace ferm F de E invariant par T (i.e. T (F )  F ), non trivial.
2. Il existe deux vecteurs x; y de E non nuls tels que y soit orthogonal lensemble fT n (x) ; n 2 N g.
Exercice IV.14.
f g
Soit E un espace de Hilbert muni dune base hilbertienne en n2N . Soient an = e2n et bn 1 e2n+1 . On dsigne par
= e2n + n+1
A (resp.B ) le sous espace vectoriel ferm de E engendr par les an (resp. bn ). Montrer que :
1. A \ B = f0g.
P
1
X
2. La srie (bn an ) converge dans E et sa somme (bn an ) nappartient pas A + B .
n=0
3. A + B = E.

Philippe Charpentier 87
CHAPITRE IV. ESPACES DE HILBERT

Exercice IV.15.
Soient H un espace de Hilbert et (en )n1 une suite libre, totale, dlments de H . On suppose que :
X
(i) 8x 2 H; j hx; en i j2  C kxk2
n1
(ii) 8(n ) 2 l2 ; 9x 2 H t.q. 8n 2 N  ; hx; en i = n .
1. Dmontrer quil existe une base hilbertienne (an )n2N  de H telle que pour tout n 2 N  , les vecteurs ei; 1  i  n et les
 
ai ; 1 i n engendrent le mme sous espace vectoriel.
X
2. Dmontrer que lapplication T dfini par T (x) = hx; eni an est linaire continu de H dans H et que son oprateur adjoint
n1
Q vrifie Q(an ) = en pour tout n 2 N  .
3. Dmontrer que T est un isomorphisme de H sur lui-mme. En dduire que Q est aussi un isomorphisme de H sur lui-mme.

88 Licence de Mathmatiques Pures de Bordeaux