Théorème [Théorème de Baire]
Soit un espace topologique. Si est localement compact, ou s'il est métrique complet, alors
Toute intersection dénombrable d'ouverts denses est dense Une réunion dénombrable de fermés recouvrant comporte un fermé d'intérieur non vide
Comme le signale le livre [2], on peut en fait énoncer plus précisément que l'intérieur de la réunion d'une suite de fermés d'intérieurs vides est vide.
Démonstration:Ce théorème ayant été prouvé (voir théorème ) je ne fais
que le rappeler ici. Rappelons juste que les deux sont équivalents (considérer les complémentaires des fermés du deuxième ) Notons que le théorème de Baire est en particulier valable pour les espaces de Banach.
Théorème [Théorème de Banach-Steinhaus]
Ce théorème est dit aussi théorème de la borne uniforme.
On se donne et des espaces de Banach, et
une famille d'applications linéaires continues de dans .
Si pour tout ,
.
Alors
.
Ce théorème est plus intuitif sous son petit nom de "théorème de la borne uniforme". L'hypothèse est que l'on a une famille d'applications bornées sur chaque point; la conclusion est que l'on peut les borner uniformément (bien vérifier que l'on a des Banach).
Notez bien que la famille des n'est pas nécessairement dénombrable!
Démonstration:La aussi je ne donne pas de preuve, puisqu'elle se trouve au théorème . On verra une application à la transformation de Toeplitz (proposition ), qui fournit une preuve élégante de la moyenne de Césaro (corollaire ).
Corollaire
Soient et deux Banach, et une suite d'applications linéaires continues de dans , avec convergeant pour tout - on note par la suite sa limite.
Alors
est borné, est linéaire continue, et
.
Démonstration:Application directe du théorème de Banach-Steinhaus. Corollaire
Soit un espace vectoriel normé et un sous-ensemble de .
On suppose que pour tout appartenant à l'ensemble
est borné.
Alors est borné.
Démonstration:On applique Banach-Steinhaus dans , avec pour famille d'applications
linéaires les applications qui à associe , pour .
Il faut bien noter que le dual d'un espace vectoriel normé est un Banach, et que ce résultat est nécessaire à cette preuve (voir corollaire ).
Noter aussi que ce résultat exprime que "faiblement borné" implique
"fortement borné".
Cette façon de voir est d'ailleurs une belle illustration de la notion de
"borne uniforme". Si une partie est bornée suivant "toutes les directions"
(traduire: suivant toute forme linéaire), alors elle est bornée " tout court "... Théorème [Théorème de l'application ouverte]
Soient et des espaces de Banach, et une application linéaire
continue surjective de dans . Alors est ouverte (c'est à dire que l'image de tout ouvert par est un ouvert.
Démonstration:voir le théorème .
Bien entendu, dans le cas où est bijective, on en déduit le théorème d'isomorphisme de Banach , qui stipule qu'une bijection linéaire continue est de réciproque continue (et donc est un homéomorphisme).
Il faut noter un corollaire important: si un espace vectoriel muni de la norme est un espace de Banach, et si muni de la norme est aussi un espace de Banach, alors si est plus fine que , alors en fait est équivalente à .
Théorème [Théorème du graphe fermé]
Soit
, linéaire entre les Banach et . L'application est continue si et seulement si le graphe de est fermé dans
.
Démonstration:Voir le théorème . Voir le théorème .
suivant:Autres définitions et propriétés monter:Résultats fondamentaux précédent:Hahn-BanachIndex
C_antonini,J-F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud
un espace topologique. Si 
Toute intersection dénombrable d'ouverts denses est dense![[*]](/images/crossref.png)
Notons que le théorème de Baire est en particulier valable pour les espaces de Banach.
et 
des espaces de Banach, et
une famille d'applications linéaires continues de 
,
.
.
n'est pas nécessairement dénombrable!
On verra une application à la transformation de Toeplitz (proposition 
une suite d'applications linéaires continues de 
convergeant pour tout 
sa limite.
est borné, 
est linéaire continue, et
.
appartenant à 
est borné
associe 
, pour 
.
est un espace de Banach
est aussi un espace de Banach, alors si 
, linéaire entre les Banach
.
