Théorème de Hahn-Banach

Famille de résultats d'extension assurant qu'une forme linéaire bornée définie sur un sous-espace d'un espace vectoriel normé réel ou complexe se prolonge au lieu entier sans accroissement de sa norme ; des formulations algébriques équivalentes traitent de prolongements dominés par une fonction souslinéaire.