Изменения
опечатка
'''Внутренностью (interior)''' множества <tex>A</tex> называется множество <tex>\mathrm{Int} A = \bigcup\limits_{G \subset A} G</tex>, где <tex> G </tex> — открытые множества.
'''Замыкание Замыканием (closure)''' множества <tex>A</tex> называется множество <tex>\mathrm{Cl} A = \bigcap\limits_{A \subset F } F</tex>, где <tex> F </tex> — замкнутые множества.
'''Границей (boundary, frontier)''' множества <tex>A</tex> называется множество <tex>\mathrm{Fr} A = \mathrm{Cl} A \setminus \mathrm{Int} A</tex>.
# Докажем для пересечения двух множеств, дальше по индукции:
#: <tex>G_1 \bigcap G_2 = (\bigcup\limits_{\alpha} V') \bigcap (\bigcup\limits_{\beta} V'') = \bigcup\limits_{\alpha, \beta} (V' \bigcap V'')</tex>. (То, что так можно сделать, доказывается включением в обе стороны)
#: Рассмотрим <tex>V' \bigcap V''</tex>: <tex>\forall x \in V' \bigcap V'' \exists V(x) \subset V' \bigcap V''</tex> ([[Метрическое пространство#Открытые шары | раньше когда-то доказывали]]), тогда <tex>V' \bigcap V'' = \bigcup\limits_{x \in V' \cap V''} V(x)</tex>
В данном случае открытые множества были получены объединением открытых шаров — множеств более узкого класса. Это один из общих приемов превращения произвольного пространства в топологическое, открытые шары здесь — база топологии.
