Абелияға дейінгі категория - Википедия - Pre-abelian category

Жылы математика, атап айтқанда категория теориясы, а абельге дейінгі категория болып табылады қоспа категориясы бәрі бар ядролар және кокернелдер.

Толығырақ жазылған, бұл категория деген сөз C алдын-ала абельдік болып табылады, егер:

C болып табылады алдын ала, Бұл байытылған үстінен моноидты категория туралы абель топтары (барлығына тең үй жиынтықтары жылы C болып табылады абель топтары және құрамы морфизмдер болып табылады айқын емес );
C барлығы бар ақырлы өнімдер (эквивалентті түрде барлық ақырлы қосымшалар ); ескеріңіз, өйткені C сондай-ақ преадицитивті болып табылады, ақырлы өнімдер оларды жасайтын ақырғы қосымшалармен бірдей қосарлы өнімдер;
кез келген морфизм берілген f: A → B жылы C, эквалайзер туралы f және нөлдік морфизм бастап A дейін B бар (бұл анықтамалық бойынша ядро f) сияқты теңдеуші (бұл анықтама бойынша f).

3 тармағындағы нөлдік морфизмді ретінде анықтауға болатындығын ескеріңіз сәйкестендіру элементі туралы үй жиынтығы Хом (A,B), бұл 1-тармақ бойынша абель тобы; немесе ерекше морфизм ретінде A → 0 → B, мұндағы 0 - а нөлдік нысан, 2-тармаққа сәйкес кепілдік берілген.

Мысалдар

Аддитивті категорияның бастапқы мысалы - категория Аб туралы абель топтары.Аб а) болғандықтан алдын-ала айтылады жабық моноидты категория, қос өнім Аб ақырлы болып табылады тікелей сома, ядро құрамына кіреді топтық теориядан алынған қарапайым ядро ал кокернель - бұл квоталық карта топтық теориядан қарапайым кокернель.

Басқа жалпы мысалдар:

Санаты (сол жақта) модульдер астам сақина R, соның ішінде:
- санаты векторлық кеңістіктер астам өріс Қ.
Санаты (Хаусдорф ) абель топологиялық топтар.
Санаты Банах кеңістігі.
Санаты Фрешет кеңістігі.
(Хаусдорф) санаты боорологиялық кеңістіктер.

Бұлар сізге не туралы ойлау туралы түсінік береді; мысалдар алу үшін қараңыз абель санаты (әрбір абелия санаты абельге дейінгі).

Элементтік қасиеттер

Әрбір абелияға дейінгі категория әрине an қоспа категориясы, және осы категориялардың көптеген негізгі қасиеттері осы тақырып аясында сипатталған. Бұл мақала ядролардың және ядролардың болуына байланысты арнайы қасиеттерге қатысты.

Ядролар мен кокернельдер ерекше типтер болғанымен теңестірушілер және теңдеушілер, абелияға дейінгі санатта бар барлық Біз екі морфизмнің эквалайзерін құрамыз f және ж олардың айырмашылығының ядросы ретінде ж − f ; Дәл сол сияқты, олардың коэффициенті олардың айырымының кокернелі болып табылады. (екілік теңестірушілерге арналған «айырым ядросы» альтернативті термині осы жағдайдан туындайды.) Абелияға дейінгі категориялар барлық ақырлы болғандықтан өнімдер және қосымшалар (қос өнімдер) және барлық екілік теңдеушілер мен коэффициенттер (жаңа сипатталғандай), содан кейін жалпы теорема бойынша категория теориясы, олардың барлығы шектеулі шектеулер және колимиттер.Абелияға дейінгі категориялар толық аяқталған.

Ядролардың да, ядролардың да болуы туралы түсінік береді сурет және coimage.Бұны анықтай аламыз

имf : = кер кокерf;

coimf : = кокс керf.

Яғни, сурет - ядро ядросы, ал coimage - ядроның ядросы.

Бұл сурет ұғымы әдеттегі сурет ұғымына сәйкес келмеуі мүмкін екенін ескеріңіз ауқымы, а функциясы, тіпті санаттағы морфизмдер деп болжауға болады болып табылады Мысалы, топологиялық абель топтары санатына морфизм бейнесі сәйкес келеді жабу Осы себепті, адамдар көбінесе екі контекстің мағыналарын осы контексте ажыратады, абстрактілі категориялық ұғым үшін «имидж» және элементарлы жиынтық-теориялық тұжырымдама үшін «диапазон» қолданады.

Санатындағы сияқты көптеген жалпы жағдайларда жиынтықтар, онда кескіндер мен бейнелер бар, олардың объектілері изоморфты.Дәлірек айтсақ, бізде факторизация бар f: A → B сияқты

A → C → Мен → B,

Мұндағы сол жақтағы морфизм - коимаж, оң жақтағы морфизм - кескін, ал ортасындағы морфизм ( параллель туралы f) изоморфизм болып табылады.

Абелияға дейінгі санатта, бұл міндетті емес.Жоғарыда көрсетілген факторизация әрқашан бар, бірақ параллель изоморфизм болмауы мүмкін. f әрбір морфизм үшін изоморфизм болып табылады f егер және егер болса абелияға дейінгі категория - бұл ан абель санаты.Абелияға дейінгі, абелияға дейінгі категорияның мысалы, тағы бір рет топологиялық абелия топтарының санаты болып табылады. жабу диапазонның; дегенмен, бұл coimage - бұл диапазонның өзіне қатысты квоталық карта, сондықтан параллель - бұл диапазонның жабылуына қосылуы, егер бұл диапазон бұрын болмаса изоморфизм емес. жабық.

Дәл функционалдар

Естеріңізге сала кетейік, барлығы ақырғы шектеулер және колимиттер абелияға дейінгі категорияда бар.Жалпы категория теориясы, функция деп аталады дәл қалдырды егер ол барлық шектеулі шектерді сақтаса және дұрыс дәл егер ол барлық шектеулі колимиттерді сақтаса. (Функция қарапайым дәл егер ол дәл солға да, оң да дәл болса.)

Абелияға дейінгі санатта нақты функционерлерді қарапайым сөздермен сипаттауға болады, біріншіден, ан қоспа функциясы функция болып табылады F: C → Д. арасында алдын ала санаттар ретінде әрекет етеді топтық гомоморфизм әрқайсысында үй жиынтығы.Содан кейін абелияға дейінгі категориялар арасындағы функция дәл қалдырылады егер және егер болса ол қоспа болып табылады және барлық ядроларды сақтайды, және егер ол тек қоспа болса және барлық ядроларды сақтаса ғана дәл болады.

Нақты функционал, өйткені ол ядроларды да, ядроларды да сақтайды, барлық кескіндер мен суреттерді сақтайды. абель категориялары, оларды қайда қолдануға болады нақты дәйектілік.

Максималды нақты құрылым

Әрбір абельге дейінгі санат бойынша ${ displaystyle { mathcal {A}}}$ бар an нақты құрылым ${ displaystyle { mathcal {E}} _ { text {max}}}$ бұл барлық басқа құрылымдарды қамтитын мағынада максималды. Дәл құрылым ${ displaystyle { mathcal {E}} _ { text {max}}}$ дәл осы ядро-кокернель жұптарынан тұрады ${ displaystyle (f, g)}$ қайда ${ displaystyle f}$ жартылай тұрақты ядро болып табылады және ${ displaystyle { mathcal {g}}}$ жартылай орнықты кокернель болып табылады.^[1] Мұнда, ${ displaystyle f: X rightarrow Y}$ жартылай тұрақты ядро болып табылады, егер ол ядро болса және әрбір морфизм үшін ${ displaystyle h: X rightarrow Z}$ ішінде итеру диаграмма

{ displaystyle { begin {array} {ccc} X & { xrightarrow {f}} & Y downarrow _ {h} && downarrow _ {h '} Z & { xrightarrow {f'}} & Q соңы {массив}}}

морфизм ${ displaystyle f '}$ қайтадан ядро болып табылады. ${ displaystyle g: X rightarrow Y}$ жартылай тұрақты кокернель болса, егер ол кокернель болса және әрбір морфизм үшін ${ displaystyle h: Z rightarrow Y}$ ішінде кері тарту диаграмма

{ displaystyle { begin {array} {ccc} P & { xrightarrow {g '}} & Z downarrow _ {h'} ​​&& downarrow _ {h} X & { xrightarrow {g}} & Y соңы {массив}}}

морфизм ${ displaystyle g '}$ қайтадан кокернель.

Абелияға дейінгі категория ${ displaystyle { mathcal {A}}}$ болып табылады квази-абель егер барлық ядро-кокернель жұптары нақты құрылым құрса ғана. Бұған сәйкес келмейтін мысал - (Hausdorff) борологиялық кеңістіктің категориясы.^[2]

Нәтиже алдын-ала абелия емес, бірақ аддитивті санаттар үшін жарамды Карубиан.^[3]

Ерекше жағдайлар

Ан абель санаты - бұл абелияға дейінгі категория мономорфизм және эпиморфизм болып табылады қалыпты.
A квази-абелиялық категория - абелияға дейінгі категория, бұл ядролар итерілу кезінде тұрақты, ал ядро кері тартулар кезінде тұрақты болады.
A жартылай абелиялық категория - бұл әр морфизм үшін абелияға дейінгі категория ${ displaystyle f}$ индукцияланған морфизм ${ displaystyle { overline {f}}: operatorname {coim} f rightarrow operatorname {im} f}$ әрқашан мономорфизм және эпиморфизм болып табылады.

Абелияға дейінгі категориялар, әдетте, абельдік категориялар; Мысалға, Аб - абелиялық категория. Мысалы, функционалдық талдауда абелияға жатпайтын абелияға дейінгі категориялар пайда болады.

Дәйексөздер

^ Сиг және т.б. әл., 2011, б. 2096.
^ Сиг және т.б. әл., 2011, б. 2099.
^ Crivei, 2012, б. 445.

Әдебиеттер тізімі

Николае Попеску; 1973; Сақиналар мен модульдерге арналған абель категориялары; Academic Press, Inc .; басылымнан шыққан
Деннис Сиг және Свен-Аке Вегнер, қоспа санаттары бойынша максималды дәл құрылымдар, математика. Начр. 284 (2011), 2093–2100.
Septimu Crivei, қосымшалар санатындағы максималды нақты құрылымдар, математика. Начр. 285 (2012), 440–446.

[1] Сиг және т.б. әл., 2011, б. 2096.

[2] Сиг және т.б. әл., 2011, б. 2099.

[3] Crivei, 2012, б. 445.

[1]

[2]

[3]