Chapitre 3 : Espaces de Hilbert

Les plus importants (et les plus simples) parmi les espaces de Banach.
Généralisation en dimension infinie des espaces euclidiens et hermitiens.
Le produit scalaire définissant la structure de Hilbert permet de donner un sens à des concepts
fondamentaux de la géométrie euclidienne classique tels que la notion d’orthogonalité.
Dans ce chapitre on supposera toujours que K = C.
Sauf mention contraire, les définitions et propriétés qu’on introduira restent vraies lorsque on
considère des espaces sur K = R (en posant ∏ = ∏ pour ∏ 2 R).

§ 1. Espaces préhilbertiens

Définition 1
Soit H un e.v. sur C. On appelle produit scalaire sur H une application

h·, ·i : H £ H ! C
(x , y ) 7! hx , y i
qui possède les propriétés suivantes :
1 Pour tout y 2 H, l’application H ! C définie par x ! hx , y i est linéaire.
C-①
2 hy , x i = hx , y i pour tout x , y 2 H.
3

4
hx , x i ∏ 0 pour tout x 2 H.
Si hx , x i = 0, alors x = 0.
jiimiioiiiins %da.gs?Ilitniso..o.s=say.o.s=osy.oHs--
H
o

On appelle espace préhilbertien un e.v. sur C muni d’un produit scalaire.

A. Pasquale Analyse 9 novembre 2020 5 / 15

 h·, ·i : H £ H ! C est un produit scalaire lorsque :
1 Pour tout y 2 H, l’application H ! C définie par x ! hx , y i est linéaire.
2 hy , x i = hx , y i pour tout x , y 2 H.
3 hx , x i ∏ 0 pour tout x 2 H.
4 Si hx , x i = 0, alors x = 0.

Remarques : •
If .
tklytyl > =sRyty;D My .my/.x3=IsypT7tlytxT
1 ○
1 + ○
2 ) ○’
1 où : ⑤ Essay > toe y )
'
,

○’
1 : pour tout x 2 H, l’application H ! C définie par y ! hx , y i est semi-linéaire, c’est-à-dire :
pour tous y , y 0 2 H et ∏ 2 C on a hx , ∏y + y 0 i = ∏hx , y i + hx , y 0 i .
2 Une application h·, ·i : H £ H ! C qui satisfait :
○
1 + ○’
1 est dite une forme sesquilinéaire [ou bilinéaire si K = R et ∏ = ∏]
○
2 est dite hermitienne [ou symétrique si K = R et ∏ = ∏]
○
3 est dite positive,

○
4 est dite définie.

A. Pasquale Analyse 9 novembre 2020 6 / 15

 Exemples :
P
H = Cn , hx , y i = nj=1 xj yj pour tout x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) 2 Cn .
P
[Si K = R, on modifie en : H = Rn , hx , y i = nj=1 xj yj pour tout
x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) 2 Rn .]
P
H = `2 (C), hx , y i = 1 x y pour tout x = (xn ), y = (yn ) 2 `2 (C)
j =1 j j
Ce sont des cas particuliers du suivant :
R
H = L2 (X , M , µ), hf , g i = X f (x)g (x) d µ(x) pour tout f , g 2 L2 (X , M , µ).
-
L'
os@y3a2_zattf2.d ni
'

g
Remarque :
•
Le produit scalaire sur L2 (X , M , µ) est bien défini : ≥ ¥
pour tout a ∏ 0, b ∏ 0 on a : ab ∑ 12 (a2 + b 2 ), d’où : |f g | ∑ 1 2 2
2 |f | + | g | . avec at fl ,
er I g- I
at dome
{ Ifg- 1dg E
ICH flight Hglbi) so ,
d nd
'
fgE UH mid) , et s
fig> est him dif .

① VGEK frat ft Sf
effgdplvniaireClvniawhdeS7@sg.f
,
, g)

of gfdpsffojdT-sf.gg
>
[
{ tidy =fhdT ] car

③ Sff)
fff dye § 1812dg
=

70
iad dans 14km y )
④ Sf f)
,
=
5×1812 dy 30 ⇐ Ifl 2=0 µ pop
-

.
fo p pop
-

. , f -
- a ,

A. Pasquale Analyse 9 novembre 2020 7 / 15

Théorème 1 (Inégalité de Cauchy-Schwarz)
Soit (H , h·, ·i) un espace préhilbertien. Alors, pour tout x , y 2 H on a :

hx , y i2 ∑ hx , x ihy , y i .
11044112=4,xKy,y >
L’égalité ya lieu si et seulement si x et y sont linéairement dépendants.

Preuve. Novi TD n°5 ( dans Ucas 11<=112 et 1K=Q ) ☐

Remarque :
La preuve de l’inégalité de Cauchy-Schwarz utilise les propriétés ○,
1 ○2 et ○
3 de la définition de
produit scalaire, mais n’utilise pas la propriété ○
4
(○=
4 h·, ·i est une forme définie, c’est-à-dire, si hx , x i = 0 alors x = 0).
On a toutefois besoin de ○
4 pour montrer qua
i. l’égalité a lieu si et seulement si x et y sont
colinéaires.

A. Pasquale Analyse 9 novembre 2020 8 / 15

 Dans cette notation , e'
Si (H , h·, ·i) est un espace préhilbertien, on pose imégahté de

p Cauchy -
Schwarz
V-x.yc.lt:

kx k = hx , x i pour tout x 2 H . Kay > 12 ! tricky y> ,

dévient : toe ,yeH

1121-4112=11412-12864 My> + 1kg112
Kx y>I 51104111411
Lemme 1 ,

p
L’application k · k : H ! R+ donnée par x ! kx k = hx , x i est une norme sur H.

V-xc-H.V-xc-H.lt/eQomallkxl1=lAl lx1l.Emeffetilitxlf=iIx,ak
Preuve. •
11.11 est him défimii et ai valuers dams 112-1 care Geisel 70

) =
Alisa ,n)= 1012112412
T T
ein semi eum-
[ 2-+8=21202-3
•

V-a.yc.lt on 112-1911 + HUH -111411 snip

Emeffet ! Ilse-14112=4244 , set g) =
set Cy y>
Geise> + try> + ,

112412+2%47+114112
=

☐ lapis Cauchy -
Schwarz :
£21124111411
Reese , # Kay > I -4124111411
f Chalk -121121111911+119117=41241+119115
that linty 11 HIM -111411
•
Halko ⇐ trim -

- a a- a cart , -3 definite ☐
(⇐ aussi )

A. Pasquale Analyse 9 novembre 2020 9 / 15

 p
Muni de la norme x 7! kx k = hx , x i associée au produit scalaire, un espace préhilbertien (H , h·, ·i)
est un e.v.n.
Il sera toujours muni de la topologie métrique associée à cette norme.
En particulier, l’application k · k : H ! R+ définie par x ! kx k est continue.

Lemme 2
Le produit scalaire h·, ·i : H £ H ! C,
(x , y ) 7! hx , y i
Sesgues
(
est une application linéaire continue si l’on muni H £ H de la norme produit.
Par conséquent, pour tout y 2 H fixé, les applications H ! C définies respectivement par
x 7! hx , y i et x 7! hy , x i
sont continues.

Preuve. Om def 11644711 imax Hall 11yd } top assoeiee-topyvesdu.it

,
m
.

•
V-x.nsy.yl.CH Kay ) In y > Iska
-
'

y ) Saly
,
'
> + thy ) sad y > I
,
- -

,
'

dailyMeanie
fkn y ) sung> ItKaty > em y 'll ,
-
,

=/ Lse se' , > 'll

y I Kal >I
lightly
'
, y y
,
-

+ -

" " " N'll Haqpy.y ⑨auehy -

Schwarz)
Cedd Guy)
'
Ghyll )
so seen , '
yay →
,
aeon Ka y ) Hely lao
,
-
's

•
de cas d' une variable fraud est oftener en
frxanty.gl ore nose
'

A. Pasquale Analyse 9 novembre 2020 11 / 15

 y
sexy
Lemme 3 (Loi du parallelogramme) HYH
-Hn y H
"
×ntY
-

Pour tout x , y 2 H :
kx + y k2 + kx ° y k2 = 2(kx k2 + ky k2 ) . °
Hall N

N est égale à la somme des carrés des cotés.

Géométriquement : la somme des carrés des diagolanes

Preuve. Ant 4112=1124142Re Ge y) ,

t
114112 CA
'
Hn y U
- =
Half - 2 Reca,
y) -1119112

Somme mum he de member des deux este's dome e' identic chuckie O

Lemme 4 (Identité de polarisation) H sure

Pour tout x , y 2 H :
-6 b
4hx , y i = kx + y k2 ° kx ° y k2 + i kx + iy k2 ° i kx ° iy k2 .

<x , iy > = -
isx, y > Bebe, iy) -
Reti la, y) ) =
Somogy)
Preuve. ,

Om rewrites ) ' '

pour Katy 112 Ha y 112,11kt iyll
,
-

,
Ha -

iyll
et on Somme mumble a' member avec caffs +
,
-

,
ti , i-

A. Pasquale Analyse 9 novembre 2020 12 / 15

Définition 2
Dans un espace préhilbertien (H , h·, ·i) on dit que x , y 2 H sont orthogonaux, écrit x ? y , si
hx , y i = 0.
Deux parties non-vides A et B de H sont dites orthogonales, écrit A ? B, si a ? b pour tous a 2 A,
b 2 B.
L’orthogonal d’une partie non-vide A de H, noté A? , est l’ensemble des éléments de H qui sont
orthogonaux à A : © ™
A? = x 2 H : hx , ai = 0 pour tout a 2 A .

Lemme 5
Soit (H , h·, ·i) un espace préhilbertien et A et B deux parties non-vides de H. Alors :
1 A? est un s.e.v. fermé de H.
2 A Ω A?? .
3 Si A Ω B, alors B ? Ω A? .
4 H ? = { x 2 H : hx , x i = 0 } = { 0 } .

Preuve. ① At =
{xelti.sn a) so
,
Hae Ay =

are ,
{seeHick also }
,
-

?p9a" CEO} )
Ffa
a

oui H a
ya : →
continue d
'

arris le lemme 2 ebeineare

set, yaCx) may
Dono clad God ) est ferme dans H et e unter seok om
'

d ' une famille dtfermes est

un fermi de H , a

A. Pasquale Analyse 9 novembre 2020 13 / 15

At es b un s e. v .
. de H care

At =
n Kevlar 1 A? est un s.e.v. fermé de H.
AGA 2 A Ω A?? .

d oie 3 Si A Ω B, alors B ? Ω A? .
Qa lindane, '
Kenya Ser de H
4 H ? = { x 2 H : h x , x i = 0} = { 0} .
et e' unterseason desert est unser .

③ Abt =
( ADT =L YEH : ly shoo treat } > A
, car Vaea , treat on a Ian"pe%£
( At tot car 0617 , At send
Abb est
fermi d
'

apris ① , di ni Ab = AT Ott
③ consequence des def .

momhe dialed que Ht :{ oooh i think o ) ( la

'
2 e' nest ensuite
④ On
-
galilei
=D consequence du fait que
Ht 47 est def : Lmaoo 2=0
C : Si RE
,
Alois says so V-yc.tl ,
Em 's
particular
pour soy on a Sasebo, dine as D -
O
-
tf
Diapers eauehy Schwarz , si H Ka, y> Is snaky , y )
'

I .
.
ca, a> so alow y c- om a

d' ai d at DC Ht
'

trip , .

A. Pasquale Analyse 9 novembre 2020 14 / 15

 -

nxy
Lemme 6 (Loi de Pythagore)
y a

Soient (H , h·, ·i) un espace préhilbertien et x , y 2 H tels que x ? y . Alors " 11911
in
High
kx + y k2 = kx k2 + ky k2 . N

a 11241
Plus généralement, si x1 , x2 , . . . , xn 2 H et xi ? xj pour tous i , j = 1, . . . , n avec i 6= j, alors
∞X n ∞2 X n
∞ ∞
∞ xj ∞ = kxj k2 .
j =1 j =1

Preuve.
m

11,9in;D :( jog .gg?sea7=j..9ma9?sog.,xen

' '
.
> =
E. Knill
O
- ja
htj
{ llxjll
0 so
=

'
Shih 't
ing
REM linty 112=112412-12Relay) -1114112 -

http://allksniyjtlyihtllylf
.

Katy 112 slaty ,

-

apathy>

A. Pasquale Analyse 18 novembre 2020 1 / 13