Geometrische Form des Satzes von Hahn-Banach
Seien
ein normierter Raum,
und
ein linearer Teilraum von
. Dann gibt es zu jeder nichtleeren konvexen offenen Menge
, die sich mit der affin-linearen Mannigfaltigkeit
nicht schneidet, eine abgeschlossene Hyperebene
mit
.