TEMA 55

Bolas abiertas y cerradas. Conjuntos abiertos

y cerrados. Conjuntos compactos.
Aplicaciones continuas de Rn en Rm.
Propiedades de las aplicaciones continuas
En la primera secci
on se introducen las nociones de espacio metrico y espacio normado,
y las topologas inducidas por la distancia y la norma, y se prueba que Rm es un espacio
metrico completo. En la segunda seccion empleamos el Teorema de Tychono, Tema 53,
para extender a Rn el Teorema de Heine-Borel-Lebesgue que probamos para R en el Tema
11. En la tercera secci
on se traduce en terminos de las metricas la definicion de aplicaci
on
continua dada en el Tema 53, se prueba que las aplicaciones lipschitzianas entre espacios
metricos son continuas, lo que prueba la continuidad de las aplicaciones lineales de Rn
en Rm , y se introduce la nocion de conexion por caminos. Se demuestra que los espacios
metricos conexos por caminos son conexos y que el recproco es cierto para subconjuntos
abiertos de Rn .

1.

Espacios m
etricos

Definiciones y Observaci
on 1.1 (1) Un espacio metrico es un par (E, d) donde E es
un conjunto no vaco y d : E E R es una aplicacion, que se denomina distancia, que
cumple las siguientes propiedades: para cualesquiera puntos x, y, z E,
d(x, y) 0;

d(x, y) = 0 x = y;

d(x, y) = d(y, x)

d(x, z) d(x, y) + d(y, z).

La u
ltima desigualdad se conoce con el nombre de desigualdad triangular.
(2) Dado un subconjunto M E denotamos por abuso d : M M R la restricci
on
d|M M , que confiere a M estructura de espacio metrico, que denotamos (M, d).
(3) Dados a E y R+ los conjuntos
B (a) = {x E : d(x, a) < }

B (a) = {x E : d(x, a) }
41

TEMA 55. TOPOLOGIA DE Rn

42

se denominan bola abierta y bola cerrada de centro a y radio , respectivamente. Adem

as,
se llama esfera de centro a y radio al conjunto Sn1
(a)
=
{x

E
:
d(x,
a)
=
}.

(4) Sea B la familia de todas las bolas abiertas de (E, d). Entonces E = BB B y para
cualesquiera U, V B y cualquier punto x U V existe W B tal que x W U V .

En efecto, la primera igualdad es evidente, pues E = xE B1 (x). Para la segunda

parte sean a, b E y 1 , 2 R+ tales que U = B1 (a) y V = B2 (b) y x U V .
Entonces r1 = 1 d(x, a) > 0 y r2 = 2 d(x, b) > 0, por lo que r = mn{r1 , r2 } > 0.
As, W = Bx (r) B y x W U V . Comprobemos este u
ltimo contenido. Para cada
z W se tiene d(x, z) < r, por lo que
d(z, a) d(z, x) + d(x, a) < r + d(x, a) r1 + d(x, a) = 1 ,
lo que implica que W U , y tambien
d(z, b) d(z, x) + d(x, b) < r + d(x, b) r2 + d(x, b) = 2 ,
esto es, W V .
Observaci
on 1.2 De 55.1.1 (4) y 53.1.8 se deduce que existe una u
nica topologa en E que
tiene a B por base. Dicha topologa se denomina inducida por la distancia d, y ser
a la que
consideremos en cada espacio metrico. En lo sucesivo las nociones de subconjunto abierto
cerrado, adherencia, ..., en un espacio metrico son las que corresponden a su estructura
como espacio topol
ogico.
Definiciones y Observaciones 1.3 (Sucesiones) Sea (E, d) un espacio metrico.
(1) Una sucesi
on {xn }nN+ de elementos de E se dice de Cauchy si para cada R+
existe n0 N tal que d(xm , xn ) < para cada m, n > n0 .
(2) Se dice que una sucesi
on {xn }nN+ de elementos de E converge a E si para cada
+
R existe n0 N tal que d(xn , ) < para cada n > n0 . Se dice en este caso que la
sucesi
on {xn }nN+ es convergente.
(3) Si una sucesi
on {xn }nN+ de elementos de E converge a 1 E y tambien converge
a 2 E, entonces, 1 = 2 . En efecto, en caso contrario = d(1 , 2 )/2 > 0, y existen
n1 , n2 N tales que d(xn , 1 ) < para cada n > n1 y d(xn , 2 ) < para cada n > n2 . Por
tanto, tomando n > n1 + n2 se tiene
2 = d(1 , 2 ) d(1 , xn ) + d(xn , 2 ) < + = 2,
nico elemento E, que
y esto es absurdo. Por ello, si {xn }nN+ converge lo hace a un u
se denomina el lmite de la sucesion, y se denota = lmn {xn }.

TEMA 55. TOPOLOGIA DE Rn

43

(4) Toda sucesi

on convergente es de Cauchy. En efecto, si {xn }nN+ converge a , dado
R+ existe n0 N tal que d(xn , ) < /2 para cada n > n0 . Por tanto, para cada
m, n > n0 se tiene d(xm , xn ) d(xn , ) + d(, xm ) < /2 + /2 = .
(5) Se dice que el espacio metrico (E, d) es completo si toda sucesion de Cauchy de elementos de E es convergente.
Ejemplos 1.4 En 10.3.5 probamos que Q con la distancia usual no es completo. El intervalo E = (0, 1] con la distancia inducida por la de R es un espacio metrico no completo,
pues la sucesi
on {xn }nN+ de elementos de E definida por xn = 1/n no converge en E,
pues su lmite en R es 0
/ E, y sin embargo es de Cauchy, precisamente porque en R es
convergente. Por contra, veremos en 55.1.8 que Rn con la distancia eucldea es completo.
El caso n = 1 ya se prob
o en 21.3.2.
Definici
on y Observaciones 1.5 Sea (E, d) un espacio metrico.
(1) Un subconjunto C de E es cerrado si y solo si contiene a los lmites de las sucesiones de
puntos de C que son convergentes en E. En efecto, supongamos primero que C es cerrado
en E y sea {xn }nN+ una sucesion tal que cada xn C y existe lmn {xn } = E.
Si U = E \ C, que es abierto, existe R+ tal que B () U . Sea n0 N tal
que d(xn , ) < para cada n > n0 . Entonces xn0 +1 B () C = , lo que es una
contradicci
on.
Recprocamente, sean C E un conjunto que contiene a los lmites de las sucesiones
convergentes en E de puntos de C y p AdhE (C). Para cada n N+ existe un punto
xn B1/n (p) C. Esta sucesion converge a p, pues 0 d(xn , p) < 1/n, as que p C. En
consecuencia C = AdhE (C) luego, por 53.1.1, C es cerrado.
(2) Sea C un subconjunto cerrado de E. Consideramos en C la distancia d : C C R
inducida por d y que denotamos con el mismo smbolo. Entonces, (C, d) es un espacio
metrico completo. En efecto, dada una sucesion de Cauchy {xn }nN+ de elementos de C
la interpretamos como sucesi
on de Cauchy en E. Como este espacio es completo existe
= lmn {xn } y, por (1), C.

(3) Un subconjunto X de E se dice acotado si existen p E y R+ tal que X B (p).

Es obvio que todo subconjunto de uno acotado es tambien acotado. Ademas, la union finita
de conjuntos acotados es acotado. En efecto, sean X1 , . . . , Xn subconjuntos acotados de
E y sean p1 ,. . . , pn E y n
umeros reales positivos 1 , . . . , n tales que cada Xi Bi (pi ).
n
Sean X = i=1 Xi , r = m
ax{d(pi , pj ) : 1 i, j n} y = max{k : 1 k n}.
Entonces, dado x X existe 1 i n tal que x Xi Bi (pi ) B (pi ), por lo que
d(x, p1 ) d(x, pi ) + d(pi , p1 ) < + r, luego X Br+ (p1 ), y por tanto X es acotado.

TEMA 55. TOPOLOGIA DE Rn

44

Definici
on y Proposici
on 1.6 Dos distancias d1 : E E R y d2 : E E R se
dicen equivalentes si existen n
umeros reales positivos K y M tales que
Kd1 (x, y) < d2 (x, y) < M d1 (x, y)
para cada par de puntos x, y E. Supongamos que (E, d1 ) es completo. Entonces, tambien
(E, d2 ) es completo.
Demostraci
on. Sea {xn }nN+ una sucesion de Cauchy en (E, d2 ). Entonces tambien es de
Cauchy en (E, d1 ), pues para cada R+ existe n0 N tal que d2 (xn , xm ) < K para
cada m, n > n0 y por ello, d1 (xn , xm ) < (1/K)d2 (xn , xm ) < . Como (E, d1 ) es completo,
existe x = lmn {xn } en (E, d1 ). Comprobemos que esta sucesion tambien converge a
x en (E, d2 ). En efecto, dado R+ existe n0 N tal que d1 (xn , x) < /M para cada
n > n0 y, por tanto, d2 (xn , x) < M d1 (xn , x) < .

Definici
on y Observaciones 1.7 (Espacio normado) (1) Un R-espacio normado es
un par (E, ) donde E es un R-espacio vectorial y : E R es una aplicacion, que
se denomina norma, que cumple las siguientes propiedades: para cada u, v E y cada
R,
u 0;

u = 0 u = 0;

u = || u

u + v u + v.

La u
ltima desigualdad se denomina desigualdad triangular. Observese que dados u, v E
se tiene
u = (u v) + v u v + v,

luego u v u v,

e intercambiando los papeles de u y v resulta vu v u = uv. En conclusi

on,

u v u v.
(1.1)

(2) La aplicaci
on d : E E R, (u, v) u v es una distancia, que se dice inducida
por , que hace de (E, d) un espacio metrico. En efecto, dados x, y E se tiene
d(x, y) = x y 0 y d(x, y) = 0 si y solo si x y = 0 esto es, x y = 0, o lo que es
lo mismo, x = y. Adem
as,
d(y, x) = y x = | 1| y x = x y = d(x, y).
Por u
ltimo, la desigualdad triangular se deduce as; dados x, y, z E,
d(x, y) = x z = (x y) + (y z) x y + y z = d(x, y) + d(y, z).
Se dice que el espacio normado (E, ) es completo si lo es como espacio metrico con la
distancia inducida por .

TEMA 55. TOPOLOGIA DE Rn

45

Definici
on y Observaciones 1.8 (1) Consideraremos en Rm siempre la llamada norma
eucldea definida por

: Rm R, u = (u1 , . . . , um ) u21 + + u2m .

(2) Para cada vector u = (u1 , . . . , um ) Rm se cumplen las desigualdades
|uj | u |u1 | + + |um |

para cada 1 j m.

(1.2)

En efecto, como todos los terminos involucrados son no negativos es suficiente observar
que sus cuadrados satisfacen las desigualdades propuestas, y eso es evidente, pues
|uj |2 = u2j u21 + + u2m (|u1 | + + |um |)(|u1 | + + |um |).
(3) Comprobemos que (Rm , ) es completo. En efecto, sea {xn }nN+ una sucesi
on de
m
1
m
m
Cauchy en R . Cada xn = (xn , . . . , xn ) R y, fijado un ndice 1 j m, la sucesi
on
de n
umeros reales {xjn }nN+ es tambien de Cauchy. En efecto, dado R+ existe n0 N
tal que para cada n, k > n0 se tiene xn xk < , luego |xjn xjk | xn xk < .
umero real j , y vamos a
Como R es completo la sucesion {xjn }nN+ converge a cierto n
demostrar que {xn }nN+ converge a = (1 , . . . , m ). En efecto, dado R+ existe, para
cada 1 j m, un n
umero natural nj tal que |xjn j | < /m para cada n > nj . Entonces,
si n0 = m
ax{nj : 1 j m} y n > n0 se cumple
xn |x1n 1 | + + |xm
n m | < .
Proposici
on 1.9 La topologa inducida en Rm por la norma eucldea coincide con la
topologa producto (vease 53.2.1) de la topologa usual de R. Se la denomina topologa
usual de Rm .
Demostraci
on. Denotemos s
olo para esta prueba por T1 y T2 la topologa inducida por la
m
norma eucldea de R y la topologa producto en Rm , respectivamente. Una base de la
primera es la familia de paraleleppedos
B1 = {(a1 , b1 ) (am , bm ) : ai < bi para cada 1 i m}
y, como hemos se
nalado en 55.1.1, una base de la segunda es B2 = {Br (a) : a Rm , r > 0}.
Para probar que las topologas T1 y T2 coinciden es suficiente probar que para cada
P B1 y cada x P existe B B2 tal que x B P , y que para cada B B2 y cada
x B existe P B1 tal que x P B.

TEMA 55. TOPOLOGIA DE Rn

46

En primer lugar, denotemos P = (a1 , b1 ) (am , bm ) y x = (x1 , . . . , xm ) P , y

sea r = mn{xi ai , bi xi : 1 i m}. Comprobemos que x B = Bx (r) P . En
efecto, para cada y = (y1 , . . . , ym ) B se tiene y x < r luego, por (1.2),
|yi xi | y x < r mn{xi ai , bi xi }, es decir, yi (ai , bi )
para cada 1 i m, por lo que y P . Recprocamente, sean B = B (a) B2 y x B.
Si denotamos
x = (x1 , . . . , xm ) y a = (a1 , . . . , am ),

cada |xi ai | x a < y denotamos r = /m y P = m

i=1 (ai r, ai + r) B1 . Basta
comprobar que x P B. Para lo primero, notese que |xi ai | < r, luego x P .
Para lo segundo,
si y = (y1 , . . . , ym ) P se tiene |yi ai | < r para cada 1 i m, por
lo que y a m

i=1 |yi ai | < mr = , o sea, y B (a) = B.

2.

Espacios compactos

Proposici
on 2.1 Sean (E, d) un espacio metrico y K E. Si K es compacto entonces
K es un subconjunto acotado que es cerrado en E.
Demostraci
on. Probamos primero que K es acotado. Fijamos un punto p E y consideramos, para cada x K, el n
umero real positivo x = 1 + d(x, p). Como x Bx (p), la
familia A = {K Bx (p) : x K} constituye un recubrimiento
abierto de K. Por ser este
compacto, existe un subconjunto finito F K tal que K xF Bx (p) lo que implica,
por 55.1.5 (3), que K es acotado.
Para demostrar que K es cerrado en E demostraremos que U = E \ K es abierto. Sea
p U y observemos que cada punto x K es distinto de p, y por tanto x = d(x, p)/2 > 0 y
x Bx (x) pero Bx (x)Bx (p) = . En caso contrario existira y E tal que d(x, y) < x
y d(p, y) < x , luego, por la desigualdad triangular, d(x, p) d(x, y) + d(y, p) < 2x , y esto
es falso. Como K es compacto y la familia B = {K Bx (x) : x
K} es un recubrimiento
abierto de K existe un subconjunto finito F de K tal que K xF Bx (x).
La intersecci
on
finita de subconjuntos abiertos de E es tambien un subconjunto abierto,
53.1.1, luego V = xF Bx (p) es un subconjunto abierto de E que contiene a p, por lo
que existe un n
umero real positivo r tal que Br (p) V . Ademas, como cada intersecci
on
Bx (x) Bx (p) = , se tiene

p Br (p) V E \
Bx (x) E \ K = U,
xF

lo que demuestra que U es abierto en E.

TEMA 55. TOPOLOGIA DE Rn

47

Teorema 2.2 (Teorema de Heine-Borel-Lebesgue en Rn ) Un subconjunto K de Rn

es compacto si y s
olo si es acotado y cerrado en Rn .
Demostraci
on. Hemos visto en 55.2.1 que si K es compacto entonces es acotado y cerrado
n
en R . Recprocamente, sea K Rn acotado y cerrado en Rn . En particular, existen
p Rn y R+ tales que K B (p). Comprobemos que K I n donde I = [R, R]
y R = + p. En efecto, si x = (x1 , . . . , xn ) K B (p), entonces x p < , luego
x x p + p < + p = R, y esto implica, por 55.1.2, que |xi | x < R para
cada 1 i m, por lo que x I n . Ademas I es compacto, seg
un vimos en 11.2.4, luego,
n
por el Teorema de Tychono, 53.2.5, tambien I es compacto, cuando consideramos en Rn
la topologa producto. Pero, de acuerdo con 55.1.9, la topologa producto en I n coincide
con la topologa inducida por la usual de Rn , esto es, la inducida por la metrica eucldea.
En consecuencia I n es compacto.
Adem
as, K es cerrado en Rn , luego Rn \K es abierto en Rn , y en consecuencia I n \K =
n
(R \ K) es un subconjunto abierto de I n . Esto significa que K es un cerrado del
espacio compacto I n , lo que implica, por 53.2.4, que K es tambien compacto.

In

Observaciones 2.3 (1) En espacios metricos mas generales no todos los subconjuntos
cerrados y acotados son compactos. Por ejemplo, sea E un conjunto infinito en el que
definimos la distancia d : E E R mediante: dados x, y E,

0 si x = y
d(x, y) =
1 si x = y
Con esta distancia B (x) = {x} si 0 < 1, y E = B2 (x) para cada x E. Por tanto, E es
cerrado y acotado, pero no es compacto pues la familia {B1 (x) :x E} es un recubrimiento
abierto de E y para cada subconjunto finito F de E se tiene xF B1 (x) = F = E.

(2) La misma demostraci

on que en 23.1.9 prueba que si K Rn es un subconjunto
compacto y f : K R es continua, entonces es uniformemente continua.

3.

Aplicaciones continuas

La noci
on general de aplicacion continua entre espacios topologicos se expresa del modo
siguiente cuando los espacios involucrados tienen estructura metrica.
Proposici
on 3.1 Sean (E1 , d1 ) y (E2 , d2 ) espacios metricos, f : E1 E2 una aplicaci
on
y a E1 . Entonces, f es continua en a si y solo si para cada R+ existe R+ tal
que d2 (f (x), f (a)) < para cada x E1 que cumple d1 (x, a) < , esto es, si se satisface
la inclusi
on f (B (a)) B (f (a)).

TEMA 55. TOPOLOGIA DE Rn

48

Demostraci
on. Si f es continua en a, para cada R+ la bola abierta B (f (a)) es un
entorno de f (a), luego, de acuerdo con la definicion 53.3.1, la preimagen f 1 (B (f (a))) es
un entorno de a. Existe por tanto un n
umero real > 0 tal que B (a) f 1 (B (f (a))),
es decir, f (B (a)) B (f (a)). Recprocamente, si G es un entorno de f (a) en E2 existe
R+ tal que B (f (a)) G. Por la hipotesis, existe un entorno B (a) de a en E1 tal que
f (B (a)) B (f (a)) G, luego f es continua en a.

Definiciones y Proposici
on 3.2 (Aplicaci
on lipschitziana) Sean (E1 , d1 ) y (E2 , d2 )
dos espacios metricos y f : E1 E2 una aplicacion.
(1) Se dice que f es localmente lipschitziana en el punto a E1 si existen n
umeros reales
> 0 y M > 0 tales que d2 (f (x), f (a)) M d(x, a) para cada x E1 B (a).
(2) Si f es localmente lipschitziana en a entonces f es continua en a.
(3) Se dice que f es lipschitziana si existe M R+ tal que d(f (x), f (y)) M d(x, y) para
cada x, y E1 . En tal caso f es continua.
(4) Toda aplicaci
on lineal L : Rn Rm es lipschitziana.

Demostraci
on. (2) Suponemos que f cumple (1). Dado R+ el n
umero = mn{/M, }
es positivo y cumple d(f (x), f (a)) M d(x, a) < M para cada x B (a), luego f es
continua en a.
(3) Por ser lipschitziana, f es localmente lipschitziana en cada punto de E1 y, por el
apartado anterior, f es continua en cada punto de E1 , luego es continua.
(4) Sean E = {e1 , . . . , en } la base estandar de Rn y R = max {L(ej ) : 1 j n}.
Denotamos M = nR. Entonces, dados x, y Rn y si v = x y = (v1 , . . . , vn ) Rn se
cumple, por la desigualdad triangular y (1.2),
n
n

vj ej =
vj L(ej )
L(x) L(y) = L(x y) = L(v) = L
j=1

j=1

|vj | L(ej ) R

j=1

|vj | R

j=1

j=1

v = nRv = M x y.

Observaci
on y Ejemplos 3.3 (1) Sea a Rn . La funcion : Rn R, x x a es
uniformemente continua pues para cada punto p Rn y cada R+ existe = R+
tal que para cada x Rn con d(x, p) < se tiene, en virtud de (1.1),

|(x) (p)| = x a p a (x a) (p a) = x p = d(x, p) < = .

TEMA 55. TOPOLOGIA DE Rn

49

(2) Sean a Rn y > 0. La bola cerrada B (a) y la esfera Sn1

(a) = {x Rn : xa = }

son compactos. En efecto, ambos son acotados, pues estan contenidos en la bola abierta
B2 (a). Por tanto, a la vista del Teorema de Heine-Borel-Lebesgue, 55.2.2, es suficiente
demostrar que son cerrados en Rn . Ahora bien, con las notaciones del apartado anterior,
B (a) = 1 ([0, ]) y Sn1
(a) = 1 ({}) son cerrados, en virtud de 53.3.2, porque es

continua y tanto [0, ] como {} son subconjuntos cerrados de R.

Definiciones y Proposici
on 3.4 (1) Sea (E, d) un espacio metrico. Un camino que une
los puntos p, q E es una apliacion continua : [0, 1] E tal que (0) = p y (1) = q.
(2) Un subconjunto M de E se dice conexo por caminos si para cada par de puntos p, q M
existe una camino : [0, 1] M que une p y q.
(3) Cada subconjunto conexo por caminos M de E es conexo.
Demostraci
on. (3) Supongamos que M no es conexo. Existen por tanto subconjuntos
abiertos, disjuntos y no vacos U1 y V1 de M tales que M = U1 V1 . Sean U y V
subconjuntos abiertos de E tales que U1 = U M y V1 = V M . Tomamos puntos
p U1 y q V1 y un camino : [0, 1] M tal que (0) = p y (1) = q. Como es una
aplicaci
on continua, A = 1 (U ) y B = 1 (V ) son subconjuntos abiertos, disjuntos y no
vacos de [0, 1] tales que [0, 1] = A B. Esto implica que el intervalo [0, 1] no es conexo, lo
que contradice 11.2.6.

Ejemplos 3.5 (1) Un subconjunto M de Rn se dice convexo si para cada par de puntos
p, q M el segmento S(p, q) = {(1t)p+tq : t [0, 1]} esta contenido en M . Los conjuntos
convexos son conexos por caminos, luego conexos, ya que dados dos puntos p, q M el
camino : [0, 1] M, t (1 t)p + tq une p y q.

(2) En particular Rn es convexo, pues para cada par de puntos p, q Rn el segmento

S(p, q) Rn . Por ello es conexo por caminos, luego conexo.
n

(3) Denotemos por X, indistintamente, la bola abierta Bn (a) o la bola cerrada B (a) de
centro a y radio en Rn . Entonces X es convexo, y, en particular, es conexo. En efecto,
dados p, q X hemos de probar que S(p, q) X. Cada punto x S(p, q) se escribe
como x = (1 t)p + tq = (1 t)(p a) + t(q a) + a para cierto t [0, 1], luego
x a = (1 t)(p a) + t(q a) y, en consecuencia,
x a = (1 t)(p a) + t(q a) (1 t)p a + tq a.
Por tanto x a < (1 t) + t = si X = Bn (a), y x a (1 t) + t = si
n
X = B (a). En ambos casos x X, luego S(p, q) X.

TEMA 55. TOPOLOGIA DE Rn

50

(4) Sea n 2. Entonces la esfera Sn1

(a) es conexo. Para ello basta aplicar el Lema del

+ (a) H (a), donde los hemisferios

pivote 53.3.6, y escribir Sn1
(a)
=
H

H+ (a) = {x Sn1
(a) : xn 0} y

H (a) = {x Sn1
(a) : xn 0}

son conexos con intersecci

on no vaca pues comparten el punto p = (1, 0, . . . , 0). Para comprobar que H+ (a) y H+ (a) son conexos aplicamos 53.3.7, observando que estos conjuntos
son, respectivamente, las im
agenes de las aplicaciones continuas

n1
n1
B (a) H+ (a), x (x, 2 x2 ) y B (a) H (a), x (x, 2 x2 )
n1

y que, seg
un acabamos de probar, la bola cerrada B

(a) es conexo.

(5) (Concatenaci
on de caminos) Sean X un subconjunto de Rn y a, p, q X. Supongamos
que existen caminos : [0, 1] X y : [0, 1] X tales que (0) = p, (1) = (0) = a y
(1) = q. Entonces el camino

(2t)
si 0 t 1/2
: [0, 1] X, t
(2t 1) si 1/2 t 1
une (0) = p con (1) = q. Observese que ([0, 1]) = ([0, 1]) ([0, 1]) X.

Proposici
on 3.6 Todo subconjunto abierto y conexo de Rn es conexo por caminos.
Demostraci
on. Sea X Rn abierto y conexo. Fijado un punto p X se trata de probar
que el conjunto
U = {q X : existe un camino en X que une p y q}
es abierto y cerrado en X. Visto esto, V = X \ U es tambien abierto, luego X = U V
es uni
on de abiertos disjuntos y U = pues p U . Como X es conexo, necesariamente
V = , es decir, X = U , lo que significa que todo punto de X se puede unir con p mediante
un camino. Como p es un punto arbitrario se concluye que X es conexo por caminos.
Veamos que U es abierto. Dado q U existe, por ser X abierto en Rn , un n
umero real
> 0 tal que B (q) X, y comprobamos que B (q) U , lo que prueba que U es abierto.
En efecto, para cada x B (q) el segmento S(q, x) B (q) X, por 55.3.5. Adem
as
existe un camino en X que une p con q U X. Por concatenacion, existe un camino en
X que une p con x, luego x U , es decir, B (q) U .
Para demostrar que U es cerrado empleamos la caracterizacion 55.1.5. Sea {xn }nN+
una sucesi
on que converge a x X y tal que cada xn U . Como X es abierto en Rn existe
> 0 tal que B (x) X y, como x = lmn {xn }, existe n0 N+ tal que xn B (x)
para cada n > n0 . En particular, si m = n0 + 1, el segmento S(xm , x) B (x) X, y
adem
as existe un camino que une p con xm U X. Por concatenacion, existe un camino
en X que une p con x, luego x U .