Jump to content

Картографический цилиндр

В математике , особенно в алгебраической топологии , отображающий цилиндр [1] непрерывной функции между топологическими пространствами и это частное

где обозначает непересекающееся объединение , а ~ — отношение эквивалентности порожденное ,

То есть картографический цилиндр получается путем склеивания одного конца к через карту . Обратите внимание, что «верх» цилиндра гомеоморфен , а «дно» — это пространство . Обычно пишут для , и использовать обозначения или для построения картографического цилиндра. То есть человек пишет

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

Основные свойства

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

Нижняя часть Y представляет собой ретракт деформационный . Проекция разбивается (через ), и ретракция деформации дается:

(где указывает оставайся на месте, потому что для всех ).

Карта является гомотопической эквивалентностью тогда и только тогда, когда «вершина» представляет собой сильный деформационный ретракт . [2] Можно вывести явную формулу для сильной деформационной редукции. [3]

Картографический цилиндр пучка волокон

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

Для пучка волокон с волокном , картографический цилиндр

имеет отношение эквивалентности

для . Затем существует каноническая карта, отправляющая точку в точку , давая пучок волокон

чьим волокном является конус . Чтобы увидеть это, обратите внимание на волокно над точкой это фактор-пространство

где каждая точка в эквивалентно.

Интерпретация

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

Цилиндр отображения можно рассматривать как способ замены произвольного отображения эквивалентным корасслоением в следующем смысле:

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

Таким образом, пространство Y заменяется гомотопически эквивалентным пространством. , и отображение f с поднятым отображением . Аналогично, диаграмма

заменяется диаграммой

вместе с гомотопической эквивалентностью между ними.

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

Обратите внимание, что поточечное корасслоение является замкнутым включением .

Приложения

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

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

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

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

Категориальное применение и интерпретация

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

Можно использовать цилиндр отображения для построения гомотопических копределов : [ нужна ссылка ] это следует из общего утверждения, что любая категория со всеми выталкиваниями и копределами имеет все копределы . То есть по заданной диаграмме заменить отображения корасслоениями (используя цилиндр отображения), а затем взять обычный поточечный предел (нужно быть немного более осторожным, но цилиндры отображения являются компонентой).

И наоборот, цилиндр отображения является гомотопическим выбросом диаграммы, где и .

Картографический телескоп

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

Дана последовательность карт

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

Формально это определяется как

См. также

[ редактировать ]
  1. ^ Хэтчер, Аллен (2003). Алгебраическая топология . Кембридж: Кембриджский университет. Пр. п. 2 . ISBN  0-521-79540-0 .
  2. ^ Хэтчер, Аллен (2003). Алгебраическая топология . Кембридж: Кембриджский университет. Пр. п. 15 . ISBN  0-521-79540-0 .
  3. ^ Агуадо, Алекс. «Краткая заметка о сопоставлении цилиндров». arXiv : 1206.1277 [ math.AT ].
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 8a33964faf9758fb13a7861a353e44a9__1707724260
URL1:https://arc.ask3.ru/arc/aa/8a/a9/8a33964faf9758fb13a7861a353e44a9.html
Заголовок, (Title) документа по адресу, URL1:
Mapping cylinder - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)