Theoreme de Banach-Schauder

Theoreme de Banach-Schauder

Théorème de Banach-Schauder

En analyse fonctionnelle, le théorème de Banach-Schauder, également appelé théorème de l'application ouverte est un résultat fondamental qui affirme qu'une application linéaire continue surjective entre deux espaces vectoriels normés complets est ouverte. C'est une conséquence importante du théorème de Baire, qui affirme que dans un espace métrique complet (et donc en particulier dans un espace de Banach), tout intersection dénombrable d'ouverts denses est dense, ce qui permet de généraliser le théorème de Banach-Schauder aux espaces de Fréchet.

Sommaire

Énoncé

Soit E et F deux espaces de Banach et f une application linéaire continue de E vers F.

Si f est surjective, alors f est ouverte, i.e l'image de tout ouvert de E par f est un ouvert de F.

Démonstration

Pour montrer que f est ouverte, il suffit par linéarité de montrer que l'image de tout voisinage de 0 (dans E) par f est un voisinage de 0 (dans F), i.e

\forall \varepsilon > 0, \exists \eta > 0, B_F(0, \eta) \subset f(B_E(0, \varepsilon))

(Par homogénéité de f, il suffit même de le faire pour un seul \varepsilon). On introduit les fermés suivants :

F_n = \overline{f(B_E(0,n))}

Comme f est surjective, on dispose de l'égalite ensembliste :

F = \bigcup_{n \in \mathbb{N}} F_n

F est un espace de Banach, en particulier il vérifie la propriété de Baire, donc un de ces fermés, FN est d'intérieur non vide : il contient une boule BF(y,η).

Le fermé F2N contient donc la boule BF(0,η). Par homogénéité de f on dispose ainsi d'un entier M tel que :

B_F(0,1) \subset \overline{f(B_E(0,M))}

Il ne reste plus qu'à faire sauter la barre. Par homogénéité de f, on déduit de ce résultat que :

\forall n \in \mathbb{N}, B_F(0,1/2^n) \subset \overline{f(B_E(0,M/2^n))}

Montrons que B_F(0,1) \subset f(B_E(0,3M)). Pour cela, donnons-nous un z \in B_F(0,1)

  • Il existe x0 de norme inférieure à M tel que z1 = z − f(x0) soit de norme inférieure à 1/2.
  • Il existe x1 de norme inférieure à M / 2 tel que z2 = z1 − f(x1) soit de norme inférieur à 1/4.

On construit par récurrence une suite (xn) de points de E telle que ||x_n|| \leq M/2^n et z_n = z - f(x_0 + \cdots + x_n) soit de norme inférieure à 1 / 2n.

La série \sum x_n est absolument convergente, donc comme E est un espace de Banach, elle converge. De plus,

\Big|\Big| \sum_{n=0}^{+ \infty} x_n \Big|\Big| \leq \sum_{n = 0}^{+\infty} ||x_n|| \leq M \sum_{n=0}^{+\infty} \frac{1}{2^n} = 2M

Et, par passage à la limite :

z = f\Big( \sum_{n=0}^{+\infty} x_n\Big) \in f(\overline{B_E(0,2M)}) \subset f(B_E(0,3M))

C'est ce qu'il fallait démontrer.

Conséquences

Théorème d'isomorphie de Banach

Le théorème de Banach-Schauder a une conséquence fondamentale (en fait, il s'agit d'une forme équivalente du théorème, et non d'un résultat plus faible), appelée théorème d'isomorphie de Banach, théorème de Baire-Banach ou plus simplement théorème de Banach :

Si f est une application linéaire bijective continue entre deux espaces de Banach, alors f est un homéomorphisme.

Théorème du graphe fermé

Article détaillé : Théorème du graphe fermé.

Le théorème de Banach-Schauder est également à l'origine d'un puissant critère de continuité des applications linéaires entre deux espaces de Banach, il s'agit du théorème du graphe fermé :

Soit E et F deux espaces de Banach, et f une application linéaire de E dans F. f est continue si et seulement si son graphe est une partie fermée de E \times F.

Supplémentaire topologique

Dans le cas de la dimension infinie, rien ne garantit que les projecteurs associés à des sous-espaces supplémentaires soit continus. C'est la raison d'être de la définition suivante :

  • Soient E un espace de Banach et F un sous-espace fermé de E. Un sous-espace G est un supplémentaire topologique si et seulement s'il est un supplémentaire algébrique et s'il est fermé.

Un supplémentaire algébrique, par définition est un sous-espace tel qu'il existe une et une unique manière d'écrire un vecteur de E comme somme d'un vecteur de F et d'un vecteur de G.

Le théorème de Banach-Schauder permet de démontrer la proposition suivante :

  • Les projecteurs associés à des supplémentaires topologiques sont continus.

Ce résultat est la conséquence de la proposition suivante, utilisée par exemple pour démontrer des propriétés d'orthogonalités dans un espace de Banach.

  • Soient E un espace de Banach, F1 et F2 deux sous-espaces vectoriels fermés tel que leurs somme soit fermée. Alors il existe une constante C strictement positive tel que tout x de E admette une décomposition de la forme x = x1 + x2 avec x1 élément de F1, x2 élément de F2 et :
\|x_1\|\le C\|x\|\quad\text{et}\quad \|x_2\|\le C\|x\|

La proposition précédente admet le corollaire suivant :

  • Avec les mêmes notations que la proposition précédente, il existe une constante C strictement positive telle que la distance d entre un élément x de E et l'intersection de F1 et F2 soit donnée par la formule suivante :
d(x,F_1\cap F_2) \le C \Big(d(x,F_1)+d(x,F_2)\Big)\;

Ce corollaire est aussi utilisé pour établir des propriétés d'orthogonalités.[1]

Démonstrations
  • Soient E un espace de Banach, F1 et F2 deux sous-espaces vectoriels fermés tel que leurs somme soit fermée. Alors il existe une constante C strictement positive tel que tout x de E admette une décomposition de la forme x = x1 + x2 avec x1 élément de F1, x2 élément de F2 et :
\|x_1\|\le C\|x\|\quad\text{et}\quad \|x_2\|\le C\|x\|

Soit l'espace F1xF2 muni de la norme suivante :

\forall (x_1,x_2)\in F_1\times F_2 \quad \|(x_1,x_2)\|_{F_1\times F_2} = \max (\|x_1\|,\|x_2\|)

L'espace F1xF2 est un Banach et l'application de F1xF2 dans E qui à un couple associe la somme des deux éléments est linéaire surjective. L'inégalité triangulaire montre que l'application est continue. Soit x le vecteur de la proposition. Le théorème de Banach-Schauder montre l'existence d'un réel c strictement positif tel que :

c.\max (\|x_1\|,\|x_2\|)\le \|x\|

Il suffit alors de choisir C comme l'inverse de c.

  • Les projecteurs associés à des supplémentaires topologiques sont continus :

C'est un corollaire immédiat de la proposition précédente.

  • il existe une constante D strictement positive telle que la distance d entre un élément x de E et l'intersection de F1 et F2 soit donnée par la formule suivante :
d(x,F_1\cap F_2) \le D \Big(d(x,F_1)+d(x,F_2)\Big)\;

Soit ε un réel strictement positif et C la constante strictement positive établie dans la proposition précédente. Par définition de la distance entre un vecteur et un ensemble, il existe un vecteur y1 (resp. y2) de F1 (resp. F2) tel que :

d(x,F_1)\le \|x -y_1\| - \frac{\epsilon}{1+2C} \quad \text{et}\quad d(x,F_2)\le \|x -y_2\| - \frac{\epsilon} {1+2C} \;

La proposition précédente montre d'un vecteur x1 (resp. x2) élément de F1 (resp. F2) tel que :

y_1-y_2=x_1+x_2\; ,\quad \|x_1\|\le C\|y_1-y_2\|\quad\text{et}\quad \|x_2\|\le C\|y_1-y_2\|

L'égalité suivante montre que x1 − y1 est un élément de l'intersection de F1 et F2 :

y_1-x_1=x_2+y_2 \quad \text{et}\quad y_1-x_1\in F_1,\quad x_2+y_2 \in F_2\;

On en déduit :

d(x,F_1\cap F_2)\le \|x-(y_1-x_1)\|\le \|x -y_1\| +\|x_1\|
\text{et}\quad d(x,F_1\cap F_2)\le \|x -y_1\| + C\|y_1-y_2\|\le \|x -y_1\| +C\Big(\|x - y_1\| + \|x-y_2\|\Big)
\text{donc}\quad d(x,F_1\cap F_2)\le (1+C)\Big(d(x,F_1) + d(x,F_2)\Big) + \epsilon

Si D est choisi égal à 1 + C, la majoration précédente est vraie pour tout ε, ce qui démontre la proposition.

 

Exemple d'application

Soient E=L^1(S^1)\, l'espace de Banach des fonctions intégrables sur le cercle, et F=c_0(\mathbb{Z})\, l'espace des suites complexes indexées par les entiers relatifs et tendant vers zéro. L'application f\mapsto \big(\widehat{f}(n)\big)_{n\in\mathbb{Z}} qui associe à la fonction f la suite de ses coefficients de Fourier est continue et injective de E dans F, mais n'est pas surjective. En effet, si tel était le cas, il existerait une constante C>0\, telle que, pour toute fonction f\in E,

\Vert f\Vert_1\le C\sup_{n\in\mathbb{Z}}\vert \widehat{f}(n)\vert

En appliquant une telle inégalité à la suite des noyaux de Dirichlet D_k\,, on arrive à une contradiction. En effet, \Vert D_k\Vert_1 est d'ordre log(k) alors que les \vert \widehat{D_k}(n)\vert sont bornés par 1.

Notes et références

  1. ↑ Ce paragraphe ainsi que les démonstrations s'inspirent de la référence : Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions] p 21-22
Théorèmes de l'analyse fonctionnelle

Théorème d'Ascoli • Théorème de Baire • Théorème de Banach-Alaoglu • Théorème de Banach-Mazur • Théorème de Banach-Schauder • Théorème de Banach-Steinhaus • Théorème du graphe fermé • Théorème de Hahn-Banach • Théorème de Lax-Milgram

modifier
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Banach-Schauder ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Theoreme de Banach-Schauder de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Théorème de banach-schauder — En analyse fonctionnelle, le théorème de Banach Schauder, également appelé théorème de l application ouverte est un résultat fondamental qui affirme qu une application linéaire continue surjective entre deux espaces vectoriels normés complets est …   Wikipédia en Français

  • Théorème de Banach-Schauder —  Ne pas confondre ce théorème de l application ouverte avec théorème de l application ouverte (analyse complexe). En analyse fonctionnelle, le théorème de Banach Schauder, également appelé théorème de l application ouverte est un résultat… …   Wikipédia en Français

  • Theoreme de Banach-Steinhaus — Théorème de Banach Steinhaus Le théorème de Banach Steinhaus (aussi appelé Principe de la borne uniforme) fait partie, au même titre que le théorème de Hahn Banach et le théorème de Banach Schauder, des résultats fondamentaux de l analyse… …   Wikipédia en Français

  • Théorème de banach-steinhaus — Le théorème de Banach Steinhaus (aussi appelé Principe de la borne uniforme) fait partie, au même titre que le théorème de Hahn Banach et le théorème de Banach Schauder, des résultats fondamentaux de l analyse fonctionnelle. Il a été publié en… …   Wikipédia en Français

  • Theoreme de Banach-Alaoglu — Théorème de Banach Alaoglu Bourbaki Le théorème de Banach Alaoglu Bourbaki est un résultat de compacité en analyse fonctionnelle. Si E est un espace vectoriel topologique et V un voisinage ouvert de 0, le polaire de V, défini par est une partie… …   Wikipédia en Français

  • Theoreme de Banach-Mazur — Théorème de Banach Mazur Le théorème de Banach Mazur est un outil d analyse fonctionnelle. De manière très approximative, il exprime que les espaces vectoriels normés vérifiant des conditions raisonnables du point de vue de l analyse sont des… …   Wikipédia en Français

  • Théorème de Banach-Alaoglu — Bourbaki Le théorème de Banach Alaoglu Bourbaki est un résultat de compacité en analyse fonctionnelle. Si E est un espace vectoriel topologique et V un voisinage ouvert de 0, le polaire de V, défini par est une partie compacte pour la topologie… …   Wikipédia en Français

  • Théorème de Banach-Alaoğlu — Théorème de Banach Alaoglu Bourbaki Le théorème de Banach Alaoglu Bourbaki est un résultat de compacité en analyse fonctionnelle. Si E est un espace vectoriel topologique et V un voisinage ouvert de 0, le polaire de V, défini par est une partie… …   Wikipédia en Français

  • Théorème de banach-alaoglu — Bourbaki Le théorème de Banach Alaoglu Bourbaki est un résultat de compacité en analyse fonctionnelle. Si E est un espace vectoriel topologique et V un voisinage ouvert de 0, le polaire de V, défini par est une partie compacte pour la topologie… …   Wikipédia en Français

  • Théorème de banach-mazur — Le théorème de Banach Mazur est un outil d analyse fonctionnelle. De manière très approximative, il exprime que les espaces vectoriels normés vérifiant des conditions raisonnables du point de vue de l analyse sont des sous espaces fermés de l… …   Wikipédia en Français

Share the article and excerpts

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