В теории категорий, раздел математики, выталкивание (также называемое волокнистым побочным продуктом или волокнистой суммой, или кокартовым квадратом или объединенной суммой ) - это копредел диаграммы , состоящей из двух морфизмов f: Z → X и g: Z → Y с общей областью. Вытеснение состоит из объекта P вместе с двумя морфизмами X → P и Y → P, которые завершают коммутативный квадрат с двумя данными морфизмами f и g. Фактически, определяющее универсальное свойство выталкивания (приведенное ниже) по существу говорит о том, что выталкивание - это «самый общий» способ завершить этот коммутативный квадрат. Обычные обозначения для выталкивания: и .
Вытеснение - это категориальный двойной откат.
Содержание
- 1 Универсальное свойство
- 2 Примеры вытеснения
- 3 Свойства
- 4 Конструирование с помощью копроизведений и соэквалайзеров
- 5 Применение: теорема Зейферта – ван Кампена
- 6 Ссылки
- 7 Внешние ссылки
Универсальное свойство
Явно выталкивание морфизмов f а g состоит из объекта P и двух морфизмов i 1 : X → P и i 2 : Y → P таких, что диаграмма
-
коммутирует, и таких, что ( P, i 1, i 2) является универсальным по отношению к этой диаграмме. То есть для любого другого такого множества (Q, j 1, j 2), для которого коммутируется следующая диаграмма, должен существовать единственный u: P → Q, также делающий диаграмму коммутируют:
-
Как и все универсальные конструкции, выталкивание, если оно существует, уникально с точностью до уникального изоморфизма.
Примеры вытеснения
Вот несколько примеров вытеснения в знакомых категориях. Обратите внимание, что в каждом случае мы предоставляем только конструкцию объекта в классе выталкиваний изоморфизма; как упоминалось выше, хотя могут быть и другие способы его создания, все они эквивалентны.
- Предположим, что X, Y и Z, как указано выше, являются множествами, а f: Z → X и g: Z → Y - функциями множеств. Вытеснение f и g - это непересекающееся объединение X и Y, где идентифицируются элементы, имеющие общий прообраз (в Z), вместе с морфизмами i 1, я 2 от X и Y, то есть , где ~ - тончайшее отношение эквивалентности (см. также this ) такое, что f (z) ~ g (z) для всех z в Z В частности, если X и Y - подмножества некоторого большего множества W, а Z - их пересечение, причем f и g - отображения включения Z в X и Y, то выталкивание можно канонически отождествить с объединением .
- Конструкция смежных пространств является примером вытеснения в категории топологических пространств. Точнее, если Z - это подпространство Y и g: Z → Y - это карта включения, мы можем «приклеить» Y к другому пространству X вдоль Z, используя «карту присоединения» f: Z → X. Результатом является смежное пространство , которое является просто выталкиванием f и g. В более общем смысле, все идентификационные пространства могут рассматриваться как выталкиваемые таким образом.
- Частным случаем вышеизложенного является сумма клина или одноточечное объединение; здесь мы берем X и Y как точечные пространства и Z как одноточечное пространство. Тогда выталкивание будет , пространство, полученное путем приклеивания базовой точки X к базовой точке Y.
- В категории абелевы группы, выталкивания можно рассматривать как «прямую сумму со склейкой», так же как мы думаем о смежных пространствах как «несвязное объединение со склейкой». Нулевая группа - это подгруппа каждой группы, поэтому для любых абелевых групп A и B у нас есть гомоморфизмы и . Вытеснение этих отображений является прямой суммой A и B. Обобщая случай, когда f и g - произвольные гомоморфизмы из общей области Z, мы получаем для вытеснения фактор-группу прямой суммы; а именно, мы mod out на подгруппу, состоящую из пар (f (z), −g (z)). Таким образом, мы «приклеили» образы Z под f и g. Аналогичный подход дает вытеснение в категории R- модулей для любого кольца R.
- В категории групп вытеснение называется бесплатным продуктом. с объединением. Он обнаруживается в теореме Зейферта – ван Кампена из алгебраической топологии (см. Ниже).
- В CRing категория коммутативных колец (полная подкатегория категории колец ), выталкивание задается тензорным произведением колец с морфизмами и , которые удовлетворяют . Фактически, поскольку выталкивание - это colimit для span, а откат - это предел cospan, мы можем думать о тензорное произведение колец и расслоенное произведение колец (см. раздел примеров) как понятия, двойственные друг другу. В частности, пусть A, B и C - объекты (коммутативные кольца с единицей) в CRing и пусть f: C → A и g: C → B - морфизмы (гомоморфизмы кольца ) в CRing . Тогда тензорное произведение:
- См. Бесплатное произведение ассоциативных алгебр для случая некоммутативных колец.
- В мультипликативном моноиде натуральных чисел , рассматриваемом как категория с одним объектом, выталкивание двух положительных целых чисел m и n - это просто пара , где оба числителя являются наименьшим общим кратным числа m и н. Обратите внимание, что та же пара также является откатом.
Свойства
- Когда существует выталкивание A⊔ C B, тогда B⊔ C A также существует, и существует естественный изоморфизм A∪ C B ≅ B∪ CA.
- В абелевой категории все выталкивающие элементы существуют, и они сохраняют коядра в следующем смысле: if (P, i 1, i 2) является выталкиванием f: Z → X и g: Z → Y, тогда естественное отображение coker (f) → coker (i 2) является изоморфизмом, как и естественное отображение coker (g) → coker (i 1).
- Существует естественный изоморфизм (A⊔ C B) ⊔ B D ≅ A⊔ C D. Явно это означает:
- , если даны отображения f: C → A, g: C → B и h: B → D и
- выталкивание f и g определяется выражениями i: A → P и j: B → P, а
- выталкивание j и h задается как k: P → Q и l: D → Q,
- , то выталкивание f и hg задается как ki: A → Q и l: D → Q.
- Графически это означает, что два выталкиваемых квадрата, размещенных рядом и имеющих один морфизм, сформировать больший толчок вне квадрата при игнорировании внутреннего общего морфизма.
Построение через копроизведения и соэквалайзеры
Вытеснение эквивалентно копродуктам и коэквалайзерам (если есть начальный объект) в том смысле, что:
- Копродукты - это выталкивание из исходного объекта, а коэквалайзер f, g: X → Y - выталкивание [f, g] и [1 X, 1 X ], поэтому, если есть выталкивающие элементы (и начальный объект), то есть коэквалайзеры и сопродукты;
- вытеснения могут быть построены из сопродуктов и соуравнителей, как описано ниже (вытеснение - это коэквалайзер отображает в копроизведение).
Все приведенные выше примеры можно рассматривать как частные случаи следующей очень общей конструкции, которая работает в любой категории C, удовлетворяющей:
- Для любых объектов A и B из C, их копродукция существует в C;
- Для любых морфизмов j и k C с одной и той же областью и целью, коэквалайзер j и k существует в C.
В этой настройке, получаем пушоу t морфизмов f: Z → X и g: Z → Y, сначала образуя копроизведение целей X и Y. Затем мы получаем два морфизма из Z в это копроизведение. Мы можем либо перейти от Z к X через f, затем включить в копроизведение, либо мы можем перейти от Z к Y через g, а затем включить. Вытеснение f и g является уравнителем этих новых карт.
Применение: теорема Зейферта – ван Кампена
Теорема Зейферта – ван Кампена дает ответ на следующий вопрос. Предположим, что у нас есть линейно связное пространство X, покрытое линейно связными открытыми подпространствами A и B, пересечение которых D также линейно связно. (Предположим также, что базовая точка * лежит в пересечении A и B.) Если мы знаем фундаментальные группы групп A, B и их пересечение D, можем ли мы восстановить фундаментальную группу X? Ответ - да, при условии, что мы также знаем индуцированные гомоморфизмы и Теорема говорит, что фундаментальная группа X является выталкиванием этих две индуцированные карты. Конечно, X - это выталкивание двух отображений включений D в A и B. Таким образом, мы можем интерпретировать теорему как подтверждающую, что фундаментальный групповой функтор сохраняет выталкивания включений. Мы могли бы ожидать, что это будет проще всего, когда D является односвязным, поскольку тогда оба вышеуказанных гомоморфизма имеют тривиальную область определения. Действительно, это так, поскольку тогда вытеснение (групп) сводится к свободному продукту, который является копроизведением в категории групп. В наиболее общем случае мы будем говорить о продукте без с объединением.
. Это подробно излагается в несколько более общих условиях (охватывает группоиды ) в книге JP May, указанной в ссылках.
Список литературы
- Мэй, Дж. П. Краткий курс алгебраической топологии. University of Chicago Press, 1999.
- Введение в категориальные подходы к алгебраической топологии: основное внимание уделяется алгебре и предполагает топологический фон.
- Рональд Браун «Топология и группоиды» " pdf available Дается отчет о некоторых категориальных методах в топологии, используется фундаментальный группоид на множестве базовых точек, чтобы дать обобщение теоремы Зейферта-ван Кампена.
- Филип Дж. Хиггинс, " Категории и группоиды "скачать бесплатно Объясняет некоторые применения группоидов в теории групп и топологии.
Внешние ссылки