Espacio conexo por caminos
En topología un espacio topológico se dice que es conexo por caminos si dos elementos cualesquiera pueden conectarse mediante una curva.
Definición editar
Sea un espacio topológico. Una curva en es una aplicación continua . (En realidad, puede ser cualquier intervalo , pero siempre se puede normalizar y llevar a ).
![{\displaystyle f:[0,1]\longrightarrow X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/903478d9804e94c5aaa605152a940818d9a6ac9a)
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![{\displaystyle [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
Se dice que es un espacio conexo por caminos si: continua (i.e., una curva) tal que .
![{\displaystyle \forall x,y\in X,\exists f:[0,1]\longrightarrow X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4b5fd62c332277136771588c214310de137ad0c)
Es decir, en términos intuitivos, si cada par de puntos pueden ser unidos mediante una curva, o, dicho de otro modo, "conectados por un camino" (y de ahí el nombre).
Para , la definición de conexidad por caminos es la misma que antes, sólo que ahora pidiendo que cada par de puntos en puedan ser conectados por una curva continua contenida en . Esta definición es equivalente a pedir que , dotado de la topología traza, sea un espacio conexo por caminos.
Conexión y conexión por caminos editar
Se cumple que todo espacio conexo por caminos es también conexo, sin embargo, el recíproco no es cierto, es decir, existen espacios conexos que no son conexos por caminos. Un ejemplo es la curva seno del topólogo, que es la adherencia del gráfico de la función , es decir, el conjunto
![{\displaystyle G=\{(x,y)\in \mathbb {R} ^{2}:x\in (0,1),y=\sin(1/x)\}\cup \{(x,y)\in \mathbb {R} ^{2}:x=0,y\in [-1,1]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a966144bb98696594fb7e67e9b6894588aa39ef4)
Como el gráfico de la función por sí solo es conexo, su adherencia también (esa propiedad siempre se cumple para conjuntos conexos). Sin embargo, nunca podremos conectar por un camino continuo un punto del grafo con un punto del trozo del eje y tomado.
Conexión por caminos y arcoconexión editar
- Todo espacio topológico arcoconexo es conexo por caminos, aunque no es cierto que todo espacio conexo por caminos sea arcoconexo.
- Si un espacio es conexo por caminos y es un espacio de Hausdorff, entonces también será arcoconexo.
Temas relacionados editar
- Seno del topólogo
- Peine del topólogo, otro ejemplo que ilustra que un espacio conexo no tiene por qué ser conexo por caminos.
Datos: Q3487687
