Участник:Isbur/Функциональный анализ I/Билеты/Полные пространства
Полные пространства. Примеры. Существование пополнения.
[править]Определение. Метрическое пространство называется полным, если всякая фундаментальная последовательность в нём сходится.
Пример. Полуинтервал с обычной метрикой не является полным пространством, так как последовательность фундаментальна, но не сходится к точке из . Однако этот же интервал оказвгоается полным пространством с метрикой .
Определение. Пополнением метрического пространства называется такое полное метрическое пространство , что изометрично всюду плотному множеству в .
Теорема. Всякое метрическое пространство имеет единственное с точностью до изометрии пополнение.
Пререквизиты:
Лемма. Пусть и — полные метрические пространства, и — всюду плотные множества, и — изометрия из на . Тогда продолжается единственным образом до изометрии и .
Теорема. Всякое метрическое пространство изометрично части пространства .
Определение. – множество ограниченных на функций.
Доказательство. Можно считать, что лежит в пространстве с . Так как полно, то искомым пополнением является замыкание множества в . Остается заметить, что если — некоторое пополнение , то и изометричны. Действительно, имеется изометрия между и всюду плотной частью в . По лемме эта изометрия продолжается до изометрии из на .