Изменения
опечатка
{{Определение
|id=defms
'''Внутренностью (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>.
|id=defnbh
|definition=
Множество <tex>U</tex> называется '''окрестностью''' точки <tex> x </tex> в ТП, если существует открытое <tex>G</tex>: <tex>x \in G \subset U</tex>.
}}
Характеристика непрерывных отображений ТП: <tex>f</tex> непрерывно, если для любого <tex>G' \in \tau_2: f^{-1}(G') \in \tau_1</tex>, то есть прообраз любого открытого множества также открыт.<ref>В конспекте только в прямую сторону, но вообще, вроде, это критерий. Док-во есть в Колмогорове, элементы теории функции и функана, 6 издание, страница 107.</ref>
Для любого МП <tex>(X, \rho)</tex> можно ввести '''метрическую топологию''': выделим в <tex> X </tex> семейство открытых множеств <tex>\tau</tex> множества, являющимися объединениями любого (возможно, несчетного) числа открытых шаров. Покажем, что это семейство удовлетворяет аксиомам ТП:
# Очевидно, <tex>X = \bigcup\limits_{x \in X}\bigcup\limits_{i=1}^{\infty}U_i(x)</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>
В данном случае открытые множества были получены объединением открытых шаров — множеств более узкого класса. Это один из общих приемов превращения произвольного пространства в топологическое, открытые шары здесь — база топологии.
Пример: <tex>R^{\infty}</tex> — полное.
|proof=
Нужно установить равносильность сходимости <tex> \overline x^{(n)} \in R^{\infty} </tex> и ее сходимости в себе.