Изменения

Перейти к: навигация, поиск

Теорема Хаусдорфа об ε-сетях

51 байт добавлено, 01:09, 5 декабря 2019
Теорема Хаусдорфа
{{В разработке}}
[[Категория:Математический анализ 1 курс]]
 
== Некоторые определения ==
Пусть <tex>X</tex> {{---}} метрическое пространство. Тогда принимая критерий Коши существования предела числовой последовательности
|author=Хаусдорф
|statement=
Пусть <tex>X</tex> {{---}} полное метрическое пространство, <tex>K \subset X</tex>, <tex>K</tex> {{---}} замкнуто.
Тогда <tex>K</tex> {{---}} компакт <tex>\iff</tex> <tex>K</tex> {{---}} вполне ограниченно.
|proof=
1. <tex>\Longrightarrow</tex> Пусть <tex>K</tex> {{---}} компакт.
Предположим, что <tex>K</tex> {{---}} не вполне ограниченно.
Тогда <tex>\exists \varepsilon_0 > 0\ \forall x_1 \in K\ \exists x_2 \in K: \ \rho(x_1, x_2) \ge \varepsilon_0</tex>. Если такого <tex>x_2</tex> нет, то
<tex>K</tex> имеет <tex>\varepsilonvarepsilon_0</tex>-сеть <tex>\{x_1\}</tex>. Тогда найдётся <tex>x_3:\ \rho(x_3, x_j) \ge \varepsilon_0, j = \overline{1, 2}</tex>. Если бы такого <tex>x_3</tex> не было, то у <tex>K</tex> была бы <tex>\varepsilon_0</tex>-сеть <tex>\{x_1, x_2\}</tex>.
Тогда найдётся И так далее. Получаем набор точек <tex>x_3:\ \rho(x_3x_1, x_j) \ge \varepsilon_0x_2, j = \overline{1, 2}</tex>. Если бы такого <tex>x_3ldots</tex> не было, то у <tex>K</tex> была бы <tex>\varepsilon</tex>-сеть <tex>forall i \ne j: \ \{x_1rho(x_i, x_2x_j) \geqslant \}varepsilon_0</tex>.
И так далее. Получаем набор точек Так как <tex>x_1, x_2, \ldotsK</tex>{{---}} компакт, <tex>\forall i \ne j: \ \rho(x_iто из этой последовательности можно выделить сходящуюся. Но по построению последовательности это невозможно, x_j) > \varepsilon_0</tex>получили противоречие.
Так как <tex>K\Longleftarrow</tex> {{---}} компакт, то из этой последовательности можно выделить сходящуюся. Но увы.
2. <tex>K</tex> {{---}} замкнутое и вполне ограниченно.
Рассмотрим любую последовательность <tex>x_n</tex> в <tex>K</tex>. Докажем, что из неё можно выделить сходящуюся подпоследовательность.
Обозначим <tex>V_{\varepsilon_1}(y_i)\ </tex> как <tex>\overline{V_{\varepsilon_1}} </tex>.
Пусть <tex>K_1 = \overline{V_{\varepsilon_1}} \cap K</tex> {{---}} замкнутое и вполне ограниченно. Покроем его конечной системой шаров радиуса <tex>\varepsilon_2</tex>.
Среди них выберем тот, в котором бесконечно много элементов <tex>x_n</tex>. И так далее...
<tex>
\begin{center}
\begin{tabular}{c|cccc}
$\varepsilon_1$ & $x_{1, 1}$ & $x_{1, 2}$ & $x_{1, 3}$ & \ldots \\
$\varepsilon_3$ & $x_{3, 1}$ & $x_{3, 2}$ & $x_{3, 3}$ & \ldots \\
\hline
$\hdotsvdots$ & $\hdotsvdots$ & $\hdotsvdots$ & $\hdotsvdots$ & $\ddots$ \\
\end{tabular}
\end{center}
</tex>
Рассмотрим последовательность точек <tex>x_{1, 1}, x_{2, 2}, x_{3, 3}, \ldots</tex>(''диагональ Кантора'')
Очевидно, это подпоследовательность исходной последовательности. Если доказать, что она сходится к в себе, то, так как <tex>KX</tex> {{---}} полное, у неё будет предел.
Так как <tex>K</tex> {{---}} замкнутое, то предел этой последовательности принадлежит ей.
Так как <tex>x_{n + p, n + p}</tex> есть в <tex>n</tex>-й строке, то <tex>\rho \leq 2\varepsilon_n</tex>.
В этои неравенстве <tex>p</tex> {{---}} произвольное. Тогда так Так как <tex>\varepsilon_n \to 0</tex>, последовательность сходится к в себе, значитто, по полноте<tex> X </tex>, у неё есть предел.{{TODO|t=казалось бы, причём здесь компакт?}}
}}
Анонимный участник

Навигация