Русская Википедия:Коммутативная диаграмма

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Коммутативная диаграмма — наглядный способ записи тождеств, разработанный в теории категорий (в качестве визуализации диаграммы типа частичного порядка), и вошедший со второй половины XX века в употребление практически во всех разделах математики, наиболее широко — в алгебраической геометрии.

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

Файл:Commutative square.svg

означает, что <math>h \circ f = k \circ g</math>.

В примере, иллюстрирующем первую теорему об изоморфизме, коммутативность диаграммы значит ровно то, что <math>f = \tilde{f} \circ \pi</math>:

Файл:First isomorphism theorem (plain).svg

Существуют различные соглашения об обозначениях, чаще всего используется следующий вариант нотации:

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

Примечания

Шаблон:Примечания

Ссылки