Homologia (àlgebra)

teoria d'invariants topològics

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.

Superfície amb tres forats
Cicles en una ampolla de Klein

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

modifica

Per 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

modifica

Per 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

modifica

El 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

modifica

Aplicacions en matemàtiques pures

modifica

S'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

modifica

En 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
  1. «homology» (en anglès). Enciclopèdia Britànica. [Consulta: 12 novembre 2021].
  2. Weisstein, Eric W. «Homology» (en anglès). [Consulta: 3 desembre 2021].
  3. «Homology theory - Encyclopedia of Mathematics». [Consulta: 6 desembre 2021].
  4. «Lie algebra homology in nLab». [Consulta: 8 desembre 2021].
  5. «The homology groups | Mathematics for Physics» (en anglès americà). [Consulta: 22 agost 2024].
  6. Weisstein, Eric W. «Homology Group» (en anglès). [Consulta: 22 agost 2024].
  7. Hatcher 2002, p. 106
  8. Hatcher 2002, pàg. 105–106
  9. Hatcher 2002, p. 113
  10. Hatcher 2002, p. 110
  11. Hatcher, 2002, p. 126.
  12. «CompTop overview». Arxivat de l'original el 22 June 2007. [Consulta: 16 març 2014].
  13. «Robert Ghrist: applied topology». [Consulta: 16 març 2014].
  14. 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.
  15. 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.
  16. 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

Vegeu també

modifica