Cap tulo 2

Sucesiones y convergencia

1.

Deniciones

Una de las ideas fundamentales del anlisis es la de l a mite; en particular, el l mite de una sucesin. En este cap o tulo estudiaremos la convergencia de sucesiones, adems del concepto de completitud en espacios mtricos. a e Denicin 2.1. Sea (X, d) un espacio mtrico. Una sucesin en X es una o e o + X. Si, para cada n, f (n) = x , entonces escribiremos la funcin f : Z o n . sucesin f como (xn )n=1 o Decimos que (xn ) converge a x X, y escribimos xn x, si, para n=1 todo > 0, existe N Z+ tal que, si n N , entonces d(xn , x) < . Los siguientes enunciados son equivalentes a decir que x n x: Para todo > 0, existe N Z+ tal que, si n N , entonces xn B (x). Para todo abierto U en X que contiene a x, existe un N Z + tal que, si n N , entonces xn U .
x1 x2 x3 x

Figura 1. Ejemplo de una sucesin que converge a x. Todos los puntos o xn , excepto un nmero nito de ellos, estn a distancia de x. u a

Ejemplo 2.2. Sea x0 X, y considere la sucesin dada por x n = x0 , o n = 1, 2, . . .. Entonces es claro que xn x0 , ya que d(xn , x0 ) = 0 < , para 21

22

2. Sucesiones y convergencia

o todo > 0 y n Z+ . En este caso decimos que (xn ) es una sucesin n=1 constante. u Ejemplo 2.3. Dada una sucesin (xn ) , si xn = x, para alg n x X y o n=1 es eventualmente constante a x. Al para todo n N , decimos que (xn )n=1 igual que en el ejemplo anterior, xn x. Ejemplo 2.4. Considere la sucesin x n = 1/n en R. Entonces xn 0. Para o mostrar sto, sea > 0. Por la propiedad Arquimidiana de R, existe N Z + e tal que N > 1/. Entonces, si n N , 1 1 1 0 = < . n n N Ejemplo 2.5. Sea (X, || ||) un espacio normado. Una sucesin (x n ) en o n=1 , dada por y = x x, X converge a x si, y slo si, la sucesin (y n )n=1 o o n n converge al vector 0. Para vericar sto, supongamos que x n x. Entonces, e dado > 0, existe un N tal que n N implica ||x n x|| < . Entonces n N implica ||yn || < y, por lo tanto, yn 0. El enunciado inverso se demuestra de manera similar. Proposicin 2.6. Si una sucesin (x n ) converge, entonces su lmite es o o n=1 unico; es decir, si xn x y xn y, entonces x = y. Demostracin. Para mostrar sto, sea > 0, y sean N 1 y N2 tales que o e d(xn , x) < /2 y d(xm , y) < /2, para n N1 y m N2 . Tales Ni existen por convergencia. Ahora bien, si N = mx{N 1 , N2 }, entonces a y, como es arbitrario, conclu mos que d(x, y) = 0. Por lo tanto x = y. Cuando no haya motivo de confusin, escribiremos la sucesin (x n ) o o n=1 simplemente como (xn ). Si A X, decimos que (xn ) est en A si, para todo a n, xn A. Las siguientes preguntas aparecen de manera natural dada una sucesin (xn ) en A: Si xn x, entonces x A? Bajo qu condiciones o e podemos garantizar que x A? Podemos clasicar el conjunto de puntos x tales que existe alguna sucesin (x n ), en A, tal que xn A? o Las respuestas a estas preguntas se pueden concluir del siguiente teorema. Teorema 2.7. Sea (X, d) un espacio mtrico y A X. Entonces x A si, e y slo si, existe (xn ) en A tal que xn x. o Demostracin. Supongamos que existe una sucesin (x n ) en A tal que o o xn x. Por denicin, cualquier abierto que contiene a x contiene a alg n o u elemento xn de la sucesin (de hecho a todos excepto a lo ms un n mero o a u nito de ellos). Si x A, entonces x A; y, si x A, entonces cualquier d(x, y) d(x, xN ) + d(xN , y) < /2 + /2 = ,

1. Deniciones

23

abierto que contiene a x contiene alg n punto en A distinto de x, por lo que u x es un punto de acumulacin de A y, por lo tanto, x A. o De manera inversa, si x A, entonces, para todo > 0, B (x) A = . Escogemos entonces, para cada n, xn B1/n (x) A = . Es fcil vericar a que xn x (ejercicio 1). Este teorema nos asegura que, si (xn ) est en A y xn x, entonces a x no necesariamente es un elemento de A, pero est en la cerradura de a A. Adems, si A es cerrado, entonces siempre x A. Si A no es cerrado, a podemos encontrar puntos de acumulacin de A que no estn en A, y el o e teorema nos permite concluir que existen sucesiones que convergen a tales puntos. Como ejemplo, consideremos la sucesin (1/n). Esta sucesin est en o o a el intervalo (0, 1], pero su l mite, 0, no lo est. a Si (xn ) es una sucesin, una subsucesin de (x n ) es una funcin g : Z+ o o o + }, digamos g(k) = x , tal que, si k < l, entonces n < n . {xn : n Z nk k l Proposicin 2.8. Si xn x, entonces xnk x para toda subsucesin o o (xnk ) de (xn ). Demostracin. Sea > 0. Como xn x, existe N tal que n N implica o d(xn , x) < . Entonces, como nk k para todo k, si k N entonces nk N y por lo tanto d(xnk , x) < .

La siguiente pregunta aparece muy frecuentemente en anlisis, y de hea cho es clave en la solucin de muchos problemas: Si (x n ) es una sucesin en o o A, qu condiciones debe satisfacer el conjunto A para garantizar que existe e una subsucesin (xnk ) tal que xnk x para alg n x A? Un conjunto o u con tal propiedad es llamado secuencialmente compacto, y haremos un estudio ms detallado de tales conjuntos en el siguiente cap a tulo. Sin embargo, podemos listar algunas propiedades, necesarias, para que un conjunto A sea secuencialmente compacto. Como la subsucesin (xnk ) tambin est en A, entonces, para garantizar o e a que x A, A debe ser cerrado en X. Ahora bien, A debe ser acotado. Denicin 2.9. Sea (X, d) un espacio mtrico y A X. Decimos que A o e es acotado, si existe x X y M > 0 tales que A B M (x); es decir, A est contenido en alguna bola en X. a Esta denicin es equivalente a decir que A es acotado, si existen x X o y M > 0 tales que d(y, x) < M , para todo y A.

24

2. Sucesiones y convergencia

Todas las sucesiones convergentes son acotadas, es decir, si x n x, entonces el conjunto {xn : n Z+ } es acotado. De hecho, sea N tal que d(xn , x) < 1 para todo n N . Entonces, si tomamos M = mx{d(x, x1 ), d(x, x2 ), . . . , d(x, xN ), 1}, a entonces es obvio que d(xn , x) M para todo n, por lo que {xn : n Z+ } BM +1 (x). Ahora bien, si A no es acotado, podemos construir una sucesin en A o que no tiene ninguna subsucesin convergente. Para sto, haremos uso de la o e siguiente proposicin. o Proposicin 2.10. Sea (X, d) un espacio mtrico y A X, y asumimos que o e A no es acotado. Entonces, para todos M > 0, n Z + y x1 , x2 , . . . , xn X, BM (x1 ) BM (x2 ) . . . BM (xn ) A. Demostracin. Demostraremos la contrapositiva de la proposicin. Supono o gamos que A BM (x1 ) BM (x2 ) . . . BM (xn ). Entonces, para x A, existe i tal x BM (xi ). Si tomamos R = mx d(xi , x0 ) + M, a
i=2,...,n

entonces y por lo tanto A BR (x1 ). d(x, x1 ) d(x, xi ) + d(xi , x1 ) < M,

A
M M

M M M M M M M

Figura 2. Si A no es acotado, entonces no puede ser cubierto por un nmero nito de bolas de radio M . u

Con esta proposicin a la mano podemos construir la siguiente sucesin o o en A: escjase x1 A (es claro que A = , ya que no es acotado) y, habiendo o escogido x1 , x2 , . . . , xk , escogemos xk+1 A\ B1 (x1 )B1 (x2 ). . .B1 (xk ) . Es claro que (xn ) no puede tener ninguna subsucesin convergente, ya que o d(xm , xn ) 1 para todos m y n, por lo que cualquiera dos puntos x n , xm no

2. Sucesiones de Cauchy y completitud

25

pueden estar a distancia menor que, digamos, 1/2 de alg n punto en com n u u (ejercicio 2). Estas observaciones permiten concluir que A tiene que ser cerrado y acotado para ser secuencialmente compacto. Sin embargo, estas condiciones estn lejos de ser sucientes, como lo muestra el siguiente ejemplo. a Ejemplo 2.11. Considere (R, dA ) donde dA es la mtrica acotada: e dA (x, y) = |x y| . 1 + |x y|

Entonces R es cerrado (en s mismo) y acotado, ya que d A (x, y) 1 para todo x, y, pero la sucesin xn = n no tiene ninguna subsucesin convergente, o o ya que, para cualquier m y n, m = n, |m n| 1 dA (xm , xn ) = , 1 + |m n| 2 r donde hemos utilizado el hecho que la funcin r 1+r es creciente para o r > 0. Como en la construccin anterior, x m y xn no pueden estar a distancia o menor que 1/4 de alg n n mero en com n. u u u

2.

Sucesiones de Cauchy y completitud

Hasta ahora, la unica manera que tenemos para concluir que una suce sin converge es vericando la denicin de convergencia directamente. Esto o o es, debemos conocer el l mite a priori. Sin embargo, como lo hemos hecho en ocasiones anteriores, podemos concluir que una sucesin no converge (o ino cluso que no tiene subsucesiones convergentes), si los trminos de la sucesin e o no se acercan entre s Esta es una condicin necesaria para convergencia, y . o es llamada la condicin de Cauchy. Sin embargo, slo en ciertos espacios esta o o condicin es suciente, y dichos espacios son llamados completos. En esta o seccin haremos precisas las ideas de convergencia de Cauchy y completitud o en un espacio mtrico. e Denicin 2.12. Sea (xn ) una sucesin en un espacio mtrico (X, d). Decio o e mos que (xn ) es una sucesin de Cauchy (o satisface la condicin de Cauchy) o o + tal que, si m, n N , entonces si, para cada > 0, existe un N Z d(xm , xn ) < . La siguiente proposicin explora distintas relaciones entre convergencia, o sucesiones de Cauchy y sucesiones acotadas. Proposicin 2.13. Sea (X, d) un espacio mtrico y (x n ) una sucesin en o e o X. 1. Si (xn ) converge, entonces (xn ) es una sucesin de Cauchy. o 2. Si (xn ) es una sucesin de Cauchy, entonces es acotada. o

26

2. Sucesiones y convergencia

3. Si (xn ) es una sucesin de Cauchy y alguna subsucesin de (x n ) o o converge a x, entonces xn x. Demostracin. o 1. Supongamos que x n x. Dado > 0, existe N tal que si n N entonces d(xn , x) < /2. Entonces, si m, n N , d(xm , xn ) d(xm , x) + d(x, xn ) < + . 2 2 2. Sea N tal que si m, n N entonces d(x m , xn ) < 1. Si tomamos M = mx{d(x1 , xN ), d(x2 , xN ), . . . , d(xn , xN 1 ), 1}, a entonces, para todo n, d(xn , xN ) M . Por lo tanto, (xn ) est en a BM (xN ). 3. Supongamos que xnk x. Entonces, dado > 0, existe K tal que, si k K, d(xnk , x) < /2. Como (xn ) es de Cauchy, existe N1 tal que, si m, n N1 , d(xm , xn ) < /2. Si tomamos N = mx{nK , N1 }, a entonces n N implica d(xn , x) d(xn , xnK ) + d(xnK , x) < + = . 2 2

El primer inciso de la proposicin anterior establece que ser una sucesin o o de Cauchy es una condicin necesaria para que una sucesin sea convergente; o o pero esta condicin no es suciente en todo espacio mtrico, como lo muestra o e el siguiente ejemplo. Ejemplo 2.14. Considere el subespacio Q de R, es decir, d(r, s) = |r s| para cualquiera r, s Q. Considere la sucesin o r1 = 1, r2 = 1,4, r3 = 1,41, r4 = 1, 414, . . . . En R, dicha sucesin converger a 2, y por lo tanto es de Cauchy en R. o a Obviamente tambin es de Cauchy en Q. Sin embargo, 2 Q, por lo que e (rn ) no converge en Q, por unicidad del l mite. Denicin 2.15. El espacio mtrico (X, d) es completo, si toda sucesin de o e o Cauchy converge. El ejemplo 2.14 implica que el espacio Q no es completo. Ejemplo 2.16. R es completo. Este hecho se sigue del llamado axioma de completitud de los n meros reales: u Sea S = un subconjunto de R acotado por arriba. Entonces S tiene un supremo.

2. Sucesiones de Cauchy y completitud

27

La demostracin del hecho de que toda sucesin de Cauchy en R converge a o o partir de este axioma es bosquejada en el ejercicio 4, y los detalles se dejan al lector. Ejemplo 2.17. Rl es completo. Esto se sigue de la completitud de los reales: 1 , x2 , . . . , xl ) es una sucesin de Cauchy en R l . Supongamos que xn = (xn n o n i ) es una sucesin de Cauchy en R y, por o Entonces es fcil ver que cada (xn a i xi , para cada i, entonces lo tanto, converge. Si xn (x1 , x2 , . . . , xl ) (x1 , x2 , . . . , xl ). n n n Ejemplo 2.18. Un espacio mtrico discreto es completo. De hecho, toda e sucesin de Cauchy en un espacio discreto es eventualmente constante, y o por lo tanto converge. En particular, un espacio nito es completo. Ejemplo 2.19. Si (X, d) es completo y E es cerrado en X, entonces el subespacio (E, d|EE ) es completo: si (xn ) es una sucesin de Cauchy en E, o entonces tambin es una sucesin de Cauchy en X, y como X es completo, e o converge, digamos a x. Pero E es cerrado, por lo que x E. Entonces xn x en E. El espacio C([0, 1]) es completo. Estableceremos este enunciado como teorema. Teorema 2.20. El espacio mtrico C([0, 1]) es completo. e Demostracin. Recordemos que C([0, 1]) es el espacio mtrico de todas o e las funciones f : [0, 1] R, continuas, cuya mtrica est dada por e a d(f, g) = sup |f (x) g(x)|.
x[0,1]

Notemos que esta mtrica es inducida por la norma e ||f || = sup |f (x)|.
x[0,1]

Sea (fn ) una sucesin de Cauchy; es decir, para todo > 0, existe un N Z + o tal que, si m, n N , entonces |fn (x) fm (x)| < , para todo x [0, 1]. Ntese que N no depende de x. Ahora bien, si tomamos x [0, 1], la sucesin o o dada por xn = fn (x) es una sucesin de Cauchy en R, por lo que, como R o es completo, converge, digamos a L(x). Entonces L dene una funcin en o [0, 1], dada por L(x) = l fn (x). m
n

Esto signica que, para cada x [0, 1] y > 0, existe un N x (que depende de x) tal que, si n > Nx , entonces |fn (x) L(x)| < . Decimos entonces que (fn ) converge punto por punto a L. Demostraremos que de hecho f n L en C([0, 1]), es decir, (fn ) converge uniformemente a L C([0, 1]). Esto lo

28

2. Sucesiones y convergencia

haremos en dos pasos: Paso 1: Para todo > 0, existe un N tal que, si n N , entonces |fn (x) L(x)| < , para todo x [0, 1]; es decir, N no depende de x. Paso 2: L es continua en cada punto x [0, 1].

Para demostrar el paso 1, sea > 0. Tomamos N (la sucesin (f n ) es o de Cauchy) tal que, si m, n N , entonces |f n (x) fm (x)| < /2 uniformemente. Demostraremos que, de hecho, |f n (x) L(x)| < , para n N , uniformemente. Fijamos x0 [0, 1] y estimaremos la diferencia |f n (x0 ) L(x0 )|, para n N . Ahora bien, sabemos que la sucesin (f n (x0 )) converge a L(x0 ), por o lo que podemos encontrar un Nx0 tal que |fn (x0 ) L(x0 )| < /2, para todo n Nx0 . Escogemos ahora un entero n0 con n0 > N y n0 > Nx0 . Entonces, si n N , tenemos que |fn (x0 ) L(x0 )| |fn (x0 ) fn0 (x0 )| + |fn0 (x0 ) L(x0 )| + = . < 2 2 Como x0 es arbitrario y N no depende de x0 , podemos concluir que, si n N , |fn (x)L(x)| < , para todo x [0, 1]. Entonces f n L uniformemente.

Para demostrar el paso 2, tomamos un x 0 [0, 1] y demostraremos que L es continua en x0 ; es decir, dado > 0, mostraremos que podemos encontrar un > 0 con la propiedad que |x x0 | < implica |L(x) L(x0 )| < .

Sea > 0. Por convergencia uniforme, podemos escoger un entero n 0 tal que |fn0 (x) L(x)| < /3 para cada x [0, 1]. Ahora bien, como f n0 es continua, existe un > 0 tal que, si |xx 0 | < , entonces |fn0 (x)fn0 (x0 )| < /3. Entonces, si x [0, 1] y |x x0 | < , tenemos |L(x) L(x0 )| |L(x) fn0 (x)| + |fn0 (x) fn0 (x0 )| + |fn0 (x0 ) L(x0 )| < + + = . 3 3 3

Ms adelante estudiaremos la continuidad de funciones en un espacio a mtrico y, de manera similar a C([0, 1]), deniremos el espacio C(X, Y ) e como el espacio de funciones continuas acotadas de X a Y . As como lo hemos hecho para C([0, 1]), podemos mostrar que C(X, Y ) es completo si Y es completo. El siguiente teorema ser de utilidad ms adelante. a a Teorema 2.21. Sea (X, d) un espacio mtrico completo y E un subespacio e de X. Entonces E es completo si y slo si E es cerrado en X. o

3. Espacios vectoriales completos

29

Demostracin. Supongamos que E es completo, y sea x X un punto de o acumulacin de E. Entonces, existe una sucesin (x n ) en E tal que xn x. o o Como (xn ) converge en X, es una sucesin de Cauchy en X. Pero la mtrica o e de E es la restriccin a E de la mtrica de X, por lo que entonces (x n ) es o e tambin de Cauchy en E. Como E es completo, (x n ) converge en E. Como e E es un subespacio de X, la proposicin 2.6 implica que x n x en E, es o decir, x E. Por lo tanto, E es cerrado. Supongamos ahora que E es cerrado en X, y sea (x n ) una sucesin de o Cauchy en E. Como E es un subespacio de X, (x n ) es tambin una sucesin e o de Cauchy en X y, como X es completo, entonces converge, digamos a x. Pero entonces (xn ) es una sucesin en E que converge a x, lo cual implica o Como E es cerrado, x E, lo cual implica que x n x en E. que x E. Por lo tanto, E es completo.

3.

Espacios vectoriales completos

En esta seccin estudiaremos la completitud de un espacio mtrico (X, d), o e cuando (X, || ||) es un espacio normado y la mtrica d es inducida por la e norma; es decir, d(x, y) = ||x y||. En este caso podemos estudiar la completitud del espacio X a travs de series convergentes en X; en particular, e de series absolutamente convergentes en X. Denicin 2.22. Sea (X, || ||) un espacio normado. Una serie en X es la o suma

(2.1)
n=1

xn ,

donde (xn ) es una sucesin en X. Decimos que la serie (2.1) es convero n=1 gente (o que converge), si la sucesin (s n ), dada por o
n

(2.2)

sn =
k=1

xk ,

de sumas parciales converge en X. Decimos que (2.1) es absolutamente convergente (o que converge absolutamente), si la sucesin (r n ), o
n

(2.3) converge en R.

rn =
k=1

||xk ||,

Ntese que mientras (2.2) dene una sucesin de vectores, (2.3) dene o o una sucesin de n meros reales nonegativos. La convergencia de cada una o u de stas no necesariamente implica la convergencia de la otra. e

30

2. Sucesiones y convergencia

Ejemplo 2.23. Considere la sucesin en R o (1)n . n La serie xn converge en R, pero no converge absolutamente, ya que la sucesin de sumas parciales o n 1 k xn =
k=1

crece como log n, por lo que diverge a . Sin embargo, es conocido que si una serie en R es absolutamente convergente, entonces converge. Esto resulta ser equivalente a la completitud de los n meros reales, como lo veremos a u continuacin. o Denicin 2.24. Si el espacio normado (X, || ||) es completo, entonces o decimos que X es un espacio de Banach. Por ejemplo, R, Rl o C([0, 1]) son espacios de Banach. El siguiente teore ma caracteriza a los espacios de Banach a travs de sus series absolutamente e convergentes. Teorema 2.25. Sea (X, || ||) un espacio normado. Entonces X es un espacio de Banach si, y slo si, toda serie en X absolutamente convergente es o convergente. Es decir, X es completo si, y slo si, la sucesin (2.2) converge siempre o o que (2.3) converge. Demostracin. Para demostrar este teorema supongamos primero que X o es un espacio de Banach; es decir, toda sucesin de Cauchy en X cono verge. Sea entonces xn un serie absolutamente convergente; en otras palabras, suponemos que la sucesin ( n ||xk ||) converge. Demostraremos que o 1 n ( 1 xk ) converge. Para sto, mostraremos que ( n xk ) es una sucesin de Cauchy. Esto e o 1 ser suciente ya que, por hiptesis, X es completo. Sea > 0. Como la sucea o n sin ( 1 ||xk ||) converge en R, entonces es una sucesin de Cauchy. Tomemo o n os entonces N tal que si n, m N , entonces ||xk || m ||xk || < . 1 1 Pero esto signica, si n > m, que Por lo tanto, si n, m N y n > m, tenemos que
n 1 m 1 n

||xm+1 || + ||xm+2 || + . . . + ||xn || < . xk || ||xm+1 || + ||xm+2 || + . . . + ||xn || < , es de Cauchy y, por lo tanto, converge.

||

xk

xk || = ||

por lo que la sucesin ( o

m+1 n 1 xk )

3. Espacios vectoriales completos

31

Ahora mostraremos que si toda serie absolutamente convergente es convergente en X, entonces X es completo. Sea entonces (x n ) un sucesin de o Cauchy. Mostraremos que esta sucesin converge. Observemos que es suo ciente, por la proposicn 2.13, demostrar que alguna subsucesin de (x n ) o o converge. Primero, para cada k Z+ , sea nk tal que, si m, n nk , entonces ||xn xm || < 2k y, adems, nk+1 nk . Tal sucesin es posible ya que (xn ) es una sucesin a o o de Cauchy. Denimos la sucesin o y 0 = x n1 ,
n

yk = xnk+1 xnk ,
n

k = 1, 2, 3, . . . .

Por la construccin de las nk , es claro que ||yk || < 2k , luego o

k=0

||yk || < ||xn1 || +

k=1

2k < ||xn1 || + 1

y, por lo tanto, la serie yk es absolutamente convergente. Por hiptesis, o es convergente; es decir, para alg n y X, u
n k=0

yk y.

Pero N yk = xn1 + N (xnk+1 xnk ) = xnN +1 , por lo que conclu mos k=0 k=1 que la subsucesin (xnk ) converge. o Este teorema muestra por qu en R toda serie absolutamente convere gente es de hecho convergente, como es mostrado en los cursos elementales de clculo. Esto es equivalente a completitud. Ms a n, este teorema nos a a u permite desarrollar un criterio para convergencia uniforme de series de funciones en C([0, 1]), el cual es llamado el criterio M de Weierstrass. Corolario 2.26 (Criterio M de Weierstrass). Sea (f n ) una sucesin de o funciones en C([0, 1]). Si existe una sucesin (M n ) de nmeros nonegativos o u tales que |fn (x)| Mn , para todo x, y la serie Mn converge, entonces la serie

fn (x)
n=1

converge absoluta y uniformemente en [0, 1]. Demostracin. Las hiptesis se pueden reescribir de la siguiente forma: o o ||fn || Mn , para todo n, Mn < ; es decir, converge.

32

2. Sucesiones y convergencia

Entonces la serie ||fn || converge, por lo que entonces fn es una serie absolutamente convergente. Como C([0, 1]) es completo, entonces la serie fn converge en C([0, 1]), es decir, uniformemente. De nuevo, el criterio M de Weierstrass se puede generalizar a los espacios C(X, Y ), donde Y es un espacio de Banach. En este caso, C(X, Y ) es tambin un espacio de Banach. Estudiaremos estas generalizaciones ms e a adelante en estas notas. 3.1. Equivalencia de normas en Rl . En el ejercicio 9 del cap tulo 1 denimos el concepto de normas equivalentes: Si || || 1 y || ||2 son normas en X, decimos que son equivalentes si existen c, C > 0 tales que, para todo x X, c||x||1 ||x||2 C||x||1 . Si dos normas son equivalentes, entonces inducen mtricas homeomorfas, y e por lo tanto las sucesiones convergentes respecto de una son tambin cone vergentes repscto a la otra. En el mismo ejercicio, se demuestra que las normas || || E , || ||M y || ||T en Rl son equivalentes. Demostraremos ahora que cualquiera dos normas en Rl son equivalentes. Teorema 2.27. Sean |||1 y ||2 || normas en Rl . Entonces son equivalentes. Demostracin. Sin prdida de generalidad, podemos asumir que, por ejemo e plo, || ||1 es la mtrica del taxi: e Sea entonces || || cualquier norma en R l . Entonces, para x Rl , ||x||t = |x1 | + . . . + |xl |.

por las propiedades de norma, donde {e 1 , . . . , el } es la base estndar de Rl . a Si tomamos M = mx{||e1 ||, . . . , ||el ||}, a entonces ||x|| M |x1 | + . . . M |xl | = M ||x||t . Para la inversa, demostraremos que, para cada i = 1, . . . , l, existe c i > 0 tal que |xi | ci ||x||, para todo x Rl . De esa forma obtendremos que ||x||t = |x1 | + . . . + |xl | (c1 + . . . + cl )||x||. Esto lo demostraremos por induccin en l, la dimensin del espacio. El caso o o l = 1 es trivial, porque cualquier norma es, de hecho, un m ltiplo del valor u absoluto (simplemente hay que notar que, para x R, ||x|| = |x| ||1||).

||x|| = ||x1 e1 + . . . + xl el || |x1 | ||e1 || + . . . + |xl | ||el ||,

Suponemos ahora que el caso l 1 es cierto, y demostraremos el caso l.

3. Espacios vectoriales completos

33

Por contradiccin, y sin prdida de generalidad, suponemos que, para o e cada n, existe un xn Rl tal que |xn | > n ||xn ||. Si tomamos1 1 yn = xn xn xn 2 = e 1 + n e2 + . . . + l el , xn x1 xn 1 1

Sea z n = y n e1 . Luego, z n e1 . Pero z n se encuentra en el espacio generado por {e2 , . . . , el }, llammoslo V, isomorfo a Rl1 . Como la restriccin e o de || || a V induce una norma en Rl1 (a travs del isomorsmo2), nuestra e hiptesis de induccin implica que existen constantes c 1 , . . . , cl1 > 0 tales o o que (2.4) Entonces, como (z n ) converge, es una sucesin de Cauchy, y (2.4) implica o que cada xn n i = 2, . . . , l 1, ai = i , xn 1 es de Cauchy en R, y por lo tanto converge, digamos, a a i . Entonces, la desigualdad del tringulo implica que z n converge a a a2 e2 + . . . + a l el . Por unicidad de l mites, e1 = a2 e2 + . . . + al el , lo cual contradice el hecho de que {e1 , . . . , el } es una base. Esto termina la demostracin del teorema o con las constantes 1 c= y C = M. c1 + . . . + c l Podemos generalizar este resultado a otros espacios vectoriales. Teorema 2.28. Sean (X, || ||X ) y (Y, || ||Y ) dos espacios vectoriales de dimensin nita, tales que dim X = dim Y , y sea : X Y un isomorsmo. o Entonces, existen constantes c, C > 0 tales que para todo x X. c||x||X ||(x)||Y C||x||X |zi | ci ||z1 e2 + . . . zl1 el ||, z1 , . . . , zl1 R, i = 1, . . . , l 1.

entonces y n 0 con respecto a || ||, ya que 1 1 ||y n || = n ||xn || < . |x1 | n

1Estamos escribiendo el ndice n de la sucesin como super o ndice, para no confundir con la coordenada. 2Si : V Rl1 es un isomorphismo, la norma inducida est dada por a ||x|| = ||1 x||.

34

2. Sucesiones y convergencia

En el teorema est impl a cito que suponemos que X y Y son espacios vectoriales sobre el mismo campo, ya sea R o C. Supondremos de hecho que el campo base es R, para hacer uso del teorema 2.27. Sin embargo, la demostracin de un teorema anlogo al teorema 2.27 para C l se sigue de o a manera similar, por lo que extender estos resultados al caso complejo es fcil. a Demostracin. Sea l = dim X y : Rl X un isomorsmo. Denimos o entonces las normas || ||1 y || ||2 en Rl por ||x||2 = || (x)||Y . Por el teorema 2.27, existen constantes c, C > 0 tales que para todo x Rl . Entonces, para x X, y ||(x)||Y = || ( 1 (x))||Y = || 1 (x)||2 C|| 1 (x)||1 = C||x||X . Si en el teorema 2.28 X = Y , y tomamos el isomorsmo como la identidad, tenemos entonces el siguiente corolario. Corolario 2.29. Si X es un espacio vectorial sobre R de dimensin nita, o entonces cualesquiera dos normas en X son equivalentes. La completitud de Rl (ejemplo 2.17) y el teorema 2.28 implican el siguiente resultado. Corolario 2.30. Si (X, || ||) es un espacio normado de dimensin nita, o entonces es un espacio de Banach. Demostracin. Sea (xn ) una sucesin de Cauchy en X, y demostraremos o o que converge. Si dim X = l, tomamos entonces un isomorphismo : X R l , y denimos yn = (xn ). (yn ) es entonces una sucesin en Rl . o Por el teorema 2.28, existen constantes c, C > 0 tales que para todo x X, donde || ||E es la norma euclideana en Rl . Entonces, para todo m, n, ||ym yn ||E = ||(xm xn )||E C||xm xn ||, c||x|| ||(x)||E C||x|| c||x||1 ||x||2 C||x||2 ||x||1 = ||(x)||X ,

c||x||X = c|| 1 (x)||1 || 1 (x)||2 = || ( 1 (x))||Y = ||(x)||Y ,

4. Convergencia de series

35

lo cual implica que (yn ) es tambin de Cauchy. Como Rl es completo, (yn ) e converge, digamos yn y. Sea x = 1 (y). Como 1 ||xn x|| ||yn y||E , c xn x. Corolario 2.31. Sea X un espacio de Banach y Y un subespacio de dimensin nita. Entonces Y es cerrado en X. o Demostracin. Como Y es un espacio normado de dimensin nita, es o o entonces completo, por el corolario 2.30. Por el teorema 2.21, Y es cerrado en X.

4.

Convergencia de series

En la seccin anterior estudiamos la convergencia absoluta de una serie o en un espacio normado y vimos la relacin entre dicha convergencia y la o completitud del espacio. En esta seccin, sin embargo, estudiaremos la cono vergencia de una serie que no necesariamente converge de manera absoluta. El resultado ms importante en esta area es el siguiente teorema, debido a a Dirichlet. Antes, deniremos una sucesin montona. o o Denicin 2.32. Decimos que una sucesin (a n ) en R es montona creo o o ciente (o montona decreciente) si, para cada n, a n+1 an ( an+1 an ). o o Si una sucesin es montona creciente o montona decreciente, diremos simo o o plemente que es montona. o Teorema 2.33 (Dirichlet). Sea (X, || ||) un espacio de Banach, ( n ) una sucesin en R y (xn ) una sucesin en X tales que o o 1. n 0 para todo n; 2. n es montona y n 0; y o sn =
k=1

3. La sucesin de sumas parciales de (x n ), o

n

xk ,

es acotada en X. Entonces la serie

n=1 n xn

converge.
n

Demostracin. Demostraremos que la sucesin o o yn =

k=1

k xk

es de Cauchy en X. Como X es completo, esto demostrar que converge. a

36

2. Sucesiones y convergencia

Para esto, sean n > m y escribimos

n n

yn y m = =

k xk =
k=m+1 n k=m+1 k=m+1 n

k (sk sk1 )
n n1

k sk
n1

k sk1 =
k=m+1 k=m+1

k sk

k+1 sk
k=m

= n sn +
k=m+1

(k k+1 )sk m+1 sm .

Como (sn ) es acotada, existe M > 0 tal que ||sn || M para todo n. Como (n ) es monnotona y converge a 0, k k+1 para todo k. Sea > 0. Como o n 0, existe N tal que, si n N , n < /2M . Entonces, si n > m N ,
n1

||yn ym || n ||sn || + n M +

k=m+1

(k k+1 )||sk || + m+1 ||sm ||

n1 k=m+1

(k k+1 )M + m+1 M

= n M + (m+1 n )M + m+1 M = 2m+1 M < . Ejemplo 2.34 (Series alternantes). Si a n > 0 tal que (an ) es montona y o n a es alternante. Podeconverge a 0, entonces decimos que la serie (1) n mos aplicar el teorema de Dirichlet para conlu que dichas series son conr n. vergentes en R, tomando n = an y xn = (1) Ejemplo 2.35. Para R, consideremos la serie

(2.5)
n=1

sen n . n

Supongamos que = 2k, con k Z.3 Si tomamos xn = sen n, tenemos entonces que
n k=1

1 xk = 2i =

n k=1

(eik eik ) =

1 i 1 ein 1 ein e ei 2i 1 ei 1 ei

sen + sen n sen(n + 1) , 2(1 cos ) 1 la cual es acotada. Como es montona y converge a cero, entonces la serie o n (2.5) converge.
3En tal caso la serie ser idnticamente cero. a e

5. La completitud de un espacio mtrico e

37

5.

La completitud de un espacio mtrico e

A todo espacio mtrico (X, d), no necesariamente completo, se le puede e asignar un espacio mtrico completo ( X, d), llamado la completitud de X. e Considere la coleccin X de todas las sucesiones de Cauchy en (X, d). Deo nimos la siguiente relacin de equivalencia: o (xn ) (yn ) l d(xn , yn ) = 0. m
n

A la clase de equivalencia de (xn ) la denotaremos por [xn ]. La clase denotada por [x] corresponder a la clase que contiene a la sucesin constante x n = x a o (sta es, trivialmente, una sucesin de Cauchy). e o Es fcil ver que, si xn x, entonces [xn ] = [x]. a Lema 2.36. Si (xn ) y (yn ) son dos sucesiones de Cauchy en X, entonces la sucesin d(xn , yn ) converge en R. o Demostracin. Demostraremos que la sucesin d(xn , yn ) es de Cauchy. o o Primero, por la desigualdad del tringulo, para todo m, n, a d(xm , ym ) d(xm , xn ) + d(xn , yn ) + d(yn , ym ), lo cual implica que |d(xn , yn ) d(xm , ym )| d(xn , xm ) + d(yn , ym ). Como (xn ) y (yn ) son de Cauchy, para cada > 0 existe N tal que n, m N implica que d(xn , xm ) < /2 y d(yn , ym ) < /2. Entonces, para n, m N , tenemos |d(xn , yn ) d(xm , ym )| d(xn , xm ) + d(yn , ym ) < /2 + /2 = . Entonces d(xn , yn ) es de Cauchy en R, y por lo tanto converge. Sea X el conjunto de clases de equivalencia bajo la relacin . Denimos o en X X como la funcin d o (2.6) d([(xn )], [(yn )]) = l d(xn , yn ). m
n

d(xn , yn ) d(xn , xm ) + d(xm , ym ) + d(ym , yn ),

Teorema 2.37. La funcin d : X X [0, ) dada por (2.6) dene una o mtrica en X. Adems, (X, d) es completo. e a a Demostracin. Primero observemos que d est bien denida. Esto es, si o (xn ) (un ) y (yn ) (vn ), entonces l d(xn , yn ) = l d(un , vn ). Este m m enunciado se sigue de la desigualdad |d(xn , yn ) d(un , vn )| d(xn , un ) + d(yn , vn ) y el hecho de que d(xn , un ) y d(yn , vn ) convergen a 0.

38

2. Sucesiones y convergencia

Ahora vericamos que la funcin d satisface las propiedades de una o mtrica: e 1. d([xn ], [yn ]) = 0 si y slo si l d(xn , yn ) = 0 si y slo si xn yn si o m o y slo si [xn ] = [yn ]. o 2. d([xn ], [yn ]) = l d(xn , yn ) = l d(yn , xn ) = d([yn ], [xn ]). m m 3. d([xn ], [yn ]) = l d(xn , yn ) l m m(d(xn , zn ) + d(zn , yn )) = l d(xn , zn ) + l d(zn , yn ) m m = d([xn ], [zn ]) + d([zn ], [yn ]).

o Sea [xk ]k una sucesin de Cauchy en (X, d). Entonces, existe un entero n o K1 tal que si k, l K1 entonces d([xk ]k , [xl ]l ) < 1/2. Por la denicin de d, n n para cada l K1 existe un entero N (1, l), el cual escogemos de tal forma que N (1, l) N (1, l 1), tal que n N (1, l) implica d(x K1 , xl ) < 1/2. n n

Inductivamente, escogemos enteros K p y N (p, l), l Kp , de la manera siguiente: Una vez escogidos Kp1 y N (p 1, l), l Kp1 , escogemos Kp Kp1 tal que k, l Kp implica d([xk ]k , [xl ]l ) < 1/(2p), y, para cada l Kp , n n escogemos N (p, l) de tal forma que N (p, l) N (p, l 1); N (p, l) N (p 1, l); n N (p, l) implica d(xn p , xl ) < 1/(2p); y n
K

Tomamos entonces la sucesin yn = xKn n ) . o N (n,K

n, m N (p, l) implica d(xl , xl ) < 1/(2p). n m

La sucesin yn es de Cauchy en X: Si m > n, tenemos que o d x Kn n ) , x Km m ) d x Kn n ) , x Kn m ) + d x Kn m ) , x Km m ) N (n,K N (m,K N (n,K N (m,K N (m,K N (m,K < 1 1 1 + = , 2n 2n n

ya que N (m, Km ) N (n, Kn ).

La sucesin [xk ]k converge a [yn ] en X: Si k Kp y n N (p, k), o n tenemos que d(xk , yn ) = d(xk , xKn n ) ) n n N (n,K d(xk , xn p ) + d(xn p , xN p p ) ) n (p,K + d(xN p p ) , xN p n ) ) + d(xN p n ) , xKn n ) ) (p,K (n,K (n,K N (n,K < 1 1 1 2 1 + + + = , 2p 2p 2p 2p p
K K K K K K

5. La completitud de un espacio mtrico e

39

porque N (p, k) N (p, Kp ) p y N (n, Kn ) N (p, Kp ). Por lo tanto, d([xk ]k , [yn ]) < 2/p para k Kp , y conclu mos que d([xk ]k , [yn ]) 0 cuando n n k . Si identicamos cada elemento de x X con [x] en X, tenemos una tal que d(j(x), j(y)) = d(x, y), es decir, que preserva inyeccin j : X X o la mtrica. Tales funciones son llamadas isometras. Si identicamos X con e entonces podemos decir que X es un subespacio de alg n espacio j(X) X, u mtrico completo. e Si X es completo, entonces toda clase de equivalencia en X es igual a [x] para alg n x X, ya que toda sucesin de Cauchy en X converge. u o es biyectiva, y su inversa tambin es Por lo tanto, la isomatr j : X X a e d) no slo son homeomorfos, sino que una isometr Entonces, (X, d) y ( X, a. o tambin decimos que son isomtricos. e e Si (X, d|XX ) es un subespacio del espacio completo (Y, d), entonces podemos indenticar a X con alg n subespacio E de Y y (X, d) es isomtrico u e a (E, d|EE ). De hecho, E es la cerradura de X en Y . Podemos generalizar este resultado de la siguiente manera. Teorema 2.38. Sea j : X Y una isometra donde (Y, d ) es un espacio Y tal que (X) = j(X). completo. Entonces existe una isometra : X Demostracin. Si (xn ) es una sucesin de Cauchy en X, entonces (j(x n )) o o es una sucesn de Cauchy en Y y, como Y es completo, converge. Dada o deniremos entonces como [xn ] X, ([xn ]) = l j(xn ). m
n

Para vericar que est bien denida, observemos que si [x n ] = [yn ], ena tonces d(xn , yn ) 0, y por lo tanto l j(xn ) = l j(yn ). m m Para demostrar que es una isometr tenemos que mostrar que a, d([xn ], [yn ]) = d (l j(xn ), l j(yn )). m m d([xn ], [yn ]) = l d(xn , yn ) = l d (j(xn ), j(yn )), m m por lo que, si j(xn ) x y j(yn ) y en Y , el resultado se sigue de la desigualdad |d (j(xn ), j(yn )) d (x, y)| d (j(xn ), x) + d (j(yn ), y). En trminos menos precisos, X es el menor espacio mtrico completo e e que contiene a X. El siguiente corolario se sigue de manera inmediata del teorema 2.38.

Pero

40

2. Sucesiones y convergencia

Corolario 2.39. Sea X un espacio mtrico y X su completitud. Entonces, e existe una sucesin xn en X tal que xn x en X. para cada x X o En este corolario, de hecho, estamos identicando a X como subespacio de X.

Ejercicios
1. Sea (X, d) un espacio mtrico, x X y (x n ) en X tal que, para cada n, e xn B1/n (x). Muestre que xn x. Utilice este hecho para mostrar la veracidad de los siguientes enunciados: 1 n 0, en R. 2n n+1 2, en R. Si a, b, c, d > 0, entonces a an + b . cn + d c 2. Sea (xn ) una sucesin en el espacio mtrico (X, d) tal que, para todo o e N > 0, existen n, m N con d(xn , xm ) 0 > 0. Muestre que (xn ) no tiene ninguna subsucesin convergente. o 3. Sea (X, d) un espacio mtrico completo y E X. Muestre que el subese pacio (E, d|EE ) es completo si, y slo si, E es cerrado. o 4. En este ejercicio mostraremos la completitud de R a partir del axioma * Sea S = un subconjunto de R acotado por arriba. Entonces S tiene un supremo, es decir, una m nima cota superior. Siga los siguientes pasos: Muestre que el axioma (*) es equivalente al siguiente enunciado: Sea S = un subconjunto de R acotado por debajo. Entonces S tiene un nmo, es decir, una mxima cota inferior. a Muestre que toda sucesin en R tiene una subsucesin montona. o o o Utilice el axioma (*) y el inciso anterior para mostrar que una sucesin montona acotada converge en R. o o Concluya que toda sucesin de Cauchy converge en R. o 5. Suponga que los espacios mtricos (X, d) y (X, d ) son homeomorfos (es e decir, U X es abierto en (X, d) si, y slo si, es abierto en (X, d )). o Muestre que (X, d) y (X, d ) tienen las mismas sucesiones convergentes; es decir, (xn ) converge en (X, d) si, y slo si, converge en (X, d ). Esto o quiere decir que convergencia es una propiedad topolgica. o 6. Sin embargo, muestre que completitud no es una propiedad topolgica; o es decir, de un ejemplo de un espacio X con mtricas d y d tales que e (X, d) y (X, d ) son homeomorfos, pero uno es completo y otro no.

Ejercicios

41

7. Sin embargo, si (X, || ||) y (X, || || ) son homeomorfos, muestre que (X, || ||) es completo si y slo si (X, || || ) lo es. o 8. Sea (X, || ||) un espacio normado y considere la completitud ( X, d) de (X, || ||), constru en la seccin 5. Muestre que X es un espacio da o vectorial con las operaciones [xn ] + [yn ] = [xn + yn ], y que se puede normar con ||[xn ]|| = l ||xn ||. m Verique que || || induce la mtrica d y, por lo tanto, (X, || || ) es un e espacio de Banach. 9. Dada una serie
n=1 xn ,

[xn ] = [xn ],

un reordenamiento de

xn es la serie

x(n) ,
n=1

donde : Z+ Z+ es una biyeccin. Suponga que la serie o an converge a a0 en R, pero que no es absolutamente convergente. Muestre que, para todo x R, existe un reordenamiento a(n) de an tal que a(n) converge a x. 10. Sea xn una serie en un espacio de Banach que converge absolutamente, y digamos converge a x. Muestre que todos los reordenamientos de xn convergen a x. (Sugerencia: Si : Z+ Z+ es una biyeccin, o entonces ||x(n) || = ||xn ||.)