Théorème d'analyse fonctionnelle affirmant que pour une famille d'opérateurs linéaires continus d'un espace de Banach vers un espace normé, la bornitude ponctuelle sur l'espace de Banach entraîne une bornitude uniforme sur un certain ouvert non vide (et, dans les formulations habituelles, une borne sur tout l'espace lorsque la famille est bornée ponctuellement sur un ensemble à intérieur non vide).

Principe

Une bornitude ponctuelle d'une famille d'opérateurs linéaires continus (c'est‑à‑dire chaque vecteur a des images bornées uniformément) impose une borne uniforme sur les normes d'opérateurs au moins sur un voisinage non trivial, reflétant l'interaction entre complétude et linéarité.

Démonstration

Considérer une suite de fonctionnels linéaires continus sur un espace de Banach bornée en chaque vecteur fixe ; le théorème garantit l'existence d'une boule ouverte sur laquelle leurs normes d'opérateur sont uniformément bornées, empêchant une explosion des normes localisée aux mêmes points.

Mauvaise application

Prétendre à la conclusion sans complétude (par exemple sur des espaces normés généraux non complets) ou omettre les hypothèses de linéarité/continuité peut échouer ; interpréter 'bornitude ponctuelle' pour des familles non dénombrables sans précaution topologique peut être trompeur.

Conséquence

Impose de la régularité : des familles d'opérateurs apparemment contrôlées sur chaque vecteur ne peuvent pas être arbitrairement non bornées globalement ; il sert à établir des résultats de clôture et d'estimations uniformes en analyse.

Inversion

La réciproque est fausse en général : une famille uniformément bornée est pointuellement bornée, mais l'existence de bornes uniformes ne caractérise pas les conditions subtiles de complétude topologique exigées par le principe de bornitude uniforme.

Limite

Nécessite un domaine de type Banach (complétude), la linéarité et la continuité des opérateurs, et une topologie appropriée ; il ne s'applique pas directement aux applications non linéaires, aux opérateurs discontinus, ni aux espaces normés incomplets sans adaptation.

Tension sémantique

Se situe entre la convergence/ bornitude ponctuelle et le contrôle uniforme des normes d'opérateurs ; souvent mis en contraste avec des phénomènes comme la convergence ponctuelle de fonctions qui n'implique pas la convergence uniforme — ici la complétude fait le lien.

Synthèse

Le principe de bornitude uniforme relie le contrôle ponctuel local d'une famille d'opérateurs linéaires continus à des bornes uniformes globales des normes d'opérateurs dans un cadre de Banach : la complétude et la structure linéaire transforment une maîtrise par point en régularité uniforme.