Théorème de Banach-Schauder

Carte Commune · n° 262519

En analyse fonctionnelle, le théorème de Banach-Schauder, également appelé théorème de l'application ouverte, est un résultat fondamental qui affirme qu'une application linéaire continue surjective entre deux espaces de Banach (ou plus généralement : deux espaces vectoriels topologiques complètement métrisables) est ouverte. C'est une conséquence importante du théorème de Baire, qui affirme que dans un espace métrique complet, toute intersection dénombrable d'ouverts denses est dense. Sous sa forme originelle, ce théorème a été démontré en juin 1929 par Juliusz Schauder, à partir du théorème de l'isomorphisme que Stefan Banach avait établi peu auparavant.

Lire sur Wikipédia