La noción de espacio contráctil o contractible es muy importante en topología algebraica, ya que representa la clase más sencilla de espacios desde el punto de vista de la homotopía.
es contráctil si tiene el tipo de homotopía de un punto, es decir, si existe una equivalencia homotópica entre el espacio
formado por un solo punto.
[3]Esto significa, por definición, que existan dos funciones continuas de
y viceversa que compuestas sean homótopas a la identidad de cada espacio.
En un espacio topológico contráctil
o contractible la aplicación identidad
es homótopa a alguna aplicación constante
c ( x ) = p
Intuitivamente, un espacio contráctil puede ser deformado continuamente hasta convertirlo en un punto.
[4] [5] [6] De hecho, esta propiedad es equivalente a la definición y se puede tomar como definición alternativa, como se demuestra a continuación.
es contráctil si es homotópicamente equivalente a un conjunto
formado por un solo punto.
Esto significa que existan dos funciones continuas
denota la relación de homotopía.
En este caso, se tiene que la identidad de
es una aplicación constante igual a
{\displaystyle \operatorname {id} _{X}\sim g\circ f}
constante igual a
es homotópicamente equivalente a un punto.
Para ver esto último tenemos que construir dos funciones continuas
sólo puede ser la constante igual a
g ( q ) = p ∈
{\displaystyle g(q)=p\in X}
es la constante igual a
, que es, por hipótesis, homótopa a la identidad de
En conclusión, tenemos dos formas equivalentes de definir espacio contráctil: Un espacio contráctil
verifica las siguientes propiedades: Construimos un camino de
Simétricamente, podremos construir un camino de
Concatenando el primero y este último obtenemos un camino (continuo por el lema del pegado) de