Интерьер (топология)

редактировать

Точка x является внутренней точкой S. Точка y находится на границе S.

In математика, в частности, в топологии , внутреннее подмножества S топологического пространства X является объединение всех подмножеств S, которые открыты в X. Точка, которая находится внутри S, является внутренней точкой S.

Внутренняя часть S является дополнением замыкания дополнения S. В этом смысле внутренность и закрытие являются двойственными понятиями.

Внешний множества S является дополнением к замыканию S; он состоит из точек, которые не входят ни в набор, ни в его границу. Внутренняя, граница и внешняя часть подмножества вместе разделяют все пространство на три блока (или меньше, если один или несколько из них пусты). Внутренний и внешний вид всегда открыт, а граница всегда закрыта. Наборы с пустым внутренним пространством были названы граничными наборами .

Содержание

1 Определения
- 1.1 Внутренняя точка
- 1.2 Внутренняя часть набора
2 Примеры
3 Свойства
4 Внутренние оператор
5 Внешний вид набора
6 Внутренне-непересекающиеся формы
7 См. также
8 Ссылки
9 Библиография
10 Внешние ссылки

Определения

Внутри point

Если S является подмножеством евклидова пространства, то x является внутренней точкой S, если существует открытый шар с центром в x, который полностью содержится в S. (Это проиллюстрировано во вводном разделе к этой статье.)

Это определение обобщается на любое подмножество S метрического пространства X с метрикой d: x является внутренней точкой S, если существует r>0, такое, что y находится в S на любом расстоянии d (x, y) < r.

Это определение обобщается на топологические пространства путем замены «открытого шара» на «open установить ". Пусть S - подмножество топологического пространства X. Тогда x является внутренней точкой S, если x содержится в открытом подмножестве X, которое полностью содержится в S. (Эквивалентно, x является внутренней точкой S, если S является окрестность точки x.)

Внутренняя часть множества

внутренняя часть подмножества S топологического пространства X, обозначаемого Int S или S °, можно определить любым из следующих эквивалентных способов:

Int S - наибольшее открытое подмножество X, содержащееся (как подмножество) в S;
Int S - объединение всех открытых множеств точки X, содержащейся в S;
Int S - это множество всех внутренних точек S.

Примеры

a - внутренняя точка M, потому что существует ε-окрестность точки a, которая является подмножество M.

В любом пространстве внутренность пустого множества - это пустое множество.
В любом пространстве X, если S ⊆ X, то int S ⊆ S.
Если X - евклидово пространство ℝ действительных чисел, то int ([0, 1]) = (0, 1).
Если X - евклидово пространство, то внутренняя часть набора ℚ из пайка все числа пусто.
Если X является комплексной плоскостью $C = R 2 {\ displaystyle \ mathbb {C} = \ mathbb {R} ^ {2 }}$ $\ mathbb {C} = \ mathbb {R} ^ {2}$ , затем $int ({z ∈ C: | z | ≤ 1}) = {z ∈ C: | z | < 1 }. {\displaystyle \mathrm {int} (\{z\in \mathbb {C} :|z|\leq 1\})=\{z\in \mathbb {C} :|z|<1\}.}$ ${\ displaystyle \ mathrm {int} (\ {z \ in \ mathbb {C}: | z | \ leq 1 \}) = \ {z \ in \ mathbb {C}: | z | <1 \}.}$
В любом евклидовом пространстве внутренность любого конечного множества является пустым множеством.

На множестве действительных чисел можно разместить другие топологии, а не стандартную.

Если X = ℝ, где ℝ имеет топологию нижнего предела , то int ([0, 1]) = [0, 1).
Если рассматривать на ℝ, топология, в которой каждое множество открыто, то int ([0, 1]) = [0, 1].
Если рассматривать на топологию, в которой единственными открытыми множествами являются пустое множество и само, то int ([0, 1]) - это пустое множество.

Эти примеры показывают, что внутренняя часть набора зависит от топологии основного пространства. Последние два примера являются частными случаями следующего.

В любом дискретном пространстве, поскольку каждый набор открыт, каждый набор равен своей внутренней части.
В любом недискретном пространстве X, поскольку единственный открытый множества - это пустое множество и сам X, мы имеем X = int X и для каждого правильного подмножества S X, int S - это пустое множество.

Свойства

Пусть X будет топологическое пространство, и пусть S и T являются подмножеством X.

Int S является открытым подмножеством S и открытым подмножеством X.
S является открытым подмножеством X тогда и только тогда, когда S = int S.
Int (Int S) = Int S (идемпотентность ).
Если S ⊆ T, то Int S ⊆ Int T.
Если A - открытое подмножество X, то A ⊆ S тогда и только тогда, когда A ⊆ Int S.
Если S замкнуто в X и Int T = ∅, то Int (S ∪ T) = Int S.

Обратите внимание, что эти свойства также удовлетворяются, если "внутреннее", "подмножество", "объединение", "содержится в", "наибольшее" и "открытое" заменяются на "закрытие", "надмножество", "пересечение", "которое содержит", "наименьшее" и "закрытое" соответственно. Подробнее об этом см. internal operato r ниже.

Внутренний оператор

Внутренний оператор двойственен оператору закрытия в том смысле, что

S ∘ = X ∖ (X ∖ S) ¯ {\ displaystyle S ^ {\ circ} = X \ backslash {\ overline {(X \ backslash S)}}}

{\ displaystyle S ^ {\ circ} = X \ backslash {\ overline {(X \ backslash S)}}}

, а также

S ¯ = X ∖ (X ∖ S) ∘ { \ displaystyle {\ bar {S}} = X \ backslash (X \ backslash S) ^ {\ circ}}

{\ displaystyle {\ bar {S}} = X \ backslash (X \ backslash S) ^ {\ circ}}

, где X - топологическое пространство, содержащее S, а обратная косая черта относится к теоретико-множественное различие.

Следовательно, абстрактная теория операторов замыкания и аксиомы замыкания Куратовского могут быть легко переведены на язык внутренних операторов, заменяя множества их дополнениями.

Обычно внутренний оператор не коммутирует с союзами. Однако в полном метрическом пространстве действительно имеет место следующий результат:

Теорема (К. Урсеску) - Пусть X будет полным метрическим пространством и пусть $S 1, S 2,… {\ displaystyle S_ {1}, S_ {2}, \ ldots}$ $S_1, S_2, \ ldots$ - последовательность подмножеств X.

Если каждое S i замкнуто в X, то $cl ⁡ (∪ i ∈ N int ⁡ S i) = cl ⁡ int ⁡ (∪ i ∈ NS i) {\ displaystyle \ operatorname {cl} \ left (\ cup _ {i \ in \ mathbb {N}} \ operatorname {int} S_ {i} \ right) = \ operatorname {cl} \ operatorname {int} \ left (\ cup _ {i \ in \ mathbb {N}} S_ {i} \ right)}$ ${\ displaystyle \ operatorname { cl} \ left (\ cup _ {i \ in \ mathbb {N}} \ operatorname {int} S_ {i} \ right) = \ operatorname {cl} \ operatorname {int} \ left (\ cup _ {i \ в \ mathbb {N}} S_ {i} \ right)}$ .
Если каждое S i открыто в X, то $int ⁡ (∩ i ∈ N cl ⁡ S i) = int ⁡ cl ⁡ (∩ i ∈ NS i) {\ displaystyle \ operatorname {int} \ left (\ cap _ {i \ in \ mathbb {N}} \ operatorname {cl} S_ {i} \ right) = \ operatorname {int} \ operatorname {cl} \ left (\ cap _ {i \ in \ mathbb {N}} S_ {i} \ right)}$ ${ \ displaystyle \ operatorname {int} \ left (\ cap _ {i \ in \ mathbb {N}} \ operatorname {cl} S_ {i} \ right) = \ operatorname {int} \ operatorname {cl} \ left (\ крышка _ {я \ in \ mathbb {N}} S_ {i} \ right)}$ .

Внешность множества

Внешняя подмножества S топологического пространства X, обозначаемый ext S или Ext S, является внутренним int (X \ S) своего относительного дополнения. В качестве альтернативы его можно определить как X \ S, дополнение к замыканию S. Многие свойства прямо вытекают из свойств внутреннего оператора, например следующие.

ext S - открытое множество, не пересекающееся с S.
ext S - объединение всех открытых множеств, не пересекающихся с S.
ext S - наибольшее открытое множество, которое не пересекается с S.
Если S ⊆ T, то ext (S) является надмножеством ext T.

В отличие от внутреннего оператора ext не является идемпотентным, но выполняется следующее:

ext (ext S) - это надмножество int S.

Внутренне-непересекающиеся фигуры

Красные формы не пересекаются внутренне с синим Треугольником. Зеленая и желтая формы внутренне не пересекаются с синим треугольником, но только желтая форма полностью не пересекается с синим треугольником.
Две формы a и b называются внутренне непересекающимися, если пересечение их внутренних частей пусто. Внутренние непересекающиеся формы могут пересекаться, а могут и не пересекаться по своей границе.
См. Также
Алгебраическая внутренность
Замыкание (топология)
Внутренняя алгебра
Теорема Жордановой кривой
Квазиотносительная внутренность
Относительная внутренность
Ссылки
Библиография
; (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Внешние ссылки
Внутри на PlanetMath.org.