
A Banach space is a complete normed vector space that allows infinite-dimensional averaging operations.On appelle espace de Banach un espace vectoriel normé dans lequel toute suite de Cauchy (dont les éléments se rapprochent indéfiniment les uns des autres) converge vers une limite appartenant au même espace. C'est un concept clé de l'analyse fonctionnelle. Exemples: les espaces de fonctions sommables L^p et les fonctions continues C[a,b]. Dans ces espaces, on étudie les opérateurs linéaires et leurs spectres, ce qui trouve des applications dans de nombreux domaines.
L'idée de l'espace de Banach a été développée par Stefan Banach dans sa thèse de doctorat (1920) et dans des publications ultérieures. Il en a donné une construction axiomatique. Les premières idées sont dues à Fréchet, Riesz et Hilbert. La monographie classique de Banach «Théorie des opérations linéaires» (1932) a consolidé le sujet. Le développement ultérieur est lié à Schauder, Dunford, Schwartz, Grothendieck et d'autres.
Les espaces de Banach fournissent un cadre rigoureux pour étudier la convergence des suites et des séries de fonctions, même en dimension infinie. Les opérateurs linéaires, en particulier compacts et intégraux, apparaissent naturellement dans les problèmes inverses de la physique mathématique. Le principe des applications contractantes (méthode des approximations successives) repose sur la complétude et garantit l'unicité des solutions de nombreuses équations non linéaires. Les espaces de Hilbert sont un cas particulier où la norme est issue d'un produit scalaire ; cependant, même sans produit scalaire, les espaces de Banach possèdent une géométrie riche (convexité stricte, lissité uniforme). Les espaces duaux, la réflexivité et les différentes topologies (forte, faible, *-faible) servent d'outils pour l'analyse de la convergence des opérateurs.
Résolution d'équations différentielles, mécanique quantique, problèmes d'optimisation, traitement du signal.
Le théorème de Hahn-Banach affirme que toute forme linéaire définie sur un sous-espace peut être prolongée à tout l'espace sans augmenter sa norme. Cela ressemble à la capacité de prolonger la mesure des longueurs d'un petit morceau à une figure entière sans erreur.


