Эпиморфизм - Epimorphism

Сценарии эпиморфизма.svg

В теория категорий, эпиморфизм (также называемый эпический морфизм или, в просторечии, эпи) это морфизм ж : ИксY то есть право-отменяющий в том смысле, что для всех объектов Z и все морфизмы грамм1, грамм2: YZ,

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

Многие авторы в абстрактная алгебра и универсальная алгебра определить эпиморфизм просто как на или же сюръективный гомоморфизм. Каждый эпиморфизм в этом алгебраическом смысле является эпиморфизмом в смысле теории категорий, но обратное верно не для всех категорий. В этой статье термин «эпиморфизм» будет использоваться в приведенном выше смысле теории категорий. Подробнее об этом см. § Терминология ниже.

Примеры

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

Однако есть также много конкретных категорий интересов, в которых эпиморфизмы не могут быть сюръективными. Вот несколько примеров:

  • в категория моноидов, Пн, то карта включения NZ является несюръективным эпиморфизмом. Чтобы увидеть это, предположим, что грамм1 и грамм2 две разные карты из Z к какому-то моноиду M. Тогда для некоторых п в Z, грамм1(п) ≠ грамм2(п), так грамм1(-n) ≠ грамм2(−п). Либо п или -п в N, поэтому ограничения грамм1 и грамм2 к N неравны.
  • В категории алгебр над коммутативным кольцом р, брать р[N] → р[Z], куда р[грамм] это групповое кольцо группы грамм а морфизм индуцирован включением NZ как в предыдущем примере. Это следует из наблюдения, что 1 порождает алгебру р[Z] (обратите внимание, что блок в р[Z] дан кем-то 0 из Z), и обратный элемент, представленный п в Z это просто элемент, представленный -п. Таким образом, любой гомоморфизм из р[Z] однозначно определяется своим значением на элементе, представленном 1 из Z.
  • в категория колец, Звенеть, карта включения ZQ несюръективный эпиморфизм; чтобы увидеть это, обратите внимание, что любой кольцевой гомоморфизм на Q полностью определяется его действием на Z, аналогично предыдущему примеру. Аналогичное рассуждение показывает, что естественный гомоморфизм колец из любого коммутативное кольцо р к любому из его локализации это эпиморфизм.
  • в категория коммутативных колец, а конечно порожденный гомоморфизм колец ж : рS является эпиморфизмом тогда и только тогда, когда для всех главные идеалы п из р, идеал Q создано ж(п) либо S или простое, и если Q не является S, индуцированное отображение Гидроразрыв (р/п) → ГРП (S/Q) является изоморфизм (EGA IV 17.2.6).
  • В категории хаусдорфовых пространств Haus, эпиморфизмы - это в точности непрерывные функции с плотный изображений. Например, карта включения Qр, является несюръективным эпиморфизмом.

Сказанное выше отличается от случая мономорфизмов, где чаще верно, что мономорфизмы - это в точности те, чьи основные функции инъективный.

Что касается примеров эпиморфизмов в неконкретных категориях:

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

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

Каждый изоморфизм это эпиморфизм; действительно нужен только правосторонний обратный: если существует морфизм j : YИкс такой, что fj = idY, тогда ж: ИксY легко увидеть, что это эпиморфизм. Отображение с таким правосторонним обратным называется разделить эпи. В топос, карта, которая одновременно монический морфизм а эпиморфизм - это изоморфизм.

Композиция двух эпиморфизмов снова является эпиморфизмом. Если состав фг двух морфизмов является эпиморфизмом, то ж должен быть эпиморфизм.

Как показывают некоторые из приведенных выше примеров, свойство быть эпиморфизмом определяется не только морфизмом, но и категорией контекста. Если D это подкатегория из C, то каждый морфизм в D это эпиморфизм, если рассматривать его как морфизм в C также является эпиморфизмом в D. Однако обратное не обязательно; меньшая категория может (и часто будет) иметь больше эпиморфизмов.

Что касается большинства понятий теории категорий, эпиморфизмы сохраняются при эквивалентности категорий: с учетом эквивалентности F : CD, морфизм ж является эпиморфизмом в категории C если и только если F(ж) является эпиморфизмом в D. А двойственность между двумя категориями превращает эпиморфизмы в мономорфизмы, и наоборот.

Определение эпиморфизма можно переформулировать, указав, что ж : ИксY является эпиморфизмом тогда и только тогда, когда индуцированные отображения

находятся инъективный на любой выбор Z. Это, в свою очередь, эквивалентно индуцированному естественная трансформация

являясь мономорфизмом в категория функторов НаборC.

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

Во многих категориях можно записать любой морфизм как композицию эпиморфизма, за которым следует мономорфизм. Например, учитывая гомоморфизм группы ж : граммЧАС, мы можем определить группу K = им (ж) а затем напишите ж как композиция сюръективного гомоморфизма граммK что определяется как жс последующим инъективным гомоморфизмом KЧАС который отправляет каждый элемент себе. Такая факторизация произвольного морфизма в эпиморфизм с последующим мономорфизмом может быть проведена во всех абелевых категориях, а также во всех конкретных категориях, упомянутых выше в § Примеры (правда, не во всех конкретных категориях).

Связанные понятия

Среди других полезных концепций: регулярный эпиморфизм, экстремальный эпиморфизм, непосредственный эпиморфизм, сильный эпиморфизм, и расщепленный эпиморфизм.

  • Говорят, что эпиморфизм обычный если это коэквалайзер некоторой пары параллельных морфизмов.
  • Эпиморфизм как говорят экстремальный[1] если в каждом представлении , куда это мономорфизм, морфизм автоматически изоморфизм.
  • Эпиморфизм как говорят немедленный если в каждом представлении , куда это мономорфизм и является эпиморфизмом, морфизм автоматически изоморфизм.
  • Диаграмма-ортогональность-2.jpg
    Эпиморфизм как говорят сильный[1][2] если для любого мономорфизм и любые морфизмы и такой, что , существует морфизм такой, что и .
  • Эпиморфизм как говорят расколоть если существует морфизм такой, что (в этом случае называется правосторонним обратным для ).

Также существует понятие гомологический эпиморфизм в теории колец. Морфизм ж: АB колец является гомологическим эпиморфизмом, если он является эпиморфизмом и индуцирует полный и точный функтор на производные категории: D (ж): D (B) → D (А).

Морфизм, который одновременно является мономорфизмом и эпиморфизмом, называется биморфизм. Любой изоморфизм является биморфизмом, но обратное, вообще говоря, неверно. Например, карта из полуоткрытый интервал [0,1) в единичный круг S1 (задуманный как подпространство из комплексная плоскость ) который отправляет Икс к exp (2πiИкс) (видеть Формула Эйлера ) непрерывно и биективно, но не гомеоморфизм поскольку обратное отображение не является непрерывным в 1, поэтому это экземпляр биморфизма, который не является изоморфизмом в категории Вершина. Другой пример - вложение Q → р в категории Haus; как отмечалось выше, это биморфизм, но он не биективен и, следовательно, не является изоморфизмом. Точно так же в категории кольца, карта Z → Q является биморфизмом, но не изоморфизмом.

Эпиморфизмы используются для определения абстрактных частные объекты в общих категориях: два эпиморфизма ж1 : ИксY1 и ж2 : ИксY2 как говорят эквивалент если существует изоморфизм j : Y1Y2 с j ж1 = ж2. Это отношение эквивалентности, а классы эквивалентности определены как фактор-объекты Икс.

Терминология

Сопутствующие термины эпиморфизм и мономорфизм были впервые представлены Бурбаки. Бурбаки использует эпиморфизм как сокращение для сюръективная функция. Ранние теоретики категорий полагали, что эпиморфизмы были правильным аналогом сюръекций в произвольной категории, подобно тому, как мономорфизмы почти точные аналоги инъекций. К сожалению, это неверно; сильные или регулярные эпиморфизмы гораздо ближе к сюръекциям, чем обычные эпиморфизмы. Saunders Mac Lane попытался провести различие между эпиморфизмы, которые были картами в конкретной категории, чьи базовые карты множеств были сюръективными, и эпические морфизмы, которые являются эпиморфизмами в современном понимании. Однако это различие так и не прижилось.

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

Смотрите также

Примечания

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

  • Адамек, Иржи; Херрлих, Хорст; Стрекер, Джордж Э. (1990). Абстрактные и конкретные категории (PDF). Джон Вили и сыновья. ISBN  0-471-60922-6.CS1 maint: ref = harv (связь)
  • Бергман, Джордж (2015). Приглашение к общей алгебре и универсальным конструкциям. Springer. ISBN  978-3-319-11478-1.CS1 maint: ref = harv (связь)
  • Борсё, Фрэнсис (1994). Справочник по категориальной алгебре. Том 1: Основная теория категорий. Издательство Кембриджского университета. ISBN  978-0521061193.CS1 maint: ref = harv (связь)
  • Цаленко, М.С .; Шульгейфер, Э. (1974). Основы теории категорий. Наука. ISBN  5-02-014427-4.CS1 maint: ref = harv (связь)
  • «Эпиморфизм», Энциклопедия математики, EMS Press, 2001 [1994]
  • Ловер, Ф. Уильям; Розбру, Роберт (2015). Наборы для математики. Пресса Кембриджского университета. ISBN  0-521-80444-2.CS1 maint: ref = harv (связь)
  • Линдерхольм, Карл (1970). «Групповой эпиморфизм сюръективен». Американский математический ежемесячный журнал. 77: 176–177. Дои:10.1080/00029890.1970.11992448.CS1 maint: ref = harv (связь)

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