Мономорфизм

Мономорфи́зм ― морфизм $m:A\to B$ категории $𝒞$, такой что из всякого равенства $m\circ f=m\circ h$ следует, что $f=h$ (другими словами, на $m$ можно сокращать слева). Часто мономорфизм из $X$ в $Y$ обозначают $X\hookrightarrow Y$.

Двойственным к понятию мономорфизм является понятие эпиморфизма. (При этом чтобы морфизм был изоморфизмом, в общем случае недостаточно биморфности — одновременной мономорфности и эпиморфности.)

Мономорфизмы представляют собой категорное обобщение понятия инъективной функции. Иногда эти определения совпадают, но в общем случае мономорфизм не соответствует инъективной функции.

Связь с обратимостью

Морфизмы, имеющие левый обратный, всегда являются мономорфизмами. Действительно, если $l$ — левый обратный к $f$ (то есть $l\circ f={\mathrm{id}}_X$), то:

$f\circ g_1=f\circ g_2\Rightarrow lf{g}_1=lf{g}_2\Rightarrow g_1=g_2$.

В то же время не все мономорфизмы имеют левый обратный. Например, в категории групп $𝐆𝐫𝐩$, если $H$ является подгруппой $G$, то вложение $f:H\to G$ — всегда мономорфизм, однако левый обратный морфизм $f:H\to G$ существует, только если у $H$ есть нормальная дополнительная группа (так как ядро гомоморфизма — нормальная подгруппа). Морфизм $f:X\to Y$ является мономорфизмом тогда и только тогда, когда индуцированное отображение $f_{*}:\mathrm{H}\mathrm{o}\mathrm{m}(Z,X)\to \mathrm{H}\mathrm{o}\mathrm{m}(Z,Y)$, определённое как $f_{*}h=f\circ h$ для морфизмов $h:Z\to X$, инъективно для всех Z.

Связь с инъективностью

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

Однако это верно не всегда. Например, в категории $𝐃𝐢𝐯$ делимых (абелевых) групп с обычными гомоморфизмами групп существуют неинъективные мономорфизмы, например, отображение факторизации $q:\mathbb{Q}\to \mathbb{Q}/\mathbb{Z}$.

Типы мономорфизмов

Шаблон:ЯкорьМономорфизм называется регулярным, если он является уравнителем некоторой пары параллельных морфизмов.

Шаблон:ЯкорьЭкстремальный мономорфизм — это мономорфизм, который нельзя нетривиальным образом пронести через эпиморфизм, иными словами, если экстремальный мономорфизм представлен в виде $g\circ e$ с эпиморфизмом $e$, то $e$ — изоморфизм.

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

Пара терминов «мономорфизм» и «эпиморфизм» впервые начала использоваться Бурбаки, причем они использовали «мономорфизм» как сокращение для фразы «инъективная функция». Сегодня практически все математики, занимающиеся теорией категорий, уверены, что правило сокращения, приведенное выше, — это правильное обобщение понятия инъективной функции. Маклейн попытался провести различие между мономорфизмами — морфизмами в конкретной категории, которым соответствует инъективная функция, и Шаблон:Lang-en — мономорфизмами в категорном смысле, однако это так и не вошло во всеобщее употребление.

Литература

• Шаблон:Книга:Категории для работающего математика
• George Bergman (1998), An Invitation to General Algebra and Universal Constructions, Henry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.