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

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.

Sommaire

Énoncé

Si H est un espace de Hilbert et F un sous-espace vectoriel fermé de H alors l'orthogonal de F est un sous-espace supplémentaire de F, c'est-à-dire que H = F \oplus F^\bot.

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 \cap F^\bot =\{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 :

\forall y \in F \quad \langle x - u \, , \, y - u \rangle \; \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 < , >=Re(< , >C).)

Posons v=x-u : il reste à prouver que v est orthogonal à F. Or par choix de u, on a :

\forall z \in F, \quad \langle v \, , \, z \rangle \; \le \; 0,

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

\forall z \in F, \quad \langle v \, , \, z \rangle \; \ge \; 0,

si bien que

\forall z \in F, \quad \langle v \, , \, z \rangle \; = \; 0,

ce qui termine la preuve.

Par l'inégalité de Bessel

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

p(x)=\sum_{i\in I} \langle x,e_i\rangle \cdot e_i,

et prouve au passage que x-p(x) est orthogonal à F, ce qui conclut.

Conséquences

Par conséquent c'est un endomorphisme idempotent, de noyau F^\bot et d'image F, qui vérifie

d(x,F)=\|x-p(x)\|.

Théorème de Hahn-Banach dans un Hilbert —  Soit F un sous-espace vectoriel fermé de H et f une forme linéaire continue sur F, alors il existe sur H une forme linéaire continue g prolongeant f et ayant la même norme d'opérateur.

Démonstration

Il suffit de considérer p, la projection orthogonale sur F, qui est linéaire et continue de norme 1 (ou 0 si F est réduit au vecteur nul), et de poser g=fop . On obtient

\|g\| \le \|f \|\cdot \|p\|\le \|f\|.

L'égalité des normes s'en déduit car le prolongement est égal à f sur F.

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 :

Généralisation —  Soient G un espace vectoriel normé et, avec les notations du théorème précédent, a un opérateur continu de F dans G. Il existe un opérateur b prolongeant a sur H et de même norme.

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

v · Analyse fonctionnelle
Théorèmes Ascoli · Baire · Banach-Alaoglu · Banach-Mazur · Banach-Schauder · Banach-Steinhaus · Graphe fermé · Hahn-Banach · Lax-Milgram
Divers Fonctionnelle · Calcul des variations · Dérivée fonctionnelle · Espace de Banach · Algèbre de Banach · C*-algèbre · Espace de Hilbert · Espace de Fréchet · Variété banachique · Espace fonctionnel · Noyau reproduisant · Série de Fourier · Transformée de Fourier · Distribution · Topologie faible

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Theoreme du supplementaire orthogonal d'un ferme dans un espace de Hilbert — 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… …   Wikipédia en Français

  • 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 l orthogonal de F est un sous espace… …   Wikipédia en Français

  • Théorème du supplémentaire orthogonal d'un fermé dans un Hilbert — 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… …   Wikipédia en Français

  • Théorème de projection sur un convexe fermé — En mathématiques, le théorème de projection orthogonale sur un convexe est un résultat de minimisation de la distance dont le principal corollaire est l existence d un supplémentaire orthogonal, donc d une projection orthogonale sur un sous… …   Wikipédia en Français

  • Theoreme de representation de Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces …   Wikipédia en Français

  • Théorème de Fréchet-Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces …   Wikipédia en Français

  • Théorème de représentation de riesz — Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces de Hilbert 1.1 Énoncé 1.2 …   Wikipédia en Français

  • Espace euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… …   Wikipédia en Français

  • Théorème de représentation de Riesz — Pour les articles homonymes, voir Théorème de Riesz. Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz …   Wikipédia en Français

  • Theoreme de Lax-Milgram — Théorème de Lax Milgram Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”