Conjunto simplemente conexo
De Wikipedia, la enciclopedia encyclopedia
En topología, se dice que un espacio topológico es simplemente conexo cuando es conexo por caminos y su grupo fundamental es el grupo trivial.[1] De forma equivalente, un espacio topológico es simplemente conexo si es conexo por caminos y toda aplicación continua
que sea un lazo, es decir, que verifique
para algún punto
, es contractible de forma continua a dicho punto mediante una homotopía
tal que
y
.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/P1S2all.jpg/640px-P1S2all.jpg)
En un espacio simplemente conexo se cumple que entre todo par de puntos existe una única clase de homotopía de caminos, es decir, todos los caminos que los conectan son homotópos entre sí. El término "simplemente conexo" viene precisamente de esta propiedad: sólo existe una forma, salvo homotopía, de conectar con un camino cualquier par de puntos del espacio.[1]
La noción de conexión simple es crucial en la conjetura de Poincaré.