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.

Portail de l'analyse

[1] (ru) Petr Petrovich Zabrejko, Об одной теореме для полуаддитивных функционалов, Функциональный анализ и его приложения,‎ 1969.

[2] 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.

[1]

[2]

Lemme de Zabrejko

Énoncé

Notes et références

Information related to Lemme de Zabrejko

Portal di Ensiklopedia Dunia