Компактные множества

КОМПАКТНЫЕ МНОЖЕСТВА

Определение. Пусть множество [latex]E \subset \mathbb{R}^n[/latex]. Семейство открытых множеств [latex]\left\{G_{\alpha}\right\}[/latex] называется открытым покрытием множества [latex]E[/latex], если каждая точка [latex]x \in E[/latex] принадлежит хотя бы одному из множеств [latex]G_{\alpha}[/latex], т. е. если [latex]E \subset \bigcup_{\alpha}G_{\alpha}[/latex].

Определение. Множество [latex]E \subset \mathbb{R}^n[/latex] называется компактным, если каждое его открытое покрытие содержит конечное подсемейство, также покрывающее множество [latex]E[/latex]. Это подсемейство называется конечным подпокрытием.

Например, множество, состоящее из одной точки, двух точек или любого конечного набора точек, очевидно, компактное. Пусть [latex]E \subset \mathbb{R}^n[/latex]. Диаметром множества [latex]E[/latex] называется число [latex]diam \> E = sup_{x,y \in E} \left | x — y \right |[/latex], т. е. верхняя грань расстояний между всевозможными парами точек из [latex]E[/latex]. Например, если [latex]E = \left [a^1,b^1;…;a^n,b^n \right ][/latex] – [latex]n[/latex]-мерный сегмент, то, очевидно, [latex]diam \> E = |b-a|[/latex], где [latex]a = (a^1,…,a^n), b = (b^1,…,b^n)[/latex].

Лемма (о вложенных сегментах). Пусть  [latex]\left\{I_{\nu}\right\}[/latex] – последовательность вложенных сегментов из [latex] \mathbb{R}^n [/latex], т. е. [latex]I_1 \supset I_2 \supset…\supset I_{\nu} \supset…[/latex], диаметры которых стремятся к нулю при [latex]\nu \mapsto \infty[/latex]. Тогда существует, и притом единственная, точка [latex]x_0[/latex], принадлежащая всем этим сегментам.
Доказательство. Пусть [latex]I_{\nu} = \left [a^1_{\nu},b^1_{\nu};…;a^n{\nu},b^n_{\nu} \right ] (\nu = 1,2,…)[/latex]. При каждом фиксированном [latex]i = 1,…,n[/latex] последовательность одномерных отрезков [latex] \left [a^i_{\nu},b^i_{\nu} \right ] (\nu = 1,2,…)[/latex] состоит из вложенных друг в друга отрезков, т. е. [latex][a^i_1,b^i_1] \subset [a^i_2,b^i_2] \subset … \subset [a^i_{\nu},b^i_{\nu}] \subset …[/latex], и длины этих отрезков стремятся к нулю при [latex]\nu \mapsto \infty[/latex]. По лемме Кантора, для зафиксированного [latex]i[/latex] найдется число [latex]x^i_0[/latex], такое, что [latex]x^i_0 \in [a^i_{\nu},b^i_{\nu}] (\nu = 1,2,…)[/latex], т. е. [latex]a^i_{\nu} \leq x^i_0 \leq b^i_{\nu} (\nu = 1,2,…)[/latex]. Но тогда точка [latex]x_0 = (x^1_0,…,x^n_0)[/latex], очевидно, принадлежит всем [latex]I_{\nu}[/latex]. Двух различных точек, принадлежащих всем [latex]I_{\nu}[/latex] одновременно, быть не может. Действительно, если [latex]{x}’,{x}» \in I_{\nu} (\nu = 1,2,…)[/latex], то [latex]|{x}’-{x}»| \leq diam \> I_{\nu}[/latex]. По условию правая часть стремится к нулю при [latex]\nu \mapsto \infty[/latex], так что [latex]{x}’={x}»[/latex].

Литература:

Компактные множества

Тест по теме «Компактные множества»

Таблица лучших: Компактные множества

максимум из 11 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Компактные множества: 1 комментарий

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

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