Внешность (топология)

Вне́шность множества в общей топологии — это внутренность дополнения к нему.^[]

Пусть ${\displaystyle (X,{\mathcal {T}})}$ — топологическое пространство, где ${\displaystyle X}$ — произвольное множество, а ${\displaystyle {\mathcal {T}}}$ — определённая на нём топология. Пусть дано подмножество ${\displaystyle A\subset X.}$ Точка ${\displaystyle x_{0}\in X}$ называется вне́шней то́чкой мно́жества ${\displaystyle A,}$ если существует её окрестность ${\displaystyle U\in {\mathcal {T}},U\ni x_{0}}$ такая, что

${\displaystyle U\cap A=\emptyset .}$

Совокупность всех внешних точек множества называется внешностью и обозначается ${\displaystyle A^{\mathrm {e} }.}$

• Все основные свойства внешности следуют из свойств внутренности и тождества:

${\displaystyle A^{\mathrm {e} }=\left(A^{\complement }\right)^{0};}$

• ${\displaystyle X=A^{0}\cup \partial A\cup A^{\mathrm {e} }.}$

Пусть дана вещественная прямая с определённой на ней стандартной топологией. Тогда

• ${\displaystyle (a,b)^{\mathrm {e} }=(-\infty ,a)\cup (b,\infty ).}$

• Внутренность
• Граница множества