Espacio contráctil

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

Algunos espacios contráctiles y no contráctiles. A, B y C son contráctiles; D, E y F no lo son.