Перейти к содержанию

Участник:Isbur/Функциональный анализ I/Билеты/Полные пространства

Материал из Викиверситета

Полные пространства. Примеры. Существование пополнения.

[править]

Определение. Метрическое пространство называется полным, если всякая фундаментальная последовательность в нём сходится.

Пример. Полуинтервал с обычной метрикой не является полным пространством, так как последовательность фундаментальна, но не сходится к точке из . Однако этот же интервал оказвгоается полным пространством с метрикой .

Определение. Пополнением метрического пространства называется такое полное метрическое пространство , что изометрично всюду плотному множеству в .

Теорема. Всякое метрическое пространство имеет единственное с точностью до изометрии пополнение.

Пререквизиты:

Лемма. Пусть и — полные метрические пространства, и — всюду плотные множества, и — изометрия из на . Тогда продолжается единственным образом до изометрии и .

Теорема. Всякое метрическое пространство изометрично части пространства .

Определение. – множество ограниченных на функций.

Доказательство. Можно считать, что лежит в пространстве с . Так как полно, то искомым пополнением является замыкание множества в . Остается заметить, что если — некоторое пополнение , то и изометричны. Действительно, имеется изометрия между и всюду плотной частью в . По лемме эта изометрия продолжается до изометрии из на .