Свойства компактных множеств

Доказать теорему 4.1.

Теорема 4.1: в любом метрическом пространстве $X$ секвенциальная компактность множества $M$ эквивалентна компактности $M$.

Пусть $U$ — открытое покрытие метрического компакта $(X, \rho )$. Доказать, что найдется такое $r > 0$, что всякий шар $B(x, r)$ содержится в некотором элементе покрытия $U$.

Доказать, что в метрическом пространстве компактное множество замкнуто и ограничено.

Доказать, что любое подмножество предкомпактного множества предкомпактно.

Доказать, что в любом конечномерном нормированном пространстве предкомпактность равносильна ограниченности.

Доказать, что в дискретном метрическом пространстве, в пространстве $\mathbb {N}$ и пространстве $\mathbb {Z}$ множество предкомпактно тогда и только тогда, когда оно состоит из конечного числа точек.

Доказать, что если отображение $f: X \rightarrow Y$ метрических пространств непрерывно и $X$ — компакт, то $f(X)$ — компакт в $Y$.

Доказать, что если множество $M$ предкомпактно в неполном метрическом пространстве $X$, то оно предкомпактно и в пополнении этого пространства¹. Привести контрпример к обратному утверждению.

Привести пример неполного метрического пространства $X$ и вполне ограниченного, но не предкомпактного множества $M$ в нём (сравните эту задачу с теоремой 4.2).

Доказать, что если множество $M$ в метрическом пространстве $X$ вполне ограничено, то любая последовательность точек множества $M$ содержит фундаментальную подпоследовательность.

Доказать, что если для некоторого $\varepsilon > 0$ для множества $M$ метрического пространства $X$ найдётся конечная $\varepsilon$-сеть, то существует конечная $2 \varepsilon$-сеть, состоящая из точек множества $M$.

В замкнутом единичном шаре пространства $l_{p}, 1 \leqslant p \leqslant \infty$, предъявить последовательность, не содержащую ни одной фундаментальной подпоследовательности.

Доказать, что в любом бесконечномерном нормированном пространстве $X$ любой шар (замкнутый или открытый) не предкомпактен.

Доказать, что любое предкомпактное множество в бесконечномерном банаховом пространстве нигде не плотно.

Доказать, что если в нормированном пространстве $X$ множество $M$ является предкомпактным, то оно ограничено и его можно с любой точностью аппроксимировать конечномерным подпространством, т. е. для любого $\varepsilon > 0$ найдётся такое конечномерное подпространство $X_{0}$, что $\operatorname {dist}_{0}\left(M, X_{0}\right) < \varepsilon$ (см. определение 1.17). Доказать обратное утверждение для банахова пространства $X$.

Пусть $(X, \rho )$ — метрическое пространство, а $M$ — предкомпактное множество в нём. Доказать, что $(M, \rho )$ — сепарабельное метрическое пространство.

Пусть $M$ — компактное множество в банаховом пространстве $X$. Доказать, что найдётся такая последовательность $x_{n} \rightarrow 0$, что $M \subset \overline{\operatorname {conv}\left\{ x_{n}\right\}_{1}^{\infty }}$.

Пусть $X$ — метрическое пространство, а $M$ — ограниченно компактное множество в нём. Доказать, что для любой точки $x \in X$ расстояние от $x$ до $M$ достигается, т. е. найдётся такой $y \in M$, что $\operatorname {dist}(x, M) = \rho (x, y)$.

Пусть $X$ — метрическое пространство, а $M_{1}$ и $M_{2}$ — компактные множества в нём. Доказать, что $\operatorname {dist}_{0}\left(M_{1}, M_{2}\right) = \rho \left(x_{0}, y_{0}\right)$ (см. определение 1.17) для некоторых $x_{0} \in M_{1}$ и $y_{0} \in M_{2}$.

Пусть $X$ — метрическое пространство, а $M$ — компактное множество в нём. Доказать, что $\operatorname {diam}(M) = \rho (x, y)$ для некоторых $x, y \in M$.

Пусть $X$ — метрический компакт. Доказать, что у любого подмножества в $X$ существует чебышёвский центр.

Доказать, что в полном метрическом пространстве любая система замкнутых непустых вложенных множеств имеет непустое пересечение, если все эти множества вложены в некоторый компакт. ¹

Доказать, что функция $\operatorname {dist}_{\mathrm{H}}$ удовлетворяет аксиомам метрики.

Обозначим через $\mathcal{N}(X)$ семейство всех подмножеств метрического пространства $X$, состоящих из конечного числа точек. Доказать, что если $X$ полно, то пространство $(\exp (X), \operatorname {dist}_{\mathrm{H}})$ является пополнением пространства $(\mathcal{N}(X), \operatorname {dist}_{\mathrm{H}})$.

Пусть $X$ — метрический компакт. Доказать, что пространство $(\exp (X), \operatorname {dist}_{\mathrm{H}})$ также является компактом.

Пусть $X$ — полное метрическое пространство, а $\left\{ f_{j}\right\}_{1}^{n}$ сжимающие отображения из $X$ в $X$. Определим отображение

Доказать, что $F$ — сжимающее отображение в $\left(\exp (X), \operatorname {dist}_{\mathrm{H}}\right)$.

Доказать, что следующие множества есть неподвижные точки для некоторых сжимающих отображений. Найти эти отображения.

Пусть $M$ — такое множество в полном метрическом пространстве $X$, что любая вещественнозначная непрерывная на $M$ функция ограничена. Доказать, что $M$ — компакт.

Пусть $M$ — такое множество в полном метрическом пространстве $X$, что любая вещественнозначная непрерывная и ограниченная на $M$ функция достигает своей точной верхней и точной нижней граней. Доказать, что $M$ — компакт.

Пусть $M$ — компактное множество в полном метрическом пространстве $X_{1}, f: M \rightarrow X_{2}$, где $X_{2}$ — также полное метрическое пространство. Доказать, что из непрерывности отображения $f$ следует его равномерная непрерывность.

Пусть $M$ — такое множество в полном метрическом пространстве $X$, что любая вещественнозначная непрерывная на $M$ функция равномерно непрерывна. Доказать, что $M$ — компакт.

Пусть $M$ — компакт в метрическом пространстве $X$, а $Y$ нормированное пространство. Обозначим через $C(M, Y)$ множество непрерывных функций из $M$ в $Y$. Доказать, что норма $\left\| x\right\|_{C(M, Y)} = \max_{t \in M}\left\| x(t)\right\|_{Y}$ превращает $C(M, Y)$ в нормированное пространство (линейные операции вводятся поточечно), а если $Y$ — банахово пространство, то и пространство $C(M, Y)$ банахово. ¹

(Дини, 1872). Пусть $M$ — метрический компакт, а последовательность функций $\left\{ f_{n}: M \rightarrow Y\right\}_{1}^{\infty }$, непрерывно отображающих $M$ в нормированное пространство $Y$, сходится к непрерывной функции $f$ поточечно и для любого $x \in M$

Доказать, что $f_{n} \rightarrow f$ в пространстве $C(M, Y)$. ¹

Доказать, что если множество $M$ компактно в метрическом пространстве $X$, а отображение $f: M \rightarrow M$ удовлетворяет неравенству $\rho (f(x), f(y)) < \rho (x, y)$ при любых $x \neq y$, то существует единственная неподвижная точка $x \in M$ (сравните с задачей 1.74 и теоремой 1.4).

Теорема 1.4 (принцип сжимающих отображений): пусть $f: X \rightarrow X$ — сжимающее отображение (т. е. существует $q \in [0, 1)$ такое, что $\rho (f(x_{1}), f(x_{2})) \leqslant q \cdot \rho (x_{1}, x_{2})$ для любых $x_{1}, x_{2} \in X$) в полном метрическом пространстве $X$. Тогда существует единственная точка $x_{0} \in X$ такая, что $f(x_{0}) = x_{0}$; эта точка есть предел рекуррентно заданной последовательности $x_{n} = f(x_{n-1})$ с произвольной начальной точкой $x_{1} \in X$.

Доказать, что в метрическом пространстве любое изометрическое вложение компакта в себя является изометрией этого компакта (и показать, что для произвольного замкнутого ограниченного множества это неверно).

Пусть $X$ — полное метрическое пространство, $M$ — компактное множество в нём, $\varphi : M \rightarrow M$ — отображение, удовлетворяющее неравенству $\rho (\varphi (x), \varphi (y)) \geqslant \rho (x, y)$. Доказать, что $\varphi$ есть изометрия множества $M$.

Найти аппроксимативную размерность:

Найти аппроксимативную размерность: