Homologia (àlgebra)
Homologia en matemàtiques,[1][2] és una manera general d'associar una seqüència d'objectes algebraics, com ara mòduls o grups abelians, amb altres objectes matemàtics com espais topològics. Els grups d'homologia es van definir originalment en topologia algebraica.[3] Hi ha construccions similars disponibles en una gran varietat d'altres contextos, com ara àlgebra abstracta, grups, àlgebra de Lie,[4] teoria de Galois i geometria algebraica.
La motivació original per definir els grups d'homologia va ser l'observació que es poden distingir dues formes examinant els seus forats.[5][6] Per exemple, un cercle no és un disc perquè el cercle té un forat que el travessa mentre que el disc és sòlid, i l'esfera ordinària no és un cercle perquè l'esfera tanca un forat bidimensional mentre que el cercle tanca un forat unidimensional. Tanmateix, com que un forat "no hi és", no és immediatament obvi com definir un forat o com distingir els diferents tipus de forats. L'homologia era originalment un mètode matemàtic rigorós per a definir i categoritzar forats en una varietat. En termes generals, un cicle és una subvarietat tancada, un límit és un cicle que també és el límit d'una subvarietat i una classe d'homologia (que representa un forat) és una classe d'equivalència de cicles mòdul límits. Així, una classe d'homologia està representada per un cicle que no és el límit de cap subvarietat: el cicle representa un forat, és a dir, una varietat hipotètica, el límit de la qual seria aquest cicle, però que "no hi és".
Homologia de complexes de cadenes
modificaPer prendre l'homologia d'un complex de cadenes, es comença amb un complex de cadenes, que és una seqüència de grups abelians (els elements del qual reben el nom de cadenes) i homomorfismes de grups tals que la composició de dues aplicacions consecutives qualssevol és zero:
El grup d'homologia -èssim del complex de cadenes és llavors el grup quocient de cicles modulo les fronteres, on el grup -èssim de cicles ve donat pel subgrup nucli , i el grup de fronteres -èssim ve donat pel subgrup imatge . Opcionalment, es pot dotar als complexos amb estructura addicional, per exemple prenent addicionalment els grups com a mòduls sobre un anell de coeficients , i prenent les aplicacions frontera com a -homomorfismes de mòdul, donant com a resultat els grups homològics que són també mòduls quocient. Es poden utilitzar eines de l'àlgebra homològica per relaciona els grups homològics amb diferents complexes de cadena.
Teories homològiques
modificaPer tal d'associar una teoria homològica a altres tipus d'objectes matemàtics, primer es dona una prescripció per associar complexes de cadena a l'objecte en qüestió, i després es pren l'homologia d'aquell complex de cadena. Perquè la teoria homològica sigui vàlida, tots els complexos de cadenan associats al mateix objecte matemàtic han de tenir la mateix homologia. La teoria homològica resultant sovint rep el nom del tipus de complex de cadena prescrit. Per exemple, l'homologia singular, l'homologia de Morse, l'homologia de Khovanov i l'homologia de Hochschild són resepctivament obtingudes a partir de complexes de cadena singular, complexes de Morse, complexes de Khovanov i complexes de Hochshild. En altres casos, com en el de l'homologia de grup, hi ha múltiples mètodes que s'utilitxen habitualment per calcular els mateixos grups d'homologia.
En el llenguatge de la teoria de categories, una teoria homològica és un tipus de functor de la categoria de l'objecte matemàtic sota estudi a la categoria de grups abelians o homomorfismes de grup, o més generalment a la categoria corresponent al complex de cadena associat. També es poden formular teories homològiques com functors derivats en categories abelianes aproximades, mesurant l'error d'un functor apropiat com a exacte. Es pot descriure aquesta darrera construcció explícitament en termes de resolucions, o més abstractament des de la perspectiva de categories derivades o categories model.
Independentment de com són formulades, les teories homològiques ajuden a proporcionar informació sobre l'estructura dels objectes matemàtics a què estan associats, i de vegades permeten distingir objectes diferents.
Construcció de grups homològics
modificaEl següent text descriu un algorisme general per construir grups homològics. Pot ser-li més fàcil al lector veure primer alguns exemples simples: homologia de graf i homologia simplicial.
La construcció general comença amb un objecte com ara un espai topològic X, en què primer es defineix un complex de cadena C(X) que codifica informació sobre X. Un complex de cadena és una seqüència de grups abelians o mòduls . connectats per homomorfismes que reben el nom d'operadors de frontera.[7] És a dir,
on 0 denota el grup trivial i per i < 0. També és un requeriment que la composició de dos operadors de frontera consecutius qualssevol sigui trivial. És a dir, per tot n,
o sigui, l'aplicació constant envia tot element de al grup identitat en
L'afirmació que la frontera d'una frontera és trivial és equivalent a l'afirmació que , on denota la imatge de l'operador frontera i el seu nucli. Els elements de són anomenats fronteres i els elements de reben el nom de cicles.
Com que cada grup cadena Cn és abelià, tots els seus subgrups són normals. Llavors, com que és un subgrup de Cn, és abelià, i com que llavors és un subgrup normal de . Llavors es pot crear el grup quocient
anomenat el grup homològic n-èssim de X. Els elements de Hn(X) reben el nom de classes homològiques. Cada classe homològica es una classe d'equivalència sobre cicles i dos cicles en la mateixa class homològica es diu que sòn homòlogues.[8]
Es diu que un complex de cadena és exacte si la imatge de l'aplicació (n+1)-èssima és sempre igual al nucli de l'aplicació n-enèsima. Per tant, els grups homològics de X mesuren "com de lluny" està el complex de cadena associat a X de ser exacte.[9]
Els grups homològics reduïts d'un complex de cadena C(X) es defineixen com homologies del complex de cadena augmentat[10]
on l'operador frontera és
per una combinació de punts que són generadors fixes de C0. Els grups homològics reduïts coincideixen amb per La extra en el complex de cadena repreneta l'aplicació única del símplex buit a X.
Calcular els grups de cicle i de frontera és sovint més aviat difícil ja que tenen un nombre molt gran de generadors. D'altra banda, hi ha eines que simplifiquen la tasca.
Els grups d'homologia simplicial Hn(X) d'un complex simplicial X són definits utilitzant el complex de cadena simplicial C(X), on Cn(X) és el grup abelià lliure generat pels n-símplices de X.
Els grups d'homologia singular Hn(X) es defineixen per qualsevol espai topològic X, i coincideixen amb els grups homològics simplicials en el cas de complexes simplicials.
Els grups cohomològics són formalment similars als grups homològics: es comença amb un complex de cocadena, que és el mateix que un complex de cadena però sense fletxes, ara denotat com apunten a la direcció de n creixent en comptes de n decreixent; llavors els grups de cocicles i de cofronteers segueixen de la mateixa descripció. El grup cohomològic n-èssim de X és llavors el grup quocient
en analogia amb el grup homològic n-èssim.
Aplicacions
modificaAplicacions en matemàtiques pures
modificaS'han demostrat teoremes notables fent ús del concepte d'homologia, com ara:
- El teorema del punt fix de Brouwer: si f és una funció continua qualsevol de la bola Bn a si mateixa, llavors hi ha un punt fix amb
- Invariància del domini: si U és un conjunt obert de i és una funció contínua injectiva, llavors és obert i f és un homeomorfisme entre U i V.
- El teorema de la bola peluda: qualsevol camp vecotiral continu en la 2-esfera (o més generalment, la 2k-esfera per tot ) val zero en algun punt.
- El teorema de Borsuk-Ulam: tota funció contínua d'una n-esfera a l'n-espai euclidià mapeja una certa parella de punts antipodals al mateix punt. (Dos punts en una esfera reben el nom d'antipodals si es troben en direccions exactament contràries respecte del centre de l'esfera.)
- Invariància de dimensió: si els subconjunts oberts no buits i són homeomòrfics, llavors [11]
Aplicacions en ciència i enginyeria
modificaEn anàlisi topològica de dades, es tenen en compte els conjunts de dades com a núvols de punts mostrejats d'una varietat diferenciable o d'una varietat algebraica que es troba en l'espai euclidià. Connectant els punts amb els més propers del veïnat en el núvol en un triangulació, es crea una aproximació simplicial de la varietat i se'n pot calcular l'homologia simplicial. Trobar tècniques per calcular l'homologia de forma robusta utilitzant diverses estratègies de triangulació a diferents escales longitudinals és un tema de l'homologia persistent.[12]
En xarxes de sensors sense fils, els sensors poden comunicar informació via una xarxa ad-hoc qui canvia dinàmica amb el temps. Per entendre el context global d'aquest conjunt de mesures locals i camins de comunicació, és útil compara l'homologia de la topologia de xarxa per avaluar, per exemple, forats en la cobertura.[13]
En teoria de sistemes dinàmics en física, Poincaré va ser un dels primers a considerar la interacció entre les varietats invariants d'un sistema dinàmic i els seus invariants topològics. La teoria de Mors relaciona la dinàmica d'un flux gradient en una varietat amb, per exemple, la seva homologia. L'homologia de Floer ho estén a varietat de dimensió infinita. El teorema de KAM va establir que les òrbites periòdiques poden seguir trajectòries complexes; en particular, poden formar trenes que es poden estudiar utilitzant l'homologia de Floer.[14]
En una classe de mètode d'elements finits, alguns problemes de condicions de frontera consistents en equacions diferencials que inclouen l'operador laplacià poden requerir la resolució en dominis topològicament no trivials, per exemple, en simulacions electromagnètiques. En aquestes simulacions, la solució és trobada fixant la classe de cohomologia de la solució en base a les condicions de frontera especificades i a l'homologia del domini. Els dominis del mètode d'elements finits es poden triangular, i d'aquí es pot calcular l'homologia simplicial.[15][16]
Referències
modifica- ↑ «homology» (en anglès). Enciclopèdia Britànica. [Consulta: 12 novembre 2021].
- ↑ Weisstein, Eric W. «Homology» (en anglès). [Consulta: 3 desembre 2021].
- ↑ «Homology theory - Encyclopedia of Mathematics». [Consulta: 6 desembre 2021].
- ↑ «Lie algebra homology in nLab». [Consulta: 8 desembre 2021].
- ↑ «The homology groups | Mathematics for Physics» (en anglès americà). [Consulta: 22 agost 2024].
- ↑ Weisstein, Eric W. «Homology Group» (en anglès). [Consulta: 22 agost 2024].
- ↑ Hatcher 2002, p. 106
- ↑ Hatcher 2002, pàg. 105–106
- ↑ Hatcher 2002, p. 113
- ↑ Hatcher 2002, p. 110
- ↑ Hatcher, 2002, p. 126.
- ↑ «CompTop overview». Arxivat de l'original el 22 June 2007. [Consulta: 16 març 2014].
- ↑ «Robert Ghrist: applied topology». [Consulta: 16 març 2014].
- ↑ van den Berg, J.B.; Ghrist, R.; Vandervorst, R.C.; Wójcik, W. «Braid Floer homology». Journal of Differential Equations, vol. 259, 5, 2015, pàg. 1663–1721. Bibcode: 2015JDE...259.1663V. DOI: 10.1016/j.jde.2015.03.022.
- ↑ Pellikka, M «Homology and Cohomology Computation in Finite Element Modeling». SIAM J. Sci. Comput., vol. 35, 5, 2013, pàg. B1195–B1214. Bibcode: 2013SJSC...35B1195P. DOI: 10.1137/130906556.
- ↑ Arnold, Douglas N. «Finite element exterior calculus, homological techniques, and applications». Acta Numerica, vol. 15, 16-05-2006, pàg. 1–155. Bibcode: 2006AcNum..15....1A. DOI: 10.1017/S0962492906210018.
Bibliografia complementària
modifica- Cartan, Henri Paul; Eilenberg, Samuel. Homological Algebra. 19. Princeton University Press, 1956 (Princeton mathematical series). ISBN 9780674079779. OCLC 529171.
- Eilenberg, Samuel; Moore, J.C.. Foundations of relative homological algebra. 55. American Mathematical Society, 1965 (Memoirs of the American Mathematical Society number). ISBN 9780821812556. OCLC 1361982.
- Gowers, Timothy; Barrow-Green, June & Leader, Imre, eds. (2010), The Princeton Companion to Mathematics, Princeton University Press, ISBN 9781400830398.
- Hatcher, A. (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0, <http://www.math.cornell.edu/~hatcher/AT/ATchapters.html>. Discussió detallada de les teories homològiques per complexes simplicials i varietats, homologia singular, etc.
- Hilton, Peter (1988), "A Brief, Subjective History of Homology and Homotopy Theory in This Century", Mathematics Magazine (Mathematical Association of America) 60 (5): 282–291, DOI 10.1080/0025570X.1988.11977391
- Richeson, D. (2008), Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University.
- Spanier, Edwin H. (1966), Algebraic Topology, Springer, p. 155, ISBN 0-387-90646-0.
- Stillwell, John (1993), "Homology Theory and Abelianization", Classical Topology and Combinatorial Group Theory, vol. 72, Graduate Texts in Mathematics, Springer, pàg. 169–184, ISBN 978-0-387-97970-0, DOI 10.1007/978-1-4612-4372-4_6.
- Teicher, M., ed. (1999), The Heritage of Emmy Noether, Israel Mathematical Conference Proceedings, Bar-Ilan University/American Mathematical Society/Oxford University Press, ISBN 978-0-19-851045-1, OCLC 223099225
- Weibel, Charles A. (1999), "28. History of Homological Algebra", in James, I. M., History of Topology, Elsevier, ISBN 9780080534077.