Le lemme de Zabrejko est un résultat de topologie datant de 1969.. 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 un espace de Banach, et soit une semi-norme qui est conditionnellement sigma-sous-additive, c'est-à-dire :
Alors est continue, c'est-à-dire qu'il existe tel que ..
Notes et références
Zabrejko Catégorie:Espace de Banach