1679
правок
Изменения
м
: Если множество F содержит в себе пределы всех своих сходящихся последовательностей, то оно замкнуто.
Нет описания правки
В обратную сторону
|statement=
|proof=
Рассмотрим <tex> x \notin F </tex>. Пусть <tex> G = \overline F </tex>. Если <tex> G </tex> - открытое, то <tex> F </tex> - замкнутое множество (по определению).
