U matematici, homologija[1] je opšti način povezivanja niza algebarskih objekata kao što su abelove grupe ili moduli sa drugim matematičkim objektima kao što su topološki prostori. Homološke grupe su prvobitno definisane u algebarskoj topologiji. Slične konstrukcije su dostupne u širokom spektru drugih konteksta, kao što su apstraktna algebra,[2] grupe, Lijeva algebra,[3][4][5] teorija Galoa i algebarska geometrija.[6][7][8]

Prvobitna motivacija za definisanje grupa homologije bila je opservacija da se dva oblika mogu razlikovati putem ispitivanja njihovih otvora. Na primer, krug nije disk, jer krug ima otvor kroz njega dok je disk pun, a obična sfera nije krug, jer sfera okružuje dvodimenzionalni otvor, dok krug okružuje jednodimenzionalni otvor. Međutim, pošto je otvor „ne postoji”, nije odmah očigledno kako definisati otvor ili kako razlikovati različite vrste otvora. Homologija je izvorno bila rigorozna matematička metoda za definiranje i kategorizaciju otvora u mnogostrukosti. Slobodno govoreći, ciklus je zatvorena podmnogostrukost, granica je ciklus koji je takođe granica podmnogostrukosti, a klasa homologije (koja predstavlja otvor) je ekvivalentna klasi ciklusa po modularnim granicama. Klasa homologije je stoga predstavljena ciklusom koji nije granica bilo koje podmnogostrukosti: ciklus predstavlja otvor, odnosno hipotetičnu mnogostrukost čija bi granica bila taj ciklus, ali koji „nije tamo”.

Postoji mnogo različitih teorija homologije. Određeni tip matematičkog objekta, kao što je topološki prostor ili grupa, može imati jednu ili više povezanih teorija homologije. Kada osnovni objekat ima geometrijsku interpretaciju kao topološki prostori, n-ta grupa homologije predstavlja ponašanje u dimenziji n. Većina grupa ili modula homologije moge se formulisati kao izvedeni funktori na odgovarajućim Abelovskim kategorijama, merenjem neuspeha jednog funktora da bude tačan. Iz ove apstraktne perspektive, grupe homologije se određuju objektima izvedene kategorije.

Pozadina

уреди

Smatra se da je teorija homologije nastala sa Ojlerovom formulom poliedra, ili Ojlerovom karakteristikom.[9] Tomo je sledela Rimanova definicija numeričkih invarijanti rodova i n-tostruke povezanosti iy 1857. godine i Betijev dokaz nezavisnosti „homoloških brojeva” od izbora baze iz 1871. godine.[10]

Sama homologija je razvijena kao način za analizu i klasifikaciju mnogostrukosti prema njihovim ciklusima - zatvorenim petljama (ili opštije podmnogostrukostima) koje se mogu nacrtati na datoj n-dimenzionalnoj mnogostrukosti, ali ne i kontinuirano deformisanih jedne u druge.[11] Ovi ciklusi se ponekad pominju i kao rezovi koji se mogu spojiti zajedno ili kao spojevi koji se mogu pričvrstiti i odvojiti. Ciklusi su klasifikovani po dimenzijama. Na primer, linija nacrtana na površini predstavlja 1-ciklus, zatvorenu petlju ili   (1-mnogostrukost), dok je površina prerezana kroz trodimenzionalnu mnogostrukost 2-ciklus.

Površine

уреди
 
Ciklusi na 2-sferi

Na običnoj sferi  , ciklus b u dijagramu može se smanjiti do pola, a čak i ekvatorijalna velika kružnica a može se smanjiti na isti način. Teorema Žordanove krive pokazuje da se bilo koji proizvoljni ciklus, kao što je c, može slično smanjiti do tačke. Svi ciklusi na sferi se stoga mogu kontinuirano transformisati jedan u drugi i pripadati istoj klasi homologije. Za njih se kaže da su homologni do nule. Presecanje mnogostrukosti duž ciklusa homolognog nuli razdvaja mnogostrukost na dve ili više komponenti. Na primer, sečenje sfere duž a proizvodi dve hemisfere.

 
Ciklusi na torusu

Ovo se generalno ne odnosi na cikluse na drugim površinama. Torus   ima cikluse koji se ne mogu kontinuirano deformirati jedan u drugi, na primer u dijagramu ni jedan od ciklusa a, b ili c ne može biti deformisan jedan u drugi. Konkretno, ciklusi a i b se ne mogu smanjiti u tačku, dok ciklus c može, što ga čini homolognim na nulu.

Ako je površina torusa isečena duž oba ciklusa a i b, ona se može otvoriti i spljoštiti u pravougaonik ili, još bolje, kvadrat. Jedan suprotan par strana predstavlja rez duž a, a drugi suprotan par predstavlja rez duž b.

Rubovi kvadrata mogu se zatim spojiti zajedno na različite načine. Kvadrat može biti zaokrenut da bi se ivice mogle susresti u suprotnom smeru, kao što je prikazano strelicama na dijagramu. U zavisnosti od simetrije, postoje četiri različita načina spajanja strana, od kojih svaka stvara različitu površinu:

 
Četiri načina spajanja kvadrata da bi se napravila zatvorena površina: spojiti pojedinačne strelice i spojiti duple strelice.

Vidi još

уреди

Reference

уреди
  1. ^ in part from Greek ὁμός homos "identical"
  2. ^ Finston, David R.; Morandi, Patrick J. (29. 8. 2014). Abstract Algebra: Structure and Application (на језику: енглески). Springer. стр. 58. ISBN 978-3-319-04498-9. „Much of our study of abstract algebra involves an analysis of structures and their operations 
  3. ^ Bourbaki, Nicolas (1989). Lie Groups and Lie Algebras: Chapters 1-3. Springer. ISBN 978-3-540-64242-8. 
  4. ^ Erdmann, Karin; Wildon, Mark (2006). Introduction to Lie Algebras. Springer. ISBN 1-84628-040-0. 
  5. ^ Hall, Brian C. (2015). Lie groups, Lie algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics. 222 (2nd изд.). Springer. ISBN 978-3319134666. ISSN 0072-5285. doi:10.1007/978-3-319-13467-3. 
  6. ^ Fréchet, Maurice; Fan, Ky (2012), Invitation to Combinatorial Topology, Courier Dover Publications, стр. 101, ISBN 9780486147888 .
  7. ^ Henle, Michael (1994), A Combinatorial Introduction to Topology, Courier Dover Publications, стр. 221, ISBN 9780486679662 .
  8. ^ Spreer, Jonathan (2011), Blowups, slicings and permutation groups in combinatorial topology, Logos Verlag Berlin GmbH, стр. 23, ISBN 9783832529833 .
  9. ^ Stillwell 1993, стр. 170
  10. ^ Weibel 1999, стр. 2–3 (in PDF)
  11. ^ Richeson 2008, стр. 254

Literatura

уреди

Spoljašnje veze

уреди