Geometrische Form des Satzes von Hahn-Banach

Seien ein normierter Raum, und L ein linearer Teilraum von . Dann gibt es zu jeder nichtleeren konvexen offenen Menge , die sich mit der affin-linearen Mannigfaltigkeit {x₀+L} nicht schneidet, eine abgeschlossene Hyperebene H mit .