Абстрактілі кешен - Abstract simplicial complex - Wikipedia

Жарамсыз абстрактілі қарапайым комплекстің геометриялық көрінісі қарапайым кешен.

Жылы комбинаторика, an абстрактілі қарапайым (ASC) - бұл жиынтықтар отбасы қабылдау кезінде жабық ішкі жиындар, яғни, отбасындағы жиынтықтың әрбір кіші бөлігі де отбасында. Бұл а-ның геометриялық түсінігінің таза комбинаторлық сипаттамасы қарапайым кешен.[1] Мысалы, 2-өлшемді қарапайым кешенде отбасындағы жиынтықтар үшбұрыштар (3 өлшемді жиынтықтар), олардың шеттері (2 өлшемді жиынтықтар) және олардың төбелері (1 өлшем жиынтықтары) болып табылады.

Контекстінде матроидтер және гредоидтар, абстрактілі қарапайымдық кешендер де аталады тәуелсіздік жүйелері.[2]

Абстрактілі симплексті оны қалыптастыру арқылы алгебралық түрде зерттеуге болады Стэнли-Рейснер сақинасы; бұл арасында күшті байланыс орнатылады комбинаторика және ауыстырмалы алгебра.

Анықтамалар

Жинақ Δ а-ның бос емес ішкі жиындарының орнатылды S толық отбасы деп аталады.

Толық емес отбасы Δ деп аталады абстрактілі қарапайым егер, әр жиынтық үшін X жылы Δжәне бос емес жиын YX, жиынтық Y тиесілі Δ.

Жататын ақырлы жиындар Δ деп аталады жүздер кешеннің және тұлғаның Y басқа тұлғаға жатады делінеді X егер YX, демек, абстрактілі жеңілдетілген кешеннің анықтамасын кешеннің әр беті деп айтуға болады Δ өзі болып табылады Δ. The шыңдар жиынтығы туралы Δ ретінде анықталады V(Δ) = ∪Δ, барлық тұлғалардың бірігуі Δ. Шың жиынының элементтері деп аталады төбелер кешеннің. Әр шың үшін v туралы Δ, жиынтық {v} - бұл комплекстің беткі қабаты, ал комплекстің әр беті - бұл шыңдар жиынтығының ақырғы ішкі жиыны.

-Ның максималды беткейлері Δ (яғни, басқа беттердің ішкі жиынтығы болып табылмайтын беттер) деп аталады қырлары кешеннің. The бет өлшемі X жылы Δ ретінде анықталады күңгірт (X) = |X| − 1: бір элементтен тұратын беттер нөлдік, екі элементтен тұратын беттер бірөлшемді және т.б. кешеннің өлшемі күңгірт (Δ) оның кез-келген беттерінің ең үлкен өлшемі немесе егер олардың беттерінің өлшемінде шектелген байланыс болмаса, шексіздік ретінде анықталады.

Кешен Δ деп айтылады ақырлы егер оның беті шексіз көп болса немесе оның шыңының жиынтығы шекті болса, эквивалентті. Сондай-ақ, Δ деп айтылады таза егер ол ақырлы өлшемді болса (бірақ міндетті емес) және әр қыры бірдей өлшемге ие болса. Басқа сөздермен айтқанда, Δ егер таза болса күңгірт (Δ) ақырлы және әр бет өлшем өлшемінде болады күңгірт (Δ).

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

A субкомплекс туралы Δ - абстрактілі қарапайым түрдегі кешен L кез келген L тиесілі Δ; Бұл, L ⊆ Δ және L - абстрактілі қарапайым түрдегі кешен. Беттің бір жиынтығынан тұратын субкомплекс Δ жиі а деп аталады қарапайым туралы Δ. (Алайда, кейбір авторлар «симплекс» терминін бетке немесе, неғұрлым түсініксіз түрде, тұлға үшін де, бетке байланысты субкомплекс үшін де абстрактілі емес (геометриялық) ұқсастығы бойынша қолданады қарапайым кешен терминология. Екіұштылықты болдырмау үшін біз бұл мақалада абстрактілі кешендер аясында бетке арналған «симплекс» терминін қолданбаймыз).

The г.-қаңқа туралы Δ субкомплексі болып табылады Δ барлық беттерінен тұрады Δ өлшемі бар г.. Атап айтқанда, 1-қаңқа деп аталады негізгі график туралы Δ. 0 қаңқасы Δ оны шыңдар жиынтығымен анықтауға болады, дегенмен формальді түрде ол бірдей емес (шыңдар жиынтығы - бұл барлық шыңдардың біртұтас жиынтығы, ал 0-қаңқа - бұл бір элементтер жиынтығы).

The сілтеме бет әлпеті Y жылы Δ, жиі белгіленеді Δ /Y немесе лкΔ(Y), болып табылады Δ арқылы анықталады

Бос жиынның сілтемесі екенін ескеріңіз Δ өзі.

Екі абстракциялық қарапайым комплекс берілген, Δ және Γ, а қарапайым карта Бұл функциясы  f шыңдарын бейнелейтін Δ шыңдарына дейін Γ және бұл кез-келген тұлға үшін қасиетке ие X туралы Δ, сурет  f (X) бет-бейнесі Γ. Бар санат SCpx объект ретінде абстрактілі және қарапайым карталармен морфизмдер. Бұл дерексіз қолданылған анықталған қолайлы санатқа тең қарапайым кешендер.

Сонымен қатар, категориялық көзқарас негізгі жиынтық арасындағы байланысты күшейтуге мүмкіндік береді S қарапайым абстракциялық кешен Δ және шың жиынтығы V(Δ) ⊆ S туралы Δ: абстрактілі қарапайым комплекстер санатын анықтау мақсатында S жатпау V(Δ) маңызды емес. Дәлірек айтсақ, SCpx санатына балама, мұндағы:

  • объект - бұл жиынтық S бос емес ақырғы ішкі жиындар жиынтығымен жабдықталған Δ онда барлық синглтондар бар, егер болса X ішінде Δ және YX бос емес, содан кейін Y тиесілі Δ.
  • бастап морфизм (S, Δ) дейін (Т, Γ) функция болып табылады f : SТ кез келген элементінің суреті сияқты Δ элементі болып табылады Γ.

Геометриялық іске асыру

Біз абстракциялық қарапайым кешенмен байланыстыра аламыз Қ а топологиялық кеңістік , деп аталады геометриялық іске асыруа қарапайым кешен. Құрылыс келесідей жүреді.

Алдымен анықтаңыз іші ретінде функциялардан тұрады екі шартты қанағаттандыру:

Енді элементтерінің жиынтығын ойлаңыз ретінде шектеулі қолдаумен тікелей шек туралы қайда A ақырғы ішкі жиындар ауқымында S, және тікелей шектеуді беріңіз топология. Енді беріңіз The кіші кеңістік топологиясы.

Сонымен қатар, рұқсат етіңіз объектілері беттері болып табылатын категорияны белгілеңіз Қ және оның морфизмдері қосындылар болып табылады. Келесі таңдаңыз жалпы тапсырыс шыңында Қ және а анықтаңыз функция F бастап топологиялық кеңістіктер санатына келесідей. Кез-келген тұлға үшін X жылы Қ өлшем n, рұқсат етіңіз F(X) = Δn стандарт болу n- қарапайым. Содан кейін шыңдар жиынтығындағы рет ерекше болып табылады биекция элементтері арасында X және шыңдары Δn, әдеттегі тәртіпте тапсырыс берді e0 < e1 < ... < en. Егер YX өлшемнің бет-бейнесі м < n, онда бұл биекция бірегейді көрсетеді м-өлшемді бет Δn. Анықтаңыз F(Y) → F(X) бірегей болу аффин сызықтық ендіру туралы Δм ретінде ерекшеленетін тұлға ретінде Δn, төбелердегі карта тәртіпті сақтайтын етіп.

Содан кейін геометриялық іске асыруды анықтай аламыз ретінде колимит функционал F. Нақтырақ айтсақ болып табылады кеңістік туралы бірлескен одақ

бойынша эквиваленттік қатынас нүктені анықтайтын жF(Y) карта астындағы кескінімен F(Y) → F(X), әр қосу үшін YX.

Егер Қ ақырлы, содан кейін сипаттай аламыз қарапайымырақ. Шыңдарының жиынтығын енгізуді таңдаңыз Қ ретінде аффиндік тәуелсіз кейбірінің жиынтығы Евклид кеңістігі жеткілікті жоғары өлшемді N. Содан кейін кез-келген тұлға X жылы Қ геометриялық симплекс арқылы анықтауға болады сәйкес ендірілген шыңдармен созылған. Ал барлық осындай қарапайымдардың бірігуі.

Егер Қ стандартты комбинаторлық болып табылады n- қарапайым арқылы табиғи түрде анықтауға болады Δn.

Мысалдар

1. Келіңіздер V шектеулі жиынтығы болыңыз түпкілікті n + 1. The комбинаторлық n- қарапайым шыңмен орнатылған V барлық AS жиынтығы болып табылатын ASC болып табылады V (яғни, бұл қуат орнатылды туралы V). Егер V = S = {0, 1, ..., n}, онда бұл ASC деп аталады стандартты комбинаторлық n- қарапайым.

2. Келіңіздер G бағытталмаған граф. The клика кешені туралы G бұл барлық бет-әлпеті бар ASC клиптер (толық ішкі суреттер) G. The тәуелсіздік кешені G бұл барлық бет-әлпеті бар ASC тәуелсіз жиынтықтар туралы G (бұл кликалық кешен толықтыру сызбасы G). Clique кешендері - прототиптік мысал жалауша кешендері. A жалау кешені күрделі болып табылады Қ жұптасатын элементтер жиынтығының беттеріне жататын қасиетімен Қ өзі болып табылады Қ.

3. Келіңіздер H болуы а гиперграф. A сәйкестендіру жылы H - жиектерінің жиынтығы H, онда әр екі шеті болады бөлу. The сәйкес келетін кешені H бұл барлық бет-әлпеті бар ASC сәйкестіктер жылы H. Бұл тәуелсіздік кешені туралы сызықтық график туралы H.

4. Келіңіздер P болуы а жартылай тапсырыс берілген жиынтық (посет). The тапсырыс кешені туралы P бұл барлық ақырғы ASC тізбектер жылы P. Оның гомология топтар және басқалары топологиялық инварианттар посет туралы маңызды ақпаратты қамтуы керек P.

5. Келіңіздер М болуы а метрикалық кеңістік және δ нақты сан. The Виеторис-Рипс кешені беттері - ақырғы жиындар болып табылатын ASC М диаметрі бойынша δ. Оның қосымшалары бар гомология теориясы, гиперболалық топтар, кескінді өңдеу, және мобильді уақытша желі. Бұл жалау кешенінің тағы бір мысалы.

6. Келіңіздер шаршысыз болу мономдық идеал ішінде көпмүшелік сақина (яғни айнымалылардың ішкі жиынтықтарының өнімі шығаратын идеал). Сонда сол квадратсыз мономияларының дәрежелі векторлары жоқ карта арқылы абстрактілі жеңілдетілген кешенді анықтау . Іс жүзінде, (бос емес) абстрактілі қарапайым түрдегі комплекстер арасында биекция бар n шыңдар мен квадратсыз мономиялық идеалдар S. Егер - бұл қарапайым түрдегі комплекске сәйкес квадратсыз идеал содан кейін мөлшер ретінде белгілі Стэнли-Рейснер сақинасы туралы .

7. Кез-келгені үшін ашық жабын C топологиялық кеңістіктің, жүйке кешені туралы C тармақтарын қамтитын абстрактілі жеңілдетілген кешен C бос емес қиылысу.

Санақ

Дейінгі абстрактілі қарапайым кешендердің саны n белгіленген элементтер (бұл жиынтықта бар) S өлшемі n) бірден кем nмың Нөмір. Бұл сандар өте тез өседі және олар тек белгілі n ≤ 8; Dedekind сандары (бастап басталады n = 0):

1, 2, 5, 19, 167, 7580, 7828353, 2414682040997, 56130437228687557907787 (кезек A014466 ішінде OEIS ). Бұл бос емес санына сәйкес келеді античайндар кіші жиындарының n орнатылды.

Шыңдары дәл болатын абстрактілі қарапайымдандырылған кешендердің саны n таңбаланған элементтер «1, 2, 9, 114, 6894, 7785062, 2414627396434, 56130437209370320359966» (реттілік) A006126 ішінде OEIS ) басталады n = 1. Бұл затбелгідегі антитейндік қақпақтар санына сәйкес келеді n-қолдану; ан-ның анти-шынжырлы қақпақтары арасында айқын бижекция бар n-қарапайым және қарапайым кешендер n олардың максималды беттері тұрғысынан сипатталған элементтер.

Абстрактілі қарапайым типтегі кешендер саны n таңбаланбаған элементтер «1, 2, 5, 20, 180, 16143» (реттілік) ретімен берілген A006602 ішінде OEIS ) басталады n = 1.

Басқа ұғымдармен байланысы

Деп аталатын қосымша қасиеті бар абстрактілі жеңілдетілген кешен ұлғайту қасиеті немесе мүлік айырбастау өнімділік а матроид. Келесі өрнек терминдер арасындағы байланысты көрсетеді:

ГИПЕРГРАФТАР = ОРНАТУ-ОТБАСЫ ⊃ ТӘУЕЛСІЗДІК-ЖҮЙЕЛЕРІ = РЕФЕРАТ-СЫМПАТТЫҚ-КЕШЕНДЕР ⊃ МАТРОЙДАР.

Сондай-ақ қараңыз

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

  1. ^ Ли, Джон М., Топологиялық манифолдтарға кіріспе, Springer 2011, ISBN  1-4419-7939-5, б153
  2. ^ Корте, Бернхард; Ловас, Ласло; Шрадер, Райнер (1991). Гредоидтар. Шпрингер-Верлаг. б. 9. ISBN  3-540-18190-3.