124
Так как каждое из множеств
i
X
является открытым, то их пересечение (10)
также является открытым множеством.
Докажем равенство (10). Имеем
"
k
i
iii
Xx)k,...,,i(Xx)k,...,,i(XxXxXx
1
2121
=
∈⇔=∀∈⇔=∀∉⇔∉⇔∈ .
Теорема. Пересечение X любого числа замкнутых множеств
i
является
замкнутым множеством.
Доказательство. Пусть точка не принадлежит пересечению X. Тогда она не
принадлежит какому-то из пересекаемых множеств
i
. Другим словами, она
принадлежит его дополнению, которое является открытым множеством.
Стало быть, она принадлежит этому дополнению вместе с некоторой окрест-
ностью. Таким образом, все точки этой окрестности не принадлежат множе-
ству
i
и, следовательно, не принадлежат пересечению X. Поэтому, эта ок-
рестность принадлежит дополнению множества X.
Расположение точек относительно множества. Для фиксированных
множества X и точки
a
из пространства
n
R всегда выполняется одна из трех
возможностей.
1. Существует окрестность точки
a
, содержащаяся во множестве X.
2. Существует окрестность точки
a
, содержащаяся в дополнении
X
.
3. Всякая окрестность точки
a
содержит как точки из множества X, так и
точки из его дополнения.
Точка
a
, обладающая свойством 1, называется внутренней точкой
множества X. Множество внутренних точек множества X называется его
внутренностью и обозначается int X.
Точка
a
, обладающая свойством 2, называется внешней точкой множе-
ства X. Множество внешних точек множества X называется его внешностью.
Точка
a
, обладающая свойством 3, называется граничной точкой мно-
жества X. Множество граничных точек множества X называется его границей
и обозначается ∂X.
Теорема. Внутренность int X является открытым множеством.
Доказательство. Пусть точки
a
∈int X. Тогда существует 2
ε
-окрестность
этой точки, содержащаяся во множестве X. Это значит, что если
ε
2<−ay ,
то
Xy ∈ . Возьмем любую точку
n
Rх
∈
, удовлетворяющую неравенству
ε
<−ax . Тогда, если
ε
<−
xz
, то
εεε
2=+<−+−≤− axxzaz . Сле-
довательно, каждая точка
z
из
ε
-окрестности точки
x
принадлежит множе-
ству X. Поэтому каждая точка
x
из
ε
-окрестности точки
a
является внутрен-
ней точкой множества X.
Замечание. Внешность множества X является открытым множеством, так как
она есть не что иное, как внутренность дополнения
X
(доказать это). Таким
образом, объединение внутренности и внешности множества X является от-
крытым множеством. Стало быть, дополнение их объединения является