Vés al contingut

Homotopia

De la Viquipèdia, l'enciclopèdia lliure
Nota: L'article pot necessitar alguna petita correcció
Els dos camins en negreta que hi ha dalt són homotòpics en relació als seus extrems. Les línies fines marquen isocontorns d'una possible homotopia.

En topologia, la noció d'homotopia recull l'ideal de què gaudeix la topologia de ser la geometria del full d'hule , és a dir, deformable. Dues aplicacions contínues d'un espai topològic en un altre es diuen homotòpiques (del grec homos = mateix i topos = lloc) si una d'elles es pot "deformar contínuament" en l'altra.[1]

Una aplicació notable de l'homotopia és la definició dels grups homotòpics i cohomotòpics, invariants importants en la topologia algebraica.[2]

Definició formal

[modifica]

Dues aplicacions contínues es diuen homotòpiques si hi ha una altra aplicació (contínua també) tal que:

Un exemple important és considerar les diferents classes (homotòpiques) de mapatges del cercle a un espai

l'estructura resultant és l'importantíssim grup fonamental.[3]

Tipus homotòpics

[modifica]

Es diu que dos espais X , Y són del mateix tipus homotòpic , si hi ha un parell d'aplicacions i tals que i són homotòpiques de i respectivament.

Sol ser utilitzat el símbol: , per indicar que els objectes f i g són homotòpics .

Com a exemples, una 1-esfera i un tor sòlid tenen el mateix tipus homotòpic. La superfície del toro amb un "disc remogut" té el mateix tipus homotòpic que un producte cartesià de dues 1-esferes (bouquet de dos cercles).

Referències

[modifica]
  1. «algebraic topology - Path homotopy and separately continuous functions». Mathematics Stack Exchange.
  2. «Homotopy | mathematics» (en anglès). [Consulta: 17 agost 2019].
  3. Allen., Hatcher. Algebraic topology. Cambridge: Cambridge University Press, 2002, p. 185. ISBN 9780521795401. OCLC 45420394. 

Bibliografia

[modifica]