Théorème de la cartographie ouverte (analyse fonctionnelle) - Open mapping theorem (functional analysis)
En analyse fonctionnelle , le théorème d'application ouverte , également connu sous le nom de théorème de Banach-Schauder (du nom de Stefan Banach et Juliusz Schauder ), est un résultat fondamental qui indique que si un opérateur linéaire continu entre les espaces de Banach est surjectif, il s'agit d'une application ouverte. .
Forme classique (espace Banach)
Théorème des applications ouvertes pour les espaces de Banach ( Rudin 1973 , Théorème 2.11) — Si X et Y sont des espaces de Banach et A : X → Y est un opérateur linéaire continu surjectif, alors A est une application ouverte (c'est-à-dire si U est un ouvert dans X , alors A ( U ) est ouvert dans Y ).
Une preuve utilise le théorème des catégories de Baire et la complétude de X et Y est essentielle au théorème. L'énoncé du théorème n'est plus vrai si l'un ou l'autre des espaces est simplement supposé être un espace normé , mais est vrai si X et Y sont considérés comme des espaces de Fréchet .
Preuve
|
---|
Supposons A : X → Y est un opérateur linéaire continu surjectif. Pour prouver que A est une application ouverte, il suffit de montrer que A applique la boule unité ouverte de X à un voisinage de l'origine de Y . Laissez alors Puisque A est surjectif : Mais Y est Banach donc par le théorème des catégories de Baire
C'est-à-dire que nous avons c ∈ Y et r > 0 tels que
Laissez v ∈ V , puis Par continuité d'addition et linéarité, la différence rv satisfait et par linéarité encore, où nous avons posé L =2 k / r . Il s'ensuit que pour tout y ∈ Y et tout > 0 , il existe un certain x ∈ X tel que Notre prochain objectif est de montrer que V ⊆ A (2 LU ) . Laissez - y ∈ V . D'après (1), il existe un x 1 avec || x 1 || < L et || y − Axe 1 || < 1/2 . Définissez une séquence ( x n ) inductivement comme suit. Présumer: Alors par (1) nous pouvons choisir x n +1 de sorte que : donc (2) est satisfait pour x n +1 . Laisser
D'après la première inégalité de (2), { s n } est une suite de Cauchy , et puisque X est complet, s n converge vers un certain x ∈ X . D'après (2), la suite As n tend vers y , et donc Ax = y par continuité de A . Aussi, Cela montre que y appartient à A (2 LU ) , de sorte que V ⊆ A (2 LU ) telle que revendiquée. Ainsi l'image A ( U ) de la boule unité en X contient la boule ouverte V /2 L de Y . Par conséquent, A ( U ) est un voisinage de l'origine dans Y , et ceci conclut la preuve. |
Résultats associés
Théorème — Soit X et Y des espaces de Banach, soit B X et B Y leurs boules unités ouvertes, et soit T : X → Y un opérateur linéaire borné. Si δ > 0 alors parmi les quatre énoncés suivants nous avons (avec le même δ )
- pour tous ;
- ;
- ;
- Im T = Y (c'est-à-dire que T est surjectif).
De plus, si T est surjectif alors (1) est vrai pour un certain δ > 0
Conséquences
Le théorème de mappage ouvert a plusieurs conséquences importantes :
- Si A : X → Y est un opérateur linéaire continu bijectif entre les espaces de Banach X et Y , alors l' opérateur inverse A −1 : Y → X est également continu (c'est ce qu'on appelle le théorème inverse borné ).
- Si A : X → Y est un opérateur linéaire entre les espaces de Banach X et Y , et si pour toute suite ( x n ) dans X avec x n → 0 et Ax n → y il s'ensuit que y = 0, alors A est continue (le théorème du graphe fermé ).
Généralisations
La convexité locale de X ou Y n'est pas indispensable à la démonstration, mais la complétude l'est : le théorème reste vrai dans le cas où X et Y sont des F-espaces . De plus, le théorème peut être combiné avec le théorème des catégories de Baire de la manière suivante :
Théorème (( Rudin 1991 , Théorème 2.11)) — Soit X un espace F et Y un espace vectoriel topologique . Si A : X → Y est un opérateur linéaire continu, alors soit A ( X ) est un maigre ensemble dans Y , soit A ( X ) = Y . Dans ce dernier cas, A est une application ouverte et Y est également un F-espace.
De plus, dans ce dernier cas si N est le noyau de A , alors il existe une factorisation canonique de A sous la forme
où X / N est l' espace quotient (également un espace F) de X par le sous- espace fermé N . L'application quotient X → X / N est ouverte, et l'application α est un isomorphisme d' espaces vectoriels topologiques .
Théorème d'application ouvert () — Si A : X → Y est un opérateur linéaire fermé surjectif d'un TVS complet pseudométrisable X dans un espace vectoriel topologique Y et si au moins une des conditions suivantes est satisfaite :
- Y est un espace de Baire , ou
- X est localement convexe et Y est un espace en tonneau ,
soit A ( X ) est un maigre ensemble dans Y , soit A ( X ) = Y . alors A est une application ouverte.
Théorème d'application ouvert pour les applications continues () — Soit A : X → Y un opérateur linéaire continu d'un TVS complet pseudométrisable X dans un espace vectoriel topologique de Hausdorff Y . Si Im A est non maigre dans Y alors A : X → Y est une application ouverte surjective et Y est une TVS pseudométrisable complète.
Le théorème de mappage ouvert peut également être énoncé comme
Théorème — Soit X et Y deux F-espaces. Alors toute application linéaire continue de X sur Y est un homomorphisme TVS , où une application linéaire u : X → Y est un homomorphisme d'espace vectoriel topologique (TVS) si l'application induite est un isomorphisme TVS sur son image.
Conséquences
Théorème — Si A : X → Y est une bijection linéaire continue d'un espace vectoriel topologique (TVS) pseudométrisable complet sur un TVS de Hausdorff qui est un espace de Baire , alors A : X → Y est un homéomorphisme (et donc un isomorphisme de TVS) .
Espaces palmés
Les espaces palmés sont une classe d' espaces vectoriels topologiques pour lesquels le théorème de mappage ouvert et le théorème de graphe fermé sont vérifiés .
Voir également
- Carte linéaire presque ouverte
- Théorème inverse borné
- Graphique fermé – Graphique d'une carte fermée dans l'espace produit
- Théorème des graphes fermés – Théorème reliant la continuité aux graphes
- Théorème des graphes fermés (analyse fonctionnelle) – Théorèmes pour déduire la continuité
- Théorème de cartographie ouverte (analyse complexe)
- Surjection des espaces de Fréchet – Caractérisation de la surjectivité
- Théorème d'Ursescu - Généralisation du graphe fermé, du mappage ouvert et du théorème de bornage uniforme
- Espace palmé - Espaces où tiennent les théorèmes de la cartographie ouverte et des graphes fermés
Les références
Bibliographie
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espaces vectoriels topologiques : la théorie sans conditions de convexité . Notes de cours en mathématiques. 639 . Berlin New York : Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 29714003 .
- Banach, Stéphane (1932). Théorie des opérations linéaires [ Théorie des opérations linéaires ] (PDF) . Monografie Matematyczne (en français). 1 . Warszawa : Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901 . Archivé de l'original (PDF) le 2014-01-11 . Récupéré le 2020-07-11 .
- Berberian, Sterling K. (1974). Cours d'Analyse Fonctionnelle et Théorie des Opérateurs . Textes d'études supérieures en mathématiques. 15 . New York : Springer. ISBN 978-0-387-90081-0. OCLC 878109401 .
- Bourbaki, Nicolas (1987) [1981]. Sur certains espaces vectoriels topologiques [ Espaces vectoriels topologiques : chapitres 1 à 5 ]. Annales de l'Institut Fourier . Éléments de mathématique . 2 . Traduit par Eggleston, HG; Madan, S. Berlin New York : Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190 .
- Conway, John (1990). Un cours d'analyse fonctionnelle . Textes d'études supérieures en mathématiques . 96 (2e éd.). New York : Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908 .
- Dieudonné, Jean (1970), Traité d'analyse, tome II , Presse académique
- Edwards, Robert E. (1995). Analyse fonctionnelle : théorie et applications . New York : Publications de Douvres. ISBN 978-0-486-68143-6. OCLC 30593138 .
- Grothendieck, Alexandre (1973). Espaces vectoriels topologiques . Traduit par Chaljub, Orlando. New York : Gordon et Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098 .
- Jarchow, Hans (1981). Espaces localement convexes . Stuttgart : BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Köthe, Gottfried (1983) [1969]. Espaces vectoriels topologiques I . Grundlehren der mathematischen Wissenschaften. 159 . Traduit par Garling, DJH New York : Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498 . OCLC 840293704 .
- Narici, Laurent ; Beckenstein, Edouard (2011). Espaces vectoriels topologiques . Mathématiques pures et appliquées (deuxième éd.). Boca Raton, Floride : CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espaces vectoriels topologiques . Cambridge Tracts en mathématiques . 53 . Cambridge Angleterre : Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250 .
- Rudin, Walter (1973). Analyse fonctionnelle . Série Internationale de Mathématiques Pures et Appliquées. 25 (première édition). New York, NY : McGraw-Hill Science/Ingénierie/Maths . ISBN 9780070542259.
- Rudin, Walter (1991). Analyse fonctionnelle . Série Internationale de Mathématiques Pures et Appliquées. 8 (Deuxième éd.). New York, NY : McGraw-Hill Science/Ingénierie/Maths . ISBN 978-0-07-054236-5. OCLC 21163277 .
- Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espaces vectoriels topologiques . GTM . 8 (Deuxième éd.). New York, NY : Springer New York Mentions légales Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Swartz, Charles (1992). Introduction à l'analyse fonctionnelle . New York : M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067 .
- Trèves, François (2006) [1967]. Espaces vectoriels topologiques, distributions et noyaux . Mineola, NY : Publications de Douvres. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Wilansky, Albert (2013). Méthodes modernes dans les espaces vectoriels topologiques . Mineola, New York : Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114 .
Cet article incorpore du matériel de Preuve du théorème de cartographie ouverte sur PlanetMath , qui est sous licence Creative Commons Attribution/Share-Alike License .