Главная
Новости
Строительство
Ремонт
Дизайн и интерьер




13.02.2021


07.02.2021


24.01.2021


24.01.2021


24.01.2021





Яндекс.Метрика
         » » Произведение (теория категорий)

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

05.03.2021

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

Определение

Пусть задано { X i } i ∈ I {displaystyle {X_{i}}_{iin I}} — индексированное семейство (не обязательно различных) объектов категории C {displaystyle C} . Объект X {displaystyle X} категории C {displaystyle C} вместе с семейством морфизмов π i : X → X i {displaystyle pi _{i}colon X o X_{i}} является произведением семейства объектов { X i } i ∈ I {displaystyle {X_{i}}_{iin I}} , если для любого объекта Y ∈ C {displaystyle Yin C} и любого семейства морфизмов f i : Y → X i {displaystyle f_{i}colon ,Y o X_{i}} существует единственный морфизм f : Y → X {displaystyle fcolon ,Y o X} , для которого следующая диаграмма:

коммутативна для каждого i ∈ I {displaystyle iin I} (то есть π i ∘ f = f i {displaystyle pi _{i}circ f=f_{i}} ). Морфизмы π i {displaystyle pi _{i}} называются каноническими проекциями.

Приведенное определение равносильно следующему:

Объект X {displaystyle X} вместе с семейством проекций { π i } i ∈ I {displaystyle {pi _{i}}_{iin I}} является произведением семейства объектов { X i } i ∈ I {displaystyle {X_{i}}_{iin I}} тогда и только тогда, когда для любого объекта Y ∈ C {displaystyle Yin C} отображение

H o m C ( Y , X ) → ∏ i ∈ I H o m C ( Y , X i ) , f ↦ ∏ i ∈ I ( π i ∘ f ) {displaystyle mathrm {Hom} _{C}(Y,X) ightarrow prod _{iin I}mathrm {Hom} _{C}(Y,X_{i}),;fmapsto prod _{iin I}(pi _{i}circ f)}

биективно.

Произведение двух объектов обычно обозначают X 1 × X 2 {displaystyle X_{1} imes X_{2}} , при этом диаграмма принимает вид

Морфизм f {displaystyle f} при этом иногда обозначается ⟨ f 1 , f 2 ⟩ {displaystyle langle f_{1},f_{2} angle } .

Единственность результата операции ⟨ − , − ⟩ {displaystyle langle -,- angle } можно альтернативно выразить как равенство ⟨ π 1 ∘ h , π 2 ∘ h ⟩ = h {displaystyle langle pi _{1}circ h,pi _{2}circ h angle =h} , верное для любых h {displaystyle h} .

Примеры

  • В категории множеств категорное произведение совпадает с декартовым.
  • В категории топологических пространств произведению пространств соответствует пространство, носитель которого является декартовым произведением носителей сомножителей, а топология определяется как произведение их топологий.
  • В категории групп произведение групп определяется как их прямое произведение.
  • В категории проективных многообразий категорное произведение можно задать при помощи вложения Сегре.
  • Частично упорядоченное множество может рассматриваться как категория, в которой морфизм из a {displaystyle a} в b {displaystyle b} существует тогда и только тогда (по определению), когда a ⩾ b {displaystyle ageqslant b} (причём между двумя объектами не может быть более одного морфизма). При этом произведением семейства линейно упорядоченных объектов является их наибольшая нижняя грань, а копроизведением — наименьшая верхняя грань.

Свойства

  • Если произведение объектов существует, то оно единственно с точностью до изоморфизма.
  • Коммутативность: a × b ≃ b × a . {displaystyle a imes bsimeq b imes a.}
  • Ассоциативность: ( a × b ) × c ≃ a × ( b × c ) {displaystyle (a imes b) imes csimeq a imes (b imes c)}
  • Если в категории существует терминальный объект   1 {displaystyle 1} , то a × 1 ≃ 1 × a ≃ a . {displaystyle a imes 1simeq 1 imes asimeq a.}
  • Приведённые выше свойства формально сходны со свойствами коммутативного моноида. Более точно, категория, в которой определено произведение любых двух объектов и имеется терминальный объект, является симметричной моноидальной категорией.

Дистрибутивность

В общем случае существует канонический морфизм X × Y + X × Z → X × ( Y + Z ) {displaystyle X imes Y+X imes Z o X imes (Y+Z)} , где плюс обозначает копроизведение объектов. Это следует из существования канонических проекций и вложений и из коммутативности следующей диаграммы:

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

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

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

f : ⨁ i ∈ I a i → ⨂ j ∈ J b j {displaystyle fcolon igoplus _{iin I}a_{i} o igotimes _{jin J}b_{j}}

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

f i j : a i → b j {displaystyle f_{ij}colon a_{i} o b_{j}}

задаваемых по правилу f i j = π j ∘ f ∘ ı i {displaystyle f_{ij}=pi _{j}circ fcirc imath _{i}} и называемых матрицей преобразования. Обратно, любая матрица преобразования f i j : a i → b j {displaystyle f_{ij}colon a_{i} o b_{j}} задаёт единственный соответствующий морфизм f : ⨁ i ∈ I a i → ⨂ j ∈ J b j . {displaystyle scriptstyle fcolon igoplus _{iin I}a_{i} o igotimes _{jin J}b_{j}.} Если в категории существует нулевой объект 0 , {displaystyle 0,} то для любых двух объектов x , y {displaystyle x,y} существует канонический нулевой морфизм: 0 x y : x → 0 → y . {displaystyle 0_{xy}:x o 0 o y.} В этом случае матрица преобразования f : ⨁ i ∈ I a i → ⨂ i ∈ I a i {displaystyle scriptstyle fcolon igoplus _{iin I}a_{i} o igotimes _{iin I}a_{i}} , задаваемая по правилу

f i j = { 0 a j a i ,   i ≠ j i d a i ,   i = j {displaystyle f_{ij}=left{{egin{matrix}0_{a_{j}a_{i}},~i eq jmathrm {id} _{a_{i}},~i=jend{matrix}} ight.}

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

Пример

В категории конечномерных векторных пространств V e c t f {displaystyle {mathcal {V}}ect_{f}} копроизведение пространств совпадает с их произведением и является их прямой суммой. В этом случае категорное и обычное определение матрицы преобразования совпадают, так как любое конечномерное пространство можно разложить в прямую сумму одномерных, а также и в прямое произведение одномерных. Различие состоит в том, что в категорном определении элементы матрицы — это преобразования одномерного пространства в одномерное, тогда как в обычном определении в этих одномерных пространствах выбраны базисы и можно указывать только координату образа базисного вектора пространства-прообраза в базисе пространства-образа.