Théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert

Le théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert est un théorème d'analyse fonctionnelle.

Énoncé

Si H est un espace de Hilbert et F un sous-espace vectoriel fermé de H alors le sous-espace orthogonal de F est un supplémentaire de F, c'est-à-dire que H = F ⊕ FModèle:Exp.

Ce résultat subsiste si l'on suppose seulement que H est un espace préhilbertien et que F est un sous-espace vectoriel complet de H.

Démonstrations

Comme on a toujours F ∩ FModèle:Exp = {0}, le seul problème est de prouver que tout vecteur x de H est somme d'un vecteur u de F et d'un vecteur v orthogonal à F.

Par le théorème de projection sur un convexe

F est un espace vectoriel, donc convexe, et complet par hypothèse. On peut donc appliquer le théorème de projection sur un convexe complet dans un préhilbert : pour tout vecteur x de H, il existe un vecteur p(x)=u de F vérifiant :

$\mathrm{\forall }y\in F⟨x-u,y-u⟩\le 0,$

Il s'agit ici d'un produit scalaire 〈 , 〉 R-bilinéaire à valeurs réelles : lorsque H est un préhilbertien complexe, muni d'un produit scalaire hermitien 〈 , 〉_C, on se ramène au cas réel en posant Modèle:Nobr

Posons v = x – u : il reste à prouver que v est orthogonal à F. Or par définition de u, on a :

$\mathrm{\forall }z\in F,⟨v,z⟩\le 0,$

et aussi (en remplaçant z par –z) :

$\mathrm{\forall }z\in F,⟨v,z⟩\ge 0,$

si bien que

$\mathrm{\forall }z\in F,⟨v,z⟩=0,$

ce qui termine la preuve.

Par l'inégalité de Bessel

F est un espace de Hilbert, donc possède une base hilbertienne (e_i). L'inégalité de Bessel permet de définir l'élément suivant de F :

Modèle:Retrait et prouve au passage que x – p(x) est orthogonal à F, ce qui conclut.

Conséquences

• L'application p ci-dessus est le projecteur sur F parallèlement à son supplémentaire orthogonal, appelé aussi projection orthogonale sur F.
  Par conséquent c'est un endomorphisme idempotent, de noyau FModèle:Exp et d'image F, qui vérifie

• Ce théorème est le principal ingrédient de preuve du théorème de représentation de Riesz. Joint à ce dernier, il permet de démontrer le théorème de Lax-Milgram, qui aide à la résolution d'équation aux dérivées partielles.
• Il permet également, dans le cadre particulier hilbertien, de démontrer une version simplifiée du théorème de Hahn Banach :

Si, sous cette forme, le résultat ne présente guère d'intérêt car il est valable dans un contexte plus général, il possède néanmoins des extensions spécifiques aux Hilbert. On démontre en effet, exactement par la même méthode :

Ce résultat n'est plus vrai dans le cadre général d'un espace de Banach.