Свойства операции замыкания

Напомним, что E = [E] = E ∪ E 0 , где E 0 – множество предельных для E

точек.
Теорема 2.3. Справедливы следующие свойства операции замыкания:
1) [[E]] = [E],
2) E1 ⊂ E2 ⇒ [E1 ] ⊂ [E2 ],
3) [E1 ∪ E2 ] = [E1 ] ∪ [E2 ],
4) [E1 ∩ E2 ] ⊂ [E1 ] ∩ [E2 ].
Доказательство. 1) [E] - замкнутое множество. Поэтому

[E]0 ⊂ [E] ⇒ [[E]] = [E] ∪ [E]0 = [E].

2) Ясно, что E1 ⊂ E2 ⇒ E10 ⊂ E20 . Следовательно

[E1 ] = E1 ∪ E10 ⊂ E2 ∪ E20 = [E2 ].

3) Заметим, что

[E1 ] ⊂ [E1 ∪ E2 ], [E2 ] ⊂ [E1 ∪ E2 ].

Поэтому
[E1 ] ∪ [E2 ] ⊂ [E1 ∪ E2 ].
C другой стороны

E1 ∪ E2 ⊂ [E1 ] ∪ [E2 ] ⇒ [E1 ∪ E2 ] ⊂ [[E1 ] ∪ [E2 ]] = [E1 ] ∪ [E2 ].

4) Ясно, что E1 ∩ E2 ⊂ [E1 ] ∩ [E2 ]. Поэтому

[E1 ∩ E2 ] ⊂ [[E1 ] ∩ [E2 ]] = [E1 ] ∩ [E2 ].

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