Что будем искать?

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

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