Метка: лемма Гейне-Бореля

Теорема Гейне – Бореля. Чтобы множество $K \subset \mathbb{R}^n$ являлось компактным, необходимо и достаточно, чтобы $K$ было ограниченным и замкнутым.

Доказательство. Достаточность. Пусть $K$ замкнуто и ограничено. Тогда найдется сегмент $I \subset \mathbb{R}^n$, содержащий $K$. В силу леммы Гейне – Бореля, этот сегмент $I$ компактен. Поэтому, в силу свойств компактных множеств, компактно также его замкнутое подмножество $K$. Необходимость. Пусть $K$ —  компакт. Докажем, что данное множество ограничено. Обозначим через $B_s$ открытый шар с центром в точке $0$ радиуса $s$. Тогда последовательность шаров$\left\{B_s\right\}^{\infty}_{s=1}$ покрывает все пространство $\mathbb{R}^n$, а следовательно, и множество $K$. Так как $K$ компактно, следовательно, оно может быть покрыто конечным набором шаров $B_s$. Среди всех этих шаров выберем шар с наибольшим радиусом. Пусть это шар $B^{\ast}$. Тогда ясно, что $K \subset B^{\ast}$, так что $K$ ограничено. Покажем теперь, замкнутость множества $K$. Для этого достаточно показать, что любая точка $y \notin K$, не будет предельной для $K$. Итак, пусть $y \notin K$. Рассмотрим множества $G_k = c\overline{B}(y, \frac{1}{k}) (k = 1,2,…)$. Так как замкнутый шар $\overline{B}(y, \frac{1}{k})$ – множество замкнутое, следовательно его дополнение $G_k$ открыто. Кроме того, ясно, что$\bigcup^{\infty}_{k=1}G_k = \mathbb{R}^n \setminus \left\{y\right\}$. Поскольку $y \notin K$, то совокупность множеств $G_k (k = 1,2,…)$ образует открытое покрытие множества $K$. Пользуясь компактностью $K$, выберем из этого покрытия конечное подпокрытие $\left\{G_{k_1},…,G_{k_s}\right\}$ и положим $\rho = \frac{1}{max\left\{k_1,…,k_s\right\}} > 0$. Отсюда следует, что шар $B(y,\rho)$ не имеет общих точек с множеством $K$. Получаем, что точка $y$ не будет предельной для $K$. $\square$

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.235)
• Портнов И.В. Понятие и критерии компактности.

Лемма (Гейне – Бореля). Произвольный сегмент в $\mathbb{R}^n$ является компактным множеством .

Доказательство. Обозначим через $I = [a^1,b^1;…;a^n,b^n]$ – сегмент в $\mathbb{R}^n$. Докажем от противного. Пусть данный сегмент не является компактным. Тогда найдется такое открытое покрытие $\Omega$ сегмента $I$, что никакое конечное подсемейство множеств из $\Omega$ не покрывает $I$. Все стороны $[a^i,b^i]$ сегмента $I$ разделим пополам. Таким образом данный сегмент можно разбить на $2^n$ сегментов. По крайней мере один из них не покрывается конечным подсемейством множеств из $\Omega$. В противном случае, исходный сегмент $I$ также мог бы быть покрытым конечным набором множеств из $\Omega$, что приводит к противоречию. Обозначим через $I_1$ тот из подсегментов $I$, который не может быть покрыт конечным набором множеств из $\Omega$. Каждую из сторон сегмента $I_1$ опять разделим пополам и среди полученных $2^n$ сегментов, на которые окажется разбитым $I_1$, возьмем тот, который не покрывается конечным подсемейством множеств из $\Omega$. Обозначим его через $I_2$ и так далее. Продолжая подобные действия, получим последовательность вложенных сегментов $I \supset I_1 \supset I_2 \supset … \supset I_{\nu} \supset …$, таких, что любой из сегментов $I_{\nu}$ не может быть покрыт каким-либо конечным подсемейством множеств из $\Omega$. Заметим также, что $diam \> I_{\nu} = \frac{diam \> I}{2^{\nu}} \mapsto 0 (\nu \mapsto \infty)$. Применив к полученной последовательности $I_{\nu}$ лемму о вложенных сегментах, найдем точку $x_0 \in I_{\nu} (\nu = 1,2,…)$. Поскольку $x_0 \in I$, а $I$ покрыт семейством $\Omega$ открытых множеств, то найдется такое открытое множество $F \in \Omega$, что $x_0 \in F$. Поскольку множество $F$ открытое и точка $x_0 \in F$, то эта точка внутренняя в $F$. Это означает, что найдется такая окрестность $B(x_0,\delta)$ точки $x_0$, которая целиком содержится во множестве $F$. Но поскольку диаметры сегментов $I_{\nu}$ стремятся к нулю при $\nu \mapsto \infty$, то, начиная с какого-то номера $\nu_0$, они будут меньшими, чем $\delta$, то есть. $diam \> I_{\nu} < \delta (\nu \geq \nu_0)$. Учитывая, что $x_0 \in I_{\nu}$, получаем, что $I_{\nu} \subset B(x_0,\delta)$, а значит, $I_{\nu} \subset F$. Итак, мы получили, что при $\nu \geq \nu_0$ сегмент $I_{\nu}$ содержится во множестве $F$. Но это противоречит выбору сегментов $I_{\nu}$, поскольку они были выбраны так, что никакое конечное подсемейство множеств из $\Omega$ не покрывает $I_{\nu}$. Полученное противоречие завершает доказательство. $\square$

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.239-240)
• Лемма Гейне-Бореля. Материал из Википедии — свободной энциклопедии
• Конспект лекций З.М. Лысенко.