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

редактировать
Точка 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 °, можно определить любым из следующих эквивалентных способов:

  1. Int S - наибольшее открытое подмножество X, содержащееся (как подмножество) в S;
  2. Int S - объединение всех открытых множеств точки X, содержащейся в S;
  3. 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 будет топологическое пространство, и пусть 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.
Внешние ссылки
Последняя правка сделана 2021-05-24 04:14:02
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте