Картографический цилиндр
В математике , особенно в алгебраической топологии , отображающий цилиндр [1] непрерывной функции между топологическими пространствами и это частное
где обозначает непересекающееся объединение , а ~ — отношение эквивалентности порожденное ,
То есть картографический цилиндр получается путем склеивания одного конца к через карту . Обратите внимание, что «верх» цилиндра гомеоморфен , а «дно» — это пространство . Обычно пишут для , и использовать обозначения или для построения картографического цилиндра. То есть человек пишет
с подстрочным символом чашки, обозначающим эквивалентность. Цилиндр отображения обычно используется для построения конуса отображения. , полученная сжатием одного конца цилиндра в точку. Картографические цилиндры играют центральную роль в определении кофибраций .
Основные свойства
[ редактировать ]Нижняя часть Y представляет собой ретракт деформационный . Проекция разбивается (через ), и ретракция деформации дается:
(где указывает оставайся на месте, потому что для всех ).
Карта является гомотопической эквивалентностью тогда и только тогда, когда «вершина» представляет собой сильный деформационный ретракт . [2] Можно вывести явную формулу для сильной деформационной редукции. [3]
Примеры
[ редактировать ]Картографический цилиндр пучка волокон
[ редактировать ]Для пучка волокон с волокном , картографический цилиндр
имеет отношение эквивалентности
для . Затем существует каноническая карта, отправляющая точку в точку , давая пучок волокон
чьим волокном является конус . Чтобы увидеть это, обратите внимание на волокно над точкой это фактор-пространство
где каждая точка в эквивалентно.
Интерпретация
[ редактировать ]Цилиндр отображения можно рассматривать как способ замены произвольного отображения эквивалентным корасслоением в следующем смысле:
Учитывая карту цилиндр отображения представляет собой пространство , вместе с кофибрацией и сюръективная гомотопическая эквивалентность (действительно, Y — ретракт деформационный ), такая, что композиция равно ф .
Таким образом, пространство Y заменяется гомотопически эквивалентным пространством. , и отображение f с поднятым отображением . Аналогично, диаграмма
заменяется диаграммой
вместе с гомотопической эквивалентностью между ними.
Конструкция служит для замены любого отображения топологических пространств гомотопически эквивалентным корасслоением.
Обратите внимание, что поточечное корасслоение является замкнутым включением .
Приложения
[ редактировать ]Картографические цилиндры — довольно распространенные гомотопические инструменты. Одним из применений цилиндров отображения является применение теорем, касающихся включения пространств, к общим отображениям, которые могут не быть инъективными .
Следовательно, теоремы или методы (такие как гомологии , когомологии или теория гомотопий ), которые зависят только от гомотопического класса пространств и задействованных отображений, могут быть применены к с предположением, что и это на самом деле является включением подпространства .
Другая, более интуитивная привлекательность этой конструкции состоит в том, что она соответствует обычному мысленному образу функции как «отправляющей» точки в точки и, следовательно, вложения в пределах несмотря на то, что функция не обязательно должна быть взаимно однозначной.
Категориальное применение и интерпретация
[ редактировать ]Можно использовать цилиндр отображения для построения гомотопических копределов : [ нужна ссылка ] это следует из общего утверждения, что любая категория со всеми выталкиваниями и копределами имеет все копределы . То есть по заданной диаграмме заменить отображения корасслоениями (используя цилиндр отображения), а затем взять обычный поточечный предел (нужно быть немного более осторожным, но цилиндры отображения являются компонентой).
И наоборот, цилиндр отображения является гомотопическим выбросом диаграммы, где и .
Картографический телескоп
[ редактировать ]Дана последовательность карт
картографический телескоп является гомотопическим прямым пределом . Если все отображения уже являются корасслоениями (например, для ортогональных групп ), то прямым пределом является объединение, но вообще надо пользоваться картографическим телескопом. Картографический телескоп представляет собой последовательность картографических цилиндров, соединенных встык. На картинке конструкция выглядит как стопка все более крупных цилиндров, наподобие телескопа.
Формально это определяется как
См. также
[ редактировать ]- Кофибрация
- Отображающий цилиндр (гомологическая алгебра)
- Гомотопический копредел
- Пространство пути отображения , которое можно рассматривать как коцилиндр отображения.
Ссылки
[ редактировать ]- ^ Хэтчер, Аллен (2003). Алгебраическая топология . Кембридж: Кембриджский университет. Пр. п. 2 . ISBN 0-521-79540-0 .
- ^ Хэтчер, Аллен (2003). Алгебраическая топология . Кембридж: Кембриджский университет. Пр. п. 15 . ISBN 0-521-79540-0 .
- ^ Агуадо, Алекс. «Краткая заметка о сопоставлении цилиндров». arXiv : 1206.1277 [ math.AT ].
- Мэй, JP (1999). Краткий курс алгебраической топологии . Издательство Чикагского университета. ISBN 978-0-2265-1183-2 .