Dans les espaces de Banach : tout opérateur linéaire continu et surjectif entre espaces de Banach envoie les ouverts sur des ouverts ; équivalemment, un opérateur linéaire borné surjectif envoie un voisinage de zéro du domaine sur un voisinage de zéro du codomaine.

Principe

La surjectivité combinée à la complétude impose que l'image d'un voisinage contienne un voisinage, empêchant l'écrasement des ouverts en ensembles de moindre dimension ; la complétude est essentielle pour l'argument de catégorie de Baire sur lequel repose le résultat.

Démonstration

Pour un opérateur surjectif continu linéaire T:X→Y entre Banach, il existe ε>0 tel que T envoie la boule unité de X sur un ensemble contenant la boule de rayon ε de Y. Ceci sous-tend pratiquement le théorème de l'inverse bornée : un opérateur linéaire bijectif borné entre Banach a une inverse bornée.

Mauvaise application

Appliquer le théorème à des opérateurs non surjectifs, non linéaires ou entre espaces normés non complets : l'une de ces défaillances peut invalider l'opénité. Par exemple, un opérateur surjectif continu issu d'un espace non complet n'est pas nécessairement ouvert.

Conséquence

Garantit que les applications linéaires continues surjectives préservent l'opénité, fournit le théorème de l'inverse bornée en corollaire, et constitue un résultat structural fondamental pour transférer des propriétés locales via des surjections linéaires en analyse fonctionnelle.

Inversion

Si un opérateur n'est pas ouvert, il peut être non surjectif ou provenir d'un domaine incomplet ; la négation signale l'écrasement de voisinages et reflète souvent l'absence de surjectivité ou l'échec des hypothèses de complétude.

Limite

Les hypothèses exigent la linéarité, la continuité (bornitude), la surjectivité et des espaces de départ et d'arrivée complets (Banach). Le théorème ne s'applique pas en général aux applications non linéaires ni aux applications entre espaces non-Banach.

Tension sémantique

Étroitement lié aux théorèmes du graphe fermé et de la borne uniforme : ensemble, ils forment le trio central des résultats structurels en espaces de Banach, mais chacun traite d'un phénomène distinct — ouverture, fermeture de graphe et contrôle uniforme des normes.

Synthèse

Le théorème de l'application ouverte affirme que les opérateurs linéaires bornés et surjectifs entre Banach envoient des ouverts sur des ouverts ; énoncé dépendant de la complétude qui assure l'image de voisinages, sous-tend l'inverse bornée et préserve la structure topologique locale via des surjections linéaires.