En mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de ℂ (en général, K = ℝ ou ℂ), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
Caractérisation par les séries
Un espace vectoriel normé est un espace de Banach si et seulement si, dans cet espace, toute série absolument convergente est convergente[1].
Exemples d'espaces de Banach
- Tout espace vectoriel de dimension finie sur ℝ (resp. ℂ) muni de n'importe quelle norme, par exemple une norme euclidienne (resp. hermitienne).
- Pour tout ensemble X et tout espace de Banach E, l'espace B(X, E) des applications bornées de X dans E, muni de la norme de la convergence uniforme.
- Tout sous-espace vectoriel fermé d'un espace de Banach. Par exemple, si X est un espace topologique et E un espace de Banach : le sous-espace de B(X, E) des fonctions à la fois continues et bornées, en particulier l'espace C(K, E) des fonctions continues sur un espace compact K. (En fait, d'après le théorème de Banach-Alaoglu-Bourbaki, tout espace de Banach est un sous-espace fermé d'un C(K, ℝ).)
- Les espaces de Hilbert.
- Plus généralement, pour 1 ≤ p ≤ ∞, l'espace Lp(X) des classes de fonctions mesurables (à valeurs réelles ou complexes) sur un espace mesuré X, et dont la puissance p-ième est intégrable (ou qui sont bornées, si p = ∞).
- Tout espace vectoriel normé quotient d'un espace de Banach par un sous-espace fermé — grâce à la caractérisation par les séries ci-dessus. (En fait, tout espace de Banach séparable est un tel quotient de ℓ1.)
Théorème de l'application ouverte et ses variantes
Soient E et F deux espaces de Banach et f une application linéaire continue de E dans F.
- Si f est surjective alors elle est ouverte, c'est-à-dire que l'image par f de tout ouvert de E est un ouvert de F.
- Si f est bijective alors c'est un homéomorphisme.
- La bijection linéaire continue associée à f, de E/ker(f) dans f(E), est un homéomorphisme si et seulement si f(E) est fermé dans F.
- Théorème du graphe fermé : toute application linéaire de E dans F dont le graphe est fermé dans E×F est continue.
Propriété des fermés emboîtés
Comme tout espace métrique complet, un espace de Banach vérifie la propriété suivante :
Soit une suite décroissante de fermés non vides dont la suite des diamètres tend vers 0. Alors l'intersection des fermés est non vide et réduite à un singleton.
Cette propriété permet de démontrer que tout espace métrique complet (en particulier tout espace de Banach) est de Baire, et d'en déduire le théorème de Banach-Steinhaus ci-dessous.
Théorème de Banach-Steinhaus
Soient un espace de Banach, un espace vectoriel normé, une famille d'éléments de ℒ(E,F) et l'ensemble des vecteurs de tels que . Alors, ou bien est maigre, c'est-à-dire réunion dénombrable d'ensembles rares (un ensemble étant rare si son adhérence est d'intérieur vide) et son complémentaire est dense, ou bien (où désigne la norme d'opérateur de ). En particulier, si , seule la seconde éventualité est possible.
Type et cotype
Les espaces de Banach peuvent être classés par type et cotype.
Note
- ↑ Pour une démonstration, voir par exemple le .
Voir aussi
Bibliographie
- Stefan Banach, Théorie des opérations linéaires, Warszawa, 1932 (Monografie Matematyczne; 1) Zbl 0005.20901
- (en) Bernard Beauzamy, Introduction to Banach Spaces and their Geometry, North-Holland, , 2e éd. (lire en ligne)
- N. Bourbaki, Espaces vectoriels topologiques, Springer-Verlag,
- (en) William B. Johnson (de) et Joram Lindenstrauss, Handbook of the Geometry of Banach Spaces, vol. 1, Elsevier, , 1016 p. (ISBN 978-0-08-053280-6, lire en ligne)
- (en) M. I. Kadets et B. M. Levitan (en), « Banach space », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne)
Articles connexes
- Application contractante
- Base de Schauder
- Dual topologique
- Espace d'interpolation
- Espace réflexif
- Espace de Sobolev
- Produit tensoriel topologique (en)
- Propriété d'approximation
- Théorème de Banach-Stone