Ir al contenido

Arco conexo

De Wikipedia, la enciclopedia libre

En topología un espacio topológico se dice que es conexo por arcos o arcoconexo si dos elementos cualesquiera pueden conectarse mediante una curva homeomorfa al intervalo unidad.

Definición

[editar]

Sea un espacio topológico. Un arco en es un embebimiento , es decir, una aplicación continua que es un homeomorfismo restringida a su rango . Obviamente se puede sustituir por cualquier otro intervalo cerrado , ya que son todos homeomorfos.

Se dice que es un espacio conexo por arcos o arcoconexo si para cada par de puntos distintos , existe un arco tal que y .

Conexión por arcos y por caminos

[editar]

Es obvio que todos los espacios conexos por arcos son conexos por caminos. El recíproco no es en general cierto. Como contraejemplo basta considerar la recta con dos orígenes: Tómense dos copias de la recta real, y . Definimos la recta con dos orígenes como el espacio cociente que se obtiene al identificar con si . Intuitivamente, este espacio es como la recta real, pero posee dos orígenes (las clases de equivalencia de y ) que son imposibles de separar. Luego este espacio no es de Hausdorff. Más aún, no existe ningún arco que una ambos orígenes. Por lo tanto no es arcoconexo, pero es sencillo comprobar que sí es conexo por caminos.

A pesar de que en general ambas nociones son distintas coinciden en una de las clases más importantes de espacios topológicos, los Hausdorff.