Lemme de Zabrejko

Le lemme de Zabrejko est un résultat de topologie datant de 1969[1]. Le lemme permet de démontrer des théorèmes importants de l'analyse fonctionnelle : les théorèmes de Banach-Steinhaus, de Banach-Schauder et du graphe fermé.

Énoncé

Soit $(X,\|\;\|)$ un espace de Banach, et soit $p:X\to \mathbb {R} ^{+}$ une semi-norme qui est conditionnellement sigma-sous-additive, c'est-à-dire :

$\sum \limits _{n=0}^{\infty }x_{n}{\text{ converge }}\Rightarrow p{\Bigg (}\sum \limits _{n=0}^{\infty }x_{n}{\Bigg )}\leqslant \sum \limits _{n=0}^{\infty }p(x_{n})\leqslant \infty .$

Alors $p$ est continue, c'est-à-dire qu'il existe $M<\infty$ tel que $\forall x\in X\quad p(x)\leqslant M\|x\|$ [2].

Notes et références

(ru) Petr Petrovich Zabrejko, Об одной теореме для полуаддитивных функционалов, Функциональный анализ и его приложения,‎ 1969.
Hervé Queffélec, Topologie : cours et exercices corrigés, Paris, Dunod, 2016, 317 p. (ISBN 978-2-10-075417-5, lire en ligne), p. 199.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.