Homotopía
De Wikipedia, la enciclopedia libre
En topología, la noción de homotopía captura el ideal de que goza la topología de ser la geometría de la hoja de hule, es decir, de lo deformable. Dos aplicaciones continuas de un espacio topológico en otro se dicen homotópicas (del griego homos = mismo y topos = lugar) si una de ellas puede "deformarse continuamente" en la otra.
Contenido |
[editar] Definición formal
Dos aplicaciones continuas 
se dicen homotópicas si existe otra aplicación (continua también) ![H:X\times [0,1]\to Y](http://upload.wikimedia.org/math/e/9/0/e90fbf798237734541171ebfcd412898.png)
tal que:
Un ejemplo importante es considerar las diferentes clases (homotópicas) de mapeos del círculo a un espacio X
la estructura resultante es el importantísimo grupo fundamental.
[editar] Tipo homotópico
Se dice que dos espacios X, Y tienen el mismo tipo homotópico, si existe un par de mapeos 
y 
tales que 
y son homotópicos a IdX y IdY respectivamente.
Suele ser utilizado el símbolo: 
, para indicar que los objetos f y g son homotópicos.
Como ejemplos, una 1-esfera y un toro sólido tienen el mismo tipo homotópico. La superficie del toro con un disco removido tiene el mismo tipo homotópico de un producto wedge de dos 1-esferas (bouquet de dos círculos).
