Структура некоторых числовых множеств (стр. 12 из 22)

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

Замечание. Пересечение бесконечного множества открытых множеств не может открытым множеством. В самом деле, если

, 1,2,3,… , то открыты, но пересечение их не открытое множество.

Определение 3. Пусть

и два точечных множества. Если , то множество называется дополнением множества до множества и обозначается так: . В частности, множество , где - множество действительных чисел, называется просто дополнением множества и обозначается через .

Теорема 3. Если множество

открыто, то его дополнение замкнуто.

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

Пусть

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

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

Теорема 4. Если множество

замкнуто, то его дополнение открыто.

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

Пусть

Тогда

не является предельной точкой множества и, следовательно, существует интервал , содержащий точку и не содержащий ни одной, отличной от , точки . Но так как и не входит в , то в вообще нет точек , так что и - внутренняя точка .

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

Замечание. Каждое из взаимно дополнительных множеств 0 и R одновременно и замкнуто и открыто.

Следствие 1. 1) если

открытое множество, а - содержащий его отрезок, то множество замкнуто;

2) если

замкнутое множество, а - содержащий его интервал, то множество открыто.

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

Эти утверждения следуют из очевидных тождеств

где

и - замкнутые множества, следовательно, их пересечение также замкнуто.

где

и - открытые множества, следовательно, их пересечение также открыто.

Следствие доказано.

Замечание. Если

замкнуто и , то множество , не является, вообще говоря, открытым. Пусть, например, и , тогда - неоткрытое множество.

Определение 4. Пусть

непустое ограниченное множество и , . Отрезок называется наименьшим отрезком, содержащим Е.

Теорема 5. Если

есть наименьший отрезок, содержащий ограниченное замкнутое множество , то множество открыто.

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

Очевидно, достаточно убедиться в справедливости тождества

Пусть

, это значит, что , . Но если , то и , так как и входят в по теореме 6 (стр. 29) . Значит . Кроме того, , очевидно, входит в , так что . Обратное включение очевидно.