Универсальное свойство произведения: проекции и единство

Декартово произведение множеств $A \times B$ обычно вводят как множество упорядоченных пар. Но в теории категорий произведение определяют иначе - не «изнутри», через элементы, а «снаружи», через то, как объект взаимодействует с остальными. Это и есть универсальное свойство произведения: $A \times B$ - такой объект с двумя проекциями, через который единственным образом пропускается любая пара согласованных морфизмов. Определение не упоминает пары, элементы и внутреннее устройство - только стрелки. Ниже разберём формулировку по частям, докажем единственность с точностью до изоморфизма и посмотрим, как одно и то же свойство задаёт произведение в множествах, группах, топологии и любой категории. Если нужно сразу применить это к своей задаче - соберите её в форме ниже.

Формулировка универсального свойства

Пусть $\mathcal{C}$ - категория, $A$ и $B$ - два её объекта. Произведением объектов $A$ и $B$ называется объект $P$ вместе с двумя морфизмами - проекциями $\pi_A: P \to A$ и $\pi_B: P \to B$ - такими, что выполнено условие универсальности:

$$\text{для любого объекта } X \text{ и любой пары } f: X \to A,\ g: X \to B$$

существует единственный морфизм $u: X \to P$, для которого

$$\pi_A \circ u = f, \qquad \pi_B \circ u = g.$$

Этот морфизм $u$ обычно записывают как $\langle f, g \rangle$ и читают «спаривание $f$ и $g$». Содержательно: задать стрелку из $X$ в произведение - то же самое, что задать пару стрелок из $X$ в сомножители по отдельности. Объект $P$ принято обозначать $A \times B$, а проекции - $\pi_A, \pi_B$ или $p_1, p_2$.

Рассчитать для своей задачи

В этой формулировке ровно две части, и обе обязательны. Существование $u$ говорит, что любую согласованную пара стрелок можно «собрать» в одну стрелку в произведение. Единственность $u$ говорит, что собрать её можно только одним способом. Уберём единственность - и $P$ перестанет быть произведением: подойдёт любой объект, через который пары хоть как-то пропускаются.

Зачем «снаружи», а не через пары

Привычное определение $A \times B = \{(a, b) \mid a \in A,\ b \in B\}$ работает в множествах, но опирается на понятие элемента. В большинстве категорий элементов в наивном смысле нет: объекты топологии - это пространства, объекты $\text{Grp}$ - группы со структурой, а в абстрактной категории объект вообще «без нутра». Универсальное свойство формулируется только через морфизмы и потому переносится в любую категорию без изменений.

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

Единственность с точностью до изоморфизма

Главное следствие универсального свойства: произведение единственно с точностью до единственного изоморфизма. Это значит, что если $(P, \pi_A, \pi_B)$ и $(Q, \rho_A, \rho_B)$ - оба произведения тех же $A$ и $B$, то существует единственный изоморфизм $\theta: P \to Q$, согласованный с проекциями ($\rho_A \circ \theta = \pi_A$, $\rho_B \circ \theta = \pi_B$).

Доказательство - образцовый «универсальный» аргумент. Применим универсальность $Q$ к паре $(\pi_A, \pi_B): P \to A,\ P \to B$ - получим единственный $\theta: P \to Q$. Симметрично применим универсальность $P$ к паре проекций $Q$ - получим $\psi: Q \to P$. Композиция $\psi \circ \theta: P \to P$ согласована с проекциями $P$; но тождество $\text{id}_P$ тоже согласовано, а универсальность даёт единственность такого морфизма - значит $\psi \circ \theta = \text{id}_P$. Аналогично $\theta \circ \psi = \text{id}_Q$. Стало быть $\theta$ - изоморфизм.

Рассчитать для своей задачи

Именно поэтому говорят «произведение $A \times B$», а не «одно из произведений»: все они канонически отождествляются. Это типовой паттерн - любое определяемое универсальным свойством понятие (предел, копроизведение, свободный объект) единственно в том же смысле, и доказательство всегда повторяет схему выше.

Произведение в конкретных категориях

Одно определение - много воплощений. Посмотрим, во что превращается универсальное свойство в разных категориях.

Множества ($\text{Set}$). Произведение - обычное декартово $A \times B$ с проекциями $\pi_A(a, b) = a$, $\pi_B(a, b) = b$. Спаривание $\langle f, g \rangle(x) = (f(x), g(x))$ - единственная функция, дающая нужные компоненты. Здесь универсальное свойство в точности возвращает привычное определение через пары.

Группы ($\text{Grp}$). Произведение - прямое произведение $G \times H$ с покомпонентной операцией $(g_1, h_1)(g_2, h_2) = (g_1 g_2, h_1 h_2)$. Проекции - гомоморфизмы, и спаривание двух гомоморфизмов снова гомоморфизм. Универсальное свойство автоматически «знает», что операция должна быть покомпонентной - иначе проекции не были бы гомоморфизмами.

Топология ($\text{Top}$). Произведение пространств несёт тихоновскую топологию - слабейшую, в которой обе проекции непрерывны. Именно она делает спаривание $\langle f, g \rangle$ непрерывным ровно тогда, когда непрерывны $f$ и $g$. Выбор «коробочной» топологии универсальное свойство нарушил бы - для бесконечных произведений она не та.

Частично упорядоченное множество (как категория). Если рассматривать ч.у.м. как категорию (стрелка $x \to y$ есть при $x \le y$), то произведение двух элементов - это их точная нижняя грань (инфимум) $a \wedge b$. Проекции $a \wedge b \le a$, $a \wedge b \le b$, а универсальность - ровно определение инфимума: любой нижний элемент $x \le a$, $x \le b$ не превосходит $a \wedge b$.

Произведение как предел диагонального функтора

Произведение - частный случай предела. Рассмотрим диаграмму из двух объектов $A, B$ без стрелок между ними (дискретная диаграмма на двух точках). Конус над ней - это объект $X$ с двумя стрелками $X \to A$, $X \to B$; предельный конус - универсальный среди них. Это дословно наше определение, так что произведение $=$ предел дискретной двухобъектной диаграммы.

Эквивалентная упаковка - через диагональный функтор $\Delta: \mathcal{C} \to \mathcal{C} \times \mathcal{C}$, $\Delta(X) = (X, X)$. Произведение задаёт естественную биекцию

$$\text{Hom}_{\mathcal{C} \times \mathcal{C}}\big((X, X),\ (A, B)\big) \cong \text{Hom}_{\mathcal{C}}\big(X,\ A \times B\big),$$

то есть функтор $(A, B) \mapsto A \times B$ - правый сопряжённый к $\Delta$. Это включает произведение в общую теорию: всё, что верно для правых сопряжённых, верно и здесь. В частности, правый сопряжённый сохраняет пределы - поэтому произведение перестановочно с другими пределами, а $A \times (B \times C) \cong (A \times B) \times C$ получается без ручной проверки.

Двойственность: копроизведение

Развернём все стрелки в определении - получим копроизведение (сумму) $A \sqcup B$ с включениями $\iota_A: A \to A \sqcup B$, $\iota_B: B \to A \sqcup B$ и универсальным свойством: для любой пары $f: A \to X$, $g: B \to X$ существует единственный $[f, g]: A \sqcup B \to X$, согласованный с включениями. Это произведение в двойственной категории $\mathcal{C}^{\text{op}}$.

В $\text{Set}$ копроизведение - дизъюнктное объединение, в $\text{Grp}$ - свободное произведение групп, в $\text{Ab}$ для конечного числа слагаемых копроизведение совпадает с произведением (прямая сумма). Двойственность экономит работу: любая теорема о произведении автоматически даёт теорему о копроизведении переворотом стрелок.

Частые ошибки

• Забыть про единственность $u$. Если требовать только существование согласованного морфизма, определение разваливается: подойдёт любой объект, через который пары как-то пропускаются. Единственность - несущая часть.
• Считать, что произведение - это буквально множество пар. В $\text{Top}$ или $\text{Grp}$ объект несёт дополнительную структуру (топологию, операцию), которую универсальное свойство выводит; «множество пар» - лишь носитель в $\text{Set}$.
• Путать проекции и включения. У произведения стрелки идут из него ($\pi: A \times B \to A$), у копроизведения - в него ($\iota: A \to A \sqcup B$). Направление задаёт всё.
• Думать, что произведение всегда существует. В произвольной категории его может не быть. Универсальное свойство задаёт произведение, если оно есть, и фиксирует его однозначно - но существование надо проверять отдельно.
• Брать «не ту» топологию или операцию. Коробочная топология вместо тихоновской, непокомпонентная операция - и проекции перестают быть морфизмами, объект перестаёт быть произведением.

FAQ

Чем универсальное свойство произведения отличается от определения через пары? Определение через пары описывает внутреннее устройство объекта и работает только там, где есть элементы. Универсальное свойство описывает произведение через его морфизмы с остальными объектами и переносится в любую категорию. В $\text{Set}$ они совпадают; в $\text{Top}$ или $\text{Grp}$ универсальное свойство дополнительно фиксирует правильную структуру (топологию, операцию).

Почему произведение единственно с точностью до изоморфизма, а не буквально единственно? Универсальное свойство не указывает на конкретный объект - оно описывает роль. Любые два объекта, играющие эту роль, оказываются связаны единственным согласованным с проекциями изоморфизмом, поэтому различать их незачем. Это общая черта всех универсальных конструкций: предел, сопряжённые функторы, свободные объекты определены так же.

Как универсальное свойство связано с пределом? Произведение - это предел дискретной диаграммы из двух объектов без стрелок. В общем виде предел любой диаграммы задаётся универсальным конусом тем же приёмом «единственный согласованный морфизм». Произведение по более чем двум объектам и бесконечные произведения определяются дословно так же.

Коротко

Универсальное свойство произведения определяет $A \times B$ не через пары, а через проекции $\pi_A, \pi_B$ и условие: любая согласованная пара $f: X \to A$, $g: X \to B$ пропускается через произведение единственным морфизмом $\langle f, g \rangle$. Из этого свойства следует единственность произведения с точностью до единственного согласованного изоморфизма - стандартным аргументом через композицию универсальных стрелок. Одно определение воплощается как декартово произведение в $\text{Set}$, прямое произведение в $\text{Grp}$, пространство с тихоновской топологией в $\text{Top}$ и инфимум в ч.у.м. Произведение - частный случай предела (дискретная двухобъектная диаграмма) и правый сопряжённый к диагональному функтору, а переворот всех стрелок даёт двойственное понятие - копроизведение.