У этого термина существуют и другие значения, см.
Внешность .
Вне́шность множества в общей топологии — это внутренность дополнения к нему.[источник не указан 4661 день ]
Определение
Пусть
(
X
,
T
)
{\displaystyle (X,{\mathcal {T}})}
— топологическое пространство , где
X
{\displaystyle X}
— произвольное множество , а
T
{\displaystyle {\mathcal {T}}}
— определённая на нём топология . Пусть дано подмножество
A
⊂
X
.
{\displaystyle A\subset X.}
Точка
x
0
∈
X
{\displaystyle x_{0}\in X}
называется вне́шней то́чкой мно́жества
A
,
{\displaystyle A,}
если существует её окрестность
U
∈
T
,
U
∋
x
0
{\displaystyle U\in {\mathcal {T}},U\ni x_{0}}
такая, что
U
∩
A
=
∅
.
{\displaystyle U\cap A=\emptyset .}
Совокупность всех внешних точек множества называется внешностью и обозначается
A
e
.
{\displaystyle A^{\mathrm {e} }.}
Свойства
Все основные свойства внешности следуют из свойств внутренности и тождества:
A
e
=
(
A
∁
)
0
;
{\displaystyle A^{\mathrm {e} }=\left(A^{\complement }\right)^{0};}
X
=
A
0
∪
∂
A
∪
A
e
.
{\displaystyle X=A^{0}\cup \partial A\cup A^{\mathrm {e} }.}
Пример
Пусть дана вещественная прямая с определённой на ней стандартной топологией . Тогда
(
a
,
b
)
e
=
(
−
∞
,
a
)
∪
(
b
,
∞
)
.
{\displaystyle (a,b)^{\mathrm {e} }=(-\infty ,a)\cup (b,\infty ).}
См. также