13.4

Полные метрические пространства

[10/100%]
Показать
LaTeX
Задача 13.31

В метрическом пространстве XX покажите

?
(i)

что сходящаяся последовательность фундаментальна,

(ii)

что фундаментальная последовательность ограничена.

Задача 13.32

В метрическом пространстве XX покажите, что фундаментальная последовательность сходится тогда и только тогда, когда она имеет сходящуюся подпоследовательность.

?
Задача 13.33

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

?
Задача 13.34

Приведите пример убывающей счётной совокупности замкнутых непустых множеств вещественных чисел, пересечение которых пусто. Противоречит ли это теореме Кантора о пересечении?

?
Задача 13.35

Для отображения ff метрического пространства (X,ρX, \rho) в метрическое пространство (Y,σY, \sigma) покажите, что ff равномерно непрерывно тогда и только тогда, когда для любых двух последовательностей {un}\left\{ u_{n}\right\} и {vn}\left\{ v_{n}\right\} из XX

 если lim⁡n→∞ρ(un,vn)=0, то lim⁡n→∞σ(f(un),f(vn))=0.  \text{ если } \lim _{n \rightarrow \infty } \rho \left(u_{n}, v_{n}\right) = 0 \text{, то } \lim _{n \rightarrow \infty } \sigma \left(f\left(u_{n}\right), f\left(v_{n}\right)\right) = 0 \text{. }
?
Задача 13.36

Для счётного декартова произведения метрических пространств, определённого в предложении 7, покажите, что произведение полно тогда и только тогда, когда полно каждое из пространств-сомножителей.

Предложение 7: Пусть X=∏n=1∞XnX = \prod_{n=1}^{\infty } X_{n} — декартово произведение счётной совокупности метрических пространств {(Xn,ρn)}n=1∞\left\{ (X_{n}, \rho_{n})\right\}_{n=1}^{\infty }. Для точек u={un}u = \left\{ u_{n}\right\} и v={vn}v = \left\{ v_{n}\right\} из XX определим ρ(u,v)=∑n=1∞12n⋅ρn(un,vn)1+ρn(un,vn)\rho (u, v) = \sum_{n=1}^{\infty } \frac{1}{2^{n}} \cdot \frac{\rho_{n}(u_{n}, v_{n})}{1 + \rho_{n}(u_{n}, v_{n})}. Тогда ρ\rho — метрика на XX, для которой сходимость последовательностей означает покомпонентную сходимость в каждом метрическом пространстве-сомножителе (Xn,ρn)(X_{n}, \rho_{n}).

?
Задача 13.37

Для каждого индекса nn определим fn(x)=αxn+βcos⁡(x/n)f_{n}(x) = \alpha x^{n}+\beta \cos (x / n) при 0≤x≤10 \leq x \leq 1. При каких значениях параметров α\alpha и β\beta последовательность {fn}\left\{ f_{n}\right\} является фундаментальной последовательностью в метрическом пространстве C[0,1]C[0,1]?

?
Задача 13.38

Пусть D\mathcal{D} — подпространство C[0,1]C[0,1], состоящее из непрерывных функций f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R}, дифференцируемых на (0,1)(0,1). Полно ли D\mathcal{D}?

?
Задача 13.39

Определим L\mathcal{L} как подпространство C[0,1]C[0,1], состоящее из липшицевых функций f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R}. Полно ли L\mathcal{L}?

?
Задача 13.40

Для метрического пространства (X,ρX, \rho) завершите следующий план доказательства теоремы 12:

Теорема 12: Пусть (X,ρ)(X, \rho ) — метрическое пространство. Тогда существует полное метрическое пространство (X^,ρ^)(\widehat{X}, \widehat{\rho }), для которого XX является плотным подмножеством X^\widehat{X} и ρ^(u,v)=ρ(u,v)\widehat{\rho }(u,v) = \rho (u,v) для всех u,v∈Xu, v \in X. (Это пространство называется пополнением пространства (X,ρ)(X,\rho ); оно единственно с точностью до изометрии, тождественной на XX.)

?
(i)

Если {xn}\left\{ x_{n}\right\} и {yn}\left\{ y_{n}\right\} — фундаментальные последовательности в XX, покажите, что {ρ(xn,yn)}\left\{ \rho \left(x_{n}, y_{n}\right)\right\} является фундаментальной последовательностью вещественных чисел и, следовательно, сходится.

(ii)

Определим X′X^{\prime } как множество фундаментальных последовательностей в XX. Для двух фундаментальных последовательностей в XX, {xn}\left\{ x_{n}\right\} и {yn}\left\{ y_{n}\right\}, определим ρ′({xn},{yn})=lim⁡ρ(xn,yn)\rho^{\prime }\left(\left\{ x_{n}\right\} ,\left\{ y_{n}\right\} \right) = \lim \rho \left(x_{n}, y_{n}\right).

(iii)

Назовём два элемента X′X^{\prime }, то есть две фундаментальные последовательности {xn}\left\{ x_{n}\right\} и {yn}\left\{ y_{n}\right\} в XX, эквивалентными, если ρ′({xn},{yn})=0\rho^{\prime }\left(\left\{ x_{n}\right\} ,\left\{ y_{n}\right\} \right) = 0. Покажите, что это отношение эквивалентности на X′X^{\prime }, и обозначим через X^\widehat{X} множество классов эквивалентности. Определим расстояние ρ^\widehat{\rho } между двумя классами эквивалентности как ρ′\rho^{\prime }-расстояние между представителями классов. Покажите, что ρ^\widehat{\rho } определено корректно и является метрикой на X^\widehat{X}.

(iv)

Покажите, что метрическое пространство (X^,ρ^)(\widehat{X}, \widehat{\rho }) полно.

(v)

Определим отображение hh из XX в X^\widehat{X}, полагая для x∈Xx \in X, h(x)h(x) равным классу эквивалентности постоянной последовательности, каждый член которой равен xx. Покажите, что h(X)h(X) плотно в X^\widehat{X} и что ρ^(h(u),h(v))=ρ(u,v)\widehat{\rho }(h(u), h(v)) = \rho (u, v) для всех u,v∈Xu, v \in X.

(vi)

Определим множество X~\widetilde{X} как дизъюнктное объединение XX и X^∼h(X)\widehat{X} \sim h(X). Для u,v∈X~u, v \in \widetilde{X} определим ρ~(u,v)\widetilde{\rho }(u, v) следующим образом: ρ~(u,v)=ρ(u,v)\widetilde{\rho }(u, v) = \rho (u, v), если u,v∈Xu, v \in X; ρ~(u,v)=ρ^(u,v)\widetilde{\rho }(u, v) = \widehat{\rho }(u, v) для u,v∈X^∼h(X)u, v \in \widehat{X} \sim h(X); и ρ~(u,v)=ρ^(h(u),v)\widetilde{\rho }(u, v) = \widehat{\rho }(h(u), v) для u∈X,v∈X^∼h(X)u \in X, v \in \widehat{X} \sim h(X). Из двух предыдущих пунктов заключите, что метрическое пространство (X~,ρ~\widetilde{X}, \widetilde{\rho }) является полным метрическим пространством, содержащим (X,ρX, \rho) как плотное подпространство.