Прежде всего, мы разберём топологию подмножеств на вещественной прямой.
3.2.1Открытость и замкнутость в подмножествах¶
Proof
(1) Пусть открыто в , это значит, что для любой точки можно найти -окрестность такую, что , т.е., .
Так как , то получаем следующее:
где . Согласно Lemma 3.1.2, Lemma 3.1.4, множество — открыто в , что и доказывает необходимость.
(2) Пусть — открытое множество в , и пусть . Так как — открыто в , то найдётся -окрестность такая, что . Тогда . Но согласно Definition 3.2.1, . Тогда включение и означает, что открыто в , ибо — произвольная точка в
Proof
Нам понадобится равенство
которое верно для любых подмножеств . Действительно, если , то и , т.е. , а это значит, что . Наоборот, если , то , но , т.е. , а это значи, что .
(1) Пусть — замкнуто в , тогда (см. Definition 3.2.2), — открыто в , а тогда, согласно Theorem 3.2.1, существует такое открытое в множество , что . Пусть , тогда, согласно Definition 3.1.6, — замкнуто в , а согласно (3.2.1), имеем
что и требовалось доказать.
(2) Пусть теперь — замкнутое множество в , покажем, что — замкнуто в Согласно Definition 3.1.6, найдётся такое открытое в множество , что , тогда, воспользовавшись равенством (3.2.1), имеем
но согласно Theorem 3.2.1, множество — открыто в , а тогда, согласно Definition 3.2.2, множество — замкнуто в . Тем самым предложение полностью доказано.
3.2.2Понятие компактности¶
Proof
Пусть — компактно, это значит, что для любого покрытия множества открытыми множествами в можно всегда найти конечное подпокрытие, скажем, , но тогда
но, согласно определению Definition 3.2.1, каждое — открыто в , т.е. из (1) получаем (2).
Пусть — покрытие , т.е. , где все открыты в , но тогда (см. Теорему Theorem 3.2.1) для каждого существует открытое множество в такое, что . Тогда Так как по условию (2), можно найти конечное число множеств, скажем, , таких, что , то тогда , что и показывает (1).
Proof
Доказывать будем от противного. Допустим, что существует такое покрытие открытыми множествами из для отрезка , что из него нельзя выбрать конечное подпокрытие.
Итак, пусть и из этого покрытия нельзя выбрать конечное подпокрытие, которое бы покрыло . Разобьём пополам т.е представим его так:
По условию нельзя покрыть конечным числом множеств из , тогда хотя бы один из полученных отрезков, обозначим его через тоже нельзя покрыть конечным числом множеств из покрытия . Иначе бы оба полученных отрезка покрывались бы конечным числом множества из покрытия, а тогда и покрывался бы конечным числом множеств из этого покрытия, что и показывала бы компактность .
Разобьём теперь отрезок аналогичным образом на два равных отрезка. Так как нельзя покрыть конечным числом множеств из покрытия , то найдётся хотя бы один, скажем, , из только что полученных, который тоже нельзя покрыть конечным числом множеств. Будем повторять эту процедуру каждый раз, пусть , . В результате мы получаем бесконечную цепь вложенных друг в друга отрезков
каждый из которых нельзя покрыть конечным числом элементов множества . Более того, их длины строго уменьшаются (каждый из отрезков по длине в два раза меньше, чем предыдущий). Тогда по Лемме о вложенных отрезках (Лемма Lemma 1.5.1), существует такая точка , что , которая есть предел для последовательности их концов;
Тогда для любого найдётся такой номер , что при все , а по построению это значит, что и все ,
С другой стороны, так как имеется покрытие этого отрезка , то найдётся хотя бы одно открытое множество такое, что , а так как оно открытое, то для точки можно найти -окрестность
Таким образом, мы получаем, что для всех есть включения
но это значит, что все отрезки покрываются всего одним открытым множеством , что противоречит построению отрезков , т.е. такое построение невозможно, что и означает компактность отрезка
Теперь у нас всё готово, чтобы описать компактные множества в .
Proof
(1) Рассмотрим произвольную точку и рассмотрим такое открытое покрытие для . Так как — компактно, то из этого покрытия можно выбрать конечное подпокрытие, скажем, , такое, что . Так как при , то , т.е. , что и означает ограниченность
(2) Пусть , но . Для каждого рассмотрим числа , чтобы , тогда Ясно, что и так как — компактно, то можно найти конечное множество точек такое, что , где , Для всех таких мы выбираем так, чтобы . Но тогда, полагая , получаем, что
т.е. мы нашли -окрестность точки , которая не пересекается с . Но это означает (см. Definition 3.1.7, Lemma 3.1.8), что . Поэтому если , то , т. е.
(3) Пусть — замкнутое подмножество в , и пусть — покрытие открытыми множествами в , т.е. .
Тогда имеем
но ясно, что , потому что если есть , но , то это значит, что найдётся хотя бы один , что , но все — открытые подмножества, поэтому
Таким образом, мы получили покрытие для , но так как — компактно, то можно найти такие, скажем, , что
но тогда
что означает компактность
Proof
(1) Согласно Theorem 3.2.4 (1), мы получаем необходимость.
(2) Если ограничено и замкнуто, то это значит, что оно содержится в некотором отрезке , который в силу является компактным в . Далее, отрезок — замкнут (см. ), а так как , то согласно Proposition 3.2.1, — замкнут в . Наконец, из Theorem 3.2.4 (3) вытекает утверждение.