Полное пространство — метрическое пространство определённого типа.
В большинстве случаев, рассматривают именно полные метрические пространства.Для неполных пространств сущёствует операция пополнения, дающая возможность рассматривать исходное пространство как плотное множество в своём пополнении. Операция пополнения во многом аналогична операции замыкания для подмножеств.
Содержание
Определения
Метрическое пространство называется полным, если любая фундаментальная последовательность его элементов сходится.
Пополнение
Всякое метрическое пространство X=(X,ρ){displaystyle X=(X,rho )}
можно вложить в полное пространство Y{displaystyle Y} таким образом, что метрика Y{displaystyle Y} продолжает метрику X{displaystyle X} , а подпространство X{displaystyle X} всюду плотно в Y{displaystyle Y} . Такое пространство Y{displaystyle Y} называется пополнением X{displaystyle X} и обычно обозначается X¯{displaystyle {bar {X}}} .
можно вложить в полное пространство Y{displaystyle Y}
таким образом, что метрика Y{displaystyle Y}
, а подпространство X{displaystyle X}
.Построение
Для метрического пространства X=(X,ρ){displaystyle X=(X,rho )}
, на множестве фундаментальных последовательностей в X{displaystyle X} можно ввести отношение эквивалентности
- (xn)∼(yn)⇔limρ(xn,yn)=0.{displaystyle (x_{n})sim (y_{n})Leftrightarrow lim rho (x_{n},y_{n})=0.}
Множество классов эквивалентности X¯{displaystyle {bar {X}}}
с метрикой, определённой
- ρ¯((xn),(yn))=limρ(xn,yn),{displaystyle {bar {rho }}((x_{n}),(y_{n}))=lim rho (x_{n},y_{n}),}
является метрическим пространством. Само пространство (X,ρ){displaystyle (X,rho )}
изометрически вкладывается в него следующим образом: точке x∈X{displaystyle xin X} соответствует класс постоянной последовательность xn=x{displaystyle x_{n}=x} . Получившееся пространство (X¯,ρ¯){displaystyle ({bar {X}},{bar {rho }})} и будет пополнением X{displaystyle X} .
изометрически вкладывается в него следующим образом: точке x∈X{displaystyle xin X}
соответствует класс постоянной последовательность xn=x{displaystyle x_{n}=x}
. Получившееся пространство (X¯,ρ¯){displaystyle ({bar {X}},{bar {rho }})}
и будет пополнением X{displaystyle X}Свойства
- Пополнение метрического пространства единственно, с точностью до изометрии.
- Пополнение метрического M{displaystyle M} пространства изометрично замыканию образа при вложении Куратовского
- Полнота наследуется замкнутыми подмножествами полного метрического пространства.
- Полные метрические пространства являются пространствами второй категории Бэра. То есть если полное пространство исчерпывается счётным объединением замкнутых множеств, то хотя бы у одного из них есть внутренние точки.
- Критерий компактности метрического пространства: метрическое пространство компактно тогда и только тогда, когда оно полно и вполне ограничено.
- Теорема Банаха о неподвижной точке. Сжимающие отображения полного метрического пространства в себя имеют неподвижную точку.
пространства изометрично замыканию образа при Примеры
Полные пространства
- R{displaystyle mathbb {R} } — пример полного числового метрического пространства, в смысле стандартной метрик
— пример полного числового метрического пространства, в смысле стандартной метрик