Está en la página 1de 15

4.

3 UN GRAN TEOREMA: BOLZANO-WEIERSTRASS 100


4.3 Un gran teorema: Bolzano-Weierstrass
Teorema 4.3.1 (Bolzano-Weierstrass) En (R, | |) toda sucesin acotada tiene una sub-
sucesin convergente.
Demostracin
Sea (x
n
)

n=1
una sucesin acotada. Entonces por el teorema 4.2.6, (x
n
)

n=1
tiene una
subsucesin, (x
nk
)

k=1
, montona que en particular tambin est acotada. Por el teorema
4.1.20, (x
nk
)

k=1
converge.
El teorema de Bolzano-Weierstrass es un teorema nativo de R: no necesariamente es
cierto en cualquier espacio mtrico. An en espacios normados puede fallar. No es el caso
de R
m
y esto hace sospechar que cierta condicin nito dimensional es la que est detrs
del teorema. En los ejercicios encontrar el lector algunos ejemplos de espacios normados
donde falla el teorema de Bolzano-Weierstrass y, tambin como ejercicio, la demostracin
del teorema Bolzano-Weierstrass usando el Principio de Intervalos Anidados 2.5.2.
Probemos para cerrar esta seccin la versin R
m
del teorema de Bolzano-Weierstrass.
Esencialmente deberemos aplicar el teorema 4.3.1 coordenada a coordenada, sin embargo
hay una sutileza en el argumento: la simple aplicacin de Bolzano-Weierstrass coordenada
a coordenada, an cuando produce subsucesiones convergentes, hace que las subsucesiones
coordenadas convergen segn sus propios tiempos (pensemos por ejemplo, que la subsu-
cesin convergente de la primera coordenada tiene como sus ndices n
k
a los mltiplos de
tres mientras que la segunda tiene como sus n
k
s a los mltiplos de siete, etctera. Lo que
deseamos es una sucesin de tiempos de tal manera que las subsucesiones coordenadas
converjan todas a ese ritmo.
Preludio: supongamos que (x
n
)

n=1
y (y
n
)

n=1
son sucesiones reales acotadas. Queremos
obtener una sucesin de tiempos n
1
< n
2
< . . . tal que las subsucesiones (x
n
k
)

n
k
=1
y
(y
n
k
)

n
k
=1
sean ambas convergentes.
Como (x
n
)

n=1
es acotada tiene una subsucesin convergente, digamos (x
n
k
)

n
k
=1
. Note
que (y
n
j
)

n
j
=1
es una subsucesin acotada de (y
n
k
)

n
k
=1
y tiene por lo tanto una subsucesin
convergente, digamos (y
n
j
i
)

n
j
i
=1
. En particular, (x
n
j
i
)

n
j
i
=1
es una subsucesin de (x
n
k
)

n
k
=1
4.4 Y SI NO CONVERGE? 101
y por lo tanto converge. Luego (x
n
j
i
)

n
j
i
=1
y (y
n
j
i
)

n
j
i
=1
convergen.
Teorema 4.3.2 (Bolzano-Weierstrass en R
m
) En (R
m
,
2
) toda sucesin acotada tiene
una subsucesin convergente.
Demostracin
Sea (x
n
)

n=1
, con x
n
= (x
1
n
, . . . , x
m
n
), una sucesin acotada en (R
m
,
2
). Aplique
m-veces el preludio descrito anteriormente.
Existe una manera alternativa de demostrar el teorema anterior. A continuacin damos
un argumento grco del Teorema de Bolzano-Weierstrass, usando el Principio de Interva-
los Anidados 2.5.2.
r
r
r
r
r r
r
r
r
r
r
r
r
r
r r
r
r
r
r
r
r r
r
r
r
4.4 Y si no converge?
Si una sucesin no converge, sta puede tener subsucesiones convergentes. Por ejemplo,
si una sucesin real est acotada, sta tiene a fortiori subsucesiones convergentes por el
Teorema de Bolzano-Weierstrass. Una herramienta muy til en anlisis, como veremos
ms adelante, consiste en identicar al mayor y al menor de los lmites de las subsucesiones
4.4 Y SI NO CONVERGE? 102
convergentes de la sucesin en caso de que estos existan. Si queremos encontrar al mayor de
los lmites de las subsucesiones de una sucesin, es natural buscarlo entre aquellos nmeros
que casi acotan superiormente colas de las sucesin, de ah la siguiente denicin.
Denicin 4.4.1 Sea (x
n
)

n=1
una sucesin en R acotada. Consideremos el conjunto,
C = {c R : c x
n
excepto para un nmero nito de ns}.
Sea x

= inf(C), x

se llama el lmite superior de (x


n
)

n=1
y se denota por
x

= limsup x
n
= lim x
n
.
Observe que un nmero c es tal que c x
n
excepto para un nmero nito de ns si y
slo si existe N N tal que c x
n
para todo n N. Adems, cada cota superior de la
sucesin es elemento de C.
Ejemplo 4.4.2 En la sucesin (1)
n
, se tiene que el conjunto
C = {c R : c x
n
excepto para un nmero nito de ns } = [1, ).
Por lo tanto, limsup(1)
n
= 1.
El siguiente teorema caracteriza al limite superior de una sucesin.
Teorema 4.4.3 Sea (x
n
) una sucesin de nmeros reales acotada y sea x

R. Las si-
guientes armaciones son equivalentes:
a) x

= limsup x
n
.
b) Para cada > 0, x

+ x
n
excepto para un nmero nito de ns y x

< x
n
para una innidad de ns.
c) Si v
k
= sup{x
n
: n k} entonces x

= inf{v
k
: k 1}, es decir,
x

= inf
k1
_
sup
nk
{x
n
}
_
. (4.2)
4.4 Y SI NO CONVERGE? 103
d) La sucesin v
k
= sup{x
n
: n k} es no-decreciente y x

= lim
k
v
k
.
e) x

= sup L donde
L = {v R|v = limx
n
k
para alguna subsucesin (x
n
k
) de (x
n
)}.
De hecho, x

L por lo que x

= max L.
Demostracin
Para probar que a) implica b) sean x

= limsup x
n
y > 0. Como x

= inf C, existe
c C tal que x

c < x

+ . Esto implica que x

+ > c x
n
, excepto un nmero
nito de trminos. Ahora x

C, por lo tanto x

< x
n
para una innidad de ns.
Para ver que b) implica c) demostraremos primero que x

es cota inferior del conjunto


{v
k
: k 1}. Supongamos que existe k
0
N tal que x

> v
k
0
. Luego, si
0
> 0 es tal
que x


0
> v
k
0
entonces x


0
> x
n
para todo n k
0
. Lo cual es una contradiccin
porque x

0
< x
n
para una innidad de ns. Por lo tanto x

es cota inferior del conjunto


{v
k
: k 1}.
Sea > 0 arbitrario. Como x

+ > x
n
excepto para un nmero nito de ns, existe
k
1
N tal que x

+ > x
n
para toda n k
1
. Entonces x

+ es cota superior del conjunto


{x
n
: n k
1
} y por lo tanto x

+ v
k
1
.
Las dos condiciones anteriores implican que x

= inf
k1
{v
k
}.
Ahora, para mostrar que c) implica d) note que v
k
v
k+1
y (v
k
)

k=1
es acotada porque
(x
n
)

n=1
es acotada, luego lim
k
v
k
= inf
k1
{v
k
} = x

.
Para probar que d) implica e) probaremos primero que sup L x

. Para
1
= 1 como
v
1
= sup
n1
{x
n
} entonces existe x
n
1
tal que n
1
1 y v
1
1 < x
n
1
v
1
. Para
2
= 1/2,
como v
n
1
+1
= sup
nn
1
+1
{x
n
} entonces existe x
n
2
con n
2
> n
1
tal que v
n
1
+1
1/2 < x
n
2

v
n
1
+1
. Procedemos inductivamente para obtener as una subsucesin (x
nk
)

k=1
tal que:
v
n
k
+1

1
k
< x
n
k+1
v
n
k
+1
.
Observe que tanto v
n
k
+1

1
k
como v
n
k
+1
tienden a x

cuando k tiende a innito, entonces,


por el Principio del Sandwich, lim
k
x
n
k+1
= x

, por lo que x

L y por lo tanto
x

sup L.
4.4 Y SI NO CONVERGE? 104
Si x

< sup L entonces existe v L tal que x

< v sup L. Pero v = lim


k
x
n
k
para alguna subsucesin de (x
n
)

n=1
. Por hiptesis, x

= lim
k
v
k
y por tanto, existe
k
0
N tal que v
k
0
< v. Esto implica que si n k
0
entonces
x
n
sup
nk
0
{x
n
} = v
k
0
< v = lim
k
x
n
k
.
Esto es una contradiccin porque el conjunto {x
n
: n k
0
} contiene a los x

n
k
s si k es
sucientemente grande. Entonces x

= sup L. De hecho, x

= max L.
Por ltimo, para probar que e) implica a) sea c C tal que c x
n
para toda n N. Si
v = lim
k
x
n
k
entonces c v porque una cola de la subsucesin est en (, c]. Luego
c sup L = x

y por lo tanto inf C x

, es decir, limsup x
n
x

. Si limsup x
n
> x

sea
> 0 tal que C limsup x
n
> x

. Entonces limsup x
n
< x
n
para una innidad de
ns. Pero cualquier subsucesin convergente del conjunto {x
m
| limsup x
n
< x
m
} tendr
lmite al menos limsup x
n
> x

= sup L.
Totalmente anloga a la denicin de lmite superior es la denicin y caracterizacin
del lmite inferior. Dejamos como ejercicio al lector la demostracin del teorema corres-
pondiente.
Denicin 4.4.4 Sea (x
n
)

n=1
una sucesin acotada en R.
D = {d R : d x
n
excepto en un nmero nito de ns }.
Sea x

= sup C, x

se llama el lmite inferior de (x


n
)

n=1
y se denota por
x

= liminf x
n
= lim x
n
.
Teorema 4.4.5 Sea (x
n
)

n=1
acotada. Son equivalentes:
a) x

= liminf x
n
.
b) Para cada > 0 x

x
n
excepto para un nmero nito de ns, y x

+ > x
n
para una innidad de ns.
4.4 Y SI NO CONVERGE? 105
c) Si k 1 y w
k
= inf{x
n
: n k} entonces x

= sup{w
k
: k 1}, es decir,
x

= sup
k1
_
inf
nk
{x
n
}
_
.
d) La sucesin w
k
= inf{x
n
: n k} es creciente y x

= lim
k
w
k
.
e) x

= inf L donde
L = {v R|v = limx
n
k
para alguna subsucesin (x
n
k
) de (x
n
)}.
De hecho, x

L por lo que x

= max L.
Algunas propiedades de los lmites superior e inferior de una sucesin son las siguientes.
Proposicin 4.4.6 Sea (x
n
)

n=1
una sucesin acotada. Entonces:
a) liminf x
n
limsup x
n
.
b)
limsup(cx
n
) =
_
c limsup x
n
, c 0,
c liminf x
n
, c < 0.
c) limsup(x
n
+ y
n
) limsup(x
n
) + limsup(y
n
) y liminf(x
n
+ y
n
) liminf(x
n
) +
limsup(y
n
). La igualdad se da si alguna de (x
n
)

n=1
o (y
n
)

n=1
converge.
d) Si x
n
y
n
para todo n N entonces liminf(x
n
) liminf(y
n
) y limsup(x
n
)
limsup(y
n
).
e) x
n
x

si y slo si limsup x
n
= x

= liminf x
n
.
Demostracin
Probaremos nicamente el ltimo inciso, el resto se deja como ejercicio al lector. Su-
pongamos que x
n
x

. Sea > 0, entonces existe N = N() tal que x


n
> x


para toda n N y x
n
< x

+ para toda n N. Entonces limsup x


n
< x

+ y
x

liminf x
n
. As,
x

liminf x
n
limsup x
n
x

+
4.4 Y SI NO CONVERGE? 106
para toda > 0 y por lo tanto
x

liminf x
n
limsup x
n
x

.
De donde
liminf x
n
= x

= limsup x
n
.
Ahora supongamos que limsup x
n
= x

= liminf x
n
. Sea > 0, entonces existe
N
1
N tal que x

x
n
para toda n N
1
y existe N
2
N tal que x

+ x
n
para
toda n N
2
. Entonces,
x

x
n
x

+
para toda n N, donde N = max{N
1
, N
2
}. Luego x
n
x

.
En el caso de sucesiones no acotadas, es conveniente extender las nociones de limsup
y liminf. La denicin es como sigue,
Denicin 4.4.7 Sea (x
n
)

n=1
una sucesin. limsup x
n
= si (x
n
)

n=1
no est acotada
superiormente y liminf x
n
= si (x
n
)

n=1
no est acotada inferiormente.
El correspondiente al inciso (e) de la Proposicin 4.4.6 sera:
Teorema 4.4.8 Sea (x
n
)

n=1
una sucesin de nmeros reales. Entonces limx
n
= si y
slo si liminf x
n
= limsup x
n
= .
Demostracin
Como (x
n
)

n=1
no est acotada superiormente entonces limsup x
n
= . Si c > 0 es tal
que c x
n
para toda n N entonces liminf x
n
= .
Si liminf x
n
= entonces para toda M > 0 existe N N tal que M x
n
para toda
n N. Entonces lim
n
x
n
= .
Ejemplo 4.4.9 Sea (a
n
) una sucesin de nmeros reales positivos. Entonces,
limsup a
1/n
n
limsup
a
n+1
a
n
.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 107
Solucin
Sea
C =
_
c R : c
a
n+1
a
n
excepto por un nmero nito de ns
_
.
Si c C entonces existe N N tal que
a
n+1
a
n
c para toda n N. Note que c > 0 y
a
n
c
nN
a
N
=
_
a
N
c
N
_
c
n
,
por lo que
a
1/n
n

_
a
N
c
N
_
1/n
(c
n
)
1/n
.
Entonces
limsupa
1/n
n
c limsup
_
a
N
c
N
_
1/n
= c lim
_
a
N
c
N
_
1/n
= c.
De donde
limsupa
1/n
n
inf C = limsup
a
n+1
a
n
.
Esto termina la demostracin
4.5 Sucesiones de Cauchy y completez
Los nmeros reales se construyen a partir de los nmeros racionales usando el Axioma
del Supremo. Como el lector recordar, gracias al Axioma del Supremo podemos pro-
bar formalmente la existencia de nmeros irracionales y completar as la recta real. La
completacin de los racionales a los nmeros reales puede hacerse, sin usar el Axioma del
Supremo, usando un tipo particular de sucesiones, las llamadas sucesiones de Cauchy. Con
la construccin de R a partir de Q va sucesiones de Cauchy el Axioma del Supremo se
vuelve el Teorema del Supremo (una proposicin demostrable). La ventaja de esta cons-
truccin con sucesiones de Cauchy es que puede copiarse al contexto de espacios mtricos
y obtener los llamados espacios mtricos completos. Aunque en un espacio mtrico com-
pleto no tendremos exactamente una versin del Axioma del Supremo (porque este depende
tambin del orden en R) si tendremos espacios mtricos en los cuales se pueden probar una
amplia gama de resultados que, como veremos en captulos subsecuentes, han sido y son
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 108
de gran importancia en el desarrollo del anlisis matemtico y sus aplicaciones. Iniciemos
con la denicin de sucesin de Cauchy.
Denicin 4.5.1 Sea (X, d) un espacio mtrico y (x
n
)

n=1
una sucesin en X. Diremos
que (x
n
)

n=1
es una sucesin de Cauchy si para toda > 0 existe N = N() tal que
d(x
n
, x
m
) < r si n, m N.
En trminos llanos decimos que una sucesin es de Cauchy si eventualmente sus ele-
mentos estn arbitrariamente cerca unos de otros. Las sucesiones convergentes ciertamente
tienen esta propiedad porque en una sucesin convergente, los trminos de la sucesin estn
eventualmente cerca del lmite de la sucesin y por transitividad los trminos estarn cerca
unos de otros eventualmente.
Proposicin 4.5.2 Sea (X, d) un espacio mtrico y (x
n
)

n=1
una sucesin en X. Si (x
n
)

n=1
converge, entonces (x
n
)

n=1
es una sucesin de Cauchy.
El sentido comn dice que si una sucesin es de Cauchy esta debera converger, porque
si pensamos que eventualmente los trminos de la sucesin de Cauchy estn cerca unos de
otros estos debern aglomerarse cerca de algn punto del espacio (el posible lmite) y por
lo tanto resultar en una sucesin convergente. Sin embargo, esto no siempre sucede as.
Ejemplo 4.5.3 En (R, | |) sea x
1
= 2 y denimos
x
n+1
=
1
2
_
x
n
+
2
x
n
_
.
Ya mostramos que (x
n
)

n=1
converge a

2 y en particular (x
n
)

n=1
es una sucesin de
Cauchy. Sin embargo, si pensamos en la misma sucesin pero ahora en (Q, | |). No-
te que, en efecto, x
n
Q para toda n N, y adems tenemos que (x
n
)

n=1
es una sucesin
de Cauchy. Como

2 Q, la sucesin no converge a ningn punto en (Q, | |). El lmite
se sale del espacio.
El ejemplo anterior justica la siguiente importante denicin.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 109
Denicin 4.5.4 (Espacio mtrico completo) Un espacio mtrico (X, d) se dice que es
completo si toda sucesin de Cauchy en X converge a un punto de X. En este caso diremos
que la mtrica d es una mtrica completa.
El ejemplo 4.5.3 dice que (Q, | |) no es una espacio mtrico completo.
Denicin 4.5.5 Consideremos un espacio normado (X, ). Si la mtrica inducida por
la norma es completa, diremos que (X, ) es un espacio normado completo o espacio
de Banach
2
. Si adems la norma es inducida por un producto interno diremos que X es un
espacio de Hilbert
3
.
Antes de mostrar que R y R
n
son espacios mtricos completos (con respecto a cualquier
norma) necesitamos un par de lemas.
Lema 4.5.6 Sea (X, d) es un espacio mtrico y (x
n
)

n=1
una sucesin de Cauchy en X,
entonces (x
n
)

n=1
esta acotada.
Demostracin
Para = 1 existe N = N(1) > 1 tal que d(x
n
, x
m
) < 1 si n, m N. En particular,
d(x
n
, x
N
) < 1 para todo n N. Sea M > max{1, d(x
N
, x
1
), . . . , d(x
N
, x
N1
)}. Entonces
x
n
B
M
(x
N
) para toda n N y por lo tanto la sucesin est acotada.
Lema 4.5.7 Sea (X, d) es un espacio mtrico y (x
n
)

n=1
una sucesin de Cauchy en X. Si
(x
n
)

n=1
tiene alguna subsucesin convergente, entonces (x
n
)

n=1
converge.
Demostracin
Sea (x
n
)

n=1
una sucesin de Cauchy y (x
nk
)

k=1
una subsucesin convergente digamos
a x

X. Demostremos que tambin x


n
x

. Sea > 0. Como la sucesin (x


n
)

n=1
es
de Cauchy, dado /2 existe N
1
= N
1
(/2) tal que d(x
n
, x
m
) < /2 si n, m N
1
. Por otro
lado, como x
n
k
x

, existe N
2
= N
2
(/2) tal que d(x
n
k
, x

) < /2 si k N
2
. Entonces,
2
Stefan Banach, 1892-1945.
3
David Hilbert, 1862-1943.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 110
por la desigualdad del tringulo se tiene que
d(x
n
, x

) d(x
n
, x
n
k
) +d(x
n
k
, x

),
y si N = max{N
1
, N
2
} y n, k N entonces,
d(x
n
, x
n
k
) +d(x
n
k
, x

) <

2
+

2
= .
Por lo tanto x
n
x

.
Proposicin 4.5.8 (R, | |) es un espacio mtrico completo.
Demostracin
Sea (x
n
)

n=1
una sucesin de Cauchy en R, entonces (x
n
)

n=1
esta acotada. Por el teore-
ma de Bolzano-Weierstrass, (x
n
)

n=1
tiene una subsucesin convergente y por el lema 4.5.7
(x
n
)

n=1
converge.
Observe que el mismo argumento prueba que (R
n
,
2
) es un espacio mtrico com-
pleto. De hecho como cualesquiera dos normas en R
n
son equivalentes, entonces cualquier
norma en R
n
es completa. Veamos un ejemplo un poco ms complicado de un espacio
normado completo. Ser tambin nuestro primer vistazo a un espacio vectorial normado de
dimensin innita.
Denicin 4.5.9 (El espacio de sucesiones reales convergentes a cero) Sea
c
0
:= {(u
k
)

k=1
: u
k
R y u
k
0}.
En c
0
denimos la siguiente norma: (u
k
)

k=1

:= sup{|u
k
| : k N}.
Proposicin 4.5.10 (c
0
,

) es un espacio de Banach.
Demostracin
La demostracin de que c
0
es un espacio vectorial y de que

es una norma en c
0
se
dejan al lector como ejercicio. Para probar que (c
0
,

) es completo, sea (x
n
)

n=1
una
sucesin de Cauchy en c
0
. Note que (x
n
)

n=1
es una sucesin de sucesiones. Escribimos,
para cada n N,
x
n
= (u
k
n
)

k=1
= (u
1
n
, u
2
n
, . . .).
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 111
Como cada x
n
c
0
, se tiene que lim
k
u
k
n
= 0 para cada n N jo.
Para producir un lmite de la sucesin (x
n
)

n=1
en c
0
, probaremos que las sucesiones
coordenadas de nmeros reales (u
k
n
)

k=1
son de Cauchy y por lo tanto convergentes. La
sucesin formada por los lmites de las sucesiones coordenadas ser nuestro candidato para
lmite de la sucesin (x
n
)

n=1
.
Notemos que, para cada k N, se cumple
|u
k
n
u
k
m
| sup{|u
k
n
u
k
m
| : k N} = x
n
x
m

.
Claramente, como la sucesin (x
n
)

n=1
es de Cauchy entonces (u
k
n
)

k=1
tambin lo es, para
cada k N. Dado que (u
k
n
)

n=1
es una sucesin de Cauchy en R, para cada k N se
concluye que (u
k
n
)

n=1
converge, digamos a u
k
. Considerar ahora la sucesin
x

:= (u
1
, u
2
, . . . , u
k
, . . .).
Probemos que:
a) x

c
0
, y que,
b) x
n
x

, donde el lmite se toma usando la norma de c


0
.
Veamos primero que x
n
x

. Sea > 0. Como (x


n
)

n=1
es de Cauchy, existe N =
N() tal que x
n
x
m

< si n, m N. Por lo tanto, para toda k N, tenemos que si


n, m N entonces.
|u
k
n
u
k
m
| x
n
x
m

<
Si hacemos en la desigualdad anterior m (con n ja), entonces | u
k
n
u
k
|
para toda k N y para toda n N. Entonces,
sup{| u
k
n
u
k
| : k N}
y por lo tanto x
n
x

para toda n N.
Finalmente, para probar que x c
0
, veamos que
lim
k
u
k
= 0.
Como |u
k
n
u
k
| < para toda k y para toda n N, en particular |u
k
N
u
k
| < . Esto
implica que |u
k
| < +|u
k
N
|. Luego, |u
k
| 2 si k es sucientemente grande.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 112
EJERCICIOS
4.16 Pruebe la proposicin 4.4.6.
4.17 Demostrar que limsup(x
n
) < r si y slo si existe un nmero N tal que si n N
entonces x
n
< r.
4.18 Demostrar que limsup(x
n
) > r si y slo si se cumple que x
n
> r para una
innidad de nmeros n N.
4.19 Sean (x
n
) y (y
n
) sucesiones acotadas de nmeros reales positivos. Demostrar
limsup(x
n
y
n
) limsup(x
n
) limsup(y
n
).
4.20 Sean (x
n
) y (y
n
) dos sucesiones de nmeros reales. Suponer que la sucesin (y
n
)
es acotada y que (x
n
) converge. Demostrar las siguientes igualdades
limsup(x
n
+ y
n
) = lim
n
(x
n
) +limsup(y
n
),
liminf(x
n
+ y
n
) = lim
n
(x
n
) +liminf(y
n
).
4.21 Considere (X, d) con d la mtrica discreta. Pruebe que este espacio mtrico es
completo.
4.22 Si (x
n
)

n=1
, (y
n
)

n=1
son sucesiones de Cauchy en un espacio mtrico (X, d) de-
muestre que la sucesin de nmeros reales (d(x
n
, y
n
))

n=1
converge.
4.23 Sea (X, d) un espacio mtrico completo y (x
n
)

n=1
una sucesin contractiva, es
decir,
d(x
n+1
, x
n
) d(x
n
, x
n1
)
para alguna 0 < < 1 y para toda n 2. Pruebe que (x
n
)

n=1
converge.
4.24 Pruebe que (c
0
,

) es un espacio normado.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 113
4.25 Denimos en N la siguiente mtrica
d(n, m) =
_
0, si n = m;
1
n
+
1
m
, si n = m.
Pruebe que en efecto d es una mtrica Es (N, d) un espacio mtrico completo?
4.26 Sea (x
n
)

n=1
una sucesin de Cauchy en (X, d). Pruebe que existe una subsuce-
sin (x
n
k
) de (x
n
) tal que
d(x
n
k
, x
n
k+1
) <
1
2
k
4.27 Un espacio normado que no es completo y que no satisface Bolzano-Weierstrass.
Sea c
00
el espacio vectorial de sucesiones reales que slo tienen un nmero nito de trmi-
nos distintos de cero. Por ejemplo las siguientes sucesiones son elementos de c
00
:
(0, 1, 1, 1, 0, 0, . . .) (3, 0, 0, 5, 1, 2, 0, 0, . . .) (2, 4, 6, 8, . . . , 2n, 0, 0, . . .)
Denimos en c
00
la siguiente norma: si x = (x
n
) c
00
entonces
x

:= max{|x
n
| : n N}
Notar que, en efecto, se tiene un mximo porque excepto por un nmero nito de las coorde-
nadas de x las dems son cero. Las normas de los ejemplos de arriba son, respectivamente,
1, 5, 2n.
a) Pruebe que (c
00
,

) es un espacio normado.
b) Pruebe que (c
00
,

) no es completo. Sugerencia: la sucesin (x


n
) donde
x
n
=
_
1,
1
2
,
1
3
, . . . ,
1
n
, 0, 0, 0, . . .
_
es una sucesin de Cauchy en c
00
que no converge a algn x
0
c
00
, nota que
x
n
x
m

= max
_
1
n
,
1
m
_
.
4.5 SUCESIONES DE CAUCHY Y COMPLETEZ 114
c) Pruebe que el teorema de Bolzano-Weierstrass no es cierto en c
00
. (Sugerencia: la
sucesin (e
n
) donde e
n
= (0, . . . , 0, 1, 0, . . .) (el uno en la entrada n-sima) es una
sucesin acotada en c
00
que no tiene alguna subsucesin convergente (note que e
n

e
m

= 1 si n = m).)