- Theoreme du graphe ferme
-
Théorème du graphe fermé
Le théorème du graphe fermé affirme que si E et F sont deux espaces de Banach, f une application linéaire de E dans F, alors f est continue si et seulement si le graphe de f est une partie fermée de .
Pour comprendre le sens du théorème du graphe fermé, notons les propositions :
- élément xn converge vers un élément x ;
- élément Txn converge vers un élément y ;
- élément Tx = y.
Pour démontrer qu'un opérateur T est continu, on doit a priori montrer que 1. implique 2. et 3.. Le théorème du graphe fermé prouve qu'il suffit en fait de montrer que 1. et 2. impliquent 3..
Ce théorème prouve en particulier qu'un opérateur non borné fermé qui est défini sur tout l'espace de départ est en fait un opérateur borné.
Démonstration
Le théorème du graphe fermé se démontre facilement à partir du théorème d'isomorphisme de Banach, qui est lui-même une conséquence immédiate du théorème de l'application ouverte.
D'abord, le graphe d'une application continue est toujours fermé (facile).
Réciproquement, soit linéaire entre deux espaces de Banach E et F, supposons son graphe Γf fermé. Alors est un Banach et, comme f est linéaire, son graphe Γf est un sous-espace vectoriel de , fermé par hypothèse, donc Γf est aussi muni d'une structure d'espace de Banach. Considérons les projections et : ce sont des applications linéaires continues, et p1 est bijective, donc est continue par le théorème d'isomorphisme de Banach. Enfin, est continue.
Voir aussi
Théorèmes de l'analyse fonctionnelleThé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
- Portail des mathématiques
Catégories : Espace vectoriel normé | Théorème de mathématiques
Wikimedia Foundation. 2010.