Conexidad por Caminos

La definición de espacio conexo como aquel que admite sólo la escisión trivial y la expresión
matemática de la idea de conjunto formado por un solo pedazo. Otra manera de expresar la
conexión de un espacio y decir que se puede pasar de uno de sus puntos a otro por un
movimiento continuo, sin salir del espacio. Esto nos lleva a la noción de espacio conexo por
caminos, concepto más particular y provisto de más significado intuitivo que el concepto general
de espacio conexo.

Un camino en un espacio métrico M y una aplicación continúa f: [0,1] M. Los puntos a=f(0)
y b=f(1), pertenecientes a M, son los extremos del camino f; a es el punto inicial (o origen) y b
es punto final (o final) de f. En este caso, se dice que el camino f une el punto a al punto b en M.
Cuando a=b, se dice que f es un camino cerrado en M. Dados los caminos f, g:[0,1] M con
f(1)=g(0), podemos definir el camino yuxtapuesto f v g:[0,1] M, que consiste en seguir primero
f y después g. La definición formal es: (fvg)(t) = f(2t), si t ∈ [0,1/2] y (fvg)(t) = g(2t-1),
si t ∈ [1/2, 1]. Desde f (1) = g (0), estas reglas del mismo valor a f v g en el punto 1/2 y por lo
tanto f v g es continuo. (Véase la Proposición 11 y corolario, Capítulo 3.) Si f: [0,1] M es tal que
f(0) = a y f(1) = b entonces f*: [0,1] M, definido por f*(t) = f(1-t), es tal que f*(0) = b
y f*(1) = a.

Si escribimos a ~ b para indicar que existe un camino en M comenzando en a y terminando en

b, veremos que la relación "a ~ b” es reflexiva, simétrica y transitiva. Un ejemplo trivial de
camino es el constante f: [0,1] M, f(t)= c, para todo t ∈ [0,1].
Sea E un espacio vectorial. Dado a, b ∈ E, el segmento de recta de extremos a y b es el
conjunto [a,b] = {(1-t)a +tb; 0 ≤ t ≤1}.Cuando E es un espacio vectorial normado, la aplicación
f: [0,1] E, definida por f(t)= (1-t)a +tb, es continua y se llama el camino rectilíneo de extremos
a y b. A veces escribiremos [a, b], en vez de f.
Un subconjunto X de un espacio vectorial E se llama convexos cuando a, b ∈ X  [a, b] ⊂ X, es
decir, el segmento de recta que une dos puntos cualquiera de X está contenido en X.

Todo subespacio vectorial de E es un conjunto convexo. Se X⊂E y Y⊂F son convexos, entonces
X x Y es un subconjunto convexo del espacio vectorial E x F. En efecto, si z = (x, y) y z'= (x', y')
pertenecen a X x Y entonces, para todo t∈ [0,1], el punto (1-t)z +tz'= ((1-t)x +tx', (1-t)y +ty')
pertenece X x [Link] fácil comprobar también que una intersección arbitraria de conjuntos
convexos es un conjunto convexo.

EJEMPLO 15. Toda bola en un espacio vectorial normado es convexo. Sea B = B(a;r) la bola
abierta de centro a y radio r en el espacio vectorial normado E. Dados x, y ∈ B, obtenemos
|x-a|< r y |y-a|< r. Por lo tanto, para todo t∈ [0,1], |(1-t)x+ty-a|=|(1-t)(x-a)+t(y-a)| ≤
≤ (1-t)|x-a|+t|y-a|<(1-t)r+tr=r. Por lo tanto x,y ∈ B[x,y] ⊂ B y por lo tanto B es convexo. De la
misma forma se ve que toda bola cerrada es convexa. Un espacio métrico M se llama conexo
por caminos cuando dos puntos cualesquiera de M pueden ser conectados por un camino
contenida en M. Un conjunto X⊂M se dice conexo por caminos cuando el subespacio X tiene
esa propiedad.
Por ejemplo, todo conjunto convexo (en particular, toda bola) en un espacio vectorial normado
es conexo por caminos.

PROPOSICIÓN 10. Si el espacio métrico M es conexo por caminos, entonces M es conexo.

Demostración. Si f: [0,1] M es un camino, entonces la imagen f([0,1])es un subconjunto

conexo de M. (Proposición 2.) luego dos puntos cualesquiera en M están contenidos en un
subconjunto conexo de M. Por el Corolario de la Proposición 4, M es conexo.

Otra demostración de la Proposición 10, usando sólo la conexidad de [0,1]: Supongamos que
M = A ∪ B era una escisión no trivial de M. Tomemos a ∈ A y b ∈ B. Por hipótesis, existirá un
camino f: [0,1] M tal que f(0) = a, f(1) = b. Entonces [0,1]=f-1(M)= f-1(A) ∪ f-1(B) sería una
escisión de [0,1], con 0∈ f-1(A) y 1∈ f-1(B). Absurdo.

EJEMPLO 16. Sea E un espacio vectorial normado, con dim E> 1. Para toda a ∈ E, E - {a} es
conexo (por caminos) .De hecho sean x, y ∈ E- {a} .Se [x, y] ⊂ E- {a}, este segmento de recta
nos dará un camino de x a y en E- {a}. Si, pero a ∈ [x, y], como dim E> 1, existe un punto z no
alineado con [x, y]. Entonces el camino yuxtapuesto [x, z] v [z, y] que conecta x a y en E- {a}.

EJEMPLO 17. Generalizando el ejemplo anterior, sea X⊂R2 un subconjunto enumerable del
plano. Afirmamos que R2 - X es conectado por caminos, En efecto, dados x≠ y en R2 - X,
tomamos una recta S que corte el segmento [x, y] en un punto interior Para cada z ∈ S,
consideremos los caminos yuxtapuestos fz = [x, z] v [z, y] .Se z ≠ z´ en S, entonces los caminos fz
y fz´, tienen sólo sus extremos x, y en común.

Supongamos, por absurdo, que ninguno de los caminos fz estuviera enteramente contenido en
R2- X. En este caso, para cada z ∈ S, podríamos elegir un punto λ(z), perteneciente a la imagen
de fz y al conjunto X. La aplicación λ: S  X, así definida, sería inyectiva. Como X es enumerable
y S no es, esta conclusión es absurda. Por lo tanto, existe al menos un z ∈ S tal que fz es un
camino en R2 - X, que une x a y. Es decir que R2 - X es conexo por caminos. En particular, el
conjunto Z de los puntos (x, y) ∈ R2 tales que x o y es irracional es conexo por caminos, ya que
Z = R2 -Q2 y Q2 es enumerable. Más generalmente, sea E un espacio vectorial normado
cualquiera, con dim E> 1. Si X ⊂ E es enumerable, entonces E-X es conexo por caminos. En
efecto, dado x, y ∈ E-X, existe un plano P (subespacIo de dimensión 2 en E) que contiene x e y.
Por el resultado anterior, x se puede conectar a y por un camino en P-X, y por lo tanto en E-X.
Proposición 11.a) La imagen de un conjunto conexo por caminos a través de una
aplicación continua es conexa por caminos;
b) Una reunión de conjuntos conexos por caminos, todos con el mismo punto en común, es
conexa por caminos;
c) El producto cartesiano M = M1x... xMn es conexo por caminos si, y solamente si, cada factor
lo es.
Demostración. a) Dada: M N continúa y se toma φ(a), φ(b) en φ(M), sea f: [0,1]  M un
camino de a y b. Entonces φ o f: [0,1]N es un camino en φ(M), ligando φ(a) y φ(b).
b) Sea
𝑋 = ⋃𝑋
λ∈L
la reunión. Dados x, y ∈ X, existen λ, µ ∈ L tales que x ∈ Xλ y y ∈ Xµ. Sea f: [0,1]  X y
g : [0.1]  X caminos tal que f(0) = x, f(1) = p, g(0) = p y g(1) = y; donde p es un punto que
pertenece a todos los Xλ. En consecuencia f v g es un camino en X, de x a y.
c) Sea cada Mi conexo por caminos y tomemos x = (x1, ....., xn), y = (y1, ......, yn) en M.
Para cada i = 1, ... ., n, existe un camino fi: [0,1]  Mi tal que fi(0) = xi, fi(1) = yi.
Sea f = (f1, ..... fn): [0,1]  M un camino definido por f(t) = (f1(t), ........, fn(t) ). Es claro que f
recorre x a y en M.
Ejemplo [Link] conjunto conexo, que no es conexo por caminos.
Sea X ⊂ R2 el grafico de la función f: [0, +∞) R, dada por f(x) = cos(1 / x) si x> 0 y f(0) = 0
Según el ejemplo 8 anterior que X es conexo. Mostraremos que X no es conexo por caminos,
probando que si λ: [0,1]  X por un camino con, λ(0) = (0,0), entonces λ será constante. En
efecto, dado λ, podemos escribir, para todo t ∈ [0,1], λ(t) = (α(t)), f (α(t)), donde α = p1λ.
Sea A = {t∈[0,1]; α(t) = 0}. Queremos probar que A = [0,1]. Ahora, A es cerrado y no vacío, ya
que 0∈ A, Resta mostrar que A está abierto en [0,1] .Tomemos un punto a ∈ A. La continuidad
de λ nos da una bola J de centro a en [0,1] tal que t ∈ J => |λ(t)| <1. J es un intervalo, luego α(J)
es un intervalo que contiene [Link] α(J) no fuera degenerado, existiría n ∈ N tal que 1 /2πn ∈ α(J),
es decir, existiría t∈ J tal que α(t) = 1/2πn, o que daría λ(t) =(1/2πn, cos(2πn)) = (1/2πn, 1),
contradiciendo el hecho de ser |λ(t)|<1 para todo t ∈ J.
En el ejemplo anterior muestra que la Proposición 3 no vale para la conexión por caminos,
pues si G es el grafico de f: [0, +∞) entonces G ⊂ X ⊂ G´, siendo G conexo por caminos.

EJEMPLO [Link] n> 0, la bola Sn = {x ∈ Rn + 1, <x, x> = 1} es conexo por caminos. En efecto,
la aplicación f: Rn + 1 - {0}  Sn, dada por f(x) = x / | x |, es continua (Y sobre la base, pues f (x) =
x cuando x∈Sn). Por el ejemplo 16. Rn + 1- {0} es conexo por caminos (pues n> 0). Luego Sn
también lo es. El mismo resultado se puede obtener de manera directa: dado a, b ∈ Sn, si es b ≠
-a, es decir, si a y b no son antípodas entonces 0 ≠ [a, b]. En cuanto f: [0,1]  Sn, definido por

f(t) = (1-t)a+tb ,
|(1-t)a +tb|

es un camino en Sn, ligando a y [Link] camino es lo que se llama un "arco ab de grande círculo"
en Sn. Sin embargo, tuvimos b = -a, existirá infinitos arcos de grande circulo ligando a y b.
Elegimos uno de ellos así: fijamos un punto c ∈ Sn, tal que c ≠ a y c ≠ b y tomamos
f = yuxtaposición del arco ac con el arco cb.
Estableceremos a continuación una condición suficiente para que un espacio métrico conexo
sea conexo por caminos. Un espacio métrico M se llama localmente conexo por caminos
cuando para todo x ∈ M y toda vecindad V ϶ x existe una vecindad conexa por caminos U ϶ x
tal que x ∈ U⊂ V.

EJEMPLO 20. El espacio Rn o, más generalmente, todo espacio vectorial normado E, es

localmente conexo por caminos. En efecto, dados x∈ E y una vecindad V de x en E existe, por
definición de vecindad, una bola B de centro x tal que x∈ B ⊂ V. Ahora bien, B es conexa por
caminos, por ser convexa.

EJEMPLO [Link] M es localmente conexo por caminos, todo subconjunto abierto de Rn (o,
más generalmente, de un espacio vectorial normado) es localmente conexo por caminos.

EJEMPLO 22. Un espacio métrico M se llama una variedad topológica de dimensión n

cuando, para todo x ∈M existe un abierto U ϶ x homeomorfo a un subconjunto abierto del
espacio Rn. La esfera Sn es un ejemplo de variedad: dado x ∈Sn, tome y ≠ x, haga U = Sn - {y} y
use y como polo de una proyección estereográfica πy: U  Rn, la cual es un homeomorfismo
entre U y Rn. Otros ejemplos (triviales) de variedades son los subconjuntos abiertos de Rn. Se
sigue el ejemplo anterior que toda variedad topológica M es un espacio localmente conexo por
caminos. En efecto, dado x ∈ M y una vecindad V ϶ x, existe un abierto U ϶ x y un
homeomorfismo h: U  U0 , donde U0 es un abierto en [Link], si necesario, U por
U ∩ int V, podemos suponer x∈ U⊂V. Hay un abierto W0 en Rn, conexo por caminos, tal que
h(x)∈W0⊂U0. Por lo tanto W= h-1 (W0) es conexo por caminos, abierto en M, y tal que x∈W ⊂V.

PROPOSICION [Link] M un espacio métrico localmente conexo por caminos. Entonces M

es conexo por caminos si, y solamente si, es conexo.

Demostración. Supongamos que M es conexo (además de localmente conexo por caminos).

Escribimos x ~ y para significar que existe un camino f: [0,1] con f(0) = x y f(1) = y. Indiquemos
con x ~ y la negación de x ~ y. Sabemos que x ~ y, y ~ z => x ~ z. Fijemos entonces a ∈ M y
ponemos A = {x∈ M; x~a}. Afirmamos que A es abierto en M. En efecto, dado x∈A, tomamos
una vecindad conexa por caminos U ϶ x. Tenemos: u ∈U => u ~ x, x ~ a => u ~ a => u∈A. Luego
x ∈U ⊂A y por lo tanto A es abierto. También el complemento M -A es abierto. De hecho, dado
y∈M-A, existe una vecindad conexa por caminos W∈y. Tenemos: w∈W=>w~y, y ~ a=>w∈M- A.
Luego y∈W⊂M – A y por lo tanto M-A es abierto. Así, A es abierto, cerrado y no vacío. Como M
es conexo, concluimos que A = M. Luego, M es conexo por caminos. La reciproca es evidente.

Corolario. Un abierto U ⊂Rn es conexo si, y solamente si, es conexo por caminos.