Definición de la aplicación de homotopía y de equivalencia de homotopía