Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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 Y.Es 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.
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 18.Un 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 0.Si α(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 19.Para 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 b.Este 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 21.Si 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.
Corolario. Un abierto U ⊂Rn es conexo si, y solamente si, es conexo por caminos.