Компактность и предкомпактность

Пусть $$(X, \rho)$$ $$-$$ метрическое пространство.

Определение

Множество $$A \subset X$$ называется $$\textbf{компактным}$$, если из любой последовательности $$\{x_n\}_{n = 1}^{\infty}$$ его элементов можно выделить сходящуюся подпоследовательность $$\{x_{n_k}\}_{k = 1}^{\infty}$$ к некоторому элементу $$x^{*} \in A$$.

Примеры

$$\underline{Пример \; 1.}$$ Пусть $$X = [0, 1].$$ Тогда $$X - $$ компакт в силу теоремы Больцано.

$$\underline{Пример \; 2.}$$ Пусть $$X = E_1 - $$ одномерное евклидово пространство(числовая прямая). $$X - $$ некомпактно. Действительно, его подмножество $$M = \{1, 2, 3, \ldots, n, \ldots\}$$ не содержит никакой сходящейся последовательности.

Вспомогательные определения и утверждения

• $$\textbf{Определение.}$$ Множество $$A$$ называется $$\textbf{вполне ограниченным}$$, если $$\forall \varepsilon > 0 \; \exists$$ конечная $$\boldsymbol{\varepsilon}\textbf{-сеть}$$ для $$A:$$ т.е. $$\exists \{x_n\}_{n = 1}^{N}, x_n \in X \text{ и } A \subseteq \bigcup_{n = 1}^{N}B_{\varepsilon}(x_n)$$.

• $$\textbf{Утверждение.}$$ Если $$A$$ $$-$$ компакт, то оно замкнуто и ограничено.

Доказательство. Пусть произвольная последовательность $$\{x_n\} \in A$$ сходится к $$x_0 \in X$$. Так как множество $$A$$ $$-$$ компакт, то из последовательности $$\{x_n\}$$ можно выделить подпоследовательность $$\{x_{n_k}\} \rightarrow x \in A$$. Но любая подпоследовательность сходящейся последовательности сходится к пределу последовательности, то есть $$x = x_0$$. Ограниченность очевидна.$$\blacksquare$$

Лемма Гейне-Бореля (критерий компактности).

$$\textbf{Лемма.}$$ $$A$$ компактно $$\Leftrightarrow$$ из любого его открытого покрытия можно выделить конечное подпокрытие.

Доказательство. $$\Leftarrow$$ Рассмотрим произвольную последовательность $$\{x_n\}$$. Пусть $$X_n = \{x_n, x_{n + 1}, \ldots\}$$.

1. Покажем, что $$\bigcap_{n = 1}^{\infty}\overline{X_n} \neq \varnothing$$. Действительно, пусть это не так, тогда $$M = M \setminus \bigcap_{n = 1}^{\infty}\overline{X_n} = \bigcup_{n = 1}^{\infty}\overline{X_n}\big{(}M \setminus \overline{X_n}\big{)}$$, т.е. открытые множества $$M \setminus \overline{X_n}$$ образуют покрытие пространства $$M$$. По условию $$\exists N: M = \bigcup_{n = 1}^{N}\big{(}M \setminus \overline{X_n}\big{)}$$, следовательно, $$\bigcap_{n = 1}^{N}\overline{X_n} = \varnothing$$, что противоречит тому, что $$x_N \in \bigcap_{n = 1}^{N}X_n$$.
2. Пусть $$x \in \bigcap_{n = 1}^{\infty}\overline{X_n}$$ (конечно, $$x \in M$$). Возможны следующие случаи:
   1. $$x \in X_{n_1}, X_{n_2}, \ldots$$ (бесконечная последовательность): в качестве фундаментальной можно взять стационарную подпоследовательность $$x, x, \ldots$$;
   2. $$x \in X_{n_1}, X_{n_2}, \ldots, X_{n_m}: x \notin X_{n_m + 1}, X_{n_m + 2}, \ldots:$$ в этом случае $$x$$ $$-$$ предельная точка для всех $$X_n$$, начиная с номера $$n_m + 1$$, а следовательно, в любой окрестности точки $$x$$ найдется точка из $$X_n$$, что и позволяет выбрать $$\{x_n\}$$ сходящуюся подпоследовательность.

$$\Rightarrow$$ От противного. Пусть $$\{G_{\alpha}\} - $$ открытое покрытие $$M$$, из которого нельзя выделить конечное подпокрытие. Так как $$M$$ компактно, то по теореме Хаусдорфа оно вполне ограничено. Пусть $$\varepsilon_m = 2^{-m}$$. Накроем $$M$$ конечным набором шаров радиуса $$\varepsilon_1$$. По предположению среди них существует шар $$B_1 = B(x_1, \varepsilon_1)$$, из покрытия $$\{G_{\alpha}\}$$ которого нельзя выделить конечное подпокрытие. Накроем $$B_1$$ конечным набором шаров радиуса $$\varepsilon_2$$. Среди них снова найдется шар $$B_2$$, из покрытия $$\{G_{\alpha}\}$$ которого нельзя выделить конечное подпокрытие, и т.д. Видно, что центры шаров $$B_l$$ образую фундаментальную последовательность. В силу компактности $$M$$ эта последовательность сходится; пусть $$y \in M$$ $$-$$ ее предел. Так как $$y$$ содержится в одном из открытых множеств $$\{G_{\alpha}\}$$, то существует шар с центром в $$y$$, содержащийся в $$\{G_{\alpha}\}$$, причем ясно, что все шары $$B_l$$, начиная с некоторого номера, попадают в этот шар $$-$$ противоречие.$$\blacksquare$$