Fundamentalna grupa

U matematičkom polju algebarske topologije, fundamentalna grupa topološkog prostora je grupa klasa ekvivalencije pod homotopijom petlji sadržanih u prostoru.^[1][2] Ona beleži podatke o osnovnom obliku ili rupama topološkog prostora. Fundamentalna grupa je prva i najjednostavnija homotopska grupa. Ona je homotopski invarijantna. Topološki prostori koji su homotopski ekvivalentni (ili u jačem slučaju homeomorfni) imaju izomorfne fundamentalne grupe.

Abelianizacija fundamentalne grupe se može identifikovati sa prvom homolognom grupom prostora. Kada je topološki prostor homeomorfan do simplicijalnog kompleksa, njegova fundamentalna grupa može se eksplicitno opisati u smislu generatora i relacija.^[3][4]

Anri Poenkare je definisao fundamentalnu grupu 1895. godine u svojoj publikaciji „Analiza situsa”.^[5] Koncept se pojavio u teoriji Rimanovih površina, u delu Bernharda Rimana, Poenkara i Feliksa Klajna. Opisana su monodromska svojstva kompleksno vrednosnih funkcija, kao i potpuna topološka klasifikacija zatvorenih površina.

Intuicija

Može se započeti sa prostorom (na primer, površinom) i nekom tačkom u njemu, i svim petljama koje počinju i završavaju u toj tački - stazama koje počinju u toj tački, lutaju okolo i na kraju se vraćaju u početnu tačku. Dve petlje se mogu kombinovati na očigledan način: može se putovati duž prve petlje, a zatim duž druge. Dve petlje smatraju se ekvivalentnim, ako se jedna može deformisati u drugu bez raskidanja. Skup svih takvih petlji sa ovom metodom kombinovanja i stoga ekvivalencijom između njih je fundamentalna grupa za taj dati prostor.

Istorija

Anri Poenkare je definisao fundamentalnu grupu 1895. godine u svom radu „Analysis situs“.^[6] Koncept se pojavio u teoriji Rimanovih površina, u radu [Bernhard Riemann[|Bernharda Rimana]], Poenkarea i Feliksa Klajna. On opisuje svojstva monodromije kompleksnih funkcija, i pruža potpunu topološku klasifikaciju zatvorenih površina.

Definicija

U ovom članku X je topološki prostor. Tipičan primer je površina poput one koja je prikazana desno. Štaviše, ${\displaystyle x_{0}}$ je tačka u X koja se zove osnovna tačka. (Kao što je objašnjeno u daljem tekstu, njena uloga je uglavnom pomoćna.) Ideja definicije homotope grupe je da se odredi koliko (široko gledano) krive na X mogu biti deformisane jedna u drugu. Precizna definicija zavisi od pojma homotopije petlji, koji je objašnjen ispod.

Homotopija petlji

Za dati topološki prostor X, petlja bazirana u ${\displaystyle x_{0}}$ se definiše da je kontinuirana funkcija (takođe poznata kao kontinuirana mapa^[9])

${\displaystyle \gamma :[0,1]\to X}$

takva da su početna tačka ${\displaystyle \gamma (0)}$ i završna tačka ${\displaystyle \gamma (1)}$ obe jednake sa ${\displaystyle x_{0}.}$

Homotopija je kontinuirana interpolacija između dve petlje. Preciznije, homotopija između dve petlje ${\displaystyle \gamma ,\gamma ':[0,1]\to X}$ (bazirane u istoj tački ${\displaystyle x_{0}}$) je kontinuirana mapa

${\displaystyle h:[0,1]\times [0,1]\to X,}$

tako da je

${\displaystyle h(0,t)=x_{0}}$ za svako ${\displaystyle t\in [0,1],}$ to jest, početna tačka homotopije je ${\displaystyle x_{0}}$ za svako t (što se često smatra vremenskim parametrom).

${\displaystyle h(1,t)=x_{0}}$ za svako ${\displaystyle t\in [0,1],}$ to jest, slično krajnja tačka ostaje u ${\displaystyle x_{0}}$ za svako t.

${\displaystyle h(r,0)=\gamma (r),h(r,1)=\gamma '(r)}$ za svako ${\displaystyle r\in [0,1].}$

Ako postoji takva homotopija h, ${\displaystyle \gamma }$ i ${\displaystyle \gamma '}$ se smatraju homotopnim. Odnos „${\displaystyle \gamma }$ je homotopan sa ${\displaystyle \gamma '}$” je relacija ekvivalencije, tako da se skup klasa ekvivalencije može smatrati:

${\displaystyle \pi _{1}(X,x_{0}):=\{{\text{all loops }}\gamma {\text{ based at }}x_{0}\}/{\text{homotopy}}}$

To se naziva fundamentalnom grupom topološkog prostora X i baznom tačkom ${\displaystyle x_{0}.}$ Svrha razmatranja klasa ekvivalencije petlji do homotopije, za razliku od skupa svih petlji (tzv. prostora petlji od X) je da ovaj kasniji, iako je koristan za razne svrhe, prilično je veliki i glomazan objekat. Suprotno tome, gornji kvocijent ima u mnogim slučajevima upravljivu i izračunljivu veličinu.

Struktura grupe

Prema gornjoj definiciji, ${\displaystyle \pi _{1}(X,x_{0})}$ je samo skup. On postaje grupa (i stoga zaslužuje naziv fundamentalna grupa) koristeći spajanje petlji. Preciznije, za date dve petlje ${\displaystyle \gamma _{0},\gamma _{1},}$ njihov proizvod je definisan kao petlja

${\displaystyle {\begin{aligned}\gamma _{0}\cdot \gamma _{1}:[0,1]&\to X\\(\gamma _{0}\cdot \gamma _{1})(t)&={\begin{cases}\gamma _{0}(2t)&0\leq t\leq {\tfrac {1}{2}}\\\gamma _{1}(2t-1)&{\tfrac {1}{2}}\leq t\leq 1.\end{cases}}\end{aligned}}}$

Stoga petlja ${\displaystyle \gamma _{0}\cdot \gamma _{1}}$ prvo sledi petlju ${\displaystyle \gamma _{0}}$ sa „dvostrukom brzinom”, a zatim sledi ${\displaystyle \gamma _{1}}$ sa „dvostrukom brzinom”.

Proizvod dve homotopne klase petlji ${\displaystyle [\gamma _{0}]}$ i ${\displaystyle [\gamma _{1}]}$ je definisan kao ${\displaystyle [\gamma _{0}\cdot \gamma _{1}].}$ Može se pokazati da ovaj proizvod ne zavisi od izbora predstavnika i stoga daje dobro definisanu operaciju na setu ${\displaystyle \pi _{1}(X,x_{0}).}$ Ova operacija pretvara ${\displaystyle \pi _{1}(X,x_{0})}$ u grupu. Njen neutralni element je konstantna petlja, koja ostaje u ${\displaystyle x_{0}}$ za svo vreme t. Inverzna petlja (homotop klase) je ista petlja, ali se prelazi u suprotnom smeru. Formalno,

${\displaystyle \gamma ^{-1}(t):=\gamma (1-t).}$

Za tri bazične petlje ${\displaystyle \gamma _{0},\gamma _{1},\gamma _{2},}$ proizvod

${\displaystyle (\gamma _{0}\cdot \gamma _{1})\cdot \gamma _{2}}$

je spajanje tih petlji, prelazeći ${\displaystyle \gamma _{0}}$ zatim ${\displaystyle \gamma _{1}}$ sa četvorostrukom brzinom, i zatim ${\displaystyle \gamma _{2}}$ sa dvostrukom brzinom. U poređenju s tim,

${\displaystyle \gamma _{0}\cdot (\gamma _{1}\cdot \gamma _{2})}$

prelazi iste putanje (u istom redosledu), ali ${\displaystyle \gamma _{0}}$ sa dvostrukom brzinom, i ${\displaystyle \gamma _{1},\gamma _{2}}$ sa četvorostrukom brzinom. Stoga, zbog različitih brzina, dve staze nisu identične. Aksiom asocijativnosti

${\displaystyle [\gamma _{0}]\cdot \left([\gamma _{1}]\cdot [\gamma _{2}]\right)=\left([\gamma _{0}]\cdot [\gamma _{1}]\right)\cdot [\gamma _{2}]}$

konsekventno presudno zavisi od činjenice da se staze razmatraju do homotopije. Oba gornja kompozita su homotopna, na primer, petlja koja prelazi sve tri petlje ${\displaystyle \gamma _{0},\gamma _{1},\gamma _{2}}$ sa trostrukom brzinom. Skup baziran na petljama do homotopije, podržan gore navedenom operacijom pretvara ${\displaystyle \pi _{1}(X,x_{0})}$ u grupu.

Zavisnost od bazne tačke

Fundamentalna grupa generalno zavisi od izbora bazne tačke, međutim može se pokazati da, sve do izomorfizama (zapravo, čak i do unutrašnjeg izomorfizma), ovaj izbor ne pravi razliku dokle god je prostor X povezan sa putanjom. Stoga za prostore povezane sa stazama mnogi autori pišu: ${\displaystyle \pi _{1}(X)}$ umesto ${\displaystyle \pi _{1}(X,x_{0}).}$

Konkretni primeri

Ovaj odeljak navodi neke osnovne primere fundamentalnih grupa. Za početak, u Euklidskom prostoru (${\displaystyle \mathbb {R} ^{n}}$) ili bilo koji konveksni podskup od ${\displaystyle \mathbb {R} ^{n},}$ postoji samo jedna homotopijska klasa petlji, a fundamentalna grupa je stoga trivijalna grupa sa jednim elementom. Uopšteno govoreći, bilo koji zvezdani domen – a opet uopšteno, svaki kontrahirni prostor – ima trivijalnu fundamentalnu grupu. Dakle, osnovna grupa ne pravi razliku između takvih prostora.

2-sfera

Putem povezan prostor čija je osnovna grupa trivijalna naziva se jednostavno povezan. Na primer, 2-sfera ${\displaystyle S^{2}=\left\{(x,y,z)\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+z^{2}=1\right\}}$ prikazana na desnoj strani, a takođe i sve [n-sphere[|višedimenzionalne sfere]], jednostavno su povezane. Slika ilustruje homotopiju koja sažima jednu određenu petlju u konstantnu petlju. Ova ideja se može prilagoditi svim petljama tako da postoji tačka ${\displaystyle (x,y,z)\in S^{2}}$ nije na slici ${\displaystyle \gamma .}$ Međutim, pošto postoje petlje takve da je ${\displaystyle \gamma ([0,1])=S^{2}}$ (konstruisano od Pino krive, na primer), potpuni dokaz zahteva pažljiviju analizu pomoću alata iz algebarske topologije, kao što je Sajfert–van Kampenova teorema ili teorema o ćelijskoj aproksimaciji.

Krug

Krug (takođe poznat kao 1-sfera)

${\displaystyle S^{1}=\left\{(x,y)\in \mathbb {R} ^{2}\mid x^{2}+y^{2}=1\right\}}$

nije jednostavno povezan. Umesto toga, svaka homotopska klasa se sastoji od svih petlji koje obavijaju krug određeni broj puta (što može biti pozitivno ili negativno, u zavisnosti od smera namotavanja). Proizvod petlje koja se obavija m puta i druge koja se obavija n puta je petlja koja je obavijena m + n puta. Prema tome, osnovna grupa kruga je izomorfna ${\displaystyle (\mathbb {Z} ,+),}$ aditivnoj grupi celih brojeva. Ova činjenica se može koristiti da se daju dokazi Brauerove teoreme o fiksnoj tački^[10] i Borsuk–Ulamove teoreme u dimenziji 2.^[11]

Osmica

Osnovna grupa osmice je slobodna grupa na dva slova. Ideja da se ovo dokaže je sledeća: odabirom bazne tačke kao tačke gde se dva kruga sastaju (označeno crnim tačkama na slici desno), bilo koja petlja ${\displaystyle \gamma }$ se može razložiti kao

${\displaystyle \gamma =a^{n_{1}}b^{m_{1}}\cdots a^{n_{k}}b^{m_{k}}}$

gde su a i b dve petlje koje se obavijaju oko svake polovine figure kao što je prikazano, i eksponenti ${\displaystyle n_{1},\dots ,n_{k},m_{1},\dots ,m_{k}}$ su celi brojevi. Za razliku od ${\displaystyle \pi _{1}(S^{1}),}$ fundamentalna grupa osmice nije abelova: dva načina sastavljanja a i b nisu homotopna jedan drugom:

${\displaystyle [a]\cdot [b]\neq [b]\cdot [a].}$

Uopštenije, fundamentalna grupa buketa od r krugova je slobodna grupa na r slova.

Fundamentalna grupa klinaste sume dva putom povezana prostora X i Y može se izračunati kao slobodan proizvod pojedinačnih fundamentalnih grupa:

${\displaystyle \pi _{1}(X\vee Y)\cong \pi _{1}(X)*\pi _{1}(Y).}$

Ovo generalizuje gornja zapažanja pošto je osmica zbir dva kruga.

Fundamentalna grupa ravni probušene u n tačaka je takođe slobodna grupa sa n generatora. Stoga je 'i-ti generator klasa petlje koja obilazi i-ti otvor bez zaobilaženja bilo kog drugog otvora.

Grafovi

Fundamentalna grupa se može definisati i za diskretne strukture. Konkretno, razmotrimo povezani graf G = (V, E), sa naznačenim vrhom v₀ u V. Petlje u G su krugovi koji počinju i završavaju na v₀.^[12] Neka je T rasponsko stablo od G. Svaka prosta petlja u G sadrži tačno jednu ivicu u E \ T; svaka petlja u G je konkatinacija takvih jednostavnih petlji. Dakle, fundamentalna grupa grafa je slobodna grupa, u kojoj je broj generatora tačno broj ivica u E \ T. Ovaj broj je jednak |E| − |V| + 1.^[13]

Na primer, pretpostavimo da G ima 16 vrhova raspoređenih u 4 reda od po 4 temena, sa ivicama koje povezuju vrhove koji su susedni horizontalno ili vertikalno. Tada G ima ukupno 24 ivice, a broj ivica u svakom rasponskom stablu je 16 − 1 = 15, tako da je osnovna grupa G slobodna grupa sa 9 generatora.^[14] Primetno je da G ima 9 „otvora”, slično kao buket od 9 krugova, koji ima istu fundamentalnu grupu.

Grupe čvorova

Grupe čvorova su po definiciji fundamentalna grupa komplementa čvora K ugrađenog u ${\displaystyle \mathbb {R} ^{3}.}$ Na primer, grupa čvorova trolistnog čvora je poznata kao grupa pletenica ${\displaystyle B_{3},}$ što daje još jedan primer neabelove fundamentalne grupe. Virtingerova prezentacija eksplicitno opisuje grupe čvorova u smislu generatora i odnosa na osnovu dijagrama čvora. Prema tome, grupe čvorova imaju izvesnu upotrebu u teoriji čvorova pri razlikovanju čvorova: ako ${\displaystyle \pi _{1}(\mathbb {R} ^{3}\setminus K)}$ nije izomorfna nekoj drugoj grupi čvorova ${\displaystyle \pi _{1}(\mathbb {R} ^{3}\setminus K')}$ drugog čvora K′, onda K ne može biti transformisan u K′. Tako se trolistni čvor ne može kontinuirano transformisati u krug (takođe poznat kao nečvor), pošto ovaj drugi ima grupu čvorova ${\displaystyle \mathbb {Z} }$. Postoje, međutim, čvorovi koji se ne mogu deformisati jedan u drugi, ali imaju izomorfne grupe čvorova.

Orijentisane površine

Fundamentalna grupa roda n orijentibilne površine može se izračunati u smislu generatora i odnosa kao

${\displaystyle \left\langle A_{1},B_{1},\ldots ,A_{n},B_{n}\left|A_{1}B_{1}A_{1}^{-1}B_{1}^{-1}\cdots A_{n}B_{n}A_{n}^{-1}B_{n}^{-1}\right.\right\rangle .}$

Ovo uključuje torus, što je slučaj roda 1, čija je fundamentalna grupa

${\displaystyle \left\langle A_{1},B_{1}\left|A_{1}B_{1}A_{1}^{-1}B_{1}^{-1}\right.\right\rangle \cong \mathbb {Z} ^{2}.}$

Reference

Literatura

Spoljašnje veze

PoljaKljučni koncepti