Пусть множество E⊂Rn. Тогда множество всех точек x∈Rn, не принадлежащих множеству E, называется дополнением множестваE и обозначается cE или Ec.
Теорема. Для того чтобы множество E⊂Rn было замкнутым, необходимо и достаточно, чтобы его дополнение G≡cF было открытым.Доказательство. Необходимость. Пусть E замкнуто и x – произвольная точка из G. Докажем, что она будет внутренней в G. Поскольку x∉E, то она не будет предельной точкой для E и найдется такая ее окрестность Ux, которая не содержит ни одной точки из E. Следовательно, эта окрестность полностью содержится в G, так что x – внутренняя точка множестваG. Достаточность. Предположим теперь, что G – открыто. Докажем тогда, что E замкнуто. Для этого достаточно показать, что любая точка x, которая не принадлежит E, не будет предельной для E. Если x∉E, то x∈G, а так как G открыто, следовательно найдется окрестность Ux⊂G. Она не будет содержать точек из E, так что x не является предельной для E, ч. т. д.
Отношение двойственности.Пусть {Eα} – произвольное семейство множеств. Тогда дополнение к объединению множеств Eα равно пересечению дополнений множеств Eα, а дополнение к пересечению равно объединению дополнений, т. е. c(⋃Eα)=⋂(cEα),c(⋂Eα)=⋃(cEα).
Определение. Множество всех точек xпространства mathbbRn, таких, что |x−x0|<rho,rho>0, называется открытым шаром с центром в точке x0 и радиусом rho. Этот шар также называется rho-окрестностью точки x0 и обозначается B(x0,rho).
Определение. Зададим подмножествоE пространства mathbbRn. Точка x0 множества E называется внутренней точкой множества, если существует B(x0,rho), содержащийся в E. Иными словами, x0 является внутренней точкой множестваE, если она входит в E вместе с некоторой окрестностью.
Определение.МножествоEsubsetmathbbRn называется открытым, если любая его точка будет внутренней в E. Условимся также считать пустое множествоvarnothingоткрытым.
СВОЙСТВА ОТКРЫТЫХ МНОЖЕСТВ
Обозначим через A множество индексов, и каждому элементу alphainA поставим в соответствие множествоEalpha. Тогда leftEalpharightalphainA называется семейством множеств
Теорема. Открытые множества в пространстве mathbbRn обладают такими свойствами:
Пустое множество varnothing и всё пространство mathbbRnоткрыты;
Пересечение всякого конечного числа открытых множеств также открыто;
Объединение всякого семействаleftGalpharightalphainAоткрытых множеств также открыто
Доказательство.
Пустое множествоvarnothing является открытым по определению, а пространство mathbbRn, очевидно, открыто, так как всякий шар содержится в mathbbRn.
Пусть E1,…,En – открытые множества,E=bigcapni=1. Предположи, что xinE. Тогда xinEi для любого i=1,…,n. Но все множества Ei являются открытыми, так что для любого i=1,…,n найдется открытый шар B(x,rhoi)subsetEi. Среди всех этих шаров выберем шар с наименьшим радиусом B(x,rho), где r=min(rho1,…,rhon). Тогда E(x,rho)subsetEi при каждом i=1,…,n, а значит, B(x,rho)subsetE, и тем самым доказано, что множество Eоткрыто.
Пусть E=bigcupalphainAEalpha, где все множества Ealphaоткрыты. Докажем, что множество E также открыто. Предположим, что xinE. Тогда x принадлежит хотя бы одному из множеств Ealpha0. Так как это множество Ealpha0открыто, то найдется окрестность B(x,rho)subsetEalpha0subsetE. Таким образом, E – открытое множество.
square
Замечание. Пересечение бесконечного семейства открытых множеств не обязательно будет открытым. К примеру, пусть Bk – открытый шар с центром в нуле и радиусом frac1k(k=1,2,…). Тогда bigcapinftyk=1Bk=left0right. Но множество left0right, состоящее из одной точки, не является открытым, поскольку оно не содержит в себе ни одного шара.
Определение. Множество всех точек xпространства Rn, таких, что |x−x0|<ρ,ρ>0, называется открытым шаром с центром в точке x0 и радиусом ρ. Этот шар также называется ρ-окрестностью точки x0 и обозначается B(x0,ρ).
Определение. Зададим подмножествоE пространства Rn. Точка x0 множества E называется внутренней точкой множества, если существует B(x0,ρ), содержащийся в E. Иными словами, x0 является внутренней точкой множестваE, если она входит в E вместе с некоторой окрестностью.
Определение.МножествоE⊂Rn называется открытым, если любая его точка будет внутренней в E. Условимся также считать пустое множество∅открытым.
Свойства открытых множеств
Обозначим через A множество индексов, и каждому элементу α∈A поставим в соответствие множествоEα. Тогда {Eα}α∈A называется семейством множеств
Теорема. Открытые множества в пространстве Rn обладают такими свойствами:
Пустое множество ∅ и всё пространство Rnоткрыты;
Пересечение всякого конечного числа открытых множеств также открыто;
Объединение всякого семейства{Gα}α∈Aоткрытых множеств также открыто
Доказательство.
Пустое множество∅ является открытым по определению, а пространство Rn, очевидно, открыто, так как всякий шар содержится в Rn.
Пусть E1,…,En – открытые множества,E=⋂ni=1Ei. Предположим, что x∈E. Тогда x∈Ei для любого i=1,…,n. Но все множества Ei являются открытыми, так что для любого i=1,…,n найдется открытый шар B(x,ρi)⊂Ei. Среди всех этих шаров выберем шар с наименьшим радиусом B(x,ρ), где r=min(ρ1,…,ρn). Тогда E(x,ρ)⊂Ei при каждом i=1,…,n, а значит, B(x,ρ)⊂E, и тем самым доказано, что множество Eоткрыто.
Пусть E=⋃α∈AEα, где все множества Eαоткрыты. Докажем, что множество E также открыто. Предположим, что x∈E. Тогда x принадлежит хотя бы одному из множеств Eα0. Так как это множество Eα0открыто, то найдется окрестность B(x,ρ)⊂Eα0⊂E. Таким образом, E – открытое множество.
Замечание. Пересечение бесконечного семейства открытых множеств не обязательно будет открытым. К примеру, пусть Bk – открытый шар с центром в нуле и радиусом 1k(k=1,2,…). Тогда ⋂∞k=1Bk={0}. Но множество {0}, состоящее из одной точки, не является открытым, поскольку оно не содержит в себе ни одного шара.