Здравствуйте.
Проблема состоит в следующем. Рассматривается пространство функций
, принадлежащих пространству
удовлетворяющих условию
и имеющих конечную норму
Нужно доказать, что это пространство замкнуто. Я пошла по следующему пути.
Пусть
в данном пространстве (то есть по норме
). Покажем, что
Обозначим
. Меру единичной сферы в
обозначим через
. Имеем:
где
- постоянная из неравенства типа Фридрихса.
Учитывая, что
, и переходя к пределу при
, получаем:
Если бы
было меньше 1, то утверждение было бы доказано. Может ли точная константа из неравенства Фридрихса быть такой, чтобы
было меньше 1? (у меня подозрение, что нет). Наверное, надо идти другим путём? Может быть, требуемый факт уже где-то доказан? Буду очень признательна за идеи.