Отвод (топология) - Retraction (topology)

В топология, филиал математика, а втягивание это непрерывное отображение из топологическое пространство в подпространство который сохраняет положение всех точек в этом подпространстве.[1] Тогда подпространство называется втягивать оригинального пространства. А ретракция деформации это отображение, которое отражает идею постоянно сокращающийся пространство в подпространство.

An абсолютный возврат по соседству (ANR) является особенно хорошо воспитанный тип топологического пространства. Например, каждый топологическое многообразие это ANR. Каждый ANR имеет гомотопический тип очень простого топологического пространства, CW комплекс.

Определения

Отозвать

Позволять Икс быть топологическим пространством и А подпространство Икс. Тогда непрерывное отображение

это втягивание если ограничение из р к А это карта идентичности на А; то есть, для всех а в А. Эквивалентно, обозначая

в включение ретракция - это непрерывное отображение р такой, что

то есть состав р с включением тождество А. Обратите внимание, что по определению ретракция отображает Икс на А. Подпространство А называется втягивать из Икс если такой отзыв существует. Например, любое непустое пространство втягивается в точку очевидным образом (отображение констант дает втягивание). Если Икс является Хаусдорф, тогда А должен быть закрытое подмножество из Икс.

Если ретракция, то композиция ι∘р является идемпотент непрерывная карта из Икс к Икс. Наоборот, для любого идемпотентного непрерывного отображения получаем ретракцию на образ s ограничивая codomain.

Отвод деформации и отвод сильной деформации

Непрерывная карта

это ретракция деформации пространства Икс на подпространство А если для каждого Икс в Икс и а в А,

Другими словами, деформационный ретракт - это гомотопия между отзывом и идентификационной картой на Икс. Подпространство А называется деформационный отвод из Икс. Отвод деформации - частный случай гомотопическая эквивалентность.

Отвод не обязательно должен быть отводом деформации. Например, наличие единственной точки в качестве деформационного ретракта пространства Икс означало бы, что Икс является путь подключен (и на самом деле Икс является стягиваемый ).

Примечание: Эквивалентное определение ретракции деформации следующее. Непрерывная карта является ретракцией деформации, если это ретракция и ее композиция с включением гомотопна тождественному отображению на Икс. В этой формулировке ретракция деформации несет с собой гомотопию между тождественным отображением на Икс и сам.

Если в определение ретракции деформации добавить требование, чтобы

для всех т в [0, 1] и а в А, тогда F называется сильный деформационный ретракт. Другими словами, при сильном ретракции деформации точки в А фиксируется по всей гомотопии. (Некоторые авторы, такие как Хэтчер, примите это как определение деформации втягивания.)

Например, п-сфера сильный деформационный отвод в качестве ретракции сильной деформации можно выбрать карту

Отвод софибрации и деформации соседства

Карта ж: АИкс топологических пространств есть (Hurewicz ) кофибрация если у него есть свойство гомотопического расширения для карт в любое пространство. Это одна из центральных концепций теория гомотопии. Кофибрация ж всегда инъективен, на самом деле гомеоморфизм своему образу.[2] Если Икс Хаусдорф (или компактно генерируемый слабое хаусдорфово пространство ), то образ кофибрации ж закрыт в Икс.

Среди всех закрытых включений кофибрации можно охарактеризовать следующим образом. Включение замкнутого подпространства А в пространстве Икс является кофибрацией тогда и только тогда, когда А это отвод деформации окрестности из Икс, что означает, что существует непрерывное отображение с и гомотопия такой, что для всех для всех и и если .[3]

Например, включение подкомплекса в комплекс CW - это кофибрация.

Характеристики

  • Одно из основных свойств ретракта А из Икс (с ретракцией ) состоит в том, что всякое непрерывное отображение имеет хотя бы одно расширение а именно .
  • Деформационная ретракция - это частный случай гомотопической эквивалентности. Фактически, два пространства гомотопически эквивалентны если и только если они оба гомеоморфны деформационным ретрактам единого большего пространства.
  • Любое топологическое пространство, которое деформация стягивается в точку, сжимаемо, и наоборот. Однако существуют стягиваемые пространства, которые не сильно деформируются, возвращаясь в точку.[4]

Теорема об отсутствии ретракции

В граница из п-мерный шар, это (п−1) -сфера, не является ретрактом шара. (Видеть Теорема Брауэра о неподвижной точке § Доказательство с использованием гомологии.)

Абсолютный возврат по соседству (ANR)

Закрытое подмножество топологического пространства называется район втягивания из если является ретрактом некоторого открытого подмножества который содержит .

Позволять - класс топологических пространств, замкнутых относительно гомеоморфизмов и перехода к замкнутым подмножествам. Следующий Борсук (с 1931 г.) называется абсолютный отказ для класса , написано если в и когда замкнутое подмножество пространства в , это отказ от . Пространство является абсолютный возврат по соседству для класса , написано если в и когда замкнутое подмножество пространства в , это соседский ретракт .

Различные классы Такие как нормальные пространства были учтены в этом определении, но класс из метризуемые пространства было обнаружено, что она дает наиболее удовлетворительную теорию. По этой причине обозначения AR и ANR сами по себе используются в этой статье для обозначения и .[5]

Метризуемое пространство является AR тогда и только тогда, когда оно стягиваемо и ANR.[6] К Дугунджи, каждая локально выпуклая метризуемая топологическое векторное пространство является AR; в более общем смысле, каждое непустое выпуклое подмножество такого векторного пространства это AR.[7] Например, любой нормированное векторное пространство (полный или нет) является AR. Более конкретно, евклидово пространство в единичный куб и Куб Гильберта являются АР.

ANR образуют замечательный класс "хорошо воспитанный «топологические пространства. Среди их свойств:

  • Каждое открытое подмножество ANR - это ANR.
  • К Hanner, метризуемое пространство, имеющее открытая крышка по ANR - это ANR.[8] (То есть, ANR - это местная собственность для метризуемых пространств.) Отсюда следует, что каждое топологическое многообразие является ANR. Например, сфера является ANR, но не AR (потому что он не сокращается). В бесконечных измерениях теорема Ханнера означает, что каждое гильбертово кубическое многообразие, а также (довольно разные, например, не локально компактный ) Гильбертовы многообразия и Банаховы многообразия ANR.
  • Каждая локально конечная CW комплекс это ANR.[9] Произвольный CW-комплекс не обязательно должен быть метризуемым, но каждый CW-комплекс имеет гомотопический тип ANR (который метризуем по определению).[10]
  • Каждый ANR Икс является локально сокращаемый в том смысле, что для каждого открытого района точки в , есть открытый район из содержалась в так что включение гомотопен постоянная карта. А конечномерный метризуемое пространство является ANR тогда и только тогда, когда оно локально стягиваемо в этом смысле.[11] Например, Кантор набор это компактный подмножество реальной строки, которое не является ANR, поскольку оно даже не локально связанный.
  • Контрпримеры: Борсук нашел компактное подмножество это ANR, но не ограничивается строго локально.[12] (Пробел строго локально сжимаемый если каждый открытый район каждой точки содержит стягиваемую открытую окрестность .) Борсук также нашел компактное подмножество гильбертова куба, которое является локально стягиваемым (как определено выше), но не является ANR.[13]
  • Каждый ANR имеет гомотопический тип комплекса CW: Уайтхед и Милнор.[14] Более того, локально компактный ANR имеет гомотопический тип локально конечного CW-комплекса; и, по Уэсту, компактный ANR имеет гомотопический тип конечного CW-комплекса.[15] В этом смысле ANR избегают всех теоретико-гомотопических патологий произвольных топологических пространств. Например, Теорема Уайтхеда выполняется для ANR: отображение ANR, которое индуцирует изоморфизм на гомотопические группы (для всех вариантов выбора базовой точки) является гомотопической эквивалентностью. Поскольку ANR включают топологические многообразия, гильбертовы кубические многообразия, банаховы многообразия и т. Д., Эти результаты применимы к большому классу пространств.
  • Многие пространства отображения являются ANR. В частности, пусть Y - ANR с замкнутым подпространством А это ANR, и пусть Икс - любое компактное метризуемое пространство с замкнутым подпространством B. Тогда пространство карт пары компактно-открытая топология на картографическое пространство ) является ANR.[16] Отсюда следует, например, что пространство петли любого CW-комплекса имеет гомотопический тип CW-комплекса.
  • По Коти, метризуемое пространство является ANR тогда и только тогда, когда каждое открытое подмножество имеет гомотопический тип комплекса CW.[17]
  • По Cauty, есть метрическое линейное пространство (имеется в виду топологическое векторное пространство с переводно-инвариантный метрика), которая не является AR. Можно взять быть отделяемый и F-пространство (то есть полное метрическое линейное пространство).[18] (По теореме Дугунджи выше, не может быть локально выпуклым.) Поскольку является сокращаемым и не является AR, это также не ANR. По теореме Коти выше, имеет открытое подмножество который не гомотопически эквивалентен комплексу CW. Таким образом, существует метризуемое пространство который строго локально стягиваем, но не гомотопически эквивалентен комплексу CW. Неизвестно, должно ли компактное (или локально компактное) метризуемое пространство, которое является строго локально стягиваемым, быть ANR.

Примечания

  1. ^ Борсука (1931).
  2. ^ Хэтчер (2002), предложение 4H.1.
  3. ^ Puppe (1967), Satz 1.
  4. ^ Хэтчер (2002), упражнение 0.6.
  5. ^ Мардешинь (1999), стр. 242.
  6. ^ Ху (1965), предложение II.7.2.
  7. ^ Ху (1965), следствие II.14.2 и теорема II.3.1.
  8. ^ Ху (1965), теорема III.8.1.
  9. ^ Мардешинь (1999), стр. 245.
  10. ^ Фритч и Пиччинини (1990), теорема 5.2.1.
  11. ^ Ху (1965), теорема V.7.1.
  12. ^ Борсук (1967), раздел IV.4.
  13. ^ Борсук (1967), теорема V.11.1.
  14. ^ Фритч и Пиччинини (1990), теорема 5.2.1.
  15. ^ West (2004), стр. 119.
  16. ^ Ху (1965), теорема VII.3.1 и замечание VII.2.3.
  17. ^ Cauty (1994), Фонд. Математика. 144: 11–22.
  18. ^ Cauty (1994), Фонд. Математика. 146: 85–99.

Рекомендации

внешняя ссылка

  • В эту статью включены материалы из отзыва о сообществе PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.