Fundamentalna grupa

U matematičkom polju algebarske topologije, fundamentalna grupa topološkog prostora je grupa klasa ekvivalencije pod homotopijom petlji sadržanih u prostoru. 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.

Anri Poenkare je definisao fundamentalnu grupu 1895. godine u svojoj publikaciji „Analiza situsa”. 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“. Koncept se pojavio u teoriji Rimanovih površina, u radu Bernharda Rimana, Poenkarea i Feliksa Klajna. On opisuje svojstva monodromije kompleksnih funkcija, i pruža potpunu topološku klasifikaciju zatvorenih površina.

Definicija

Ilustracija dvostrukog torusa.

U ovom članku X je topološki prostor. Tipičan primer je površina poput one koja je prikazana desno. Štaviše, $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 $x_0$ se definiše da je kontinuirana funkcija (takođe poznata kao kontinuirana mapa)

$\gamma :[0,1]\to X$

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

Homotopija petlji

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

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

tako da je

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

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

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

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

${\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 $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

Sabiranje petlji

Prema gornjoj definiciji, ${\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 ${\gamma }_0,{\gamma }_1,$ njihov proizvod je definisan kao petlja

$\begin{array}{cc}{\gamma }_0\cdot {\gamma }_1:[0,1]& \to X\\ ({\gamma }_0\cdot {\gamma }_1)(t)& =\{\begin{array}{cc}{\gamma }_0(2t)& 0\le t\le \frac{1}{2}\\ {\gamma }_1(2t-1)& \frac{1}{2}\le t\le 1.\end{array}\end{array}$

Stoga petlja ${\gamma }_0\cdot {\gamma }_1$ prvo sledi petlju ${\gamma }_0$ sa „dvostrukom brzinom”, a zatim sledi ${\gamma }_1$ sa „dvostrukom brzinom”.

Proizvod dve homotopne klase petlji $[{\gamma }_0]$ i $[{\gamma }_1]$ je definisan kao $[{\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 ${\pi }_1(X,x_0).$ Ova operacija pretvara ${\pi }_1(X,x_0)$ u grupu. Njen neutralni element je konstantna petlja, koja ostaje u $x_0$ za svo vreme -{t}-. Inverzna petlja (homotop klase) je ista petlja, ali se prelazi u suprotnom smeru. Formalno,

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

Za tri bazične petlje ${\gamma }_0,{\gamma }_1,{\gamma }_2,$ proizvod

$({\gamma }_0\cdot {\gamma }_1)\cdot {\gamma }_2$

je spajanje tih petlji, prelazeći ${\gamma }_0$ zatim ${\gamma }_1$ sa četvorostrukom brzinom, i zatim ${\gamma }_2$ sa dvostrukom brzinom. U poređenju s tim,

${\gamma }_0\cdot ({\gamma }_1\cdot {\gamma }_2)$

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

$[{\gamma }_0]\cdot ([{\gamma }_1]\cdot [{\gamma }_2])=([{\gamma }_0]\cdot [{\gamma }_1])\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 ${\gamma }_0,{\gamma }_1,{\gamma }_2$ sa trostrukom brzinom. Skup baziran na petljama do homotopije, podržan gore navedenom operacijom pretvara ${\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: ${\pi }_1(X)$ umesto ${\pi }_1(X,x_0).$

Konkretni primeri

Domen zvezda je jednostavno povezan pošto se svaka petlja može sklopiti u centar domena, označen $x_0$.

Ovaj odeljak navodi neke osnovne primere fundamentalnih grupa. Za početak, u Euklidskom prostoru (${ℝ}^n$) ili bilo koji konveksni podskup od ${ℝ}^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

Petlja na 2-sferi (površina lopte) koja se skuplja do tačke

Putem povezan prostor čija je osnovna grupa trivijalna naziva se jednostavno povezan. Na primer, 2-sfera $S^2=\{(x,y,z)\in {ℝ}^3\mid x^2+y^2+z^2=1\}$ prikazana na desnoj strani, a takođe i sve 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 $(x,y,z)\in S^2$ nije na slici $\gamma .$ Međutim, pošto postoje petlje takve da je $\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

Elementi homotopske grupe kruga

Krug (takođe poznat kao 1-sfera)

$S^1=\{(x,y)\in {ℝ}^2\mid x^2+y^2=1\}$

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 $(\mathbb{Z},+),$ aditivnoj grupi celih brojeva. Ova činjenica se može koristiti da se daju dokazi Brauerove teoreme o fiksnoj tački i Borsuk–Ulamove teoreme u dimenziji 2.

Osmica

Fundamentalna grupa osmice je slobodna grupa na dva generatora a i b.

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 $\gamma$ se može razložiti kao

$\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 $n_1,\dots ,n_k,m_1,\dots ,m_k$ su celi brojevi. Za razliku od ${\pi }_1(S^1),$ fundamentalna grupa osmice nije abelova: dva načina sastavljanja a i b nisu homotopna jedan drugom:

$[a]\cdot [b]\ne [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:

${\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 Шаблон:Nowrap, sa naznačenim vrhom v₀ u V. Petlje u G su krugovi koji počinju i završavaju na v₀. 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 Шаблон:Nowrap.

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 Шаблон:Nowrap, tako da je osnovna grupa G slobodna grupa sa 9 generatora. Primetno je da G ima 9 „otvora”, slično kao buket od 9 krugova, koji ima istu fundamentalnu grupu.

Grupe čvorova

Trolisni čvor.

Grupe čvorova su po definiciji fundamentalna grupa komplementa čvora K ugrađenog u ${ℝ}^3.$ Na primer, grupa čvorova trolistnog čvora je poznata kao grupa pletenica $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 ${\pi }_1({ℝ}^3\setminus K)$ nije izomorfna nekoj drugoj grupi čvorova ${\pi }_1({ℝ}^3\setminus K^{\prime })$ 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 $\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

$⟨A_1,B_1,\dots ,A_n,B_n|A_1{B}_1{A}_1^{-1}{B}_1^{-1}\cdots A_n{B}_n{A}_n^{-1}{B}_n^{-1}⟩.$

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

$⟨A_1,B_1|A_1{B}_1{A}_1^{-1}{B}_1^{-1}⟩\cong {\mathbb{Z}}^2.$

Literatura

• Шаблон:Citation
• Шаблон:Cite book
• Шаблон:Cite book. |doi=10.1007/978-1-4614-8024-2|title=Lie Groups|volume=225|last1=Bump|first1=Daniel|author1-link=Daniel Bump|publisher=Springer|year=2013|edition=2nd|series=Graduate Texts in Mathematics}}
• Шаблон:Citation
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Peter Hilton and Shaun Wylie, Homology Theory, Cambridge University Press (1967) [warning: these authors use contrahomology for cohomology]
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation
• Шаблон:Cite book
• Deane Montgomery and Leo Zippin, Topological Transformation Groups, Interscience Publishers (1955)
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation

Spoljašnje veze

• Шаблон:Planetmath reference
• Шаблон:Planetmath reference
• Шаблон:Mathworld
• -{Dylan G.L. Allegretti, Simplicial Sets and van Kampen's Theorem: A discussion of the fundamental groupoid of a topological space and the fundamental groupoid of a simplicial set}-
• -{Animations to introduce fundamental group by Nicolas Delanoue}-
• -{Sets of base points and fundamental groupoids: mathoverflow discussion}-
• -{Groupoids in Mathematics}-