Ce théorème s’applique en particulier au cas où Aest un sous–espace fermé de H. On appelle
alors yla projection orthogonale de xsur A.
Corollaire 1.16. Soit Eun sous–espace fermé d’un espace de Hilbert H. Alors on a la décom-
position orthogonale
H=E⊕E⊥.
Corollaire 1.17. Soit Eun sous–espace d’un espace de Hilbert H. Alors
(a) (E⊥)⊥coïncide avec l’adhérence Ede Edans H,
(b) Eest dense dans Hsi et seulement si E⊥={0}.
1.3 Bases hilbertiennes
Dans ce paragraphe, on se place pour simplifier dans le cadre des espaces de Hilbert séparables.
Lemma 1.18. Les conditions suivantes sont équivalentes, pour un espace de Hilbert H(et plus
généralement pour un espace normé ) :
(a) Hcontient un sous–ensemble D, qui est dénombrable et dense,
(b) Hcontient une famille libre {f1, f2, . . . }, qui est au plus dénombrable (i.e. qui est finie ou
dénombrable )et qui engendre un sous–espace Edense dans H.
Dans ce cas, on dit que Hest séparable.
Le but de ce paragraphe est de généraliser les deux exemples suivants.
Exemple 1.19.
•Dans Fn, on considère la base canonique
e1= (1,0, . . . , 0), e2= (0,1, . . . , 0), . . . , en= (0,0, . . . , 1).
Alors hej, eki=δjk et tout x∈Fns’écrit x=Pn
j=1 xjejavec kxk2=Pn
j=1 |xj|2.
•Dans ℓ2(N), on considère la famille
e0= (1,0,0, . . .), e1= (0,1,0, . . .), e2= (0,0,1, . . .), . . .
Alors hej, eki=δjk et tout x∈ℓ2(N)s’écrit x=P+∞
j=0 xjejavec kxk2=P+∞
j=0 |xj|2.
Définition 1.20. Dans un espace de Hilbert séparable H,
(a) une famille e1, e2, . . . est orthogonale si hej, eki= 0 pour tout j6=k;
(b) une famille e1, e2, . . . est orthonormée si hej, eki=δjk pour tout j, k ;
(c) une base hilbertienne est une famille orthonormée e1, e2, . . . qui est totale i.e. qui engendre
un sous–espace dense dans H.
Proposition 1.21 (Gram–Schmidt).Etant donné une famille libre f1, f2, . . . dans H, il existe
une famille orthonormée e1, e2,... dans Htelle que, pour tout k≥1,{e1,...,ek}et {f1,...,fk}
engendrent le même sous–espace de H.
Théorème 1.22. Soit Hun espace de Hilbert séparable. Alors
(a) Hpossède une base hilbertienne e1, e2, . . .
(b) Tout x∈H s’écrit x=hx, e1ie1+hx, e2ie2+...
(c) (Parseval) Pour tout x∈H, on a kxk2=|hx, e1i|2+|hx, e2i|2+...
(d) (Parseval) Pour tout x, y ∈H, on a hx, yi=hx, e1ihy, e1i+hx, e1ihy, e1i+...
3