En topología , una rama de las matemáticas , dos funciones continuas de un espacio topológico a otro se denominan homotópicas (del griego antiguo : ὁμός homós "igual, similar" y τόπος tópos "lugar") si una se puede "deformar continuamente" en la otra. , denominándose tal deformación una homotopía entre las dos funciones. Un uso notable de la homotopía es la definición de grupos de homotopía y grupos de cohomotopía , invariantes importantes en la topología algebraica . [1]
En la práctica, existen dificultades técnicas para utilizar homotopías con determinados espacios. Los topólogos algebraicos trabajan con espectros , complejos CW o espacios generados de forma compacta .
Formalmente, una homotopía entre dos funciones continuas fyg de un espacio topológico X a un espacio topológico Y se define como una función continua del producto del espacio X con el intervalo unitario [0, 1] a Y tal que y para todo .
Si pensamos en el segundo parámetro de H como tiempo, entonces H describe una deformación continua de f en g : en el tiempo 0 tenemos la función f y en el tiempo 1 tenemos la función g . También podemos pensar en el segundo parámetro como un "control deslizante" que nos permite realizar una transición suave de fag a medida que el deslizador se mueve de 0 a 1, y viceversa.
Una notación alternativa es decir que una homotopía entre dos funciones continuas es una familia de funciones continuas para tal que y , y el mapa es continuo de a . Las dos versiones coinciden por ambientación . No es suficiente exigir que cada mapa sea continuo. [2]