Développement : Lemme de Zabrejko et applications

Détails/Enoncé :

Soit $(X,||\cdot ||)$ un espace de Banach et $p: X \rightarrow \mathbb R ^+$ une semi-norme vérifiant la condition de $\sigma$-sous-additivité suivante : pour toute série convergente $\sum x_n \in X$, on a

$$p\left( \sum x_n \right) \leq \sum p(x_n) \leq \infty $$
Alors il existe une constante $M > 0$ telle que pour tout $x\in X, p(x)\leq M||x||$.

Les trois théorèmes classiques d'analyse fonctionnelle (Banach-Steinhaus, application ouverte, graphe fermé) sont tous des corollaires du lemme de Zabrejko.

Recasages pour l'année 2024 :

Versions :

Références utilisées dans les versions de ce développement :

Topologie , Queffelec (utilisée dans 27 versions au total)