Algebarska topologija VAN KAMPENOV TEOREM Algebarska topologija VAN KAMPENOV TEOREM 10. Slobodni produkt grupa Slobodni produkt grupa 3 VA

Слични документи
Kontinuirani sustavi

Microsoft Word - EKSTREMNE VREDNOSTI I MONOTONOST FUNKCIJE.doc

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević

No Slide Title

Betonske i zidane konstrukcije 2

INDUSTRIJSKO INŽENJERSTVO ISPIT IZ Matematike u industrijskom inženjerstvu, Diskutovati po a, b R i rešiti sistem linearnih jednačina a

GLATKE I RIEMANNOVE MNOGOSTRUKOSTI Željka Milin Šipuš, Juraj Šiftar 16. lipnja 2014.

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1.

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

Microsoft Word - predavanje8

Teorija skupova - blog.sake.ba

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2.

Konacne grupe, dizajni i kodovi

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler

Microsoft Word - 6ms001

SKUPOVI TOČAKA U RAVNINI 1.) Što je ravnina? 2.) Kako nazivamo neomeđenu ravnu plohu? 3.) Što je najmanji dio ravnine? 4.) Kako označavamo točke? 5.)

handout.dvi

Microsoft Word - BROJNI REDOVI zadaci _II deo_.doc

Matrice. Algebarske operacije s matricama. - Predavanje I

Microsoft PowerPoint - IS_G_predavanja_ [Compatibility Mode]

1 MATEMATIKA 1 (prva zadaća) Vektori i primjene 1. U trokutu ABC točke M i N dijele stranicu AB na tri jednaka dijela. O

(Microsoft Word - Rje\232enja zadataka)

Algebarske strukture Boris Širola

Microsoft Word - CAD sistemi

Skripte2013

Osnovi programiranja Beleške sa vežbi Smer Računarstvo i informatika Matematički fakultet, Beograd Jelena Tomašević i Sana Stojanović November 7, 2005

8. razred kriteriji pravi

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013

PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Doris Dumičić Danilović Poopćenje i profinjenje nekih algoritama za konstrukciju blokovnih dizaj

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične)

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Petar Bakić GEOMETRIJA SHEMA Diplomski rad Voditelj rada: prof. dr. sc. Go

Zadatak 3.1 Navesti kineti~ke jedna~ine za sistem sa ~etiri nivoa, predstavljen na slici, uzimaju}i u obzir da je brzina neradijacionih prelaza S32 i

Elementarna matematika 1 - Oblici matematickog mišljenja

s2.dvi

Sveučilište u Zagrebu Prirodoslovno-matematički fakultet Matematički odsjek Valentina Barić Geometrijske v k konfiguracije Diplomski rad Voditelj rada

1 Konusni preseci (drugim rečima: kružnica, elipsa, hiperbola i parabola) Definicija 0.1 Algebarska kriva drugog reda u ravni jeste skup tačaka opisan

ФАКУЛТЕТ ОРГАНИЗАЦИОНИХ НАУКА

Trougao Bilo koje tri nekolinearne tačke određuju tacno jednu zatvorenu izlomljenu liniju. Trougaona linija je zatvorena izlomljena linija određena sa

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada:

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Generalizirani Apolonijev problem Antonija Guberina, Nikola Koceić Bilan Sažetak Apol

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.

Stokesov teorem i primjene Stokesov teorem - iskaz pogledati u predavanjima (Teorem 21.7.) Zadatak 1 Izračunajte ukupni fluks funkcije F kroz plohu D,

2.7 Taylorova formula Teorem 2.11 Neka funkcija f : D! R; D R m ; ima na nekoj "-kugli K(T 0 ; ; ") D; T 0 x 0 1; :::; x 0 m neprekidne derivacije do

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc.

Linearna algebra Mirko Primc

Microsoft Word - 12ms121

PLAN I PROGRAM ZA DOPUNSKU (PRODUŽNU) NASTAVU IZ MATEMATIKE (za 1. razred)

(Microsoft Word - Dr\236avna matura - kolovoz osnovna razina - rje\232enja)

Zadaci s pismenih ispita iz matematike 2 s rješenjima MATEMATIKA II x 4y xy 2 x y 1. Odredite i skicirajte prirodnu domenu funkcije cos ln

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODJEL Ilja Gogić Potpuno ograničeni operatori i subhomogene C -algebre Disertacij

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14

Microsoft Word - 15ms261

Natjecanje 2016.

My_ST_FTNIspiti_Free

Grafovi 1. Posmatrajmo graf prikazan na slici sa desne strane. a) Odrediti skup čvorova V i skup grana E posmatranog grafa. Za svaku granu posebno odr

Microsoft Word - IZVODI ZADACI _I deo_.doc

Algebarski izrazi (4. dio)

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

MAT B MATEMATIKA osnovna razina MATB.38.HR.R.K1.20 MAT B D-S

CIJELI BROJEVI 1.) Kako još nazivamo pozitivne cijele brojeve? 1.) Za što je oznaka? 2.) Ispiši skup prirodnih brojeva! 3.) Kako označavamo skup priro

untitled

(Microsoft Word - Dr\236avna matura - svibanj osnovna razina - rje\232enja)

7. predavanje Vladimir Dananić 14. studenoga Vladimir Dananić () 7. predavanje 14. studenoga / 16

MATEMATIKA - MATERIJALI Sadržaj Matematika 1 3 Kolokviji drugi kolokvij,

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0

MATEMATIKA viša razina MATA.29.HR.R.K1.24 MAT A D-S MAT A D-S029.indd :30:29

Математика основни ниво 1. Одреди елементе скупова A, B, C: a) б) A = B = C = 2. Запиши елементе скупова A, B, C на основу слике: A = B = C = 3. Броје

Algebarske strukture Skripta Saša Krešić-Jurić Odjel za matematiku Prirodoslovno-matematički fakultet Split skresic

Microsoft Word - SISTEMI DIFERENCIJALNIH JEDNACINA,zadaci.doc

Орт колоквијум

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Marinela Bockovac Inverzija u ravnini i primjene Diplomski rad Osijek, 2018.

М А Т Е М А Т И К А Први разред (180) Предмети у простору и односи међу њима (10; 4 + 6) Линија и област (14; 5 + 9) Класификација предмета према свој

Microsoft Word - 1.Operacije i zakoni operacija

Microsoft Word - Mat-1---inicijalni testovi--gimnazija

Σ Ime i prezime, JMBAG: ELEMENTARNA GEOMETRIJA prvi kolokvij studenog Napomene: Kolokvij ima ukupno 5 zadataka, svaki zadatak vr

0255_Uvod.p65

Zadaci s rješenjima, a ujedno i s postupkom rada biti će nadopunjavani tokom čitave školske godine

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja)

Slide 1

REPREZENTACIJE NILPOTENTNIH LIEJEVIH GRUPA Prof. dr. sc. Hrvoje Kraljević Predavanja održana u okviru poslijediplomskog studija na PMF Matematičkom od

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja)

Naziv studija

Metoda konačnih elemenata; teorija i praktična implementacija math.e 1 of 15 Vol.25. math.e Hrvatski matematički elektronički časopis Metoda konačnih

Орт колоквијум

C2 MATEMATIKA 1 ( , 3. kolokvij) 1. Odredite a) lim x arctg(x2 ), b) y ( 1 2 ) ako je y = arctg(4x 2 ). c) y ako je y = (sin x) cos x. (15 b

Microsoft Word - ETH2_EM_Amperov i generalisani Amperov zakon - za sajt

Microsoft Word - 24ms221

Seminar peti i ²esti U sljede a dva seminara rije²avamo integrale postavljene u prosturu trostruke integrale. Studenti vjeºbom trebaju razviti sposobn

ALGEBRA Prof. dr. sc. Hrvoje Kraljević Predavanja održana na Odjelu za matematiku Sveučilišta Josipa Jurja Strossmayera u Osijeku u ljetnom semestru a

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka)

Microsoft Word - z4Ž2018a

ЕНЕРГЕТСКИ ТРАНСФОРМАТОРИ

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Saže

1

Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osije

PowerPoint Presentation

P11.3 Analiza zivotnog veka, Graf smetnji

Транскрипт:

lgbarska topologija 77 lgbarska topologija 79 10. Slobodni produkt grupa Slobodni produkt grupa 3 VN KMPENOV TEOREM Slobodni produkt grupa Van Kampnov torm Primjna na ćlijsk komplks Žlimo za danu familiju grupa {G α } α konstruirati grupu koja sadrži sv grup G α kao podgrup. Produkt grupa α G α i dirktna suma α G α jsu takv grup. On sadrž G α kao svoj podgrup, ali lmnti iz različitih podgrupa mđusobno komutiraju, bz obzira jsu li sam grup G α komutativn ili n. To n žlimo. Tražimo dakl nkomutativnu vrziju dirktnog produkta grupa. Takav j upravo slobodni produkt grupa *α G α. Dfinicija: Skup *α G α sastoji s od svih rijči oblika g 1 g 2... g m proizvoljn konačn duljin m 0, pri čmu j svako slovo g i G αi, različito od nutralnog lmnta grup G αi, i susjdna slova su iz različitih grupa G α. Takv rijči nazivamo rduciranim rijčima. Množnj s dfinira nadovzivanjm rijči i kraćnjm ako j moguć. Prazna rijč, koja j takođr dozvoljna, j nutralni lmnt. Invrz s dfinira na očit način. Ima posla da s dokaž da s na taj način dobij grupa (vidi [Hatchr]). lgbarska topologija 78 Motivacija lgbarska topologija 80 10. Slobodni produkt grupa Univrzalno svojstvo slobodnog produkta grupa Van Kampnov torm omogućuj da s odrdi fundamntalna grupa prostora koji s sastoji od dijlova čij fundamntaln grup znamo. Čmu j jdnaka fundamntalna grupa osmic? Iz gomtrijskih j razloga jasno da ć sadržavati b fundamntaln grup obiju kružnica od kojih j sastavljna. Pojavit ć s i izrazi oblika a 5 b 2 a 3 ba 2 i slični, gdj prdznak ksponnta ovisi o smjru obilaska. množnju putva odgovarat ć nadovzivanj takvih izraza, rijči, uz odgovarajuć kraćnj : (b 4 a 5 b 2 a 3 )(a 4 b 1 ab 3 ) = b 4 a 5 b 2 ab 1 ab 3. Prazna rijč bit ć nutralni lmnt, a invrz npr. ovako: (ab 2 a 3 b 4 ) 1 = b 4 a 3 b 2 a 1. I konačno, ta grupa možda nij komutativna. To j grupa Z * Z, slobodna grupa s dva gnratora spcijalan slučaj konstrukcij koju ćmo sada opisati. a Slobodni produkt *α G α sadrži svaku grupu G α kao podgrupu: rijči od jdnog slova, a prazna rijč s idntificira s nutralnim lmntom grup G α. Osnovno, tzv. univrzalno svojstvo slobodnog produkta grupa j da s svaka familija homomorfizama φ α : G α H mož na jdinstvn način proširiti do homomorfizma φ: *α G α H, i to formulom φ(g 1... g m ) := φ α1 (g 1 ) φ αm (g m ), gdj s na dsnoj strani radi o produktu u grupi H.

lgbarska topologija 81 Van Kampnov torm obrazložnj i oznak Nka j X = α α pri čmu su svi α putvima povzani i sadrž baznu točku x 0. Prma univrzalnom svojstvu slobodnog produkta, homomorfizmi j α : π 1 ( α ) π 1 (X) inducirani inkluzijama α X, imaju proširnj Φ: *α π 1( α ) π 1 (X). Van Kampnov torm kaž da ć Φ čsto biti pimorfizam, ali prirodno j očkivati da ć jzgra biti ntrivijalna. Naim, nka j i αβ : π 1 ( α β ) π 1 ( α ) homomorfizam induciran inkluzijom α β α, onda j j α i αβ = j β i βα jr su obj kompozicij zapravo induciran inkluzijom α β X. Stoga jzgra od Φ mora sadržavati lmnt oblika i αβ (ω) i βα (ω) 1 za ω π 1 ( α β ). π 1( β ) i βα j β π 1( α β ) *α π1(α) Φ 3 π1(x) π 1( α) i αβ j α lgbarska topologija 83 Van Kampnov torm i univrzalno svojstvo Spcijalno, kada j X = 1 2 pri čmu su 1, 2 i 0 := 1 2 putvima povzani, onda j π 1 (X) = π 1 ( 1 ) * π 1 ( 2 )/N, gdj j N normalna podgrupa gnrirana svim lmntima oblika i 1 (ω) i 2 (ω) 1 za ω π 1 ( 1 2 ). i π 1( 0) 2 π 1( 2) Točnij, dsni dijagram, u kojmu su svi homomorfizmi inducirani inkluzijama, j kokartzijv i 1 push-out j 2 kvadrat, ili push-out dijagram. π 1( 1) π 1(X) Dakl, funktor π 1 prvodi push-out dijagram j 1 inkluzija u topološkoj katgoriji u push-out dijagram u katgoriji grupa. 0 = 1 2 2 1 X π 1( 0) π 1( 2) π 1 i 1 j 2 π 1( 1) π 1(X) i 2 j 1 lgbarska topologija 82 Van Kampnov torm iskaz torma Torm 11.1 (van Kampn) Nka j X unija otvornih, putvima povzanih potprostora α koji svi sadrž baznu točku x 0. ko su svi prsjci α β putvima povzani, onda j Φ: *α π 1( α ) π 1 (X) pimorfizam. ko su osim toga i svi prsjci α β γ putvima povzani, onda j jzgra od Φ jdnaka normalnoj podgrupi N koja j gnrirana svim lmntima oblika i αβ (ω) i βα (ω) 1, ω π 1 ( α β ), pa Φ inducira izomorfizam π 1 (X) = ( *α π 1( α ) ) /N. Primjr: Fundamntalna grupa jdnotočkovn unij π 1 ( α X α) = *α π 1(X α ). (ako * X α imaju HEP) Spcijalno, π 1 ( α S1 α) j slobodni produkt Z-ova, po jdan za svaku kružnicu S 1 α. Općnito, fundamntalna grupa svakog povzanog grafa j slobodna grupa. lgbarska topologija 84 O dokazu van Kampnova torma Surjktivnost: Trba proizvoljnu ptlju u X prikazati kao produkt malih ptlji od kojih j svaka u nkom α (konačno mnogo njih). α f 2 Injktivnost j osjtno složnija za dokazati. Dtalj vidi u [Hatchr]. g 1 g 2 x 0 f 1 f 3 β

lgbarska topologija 85 Primjn van Kampnova torma na (n)ulančan kružnic Pogldajmo primjr iz uvoda (Booromovi prstni) 1. Odrdimo fundamntalnu grupu komplmnta kružnic. R 3 s dformacijski rtraktira na S 2 S 1. Lakš j vizualizirati dformacijsku rtrakciju od R 3 na uniju sfr S 2 i jdnog dijamtra ( napumpa s ), pa onda vidjti kako s mijnja ta dformacija kada krajnj točk dijamtra približimo. Stoga j π 1 (R 3 ) = π 1 (S 2 S 1 ) = Z jr j π 1 (S 2 ) = 0. 2. Slično s vidi da s komplmnt R 3 ( B) dviju nulančanih kružnica dformacijski rtraktira na S 2 S 1 S 2 S 1, pa j π 1 (R 3 ( B)) = Z*Z. 3. Kada su kružnic i B ulančan, onda s komplmnt R 3 ( B) dformacijski rtraktira na wdg sfr S 2 i torusa S 1 S 1 koji razdvaja i B, pa j π 1 (R 3 ( B)) = π 1 (S 2 (S 1 S 1 )) = Z Z. B lgbarska topologija 86 Torus s rupom Evo još dva prikaza dformacij torusa kojm j izvađn disk: lgbarska topologija 86 Fundamntalna grupa torusa pomoću van Kampnova torma Kao ilustraciju jdn malo složnij primjn van Kampnova torma, odrdimo ponovno fundamntalnu grupu torusa (koju otprij znamo jr j torus produkt dviju kružnica). = = = = lgbarska topologija 87 Fundamntalna grupa havajsk naušnic Havajska naušnica j potprostor H R 2 kojg čin kružnic C n radijusa 1 n sa srdištima u točkama ( 1 n, 0), n N. To nij wdg od prbrojivo mnogo kružnica! Rtrakcij r n : H C n koj sv osim kružnic C n stgnu u baznu točku (0, 0), induciraju pimorfizm ρ n : π 1 (H) π 1 (C n ). Njihov produkt ρ: π 1 (H) Z u dirktni produkt (n dirktnu sumu!) j surjktivan (obrazloži!). Kako j Z nprbrojiva grupa (za razliku od Z koja j prbrojiva), grupa π 1(H) j nprbrojiva. S drug stran, grupa π 1 ( S1 ) j prbrojivo gnrirana, pa j prbrojiva. Zapravo, fundamntalna grupa havajsk naušnic j vrlo komplicirana. Nij prbrojivo gnrirana i nij komutativna, jr npr. rtrakcija na C 1 C n koja sv kružnic koj su manj od C n stgn u točku, inducira pimorfizam grup π 1 (H) na slobodnu grupu s n gnratora. Ta j grupa zanimljiva i topolozima i algbraičarima, i o njoj u litraturi ima dosta radova.

lgbarska topologija 88 Primjna na ćlijsk komplks Kako na π 1 utjč dodavanj 2-ćlija? (Dodavanj ćlija dimnzij 3 n utjč na π 1.) Nka j X putvima povzan a Y = X α 2 α nka j dobivn dodavanjm familij 2-ćlija 2 α pomoću prslikavanja φ α : S 1 X. Prslikavanja φ α su ptlj u X baziran u točkama φ α (s 0 ), gdj j s 0 bazna točka od S 1. Nka j x 0 X bazna točka, i za svaki α nka j γ α put u X od x 0 do φ α (s 0 ). Tada j γ α φ α γ α ptlja u X iz bazn točk x 0. Ta ptlja možda nij nulhomotopna u X, ali postaj nulhomotopna dodavanjm 2-ćlij 2 α, dakl u Y j nulhomotopna. Stoga, normalna podgrupa N gnrirana svim ptljama γ α φ α γ α lži u jzgri homomorfizma π 1 (X, x 0 ) π 1 (Y, x 0 ) induciranog inkluzijom X Y. Sljdća propozicija kaž da j ta podgrupa upravo jdnaka jzgri. Točnij, vrijdi: lgbarska topologija 90 Odrđivanj podgrup N X x 0 γ α S α y α 2 α Dakl, trba vidjti da j grupa π 1 ( B) gnrirana ptljama γ α φ α γ α, točnij ptljama u B koj su ovima homotopn. Opt ćmo primijniti van Kampnov torm tako da B pokrijmo otvornim skupovima α := ( B) β α 2 β (to su sv trak zajdno s po jdnom probušnom 2-ćlijom). Kako s α dformacijski rtraktira na kružnicu u 2 α {y α }, to j π 1 ( α ) = Z, s gnratorom koji j ptlja homotopna s γ α φ α γ α. φ α lgbarska topologija 89 Ubijanj fundamntaln grup Propozicija 12.1 Inkluzija X Y inducira pimorfizam π 1 (X, x 0 ) π 1 (Y, x 0 ) čija j jzgra jdnaka podgrupi N, pa j π 1 (Y ) = π 1 (X)/N. Dokaz: Nadogradit ćmo Y do prostora Z tako da dodamo trak S α = I I y α duž putva γ α i sgmntića u ćlijama α. 2 X Y j dformacijski rtrakt S α od Z, pa j dovoljno odrditi π 1 (Z). x 0 γ α φ α U svakoj ćliji α 2 odabrimo točku y α koja nij na sgmntiću. Nka j := Z α {y α} i B := Z X. π 1 (B) = 0 jr j B kontraktibilan, a X j dformacijski rtrakt od, pa j, prma van Kampnu, π 1 (Z) kvocijnt od π 1 () po normalnoj podgrupi N koju gnrira slika inkluzijom induciranog homomorfizma π 1 ( B) π 1 (). 2 α lgbarska topologija mski smstar 2005/06 91 366 Primjna: fundamntalna grupa ploha orijntabilnih ploha Vidjli smo da orijntabilna ploha c d d M g roda (gnusa) g ima ćlijsku c d strukturu koja s sastoji od jdn b f 2-ćlij, 2g 1-ćlija i jdn 0-ćlij. 1-sklt j wdg od 2g kružnica, a f f a b pa mu j π 1 slobodna grupa s 2g kružnica, pa mu j π 1 slobodna grupa s 2g gnratora. 2-ćlija j nalijpljna po produktu komutatora parova susjdnih gnratora. Dakl, π 1 (M g ) = a 1, b 1,..., a g, b g [a 1, b 1 ] [a g, b g ] gdj j g α r β, ili g α : r β, uobičajna oznaka za przntaciju grup s gnratorima g α i rlatorima r β, tj. kvocijnt slobodn grup s gnratorima g α, po normalnoj podgrupi gnriranoj rijčima r β. Korolar 12.2 Za g g ploh M g i M g nisu niti istog homotopskog tipa. Dokaz: blizacij fundamntalnih grupa su 2g Z odnosno 2g Z. c a b

lgbarska topologija 92 Primjna: gomtrijska ralizacija grupa Korolar 12.3 Za svaku grupu G postoji 2-dimnzionalan CW komplks X G za koji j π 1 (X G ) = G. Dokaz: Odabrimo przntaciju G = g α r β, i nka j X G dobivn tako da wdgu kružnica α S1 α nalijpimo 2-ćlij 2 β kako odrđuju rijči r β. Primjr: Za grupu G = Z n = a a n prostor X G dobij s lijpljnjm 2-ćlij na kružnicu tako da rub 2-ćlij namotamo n puta na kružnicu. Za n = 2 dobijmo projktivnu ravninu RP 2, pa j π 1 (RP 2 ) = Z 2. Za n > 2 prostor X G nij mnogostrukost. Na slici j prikazano kako izglda okolina kružnic na koju j nalijpljna 2-ćlija za slučaj n = 3.