Conjunto simplemente conexo

S^2

es simplemente conexa ya que es conexa por caminos y todo lazo puede contraerse continuamente sobre la superficie a un punto.

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 $X$ es simplemente conexo si es conexo por caminos y toda aplicación continua $f:[0,1]\to X$ que sea un lazo, es decir, que verifique $f(0)=f(1)=p$ para algún punto $p\in X$ , es contractible de forma continua a dicho punto mediante una homotopía $H:[0,1]\times [0,1] \to X$ tal que $H(s,0)=f(s)$ y $H(s,1)=p$ .

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é.

Ejemplos

Informalmente, un objeto es simplemente conexo si está formado por una sola pieza y no contiene agujeros que lo atraviesen.

Este espacio no es simplemente conexo. Aunque es conexo por caminos, tiene agujeros que lo atraviesan y por tanto su grupo fundamental no es trivial.

Un toro no es simplemente conexo. Ninguno de los dos lazos coloreados puede contraerse en un punto sin abandonar la superficie.

El espacio euclídeo $\mathbb{R}^n$ es simplemente conexo.
El espacio euclídeo sin el origen $\mathbb{R}^n-\{\mathbf{0}\}$ es simplemente conexo si y sólo si $n>2$ . Para $n=1, \mathbb{R}-\{0\}$ no es conexo por caminos; para $n=2, \mathbb{R}^2-\{\mathbf{0}\}$ tiene un grupo fundamental isomorfo a $(\mathbb{Z},+)$ que es diferente al grupo trivial.
La esfera $n$ -dimensional $S^n$ es simplemente conexa si y sólo si $n\ge2$ .
El toro es conexo por caminos, pero su grupo fundamental es isomorfo a $(\mathbb{Z}\times\mathbb{Z}, +)$ . Por tanto, no es simplemente conexo.
Todo subespacio convexo en $\mathbb{R}^n$ es simplemente conexo.
Todo espacio contractible es simplemente conexo. Lo opuesto no es cierto; por ejemplo, la esfera $S^2$ es simplemente conexa pero no es contractible.

Véase también

Homotopía
Grupo fundamental
Espacio conexo por caminos
Conjetura de Poincaré
Espacio contractible

Referencias

1 2 Hatcher, Allen. Algebraic topology (2002 edición). Cambridge University Press. ISBN 0-521-79540-0.

Enlaces externos

Weisstein, Eric W. «SimplyConnected». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.

This article is issued from Wikipedia - version of the Wednesday, December 31, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.