Критерий компактности в n-мерном пространстве (Теорема Гейне – Бореля)

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

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

Литература:

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *