Открытые и закрытые карты

редактировать
Функция, которая отправляет открытые (или закрытые) подмножества в открытые (соответственно закрытые) подмножества

В математике, более конкретно в топологии, открытая карта - это функция между двумя топологическими пространствами, которая отображает открытые наборы открытые наборы. То есть функция f: X → Y открыта, если для любого открытого множества U в X изображение f (U) открыто в Y. Аналогично, закрытое отображение является функция, которая отображает замкнутые множества в замкнутые множества. Карта может быть открытой, закрытой, обеими или ни одной; в частности, открытая карта не должна быть закрытой, и наоборот.

Открытые и закрытые карты не обязательно непрерывные. Кроме того, непрерывность не зависит от открытости и замкнутости в общем случае, и непрерывная функция может иметь одно, оба или ни одно свойство; этот факт остается верным, даже если ограничиться метрическими пространствами. Хотя их определения кажутся более естественными, открытые и закрытые карты гораздо менее важны, чем непрерывные карты. Напомним, что по определению функция f: X → Y является непрерывной, если прообраз каждого открытого множества Y открыт в X (эквивалентно, если прообраз каждого замкнутого множества Y замкнут в ИКС).

Первыми исследователями открытых карт были Симион Стойлов и Гордон Томас Уайберн.

Содержание
  • 1 Определение и характеристики
    • 1.1 Открытые карты
    • 1.2 Закрытые карты
  • 2 Достаточные условия
  • 3 Примеры
  • 4 Свойства
  • 5 См. Также
  • 6 Ссылки
  • 7 Библиография
Определение и характеристики

Пусть f: X → Y - функция между топологическими пространствами.

Открытыми картами

Мы говорим, что f: X → Y является открытым отображением, если оно удовлетворяет любому из следующих эквивалентных условий:

  1. f отображает открытые множества в открытые множества (т. Е. Для любого открытого подмножества U в X, f (U) является открытым подмножеством Y);
  2. для каждого x ∈ X и каждой окрестности U точки x (какой бы малой она ни была), существует такая окрестность V точки f (x), что V ⊆ f (U);
  3. f (Int A) ⊆ Int (f (A)) для всех подмножества A в X, где Int обозначает топологическую внутренность множества;
  4. если C является замкнутым подмножеством X, то множество {y ∈ Y: f (y) ⊆ C} замкнуто в Y;

и если ℬ является базисом для X, тогда мы можем добавить к этому списку:

  1. f отображает базовые открытые множества в открытые множества (т.е. для любого базового открытого множества B ∈ ℬ, f (B) является открытым подмножеством Y);

Мы говорим, что f: X → Y является относительно открытым отображением, если f: X → Im f это открытая карта, где Im f - это диапазон или изображение f.

ПРЕДУПРЕЖДЕНИЕ : Многие авторы определяют «открытая карта» как «относительно открытая карта» (например, Энциклопедия математики). То есть они определяют «открытую карту», ​​чтобы означать, что для любого открытого подмножества U из X, f (U) является открытым подмножеством Im f (а не открытым подмножеством Y, как в этой статье определяется «открытая карта» "). Когда f сюръективно, тогда эти два определения совпадают, но в целом они не эквивалентны, потому что, хотя каждая открытая карта является относительно открытой картой, относительно открытые карты часто не могут быть открытыми. Таким образом, рекомендуется всегда проверять, какое определение «открытой карты» использует автор.

Закрытые карты

Мы говорим, что f: X → Y - это закрытая карта, если она удовлетворяет любому из следующих эквивалентных условий:

  1. f отображает замкнутые множества в замкнутые множества (т.е. для любого замкнутого подмножества U в X, f (U) является замкнутым подмножеством Y);
  2. f (A) ¯ ⊆ f (A ¯) {\ displaystyle {\ overline {f (A)}} \ substeq f ({\ overline {A}})}{\ displaystyle {\ overline {f (A)}} \ substeq f ({\ overline {A }})} для всех подмножеств A из X.

Мы говорим, что f : X → Y - это относительно замкнутое отображение, если f: X → Im f - замкнутое отображение.

Достаточные условия

композиция двух открытых карт снова открыта; композиция двух замкнутых карт снова замкнута.

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

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

Биективное отображение открыто тогда и только тогда, когда оно замкнуто. Обратным к биективному непрерывному отображению является биективное открытое / замкнутое отображение (и наоборот). Сюръективная открытая карта не обязательно является закрытой, и аналогично сюръективная закрытая карта не обязательно является открытой картой.

Лемма о замкнутом отображении - Каждая непрерывная функция f: X → Y из компактного пространства X в хаусдорфово пространство Y замкнута и собственно (т.е. прообразы компактов компактны).

Вариант леммы о замкнутом отображении утверждает, что если непрерывная функция между локально компактными хаусдорфовыми пространствами является собственной, то она также замкнута.

В комплексном анализе, одноименная теорема об открытом отображении утверждает, что каждая непостоянная голоморфная функция, определенная на связном открытое подмножество комплексной плоскости - это открытая карта.

Теорема инвариантности области утверждает, что непрерывная и локально инъективная функция между двумя n-мерными топологическими многообразиями должна быть открытой.

Инвариантность домена - Если U является открытым подмножеством из ℝ и f: U → ℝ является инъективным непрерывным отображением, то V: = f (U) открыто в ℝ и f является гомеоморфизмом между U и V.

В функциональном анализе, теорема об открытом отображении утверждает, что каждый сюръективный непрерывный линейный оператор между банаховыми пространствами является открытой картой. Эта теорема была обобщена на топологические векторные пространства помимо банаховых пространств.

Примеры

Каждый гомеоморфизм является открытым, замкнутым и непрерывным. Фактически, биективное непрерывное отображение является гомеоморфизмом тогда и только тогда, когда оно открыто, или, что эквивалентно, тогда и только тогда, когда оно закрыто.

Если Y имеет дискретную топологию (т.е. все подмножества открыты и закрыты), то каждая функция f: X → Y {\ displaystyle f \ двоеточие от X \ до Y}f \ двоеточие X \ to Y является одновременно открытым и закрытым (но не обязательно непрерывным). Например, функция этажа от R до Z открыта и закрыта, но не непрерывна. Этот пример показывает, что изображение подключенного пространства под открытой или закрытой картой подключать не нужно.

Всякий раз, когда у нас есть произведение топологических пространств X = ∏ X i {\ displaystyle X = \ prod X_ {i}}{\ displaystyle X = \ prod X_ {i}} , естественные проекции pi: X → X i {\ displaystyle p_ {i} \ двоеточие X \ to X_ {i}}{\ displaystyle p_ {i} \ двоеточие X \ to X_ {i} } открыты (а также непрерывны). Поскольку проекции пучков волокон и покрывающих карт являются локально естественными проекциями продуктов, они также являются открытыми картами. Однако закрывать прогнозы не нужно. Рассмотрим, например, проекцию p 1: R 2 → R {\ displaystyle p_ {1} \ двоеточие \ mathbf {R} ^ {2} \ to \ mathbf {R}}{\ displaystyle p_ {1} \ двоеточие \ mathbf {R} ^ {2} \ to \ mathbf {R}} на первом составная часть; тогда набор A = {(x, 1 / x): x ≠ 0} {\ displaystyle A = \ {(x, 1 / x): x \ neq 0 \}}{\ displaystyle A = \ {(x, 1 / x): x \ neq 0 \}} является закрыто в R 2 {\ displaystyle \ mathbf {R} ^ {2}}\ mathbf {R} ^ 2 , но p 1 (A) = R ∖ {0} {\ displaystyle p_ {1} ( A) = \ mathbf {R} \ setminus \ {0 \}}{\ displaystyle p_ {1} (A) = \ mathbf {R} \ setminus \ {0 \}} не закрывается в R {\ displaystyle \ mathbf {R}}\ mathbf {R} . Однако для компактного пространства Y проекция X × Y → X {\ displaystyle X \ times Y \ to X}{\ displaystyle X \ times Y \ to X} закрыта. По сути, это лемма о трубке.

С каждой точкой на единичной окружности мы можем связать угол положительной оси x с лучом, соединяющим точку с Происхождение. Эта функция от единичного круга до полуоткрытого интервала [0,2π) является биективной, открытой и замкнутой, но не непрерывной. Это показывает, что изображение компактного пространства при открытой или закрытой карте не обязательно должно быть компактным. Также обратите внимание, что если мы рассматриваем это как функцию от единичного круга до действительных чисел, то он не является ни открытым, ни закрытым. Необходимо указать кодомен .

Функция f: R→ Rс f (x) = x является непрерывной и замкнутой, но не открытой.

Свойства

Пусть f: X → Y - непрерывная карта, которая либо открыта, либо закрыта. Тогда

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

См. Также
Ссылки
Библиография
  • ; (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Шефер, Гельмут Х. ; (1999). Топологические векторные пространства. GTM. 8(Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
  • Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
Последняя правка сделана 2021-06-01 12:47:32
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте