Теорема Хана Банаха

См. Школа Опойцева
Важная (широко применяемая) теорема о продолжимости линейного функционала с сохранением нормы.