Симпліційна множина — теоретико-категорна конструкція, яка узагальнює поняття симпліційного комплексу і в певному сенсі моделює поняття топологічного простору з «хорошими» властивостями: для симпліційних множин еквівалентна класичній теорії гомотопій для топологічних просторів. При тому, що симпліційна множина є чисто алгебраїчною конструкцією, забезпечується практично повний паралелізм з геометричними об'єктами; в зв'язку з цим вважається одним з найважливіших об'єктів в алгебричній топології як з методологічної точки зору, так і з інструментальної .
З точки зору теорії категорій симпліційна множина є симпліційним об'єктом у категорії множин, або, еквівалентно, як симпліційної категорії в категорію множин.
Означення та структура
Симпліційною множиною називається контраваріантний функтор з симпліційної категорії в категорію множин: .
Оскільки кожен морфізм симпліційної категорії породжується морфізмами і (), заданими як:
- ,
- ,
то симпліційну множина можна задати як систему -шарів , пов'язаних відповідними (двоїстими до і ) відображеннями і , що задовольняють співвідношення:
- , якщо ,
- , якщо ,
- .
Точки шару називаються -мірним симплексами, до того ж точки шару — вершинами, а шару — ребрами. Морфізми називаються операторами граней, а морфізми — операторами виродження.
Симпліційне відображення — (функторний) морфізм між симпліційного множинами симпліційного відображення також може бути розглянуто як сукупність відображень , для яких виконуються умови:
- (),
- ().
Симпліційна множина називається симпліційною підмножиною , якщо всі шари симпліційного відображення є ін'єктивними відображеннями; в цьому випадку оператори граней і оператори виродження в є відповідних операторів для .
Симпліційною фактор-множиною називається симпліційна множина, що отримується пошаровою факторизацією симпліційної множини, тобто, - набір шарів , до того ж оператори граней і виродження шарів-фактор-множини індукуються відповідними операторами множини .
Симпліційні множини з усіма симпліційними відображеннями між ними утворюють категорію .
Симплекс називається виродженим, якщо існує такий симплекс і такий оператор виродження , що .
Згідно леми Ейленберга — Зільбера будь-який симплекс в єдиний спосіб можна записати у виді , де , а — невироджених симплекс.
Найменша симпліційна підмножина у , що містить всі його невироджені симплекси розмірності, меншої або рівної n, називається n-кістяком .
Приклади
- Для будь-якого топологічного простору X можна ввести симпліційну множину S(X), що називається сингулярною симпліційною множиною простору X. Симплексами цієї множини є сингулярні симплекси простору X, тобто образи неперервного відображення стандартних симплексів . Оператори граней і виродження цієї симпліційної множини задаються формулами
- ,
- .
- Відповідність є функтором з категорії топологічних просторів Тор в категорію симпліційних множин .
- Довільний абстрактний симпліційний комплекс K визначає симпліційну множину O(K), у якій симплексами розмірності n є (n + 1) — елементні послідовності вершин комплексу K, з властивістю, що в K існує такий симплекс s, що для всіх елементів послідовності. Оператори граней і виродження цієї симпліційної множини задаються формулами
- ,
- .
- де позначає, що відповідний елемент вилучається з послідовності.
- Відповідність є функтором з категорії абстрактних симпліційних комплексів у категорію симпліційних множин .
- Для довільної групи можна ввести симпліційну множину , для якої симплексами розмірності є класи пропорційних (n + 1)-елементний послідовностей (за означенням , якщо існує такий елемент , що для всіх ). Оператори граней і виродження цієї симпліційної множини задаються формулами
- ,
- .
- є прикладом симпліційної групи.
- Нехай дана категорія лінійно впорядкованих множин та незменшуваних відображень, - підкатегорія категорії , яка складається лише із зростаючих відображен, причому об'єкти Розгляньмо зростаюче відображення , образи яких не містять Для функтора визначений комплекс абелевих груп й диференціалів за та за При цьому -ні когомології є ізоморфними границі . Морфізм за переводиться імерсією Йонеди у натуральне перетворення
компоненти якого діють по формулі
Властивості
Категорія симпліційних множин допускає індуктивні і проективні границі, що обчислюються на кожному шарі. Зокрема, для будь-яких симпліційних множин і визначені прямий добуток і пряма сума , до того ж для всіх шарів:
- ,
- .
Косимпліційна множина
Також використовується двоїсте поняття косимпліційної множини — коваріантного функтора з симпліційної категорії в категорію множин: . Косимпліційні множини мають аналогічну пошарову структуру з операторами граней і виродження (двоїстих до відповідних операторів симпліційних множин) і утворюють категорію .
Геометричне представлення
(Стандартні симплекси) із стандартною топологією евклідового підпростору утворюють косимпліційний топологічний простір щодо операторів кограней і ковирождення , заданих формулами
- ,
- .
Нехай на шарах симпліційної множини введено дискретну топологію.
Розглянемо топологічний простір , що є фактор-простором диз'юнктного об'єднання добутків вказаних топологічних просторів по відношенню еквівалентності породженому еквівалентностями:
,
.
Для простору |X| існує клітинне розбиття, клітини якого знаходяться в бієктивній відповідності з невиродженими симплексами симпліційної множини X. Простір |X| із цим розбиттям називається геометричним представленням симпліційної множини X.
Симпліційне відображення визначає неперервне відображення для якого
Відповідність таким чином є функтором з категорії симпліційних множин в категорію топологічних просторів Тор. Цей функтор є спряженим зліва до сингулярного функтора.
Примітки
- Габріель, Цісман, 1971, ... Ми маємо на увазі існування майже повного паралелізму (що виражається в еквівалентності відповідних категорій) між гомотопічною теорією топологічних просторів і аналогічною теорією симпліційних множин — об'єктів, по суті, чисто алгебраїчних. Теорія симпліційних множин, з одного боку, має велике методологічне значення, істотно проясняючи логічну і концептуальну природу основ алгебричної топології, а з іншого — відіграє роль одного з найпотужніших інструментів топологічного дослідження... (з передмови М. М. Постникова).
- У джерелах 1970-х років використовується позначення . Також використовується позначення
Див. також
Література
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Simplicijna mnozhina teoretiko kategorna konstrukciya yaka uzagalnyuye ponyattya simplicijnogo kompleksu i v pevnomu sensi modelyuye ponyattya topologichnogo prostoru z horoshimi vlastivostyami dlya simplicijnih mnozhin ekvivalentna klasichnij teoriyi gomotopij dlya topologichnih prostoriv Pri tomu sho simplicijna mnozhina ye chisto algebrayichnoyu konstrukciyeyu zabezpechuyetsya praktichno povnij paralelizm z geometrichnimi ob yektami v zv yazku z cim vvazhayetsya odnim z najvazhlivishih ob yektiv v algebrichnij topologiyi yak z metodologichnoyi tochki zoru tak i z instrumentalnoyi Z tochki zoru teoriyi kategorij simplicijna mnozhina ye simplicijnim ob yektom u kategoriyi mnozhin abo ekvivalentno yak simplicijnoyi kategoriyi v kategoriyu mnozhin Oznachennya ta strukturaSimplicijnoyu mnozhinoyu X displaystyle X nazivayetsya kontravariantnij funktor z simplicijnoyi kategoriyi v kategoriyu mnozhin D o p S e t displaystyle Delta mathrm op to mathbf Set Oskilki kozhen morfizm simplicijnoyi kategoriyi porodzhuyetsya morfizmami d i n n 1 n displaystyle delta i n n 1 to n i s i n n 1 n displaystyle sigma i n n 1 to n 0 i n displaystyle 0 leq i leq n zadanimi yak d i n j j j lt i j 1 j i displaystyle delta i n j begin cases j amp j lt i j 1 amp j geq i end cases s i n j j j i j 1 j gt i displaystyle sigma i n j begin cases j amp j leq i j 1 amp j gt i end cases to simplicijnu mnozhina mozhna zadati yak sistemu n displaystyle n shariv X n displaystyle X n pov yazanih vidpovidnimi dvoyistimi do d displaystyle delta i s displaystyle sigma vidobrazhennyami d i n X n X n 1 displaystyle d i n X n to X n 1 i s i n X n X n 1 displaystyle s i n X n to X n 1 sho zadovolnyayut spivvidnoshennya d i n d j n 1 d j 1 n d i n 1 displaystyle d i n d j n 1 d j 1 n d i n 1 yaksho i lt j displaystyle i lt j s i n s j n 1 s j 1 n s i n 1 displaystyle s i n s j n 1 s j 1 n s i n 1 yaksho i j displaystyle i leq j d i n 1 s j n s j 1 n 1 d i n i lt j I d X n i j i j 1 s j n 1 d i 1 n i gt j 1 displaystyle d i n 1 s j n begin cases s j 1 n 1 d i n amp i lt j mathsf Id X n amp i j vee i j 1 s j n 1 d i 1 n amp i gt j 1 end cases Tochki sharu X n displaystyle X n nazivayutsya n displaystyle n mirnim simpleksami do togo zh tochki sharu X 0 displaystyle X 0 vershinami a sharu X 1 displaystyle X 1 rebrami Morfizmi d i n displaystyle d i n nazivayutsya operatorami granej a morfizmi s j n displaystyle s j n operatorami virodzhennya Simplicijne vidobrazhennya funktornij morfizm mizh simplicijnogo mnozhinami f X X displaystyle f X to X simplicijnogo vidobrazhennya takozh mozhe buti rozglyanuto yak sukupnist vidobrazhen f n X n X n displaystyle f n X n to X n dlya yakih vikonuyutsya umovi d i n f n f n 1 d i n displaystyle d i n f n f n 1 d i n 0 i n displaystyle 0 leq i leq n s i n f n f n 1 s i n displaystyle s i n f n f n 1 s i n 0 i n displaystyle 0 leq i leq n Simplicijna mnozhina X displaystyle X nazivayetsya simplicijnoyu pidmnozhinoyu X displaystyle X yaksho vsi shari f n X n X n displaystyle f n X n to X n simplicijnogo vidobrazhennya f X X displaystyle f X to X ye in yektivnimi vidobrazhennyami v comu vipadku operatori granej i operatori virodzhennya v X displaystyle X ye vidpovidnih operatoriv dlya X displaystyle X Simplicijnoyu faktor mnozhinoyu nazivayetsya simplicijna mnozhina sho otrimuyetsya posharovoyu faktorizaciyeyu simplicijnoyi mnozhini tobto X s displaystyle X sigma nabir shariv X n s displaystyle X n sigma do togo zh operatori granej i virodzhennya shariv faktor mnozhini indukuyutsya vidpovidnimi operatorami mnozhini X displaystyle X Simplicijni mnozhini z usima simplicijnimi vidobrazhennyami mizh nimi utvoryuyut kategoriyu S e t D o p displaystyle mathbf Set Delta mathrm op Simpleks x X n displaystyle x in X n nazivayetsya virodzhenim yaksho isnuye takij simpleks y X n 1 displaystyle y in X n 1 i takij operator virodzhennya s i displaystyle s i sho x s i y displaystyle x s i y Zgidno lemi Ejlenberga Zilbera bud yakij simpleks x X n displaystyle x in X n v yedinij sposib mozhna zapisati u vidi x s i k s i 1 y displaystyle x s i k ldots s i 1 y de i 1 lt i 2 lt lt i k displaystyle i 1 lt i 2 lt ldots lt i k a y X n k displaystyle y in X n k nevirodzhenih simpleks Najmensha simplicijna pidmnozhina u X displaystyle X sho mistit vsi jogo nevirodzheni simpleksi rozmirnosti menshoyi abo rivnoyi n nazivayetsya n kistyakom X displaystyle X PrikladiDlya bud yakogo topologichnogo prostoru X mozhna vvesti simplicijnu mnozhinu S X sho nazivayetsya singulyarnoyu simplicijnoyu mnozhinoyu prostoru X Simpleksami ciyeyi mnozhini ye singulyarni simpleksi prostoru X tobto obrazi neperervnogo vidobrazhennya standartnih simpleksiv s n D n X displaystyle sigma n Delta n to X Operatori granej d i displaystyle d i i virodzhennya s i displaystyle s i ciyeyi simplicijnoyi mnozhini zadayutsya formulami d i s n t 0 t n 1 s n t 0 t i 1 0 t i t n 1 displaystyle d i sigma n t 0 ldots t n 1 sigma n t 0 ldots t i 1 0 t i ldots t n 1 s i s n t 0 t n 1 s n t 0 t i 1 t i t i 1 t i 2 t n 1 displaystyle s i sigma n t 0 ldots t n 1 sigma n t 0 ldots t i 1 t i t i 1 t i 2 ldots t n 1 dd Vidpovidnist X S X displaystyle X to S X ye funktorom z kategoriyi topologichnih prostoriv Tor v kategoriyu simplicijnih mnozhin S e t D o p displaystyle mathbf Set Delta mathrm op Dovilnij abstraktnij simplicijnij kompleks K viznachaye simplicijnu mnozhinu O K u yakij simpleksami rozmirnosti n ye n 1 elementni poslidovnosti x 0 x n displaystyle x 0 x n vershin kompleksu K z vlastivistyu sho v K isnuye takij simpleks s sho x i s displaystyle x i in s dlya vsih elementiv poslidovnosti Operatori granej d i displaystyle d i i virodzhennya s i displaystyle s i ciyeyi simplicijnoyi mnozhini zadayutsya formulami d i x 0 x n x 0 x i x n displaystyle d i x 0 x n x 0 hat x i x n s i x 0 x n x 0 x i x i x i 1 x n displaystyle s i x 0 x n x 0 x i x i x i 1 x n dd de displaystyle hat cdot poznachaye sho vidpovidnij element viluchayetsya z poslidovnosti Vidpovidnist X O X displaystyle X to O X ye funktorom z kategoriyi abstraktnih simplicijnih kompleksiv u kategoriyu simplicijnih mnozhin S e t D o p displaystyle mathbf Set Delta mathrm op Dlya dovilnoyi grupi p displaystyle pi mozhna vvesti simplicijnu mnozhinu K p displaystyle K pi dlya yakoyi simpleksami rozmirnosti n displaystyle n ye klasi proporcijnih n 1 elementnij poslidovnostej za oznachennyam x 0 x n y 0 y n displaystyle x 0 x n y 0 y n yaksho isnuye takij element a p displaystyle a in pi sho a x i y i displaystyle ax i y i dlya vsih i 0 n displaystyle i 0 ldots n Operatori granej d i displaystyle d i i virodzhennya s i displaystyle s i ciyeyi simplicijnoyi mnozhini zadayutsya formulami d i x 0 x n x 0 x i 1 x i 1 x n displaystyle d i x 0 x n x 0 x i 1 x i 1 x n s i x 0 x n x 0 x i x i x i 1 x n displaystyle s i x 0 x n x 0 x i x i x i 1 x n dd K p displaystyle K pi ye prikladom simplicijnoyi grupi Nehaj dana kategoriya D displaystyle Delta linijno vporyadkovanih mnozhin n 0 1 2 n n 0 displaystyle n 0 1 2 n n geq 0 ta nezmenshuvanih vidobrazhen D displaystyle Delta pidkategoriya kategoriyi D displaystyle Delta yaka skladayetsya lishe iz zrostayuchih vidobrazhen prichomu ob yekti D O b D displaystyle Delta mathrm Ob Delta Rozglyanmo n gt 0 amp 0 i n displaystyle forall n gt 0 And forall 0 leq i leq n zrostayuche vidobrazhennya d n i n 1 n displaystyle delta n i n 1 to n obrazi yakih ne mistyat i n displaystyle i in n Dlya funktora F D A b displaystyle F Delta rightarrow mathrm Ab viznachenij kompleks abelevih grup C n F n displaystyle C n F n j diferencialiv d n i 0 n 1 1 i F d n 1 i displaystyle d n sum i 0 n 1 1 i F delta n 1 i za n 0 displaystyle n geq 0 ta C n 0 displaystyle C n 0 za n lt 0 displaystyle n lt 0 Pri comu n displaystyle n ni kogomologiyi n 0 displaystyle forall n geq 0 ye izomorfnimi granici lim D n F displaystyle lim Delta n F Morfizm d n i displaystyle delta n i za n gt 0 amp 0 i n displaystyle n gt 0 And 0 leq i leq n perevoditsya imersiyeyu Jonedi D o p D e n s displaystyle Delta op rightarrow Delta mathrm ens u naturalne peretvorennya D d n i D n D n 1 displaystyle Delta delta n i Delta n rightarrow Delta n 1 komponenti yakogo m O b D displaystyle m in mathrm Ob Delta diyut po formuli D d n i I d m f f d n i displaystyle Delta delta n i mathrm Id m f f circ delta n i VlastivostiKategoriya simplicijnih mnozhin dopuskaye induktivni i proektivni granici sho obchislyuyutsya na kozhnomu shari Zokrema dlya bud yakih simplicijnih mnozhin X displaystyle X i X displaystyle X viznacheni pryamij dobutok X X displaystyle X times X i pryama suma X X displaystyle X oplus X do togo zh dlya vsih shariv X X n X n X n displaystyle X times X n X n times X n X X n X n X n displaystyle X oplus X n X n oplus X n Kosimplicijna mnozhinaTakozh vikoristovuyetsya dvoyiste ponyattya kosimplicijnoyi mnozhini kovariantnogo funktora z simplicijnoyi kategoriyi v kategoriyu mnozhin D S e t displaystyle Delta to mathbf Set Kosimplicijni mnozhini mayut analogichnu posharovu strukturu z operatorami granej i virodzhennya dvoyistih do vidpovidnih operatoriv simplicijnih mnozhin i utvoryuyut kategoriyu S e t D displaystyle mathbf Set Delta Geometrichne predstavlennyaStandartni simpleksi D n t 0 t n i t i 1 i t i 0 displaystyle Delta n t 0 dots t n mid sum i t i 1 wedge forall i t i geqslant 0 iz standartnoyu topologiyeyu evklidovogo pidprostoru utvoryuyut kosimplicijnij topologichnij prostir shodo operatoriv kogranej d i displaystyle delta i i kovirozhdennya s i displaystyle sigma i zadanih formulami d i t 0 t n 1 t 0 t i 1 0 t i t n 1 displaystyle delta i t 0 ldots t n 1 t 0 ldots t i 1 0 t i ldots t n 1 s i t 0 t n 1 n t 0 t i 1 t i t i 1 t i 2 t n 1 displaystyle sigma i t 0 ldots t n 1 n t 0 ldots t i 1 t i t i 1 t i 2 ldots t n 1 Nehaj na sharah X n displaystyle X n simplicijnoyi mnozhini X displaystyle X vvedeno diskretnu topologiyu Rozglyanemo topologichnij prostir X i 0 X i D i displaystyle X left bigsqcup i 0 infty X i times Delta i right sim sho ye faktor prostorom diz yunktnogo ob yednannya dobutkiv vkazanih topologichnih prostoriv po vidnoshennyu ekvivalentnosti porodzhenomu ekvivalentnostyami d i x p x d i p x X n p D n 1 displaystyle d i x p sim x delta i p quad x in X n p in Delta n 1 s i x p x s i p x X n p D n 1 displaystyle s i x p sim x sigma i p quad x in X n p in Delta n 1 Dlya prostoru X isnuye klitinne rozbittya klitini yakogo znahodyatsya v biyektivnij vidpovidnosti z nevirodzhenimi simpleksami simplicijnoyi mnozhini X Prostir X iz cim rozbittyam nazivayetsya geometrichnim predstavlennyam simplicijnoyi mnozhini X Simplicijne vidobrazhennya f X X displaystyle f X to X viznachaye neperervne vidobrazhennya R f X X displaystyle Rf X to X dlya yakogo R f x p f x p x X n p D n displaystyle Rf x p f x p quad x in X n p in Delta n Vidpovidnist X X displaystyle X to X takim chinom ye funktorom z kategoriyi simplicijnih mnozhin S e t D o p displaystyle mathbf Set Delta mathrm op v kategoriyu topologichnih prostoriv Tor Cej funktor ye spryazhenim zliva do singulyarnogo funktora PrimitkiGabriel Cisman 1971 Mi mayemo na uvazi isnuvannya majzhe povnogo paralelizmu sho virazhayetsya v ekvivalentnosti vidpovidnih kategorij mizh gomotopichnoyu teoriyeyu topologichnih prostoriv i analogichnoyu teoriyeyu simplicijnih mnozhin ob yektiv po suti chisto algebrayichnih Teoriya simplicijnih mnozhin z odnogo boku maye velike metodologichne znachennya istotno proyasnyayuchi logichnu i konceptualnu prirodu osnov algebrichnoyi topologiyi a z inshogo vidigraye rol odnogo z najpotuzhnishih instrumentiv topologichnogo doslidzhennya z peredmovi M M Postnikova U dzherelah 1970 h rokiv vikoristovuyetsya poznachennya D E n s displaystyle Delta circ mathcal E ns Takozh vikoristovuyetsya poznachennya s S e t displaystyle mathbf sSet Div takozhAbstraktnij simplicijnij kompleks Simplicijna kategoriya Simplicijnij kompleksLiteraturaGabriel P Cisman M Kategorii chastnyh i teoriya gomotopij Moskva Mir 1971 S 296 Goerss Paul Jardine John 1999 Simplicial homotopy theory Birkhauser ISBN 3 7643 6064 X May Peter 1967 Simplicial objects in algebraic topology The university of Chicago press ISBN 0 226 51180 4