Копроизведение

Материал из Википедии — свободной энциклопедии

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

[править] Определение

Пусть $\mathcal C$ — категория, $\{X_j | j \in J\}$ — индексированное семейство её объектов. Копроизведение этого семейства — это такой объект $X$ , вместе с морфизмами $i_j\colon\, X_i \to X$ , называемыми каноническими вложениями или каноническими инъекциями (хотя они не обязаны быть инъекциями), что для любого $Y \in Ob\,\mathcal C$ и семейства морфизмов $f_j\colon\, X_j \to Y$ существует единственный морфизм $f\colon\, X \to Y$ , такой что $f_j = f \circ i_j$ , то есть следующая диаграмма коммутативна для всех $j$ :

Копроизведение семейства ${X j}$ обычно обозначают

$X = \coprod_{j\in J}X_j$

или

$X = \bigoplus_{j \in J} X_j.$

Иногда морфизм $f$ обозначают

$f=\coprod_{j \in J} f_j: \coprod_{j \in J} X_j \to Y$

чтобы подчеркнуть его зависимость от $f j$ .

Копроизведение двух объектов обычно обозначают $X_1 \coprod X_2$ или $X_1 \oplus X_2$ , тогда диаграмма принимает вид

Соответственно, $f$ обозначают при этом $f_1 \coprod f_2$ , $f_1 \oplus f_2$ или $[f 1, f 2]$ .

Единственность результата операции $[ - , - ]$ можно альтернативно выразить как равенство $[ h \circ i_1,h \circ i_2 ] = h$ , верное для любых $h$ . ^[1]

Существует эквивалентное определение копроизведения. Копроизведение семейства $\{X_j|j\in J\}$ — это такой объект $X$ , что для любого объекта $Y\in C$ функция $Hom(X,Y) \rightarrow \prod_{j\in J} Hom(X_j,Y)$ , заданная как $u \mapsto \{ u \circ i_j\}$ , биективна. ^[2]

[править] Примеры

[править] Свойства

Если сумма объектов существует, то она единственна с точностью до изоморфизма.
Коммутативность: $a + b \simeq b + a.$
Ассоциативность: $(a+b)+c \simeq a+(b+c)$
Если в категории существует начальный объект $\ 0$ , то $a+0 \simeq 0+a \simeq a.$
Категория, в которой определено произведение любых двух объектов и имеется инициальный объект, является симметричным моноидом.

[править] Дистрибутивность

В общем случае существует канонический морфизм $X\times Y+X\times Z \to X\times(Y+Z)$ , где плюс обозначает копроизведение объектов. Это следует из существования канонических проекций и вложений и из коммутативности следующей диаграммы:

Свойство универсальности для $X\times(Y+Z)$ гарантирует при этом существование искомого морфизма. Категория называется дистрибутивной, если в ней этот морфизм является изоморфизмом.

[править] Матрица преобразований

Любой морфизм

$f \colon \bigoplus_{i\in I} a_i \to \bigotimes_{j\in J} b_j$

порождает множество морфизмов

$f_{ij} \colon a_i \to b_j$

задаваемых по правилу $f_{ij} = \pi_j \circ f \circ \imath_i$ и называемых матрицей преобразования. Обратно, любая матрица преобразования $f_{ij} \colon a_i \to b_j$ задаёт единственный соответствующий морфизм $\scriptstyle f \colon \bigoplus_{i\in I} a_i \to \bigotimes_{j\in J} b_j.$ Если в категории существует нулевой объект $0,$ для которого для любого объекта $x$ существует единственный морфизм $d_x\colon x \to 0$ и единственный морфизм $c_x\colon 0\to x$ , то матрица преобразования $f_{ij} \colon a_i \to a_j$ , задаваемая по правилу

$f_{ij} = \left\{ \begin{matrix} c_{j} \circ d_{i},~ i\ne j \\ id_i,~ i=j \end{matrix} \right.$

называется единичной матрицей.

Пример

В категории конечномерных векторных пространств $\mathcal{V}ect_f$ копроизведение пространств совпадает с их произведением и является их прямой суммой. В этом случае категорное и обычное понимание матрицы преобразования совпадают, так как любое конечномерное пространство можно разложить в прямую сумму одномерных. При этом матрица преобразования всего пространства задаётся через указание образов соответствующих базисных векторов и продолжение преобразования на всё пространство по линейности единственным образом.

[править] Примечания

↑ Lambek J., Scott P. J. Introduction to Higher-Order Categorical Logic. — Cambridge University Press, 1988. — С. 304.
↑ Букур И., Деляну А. Введение в теорию категорий и функторов. — М.: «Мир», 1972.

[править] Литература

С. Мак Лейн Категории для работающего математика. — М.: Физматлит, 2004 [1998].

[править] См. также

Произведение (теория категорий) — двойственное понятие.

Это незавершённая статья по алгебре. Вы можете помочь проекту, исправив и дополнив её.

[0] Lambek J., Scott P. J. Introduction to Higher-Order Categorical Logic. — Cambridge University Press, 1988. — С. 304.

[1] Букур И., Деляну А. Введение в теорию категорий и функторов. — М.: «Мир», 1972.

[1]

[2]

Копроизведение

Материал из Википедии — свободной энциклопедии

Содержание

[править] Определение

[править] Примеры

[править] Свойства

[править] Дистрибутивность

[править] Матрица преобразований

[править] Примечания

[править] Литература

[править] См. также

Просмотры

Личные инструменты

Навигация

Поиск

Участие

Инструменты

На других языках