WikiDer > Проективный объект - Википедия

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

Определение

An объект ${ displaystyle P}$ в категории ${ Displaystyle { mathcal {C}}}$ является проективный если для любого эпиморфизм ${ displaystyle e: E twoheadrightarrow X}$ и морфизм ${ displaystyle f: P to X}$, есть морфизм ${ displaystyle { overline {f}}: от P до E}$ такой, что ${ displaystyle e circ { overline {f}} = f}$, т.е. следующая диаграмма ездит на работу:

То есть каждый морфизм ${ displaystyle P to X}$ факторы через каждый эпиморфизм ${ displaystyle E twoheadrightarrow X}$.^[1]

Если C является местно маленький, т.е. в частности ${ displaystyle operatorname {Hom} _ {C} (P, X)}$ это набор для любого объекта Икс в C, это определение эквивалентно условию, что хом функтор (также известен как corepresentable функтор)

${ displaystyle operatorname {Hom} (P, -) двоеточие { mathcal {C}} to mathbf {Set}}$

сохраняет эпиморфизмы.^[2]

Проективные объекты в абелевых категориях

Если категория C является абелевой категорией, такой как, например, категория абелевых групп, тогда п проективен тогда и только тогда, когда

${ displaystyle operatorname {Hom} (P, -) двоеточие { mathcal {C}} to mathbf {Ab}}$

является точный функтор, куда Ab это категория абелевы группы.

Абелева категория ${ displaystyle { mathcal {A}}}$ говорят, что имеет достаточно прогнозов если для каждого объекта ${ displaystyle A}$ из ${ displaystyle { mathcal {A}}}$, есть проективный объект ${ displaystyle P}$ из ${ displaystyle { mathcal {A}}}$ и эпиморфизм из п к А или, что то же самое, короткая точная последовательность

${ displaystyle 0 to K to P longrightarrow A longrightarrow 0.}$

Цель этого определения - гарантировать, что любой объект А признает проективное разрешение, т.е. (длинная) точная последовательность

${ displaystyle dots P_ {2} to P_ {1} to P_ {0} to A to 0}$

где объекты ${ displaystyle P_ {0}, P_ {1}, dots}$ проективны.

Проективность относительно ограниченных классов

Семадени (1963) обсуждает понятие проективных (и двойственно инъективных) объектов относительно так называемой бикатегории, которая состоит из пары подкатегорий «инъекций» и «сюръекций» в данной категории. C. Эти подкатегории подчиняются определенным формальным свойствам, включая требование, чтобы любая сюръекция была эпиморфизмом. Проективный объект (относительно фиксированного класса сюръекций) тогда является объектом п так что Hom (п, -) превращает фиксированный класс сюръекций (в отличие от всех эпиморфизмов) в сюръекции множеств (в обычном смысле).

Характеристики

• В сопродукт двух проективных объектов является проективным.^[3]
• В втягивать проективного объекта является проективным.^[4]

Примеры

Утверждение, что все множества проективны, эквивалентно аксиома выбора.

Проективными объектами в категории абелевых групп являются свободные абелевы группы.

Позволять ${ displaystyle R}$ быть звенеть с личностью. Рассмотрим (абелеву) категорию ${ displaystyle R}$-Мод слева ${ displaystyle R}$-модули. Проективные объекты в ${ displaystyle R}$-Мод точно проективные левые R-модули. Как следствие, ${ displaystyle R}$ сам является проективным объектом в ${ displaystyle R}$-Мод. Соответственно, инъективные объекты в ${ displaystyle R}$-Мод точно инъективные левые R-модули.

Категория левых (правых) ${ displaystyle R}$-модулей тоже достаточно проективов. Это верно, поскольку для каждого левого (правого) ${ displaystyle R}$-модуль ${ displaystyle M}$мы можем взять ${ displaystyle F}$ быть свободным (и, следовательно, проективным) ${ displaystyle R}$-модуль, генерируемый генераторной установкой ${ displaystyle X}$ за ${ displaystyle M}$ (фактически мы можем взять ${ displaystyle X}$ быть ${ displaystyle M}$). Тогда каноническая проекция ${ displaystyle pi двоеточие с F на M}$ требуется сюрприз.

Проективные объекты в категории компактные хаусдорфовы пространства точно экстремально отключенные пространства. Этот результат обусловлен Глисон (1958), с упрощенным доказательством, данным Дождевая вода (1959).

В категории Банаховы пространства и сжатий (т. е. функционалов, норма которых не превосходит 1), эпиморфизмы - это в точности отображения с плотными изображение. Вивегер (1969) Ошибка harvtxt: цель отсутствует: CITEREFWiweger1969 (помощь) показывает, что нулевое пространство является единственным проективным объектом в этой категории. Однако существуют нетривиальные пространства, проективные по отношению к классу сюръективных сжатий. В категории нормированные векторные пространства со сжатиями (и сюръективными отображениями как «сюръекциями») проективные объекты - это в точности ${ displaystyle l ^ {1}}$-пространства.^[5]

${ Displaystyle l ^ {1} (S) = {(x_ {s}) _ {s in S}, sum _ {s in S} || x_ {s} || < infty } .}$

Рекомендации

внешняя ссылка

'"проективный объект в nLab". ncatlab.org. Получено 2017-10-17.