Definición
Una deformación continua entre dos aplicaciones continuas (o espacios) parametrizada por un intervalo: una homotopía entre f y g es una aplicación continua H(x,t) con H(·,0)=f y H(·,1)=g, que expresa que f puede deformarse continuamente en g.