Théorème de Hahn-Banach

Famille de théorèmes d'extension affirmant qu'un fonctionnel linéaire borné défini sur un sous‑espace d'un espace normé peut être étendu à l'espace entier sans augmenter sa norme ; plus généralement, des fonctionnels linéaires dominés par une fonctionnelle sous‑linéaire peuvent être prolongés en préservant la domination.