Компактность топологических пространств. Связность топологических пространств

Определение 1. Пусть (Х, Ф) - топологическое пространство и множество Н Ì Х. Семейство U = {А_a} открытых множеств А_a называется открытым покрытием множества Н, если

Н Ì .

Подпокрытие покрытия U – это такое подсемейство семейства U, которое само является покрытием для Н.

Определение 2. Топологическое пространство Х называется компактным или компактом, если из любого его открытого покрытия можно выбрать конечное подпокрытие.

Определение 3. Множество М в топологическом пространстве Х называется компактным, если оно является компактным топологическим пространством относительно индуцированной топологии (как подпространство).

Пользоваться этим определением компактности множества не очень удобно, так как оно требует построения в множестве с индуцированной топологией. Следующая теорема дает нам возможность обходиться без этих дополнительных построений.

Теорема 1. Для того, чтобы множество М в топологическом пространстве Х было компактно, необходимо и достаточно, чтобы из любого открытого покрытия множества М в Х можно было выделить конечное подпокрытие.

Доказательство.

Необходимость. Пусть М – компактно в (Х, Ф). Возьмём любое его покрытие m = { G_b}, где G_b Î Ф. Тогда

m¢ = { G_b Ç M, G_b Î m }

будет открытым покрытием М в смысле индуцированной топологии. Выбирая из m¢ конечное подпокрытие, получаем из соответствующих ему множеств в m искомое конечное подпокрытие.

Достаточность. Пусть m = { G_b} - произвольное открытое покрытие множества М. Тогда m¢ = { G_b Ç M } также является открытым покрытием в смысле индуцированной топологии.

По условию из m можно выбрать конечное подпокрытие для М, а последнее даёт подпокрытие для М из m¢. Из определения компактности множества следует, что М – компактно.

Теорема 2. Если топологическое пространство (Х, Ф) компактно, а множество F Ì X – замкнуто, то F – компактно.

Доказательство. Пусть U – произвольное открытое покрытие F. Добавим к U открытое множество (Х \ F).

Тогда система {U, (X \ F)} - открытое покрытие Х.

Так как Х – компактно, то из полученного выше покрытия выбираем конечное покрытие Х.

Обозначим его U₁. Если U₁ содержит X \ F, то удалив из U₁ множество X \ F, получим покрытие, причём конечное, для F. Если U₁ не содержит X \ F, то U₁ и является конечным покрытием F.

В силу теоремы 1 множество F – компактно.

Теорема доказана.

Теорема 3. В хаусдорфовом пространстве (Х, Ф) у любых двух компактных непересекающихся множеств имеются непересекающиеся окрестности.

Доказательство. Пусть А, В - непересекающиеся компактные множества пространства (Х,Ф). Рассмотрим случай, когда В – точка. Тогда фиксируем для каждой точки х Î А и точки В непересекающиеся окрестности U_x и V_x, соответственно. Выделяем из полученного покрытия множества А окрестностями U _x конечное покрытие и оставляем соответствующие им окрестности для точки В:

Тогда множества

и

будут непересекающимися окрестностями множества А и точки В.

В общем случае мы рассматриваем для каждой точки х Î В непересекающиеся окрестности множества А – U _x и точки х – V _x и выделяем из полученного покрытия множества В окрестностями V _x конечное покрытие

.

Множества

и

будут непересекающимися окрестностями множеств А и В.

Теорема 4. Компактное подмножество М хаусдорфова пространства (Х, Ф) замкнуто.

Доказательство. Действительно, в силу теореме 3 любая точка, не принадлежащая компактному множеству, обладает окрестностью, не пересекающейся с этим множеством, то есть всякая точка не принадлежащая компактному множеству в хаусдорфовом пространстве является для него внешней.

Следовательно, М содержит все свои внутренние и граничные точки, то есть М – замкнуто.

Теорема 5. Подмножество в пространстве R³ компактно в том и только том случае, если оно ограничено и замкнуто.

Доказательство. М – ограниченное подмножество R³, то есть оно лежит внутри некоторого шара или куба.

Пусть М – компактно и х₀ Î М, U (x₀, r _n) – шары концентрические с центром в точке х₀ и радиусом r _n

Так как

{U(x₀, r _n)}, r _n ® ¥

покрытие для М, то можно выбрать конечное подпокрытие, то есть конечную последовательность r₁, r₂,…, r _k и тогда М Ì U (x₀, r _k), то есть М – ограниченное.

Так как R³ – хаусдорфово пространство, то согласно теореме 4 М – замкнутое множество.

2) Докажем достаточность. По теореме 2 достаточно показать, что кубы пространства R³ –компактны.

Куб пространства R³ очевидным образом делится на 2³ кубов вдвое меньших размеров, и если некоторое покрытие W исходного куба открытыми множествами пространства R³ не содержит конечного подпокрытия, то тем же свойством оно будет обладать и как покрытие одного из меньших кубов. Повторяя это рассуждение, мы построим убывающую последовательность кубов Q₁, Q₂,…,каждый из которых вдвое больших размеров следующего и ни один из которых не покрывается конечным набором множеств из W.

Однако, общая точка этих кубов покрывается некоторым множеством из W, а с ней покрываются этим множеством и кубы Q _n c достаточно большим n.

Полученное противоречие доказывает нашу теорему.

Пример 1. Доказать, что в евклидовом пространстве с естественной топологией (Е³, Ф_r) множество Н состоящее из конечного числа точек компактно.

Доказательство. Пусть Н = { х₁, х₂, …, х_n } и { G_a}_aÎА - произвольное открытое покрытие множества Н. По определению покрытия каждая точка х_i принадлежит хотя бы одному из множеств G_a. Обозначим G₁ одно из множеств множества { G_a}_aÎА содержащее х₁. Затем обозначим G₂ одно из множеств множества { G_a}_aÎА содержащее х₂ и так далее, для точки х_n обозначим G_n одно из множеств множества { G_a}_aÎА содержащее х_n.

Получили конечный набор открытых множеств G₁, G₂, …, G_n являющийся покрытием множества Н. Согласно теореме 1 множество Н будет компактным множеством.

Пример 2. Доказать, что топологическое пространство (Н, Ф_д), где Н бесконечное множество с дискретной топологией, не компактно.

Доказательство. Для данного топологического пространства можно рассмотреть конкретное открытое покрытие самими точками этого пространства. Но тогда из этого покрытия нельзя выбросить даже одного открытого множества, так как соответствующая точка будет не покрыта. Поэтому из рассматриваемого открытого покрытия нельзя выбрать конечного подпокрытия. Поэтому топологическое пространство (Н, Ф_д) не компактно.

Пример 3. Пусть (Х, Ф_к) концентрическое топологическое пространство (см. § 2, пример 4). Доказать, что (Х, Ф_к) некомпактное топологическое пространство, но любое ограниченное замкнутое множество Н этого пространства является компактным подмножеством.

Доказательство. Пусть { G_a}_aÎА - произвольное открытое покрытие множества Н. По определению топологии каждое G_a есть открытый шар с центром в точке О. Следовательно, мы имеем множество вложенных друг в друга открытых шаров, радиусы которых возрастают неограниченно: r₁, r₂, …, r_a, …. Предположим, что нам удалось выбрать конечное подпокрытие G₁, G₂, …, G_к из покрытия { G_a}_aÎА. При этом мы вполне можем считать, что G₁Ì G₂ Ì … Ì G_к. Тогда соответствующие радиусы этих шаров удовлетворяют неравенствам: r₁ £ r₂ £ … £ r_к. Но открытый шар любого конечного радиуса не покрывает все пространство. Следовательно, предположение неверно.

Докажем вторую часть задачи. Пусть Н ограниченное замкнутое множество в (Х, Ф_к). Обозначим

r_х = | Ох |, где х Î Н, r₀ = .

Предположим, что мы имеем произвольное открытое покрытие { G_a}_aÎА множества Н. Как и в первой части задачи мы имеем множество вложенных друг в друга открытых шаров, радиусы которых возрастают неограниченно: r₁, r₂, …, r_a, …. Рассмотрим все радиусы r_a ³ r₀. Обозначим наименьший радиус. Тогда ³ r₀ и открытый шар из покрытия { G_a}_aÎА одновременно будет представлять конечное покрытие Н. Согласно теореме 1 множество Н будет компактным множеством.

Дата добавления: 2015-08-13