Captulo 6

Sucesiones en espacios mtricos

6.1. Lmites de sucesiones

Denicin 60 (sucesin). Una sucesin en un conjunto M es una funcin x : N M, denida en el conjunto de los nmeros naturales N = {1, 2, 3, . . . }. El valor que x toma en n, se denotar por xn en lugar de x(n), y se llamar el trmino n-simo de la sucesin. Se usarn las notaciones: (x1 , x2 , . . . , xn , . . . ), (xn )nN o (xn ) para representar una sucesin. Por otra parte, escribiremos {x1 , x2 , . . . , xn , . . . }, {xn : n N} o x(N) para referirnos al conjunto de valores o al conjunto de los trminos de la sucesin. Ejemplo 73. Si se dene x : N R colocando xn = (1)n , entonces obtenemos la sucesin (1, 1, 1, 1, . . . ), cuyo conjunto de valores es {1, 1}. Esto muestra que una sucesin puede repetir los trminos, a menos que se trate de una funcin inyectiva en cuyo caso diremos que es una sucesin de trminos distintos. Ejemplo 74. Fijando R, hacemos para cada n N, xn = ein = (cos(n), sen(n)) (identicando el plano complejo con R2 ), obtenemos una sucesin (xn ) en el crculo unitario S1 . Esta sucesin tiene repeticiones si, y slo si, es un mltiplo racional de 2. De hecho, eim = ein con n = m si, y slo si, ei(mn) = 1 (k Z)(m n) = 2k = (k/(m n))2. Denicin 61 (subsucesin). Una subsucesin de (xn ) es una restriccin de la funcin n xn a un subconjunto innito N = {n1 < n2 < n3 < < nk < . . . } de N. La denotaremos por: (xn1 , xn2 , . . . , xnk , . . . ), (xn )nN , (xnk )kN o simplemente (xnk ). 85

86

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

Ejemplo 75. La sucesin (2, 4, 8, 16, . . . , 2k , . . . ) es una subsucesin de la sucesin (2, 4, 6, 8, 10, . . . , 2n, . . . ) mediante la aplicacin k 2 2k1 , en este caso N = {2k1 : k N}. Denicin 62 (sucesin acotada). Una sucesin (xn ) en el espacio mtrico M se dice que es acotada si el conjunto de valores o trminos de la sucesin es acotado, es decir, si existe K > 0 tal que para cualesquiera m, n N, d(xn , xm ) K. Ejemplo 76. Evidentemente toda subsucesin de una sucesin acotada, es tambin acotada. Una sucesin constante (xn = c para todo n) o, en general, una sucesin que asume un nmero nito de valores, es evidentemente acotada. Si a es un nmero real, con |a| > 1, la sucesin de nmeros reales xn = an no es acotada, en virtud de la desigualdad de Bernoulli1 : (1 + b)n > 1 + n b n si b > 1. (se escribe b = |a| 1, entonces |a| = (1 + b)n > 1 + n b > c si n > (c 1)/b). Por otro lado, cuando |a| 1, la sucesin xn = an es acotada pues |xn | 1 para todo n. Denicin 63 (lmite). Sea (xn ) una sucesin en el espacio mtrico M. Se dice que el punto a M es lmite de la sucesin (xn ) cuando, para todo nmero > 0 arbitrario, se puede obtener n0 N tal que n n0 d(xn , a) < . Se denotar por: a = l m xn , a = l mn xn o a = l mn xn . Tambin diremos que xn tiende a a y se escribe en smbolos xn a. En esta situacin, diremos que la sucesin (xn ) es convergente. Si no existe limxn en M diremos que la sucesin (xn ) es divergente. Ejemplo 77. Toda sucesin constante, xn = c, es convergente y l m xn = c. Si a M es un punto aislado y l m xn = a, entonces existe n0 N tal que todos los trminos xn con ndice mayor que n0 son iguales a a. Para vericar esto, basta tomar como > 0 el radio que asla al punto a, como l m xn = a, a este le corresponde n0 N tal que n n0 d(xn , a) < xn = a. En particular, en un espacio mtrico discreto, una sucesin (xn ) es convergente si, y slo si, es eventualmente constante, esto es, existe n0 N tal que xn0 = xn0 +1 = xn0 +2 = Ejemplo 78. Si un espacio mtrico M posee dos puntos distintos a, b, entonces existen en M sucesiones divergentes. Bastara tomar xn = a si n es par y xn = b si n es impar. Si tomamos = d(a, b)/2, cualquier bola de radio no contiene simultneamente a a y a b. En consecuencia, para cualquier punto p en M, no existe n0 N tal que xn B(p; ) para todo n n0 .
1 Desigualdad de Bernoulli: Si b 1 y 0 < < 1, entonces (1 + b) 1 + x. En cambio si < 0 o bien si > 1, se tiene (1 + b) 1 + x. La igualdad se tiene slo para x = 0.

Observe que una subsucesin es tambin una sucesin denida mediante la funcin k xnk .

6.1. LMITES DE SUCESIONES

87

Ejemplo 79. Existen mltiplos de 3 arbitrariamente grandes, ya que el conjunto 3N = {3, 6, 9, . . . , 3n, . . . } es innito. As mismo, existen nmeros primos arbitrariamente grandes. Consideremos el conjunto A de los nmeros naturales n tales que n2 14n + 40 > 0. Entonces A = {1, 2, 3, 11, 12, 13, . . . }. Aqu vemos que n 11 n A. Luego, A contiene todos los nmeros naturales sucientemente grandes. Observe que N \ A = {4, 5, 6, 7, 8, 9, 10}. Dada una sucesin (xn ) en un espacio mtrico M, decir que l m xn = a M, signica que para toda bola abierta B de centro a, xn pertenece a B para todo ndice n sucientemente grande. Ejemplo 80. l m(1/n) = 0 en efecto, dado > 0, por la propiedad arquimediana, existe n0 N tal que n0 > 1, entonces

Denicin 64 (arbitraria y sucientemente grande). Sea A un conjunto de nmeros naturales. Diremos que A contiene nmeros arbitrariamente grandes cuando para todo n0 N dado es posible encontrar n A tal que n > n0 . Esto signica que A es un conjunto no acotado de N y equivale tambin a decir que A es un conjunto innito de nmeros naturales. Diremos que A contiene todos los nmeros naturales sucientemente grandes cuando exista n0 N tal que n n0 n A. Esto equivale a decir que el complemento de A, N \ A, es nito. En particular A es innito.

En otras palabras, dado > 0, 1/n pertenece al intervalo (, ) para todo n sucientemente grande. Proposicin 6.1. Toda sucesin convergente es acotada. Prueba: Sea (xn ) una sucesin en un espacio mtrico M tal que l m xn = a. Tomando = 1, obtenemos un n0 N tal que n n0 xn B(a; 1). Por lo tanto, el conjunto de valores de la sucesin est contenido en la unin de los siguientes conjuntos acotados {x1 , . . . , xn0 1 } B(a; 1), luego la sucesin es acotada. Ejemplo 81. El recproco de la proposicin anterior no es cierto, la sucesin xn = (1)n es acotada mas no es convergente. Por otra parte, dado a R con |a| > 1, podemos armar que la sucesin xn = an no es convergente ya que no es acotada. (Ver ejemplo 76) Proposicin 6.2 (Unicidad del lmite). Si una sucesin converge, el lmite es nico. Prueba: Sea (xn ) una sucesin en un espacio mtrico M, y sean a, b M dos lmites de la sucesin: l m xn = a y l m xn = b. Dado > 0 arbitrario,

n n0 0 <

1 1 1 < 0 < . n n0 n

88

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

existen n1 N tal que n n1 d(xn , a) < /2, tambin existe n2 N tal que n n2 d(xn , b) < /2. Tomando n ms grande que n1 y n2 , tenemos que d(a, b) d(a, xn ) + d(xn , b) /2 + /2 = . Se sigue que para todo > 0, 0 d(a, b) < , esto forzosamente nos lleva a concluir que d(a, b) = 0 y por tanto, a = b. Proposicin 6.3. Si l m xn = a, entonces toda subsucesin de (xn ) converge a a. Prueba: Por hiptesis, dado > 0 arbitrario, existe n0 N tal que n n0 d(xn , a) < . Consideremos cualquier subsucesin (xnk )kN de (xn ). Por denicin de sucesin, existe k0 N tal que nk0 > n0 , por lo tanto, luego, l mk xnk = a = l mn xn . Prueba:

k k0 nk > nk0 > n0 d(xnk , a) < ;

Corolario 6.4. Si l m xn = a, entonces para todo p N, l mn xn+p = a. Basta ver que (xn+p )nN es una subsucesin de (xn ). Corolario 6.5. Si l m xn = a = b, entonces existe n0 N tal que n n0 xn = b.

Prueba: En efecto, por reduccin al absurdo tendramos que xn = b para ndices n arbitrariamente grandes, de aqu obtenemos una subsucesin constante con trminos iguales a b, es decir que converge a b = l m xn = a lo cual es absurdo por la proposicin 6.3.

Proposicin 6.6. Un punto p, en un espacio mtrico M, es lmite de una subsucesin de (xn ) si, y slo si, toda bola abierta de centro p contiene trminos xn de la sucesin, para ndices n arbitrariamente grandes. Prueba: (slo si) Si l m xnk = p dado > 0, existe k0 N tal que k k0 xnk B(p; ); as mismo, dado N N existe k > k0 tal que nk > N y nnk B(p; ); es decir, la bola de centro p y radio contiene trminos de la sucesin para ndices arbitrariamente grandes. (Si) Por hiptesis, la bola B(p; 1) contiene un trmino xn1 con n1 > 1, la bola B(p; 1/2) contiene un trmino xn2 con n2 > n1 , la bola B(p; 1/3) contiene un trmino xn3 con n3 > n2 . As sucesivamente, se obtiene la sucesin de ndices n1 < n2 < n3 < < nk < tales que para todo k N, xnk B(p; 1/k), es decir tales que d(xnk , p) < 1/k, y as, l mk xnk = p. Para deducir algunas propiedades de lmites a resultados anlogos sobre funciones continuas, consideramos el siguiente lema: Lema 6.7. Sea P el subespacio mtrico de R dado por P = {1, 1/2, 1/3, . . . , 1/n, . . . } y su clausura en R P = P {0}. Dada una sucesin (xn ) en un espacio mtrico M y un punto a M, se dene la funcin f : P M por f(1/n) = xn y f(0) = a. Entonces,
n

l m xn = a si, y slo si, f es continua.

6.1. LMITES DE SUCESIONES

89

Prueba: Ya que todo punto de P de la forma 1/n es aislado, f es continua en dichos puntos; luego, f es continua si, y slo si, es continua en 0, condicin que se expresa as: para todo > 0, existe > 0 tal que 1/n = |1/n 0| < d(xn , a) = d(f(1/n), f(0)) < . Si se cumple esta condicin, dado el > 0, tomamos n0 > 1/ y vemos que

Luego, l m xn = a. Recprocamente, si l m xn = a, entonces para todo > 0 existe n0 N tal que n n0 d(xn , a) < . Tomando = 1/n0 , vemos que Por lo tanto, f es continua en 0. 1 1 1 0 = < n > = n0 d(xn , a) < . n n

n n0

1 1 < d(xn , a) < . n n0

Proposicin 6.8. Una sucesin de puntos zn = (xn , yn ), en el producto cartesiano de espacios mtricos M N, converge a un punto c = (a, b) M N si, y slo si, l m xn = a en M y l m yn = b en N. Prueba: En virtud de la proposicin 3.3 del captulo 3, adems del lema anterior, las siguientes proposiciones son equivalentes: l m zn = c la funcin f : P M N, denida por f(1/n) = zn y f(0) = c, es continua;

las funciones componentes de f, f1 = 1 f : P M, y f2 (1/n) = yn y f2 (0) = b, son continuas. l m xn = a y l m yn = b.

f2 = 2 f : P N, denidas por f1 (1/n) = xn , f1 (0) = a,

Proposicin 6.9. Si l m xn = a, l m yn = b en un espacio vectorial normado E y l m n = en R, entonces l m(xn + yn ) = a + b y l m n xn = a. Adems, si = 0, se tiene tambin que l m(1/n ) = 1/. Prueba: Sean f, g : P E denidas por f(1/n) = xn , f(0) = a; g(1/n) = yn , g(0) = b. Entonces, (f + g)(1/n) = xn + yn y (f + g)(0) = a + b. Por el lema 6.7 y la hiptesis xn a, yn b se asegura que f y g son continuas, as por la proposicin 3.5 del captulo 3, f + g es continua y tenemos que l m(xn + yn ) = a + b. La otra parte se prueba de forma similar, con la salvedad que por el corolario 6.5, como = 0, existe n0 N tal que n n0 n = 0. Al considerar la sucesin 1/n tomamos todos los ndices n n0 , lo que no altera el lmite por el corolario 6.4. En este contexto, siendo continua la funcin h : P R, h(1/n) = n y h(0) = , tambin es continua 1/h y de esta forma, l m(1/n ) = 1/.

90

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

6.2.

Sucesiones de nmeros reales

Denicin 65 (sucesiones montonas). Una sucesin de nmeros reales (xn ) se dice creciente cuando se tiene que x1 < x2 < < xn < , esto es, xn < xn+1 para todo n N. Cuando la desigualdad no es estricta, xn xn+1 para todo n N se dice que es no decreciente. De forma anloga si xn > xn+1 , (n N) se dice que es decreciente; y si xn xn+1 , (n N) se dice que es no creciente. En cualquiera de los casos descritos decimos que la sucesin es montona. Proposicin 6.10. Toda sucesin montona acotada de nmeros reales es convergente. Prueba: La prueba para sucesiones crecientes y no decrecientes son similares y si (xn ) es decreciente o no creciente, entonces (xn ) es creciente o no decreciente y (xn ) converge si y slo si (xn ) converge. Por lo anterior, basta probar que una sucesin (xn ) no decreciente y acotada es convergente. En efecto, siendo la sucesin acotada, el conjunto de valores de la sucesin (o rango de la sucesin) es no vaco y acotado y por tanto tiene supremo, sea a = sup xn veamos que a = l m xn .
nN

Dado > 0, por propiedades del supremo, existe n0 N tal que a < xn0 a. Entonces, por ser la sucesin no decreciente, n n0 a < xn0 xn a < a + a < xn < a + . As, l m xn = a.

Corolario 6.11. Una sucesin montona de nmeros reales es convergente si, y slo si, posee una subsucesin acotada.

Prueba: Si la sucesin es convergente, ella misma es una subsucesin acotada. Recprocamente, por el teorema anterior, basta probar que una sucesin montona es acotada si posee una subsucesin acotada. Supongamos que (xn ) es no decreciente y que (xnk ) es acotada, as existe c > 0 tal que xnk c para todo k N. Dado cualquier n N, existe k N tal que n nk , entonces xn xnk c. Luego, x1 xn c para todo n N, lo que implica que (xn ) es acotada. Ejemplo 82. Sea a R con |a| < 1, entonces l m an = 0.
n

Notemos primero que para cualquier sucesin de nmeros reales (xn ), n l m xn = 0 si, y slo si, l m |xn | = 0. De esta forma, veamos que l m |a| = 0. 2 3 2 n |a| < 1 |a| |a| |a| |a| |a|. De all tenemos que (|a| ) es una sucesin no creciente acotada inferiormente por 0. Por la proposicin 6.10, n n+ 1 n existe L = l m |a| . Del mismo modo, L = l m |a| = |a| l m |a| = |a| L, si L = 0 entonces |a| = 1, pero tenemos que |a| < 1; luego, L = 0.

6.3. SERIES EN ESPACIOS VECTORIALES NORMADOS

91

6.3.

Series en espacios vectoriales normados

Sea E un espacio vectorial normado y consideremos una sucesin (an ) de vectores en E. Para cada k N se dene la suma parcial como
k

Sk = a1 + a2 + + ak =

an
n= 1

Esto dene una nueva sucesin en E, (Sk ), llamada sucesin de sumas parciales. Si existe S E tal que S = l m Sk , se dice que S es la suma de la serie

an y se escribe:

S = l m Sk = l m
k

an =
n= 1 n= 1

an = a1 + a2 + a3 + + an +

En este caso se dice que la serie es convergente; si no existe el lmite de las sumas parciales decimos que la serie es divergente . Una condicin necesaria para que una serie converja es que l m an = 0.
ninfty

En efecto, si S = l m Sn tambin S = l m Sn1 y as:

n n

l m an = l m(Sn Sn1 ) = l m Sn l m Sn1 = S S = 0.

n n n n

Dicha condicin no es suciente y el ejemplo clsico es la serie armnica 1 de nmeros reales n.

1 1 Ejemplo 83 (La serie armnica m n = 0. Mas la n diverge). Claramente, l 1 1 1 sucesin de sumas parciales Sn = 1 + 2 + 3 + + n contiene una subsucesin no acotada, a saber:

S2n = 1 +

1 + 2 1 2n 1

1 1 + 2 3 2

1 1 1 1 + + + 3 5 6 7 2 1 + 2n 1

+1

+ +

2n 1

>

>1+

1 2 4 2n 1 1 + + + + n = 1 + n . 2 4 8 2 2

De esta forma, (Sn ) no es acotada y por tanto no es convergente, lo que prueba que la serie armnica diverge. Si bien Sn , su crecimiento es muy lento como lo podemos evidenciar en la siguiente tabla:

92

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

n 10 100 1.000 1.000.000 100.000.000

1 Sn = k = 1 n 2.928968253968254 5.187377517639621 7.485470860550343 14.39272672286478 18.9978964138477

6.4.

Convergencia y topologa

En esta seccin se caracterizan diversos conceptos topolgicos utilizando la convergencia de sucesiones. Proposicin 6.12 (continuidad). Sean M, N espacios mtricos. Para que una funcin f : M N sea continua en el punto a M es necesario y suciente que para toda sucesin (xn ) en M que converja a a, (xn a), se tenga que la sucesin de imgenes (f(xn )) converja a f(a) en N. Prueba: Sea f continua en a. Si (xn ) es una sucesin que converge a a, por la continuidad, tenemos que dado > 0, existe > 0 tal que si d(x, a) < entonces d(f(x), f(a)) < ; para este existe n0 N tal que n n0 d(xn , a) < d(f(xn , f(a)) < . Luego, f(xn ) f(a). Para el recproco supongamos, por reduccin al absurdo, que f no sea continua en el punto a. Entonces, existe un > 0 tal que para todo n N existe xn M con d(xn , a) < 1/n pero d(f(xn ), f(a)) . Esto dene una sucesin en M que converge al punto a pero la sucesin de imgenes, (f(xn )), no converge al punto f(a), lo cual contradice la hiptesis. Corolario 6.13. Para que f : M N sea continua en el punto a M es necesario y suciente que xn a implique que (f(xn )) es convergente en N. Prueba: Por el teorema anterior, basta probar que xn a implica que f(xn ) f(a). Si xn a, la sucesin (zn ) = (x1 , a, x2 , a, x3 , a, . . . ) converge a a. Luego, (f(zn )) = (f(x1 ), f(a), f(x2 ), f(a), . . . ) es convergente entonces, necesariamente l m f(xn ) = f(a). La siguiente proposicin caracteriza a los puntos adherentes de un subconjunto.

Proposicin 6.14. Sea S un subconjunto de un espacio mtrico M. Para que a S en M, es necesario y suciente que a sea el el lmite de una sucesin de puntos de S. Prueba: Si a S, existen puntos de S arbitrariamente cerca de a, por tanto, dado n N existe xn S tal que d(xn , a) < 1/n, esto dene una sucesin en S que converge a a. Recprocamente, si l m xn = a con xn S

6.4. CONVERGENCIA Y TOPOLOGA

93

para todo n N, entonces toda bola abierta centrada en a contiene puntos de S. As, a S. Caracterizacin de puntos frontera de un subconjunto de un espacio mtrico. Corolario 6.15. Para que un punto del espacio mtrico M sea punto frontera de un subconjunto S es necesario y suciente que dicho punto sea lmite de una sucesin en S y de una sucesin en M \ S. Prueba: Recordemos el problema 24 del captulo 4 (pgina 73), (S) = S M \ S y luego se aplica la proposicin anterior. Caracterizacin de conjunto denso: Corolario 6.16. Un conjunto X M es denso en M si, y slo si, todo punto de M es lmite de una sucesin de puntos en X. Caracterizacin de conjuntos cerrados: Corolario 6.17. Para que un conjunto C sea cerrado en M es necesario y suciente que l contenga el lmite de toda sucesin de puntos en C que converja en M. Prueba: Por la proposicin 4.19 pgina 67, C es cerrado si, y slo si, C C. La siguiente proposicin caracteriza los conjuntos abiertos mediante sucesiones: Proposicin 6.18. Un subconjunto A de un espacio mtrico M es abierto si, y slo si, se cumple la siguiente condicin:

Prueba: Si A es abierto y xn a A entonces existe una bola abierta B(a; ) A y en consecuencia, existe n0 N tal que n n0 xn B(a; ) A. Recprocamente, suponiendo cumplida la condicin, para cualquier sucesin (xn ) en M \ A con l m xn = b, b no puede pertenecer a A, por tanto, b M \ A esto nos dice, va el corolario 6.17, que el conjunto M \ A es cerrado y de esta forma, A es abierto. Caracterizacin de puntos de acumulacin: Proposicin 6.19. Para que un punto p sea punto de acumulacin de un subconjunto S en un espacio mtrico M, es necesario y suciente que p sea lmite de una sucesin de puntos distintos xn S. Prueba: Es evidente que la condicin es suciente ya que toda bola de centro en p contiene puntos de S distintos de p, as p ac(S). Supongamos ahora que p ac(S), para cada n N la bola abierta B(p; 1/n) contiene una innidad de puntos de S, entonces para cada n se puede escoger xn B(p; 1/n) tal que xn S y que xn no pertenezca a {x1 , . . . , xn1 }, as todos los trminos de la sucesin son distintos y xn p.

xn a A xn A

para n sucientemente grande.

94

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

Ejemplo 84. Sean f, g : M N continuas. El conjunto C de los puntos x M tales que f(x) = g(x) es cerrado en M. En efecto, dada una sucesin xn C con l m xn = a M, se tiene que f(xn ) = g(xn ) para todo n N. De all se sigue que:

f(a) = f(l m xn ) = l m f(xn ) = l m g(xn ) = g(l m xn ) = g(a).

Luego a C, por tanto C es cerrado. Ejemplo 85. Sean f, g : M N continuas. Si f(x) = g(x) para todo punto de un conjunto S M, entonces f(y) = g(y) para todo y S. En efecto, el conjunto de los puntos x M donde f(x) = g(x) es cerrado en M y contiene a S, luego contiene a S. En particular, si dos funciones continuas denidas en un espacio mtrico, coinciden en un conjunto denso, entonces son iguales.

6.5.

Sucesiones de funciones

Una sucesin de funciones es una familia de funciones con un dominio comn tomando valores en un mismo espacio mtrico e indizadas por un conjunto numerable por lo general N. Estudiaremos esencialmente dos conceptos de convergencia: la convergencia simple o puntual y la convergencia uniforme. Denicin 66 (convergencia puntual). Sea (fn )nN una sucesin de funciones fn : X M denidas en un conjunto X a valores en un espacio mtrico M. Se dice que (fn ) converge puntualmente o simplemente en X a una funcin f : X M, en smbolos fn f, cuando para cada x X, la sucesin (fn (x))nN converge a f(x), es decir, l m fn (x) = f(x).
n

Ejemplo 86. La sucesin de funciones fn : R R denidas por fn (x) = x/n converge puntualmente en R a la funcin nula. En efecto, dado x R y > 0 tomamos n0 N tal que n0 > |x| /. Entonces,

Luego, l m fn (x) = 0. Observe que la seleccin de n0 depende del x dado y no existe un n0 N que sea apropiado para todo x R. Denicin 67 (convergencia uniforme). Diremos que una sucesin de funciones fn : X M converge uniformemente en X a una funcin f : X M cuando para todo nmero real > 0 dado, es posible hallar n0 N tal que

n n0

|x| |x| x 0 = < . n n n0

n n0 (x X) d(fn (x), f(x)) < .

6.5. SUCESIONES DE FUNCIONES

95

Ejemplo 87. La sucesin de funciones fn (x) = x/n converge uniformemente a la funcin 0 en cualquier subconjunto acotado X de R. De hecho si |x| c para todo x X, entonces, dado > 0, basta tomar n0 > c/. As, n n0 |x/n 0| c/n < para cualquier x X. Por otro lado, la misma sucesin no converge uniformemente en R. En efecto, si tomamos = 1, por ejemplo, dado n0 N cualquiera al tomar n > n0 y x > n se tiene que |x/n 0| = x/n > 1 = ; esto muestra que la convergencia x/n 0 no es uniforme en R. Para ver este hecho geomtricamente, trazamos el grco de algunos trminos de la sucesin fn (x) = x/n se trata de rectas que pasan por el origen con pendientes 1/n. Armar que fn 0 uniformemente en R signica que a partir de un n sucientemente grande, el grco de fn est contenido totalmente en la banda R (, ). Pero por grande que sea n ninguna recta y = x/n est contenida en dicha banda. Pero si jamos un conjunto acotado X R para n sucientemente grande, la parte de la recta sobre el conjunto X (es decir, el grco de x/n restringido a X) est contenida totalmente en la banda. (ver la gura 6.1).

En esta denicin se observa que el n0 obtenido es vlido para cualquier x en X, de all la uniformidad. Es claro que la convergencia uniforme implica la convergencia puntual, el recproco no es cierto. Pero tambin es claro que si fn f puntualmente en X, entonces (fn ) no puede converger en X uniformemente a otra funcin que no sea f.

Figura 6.1: Interpretacin grca de la convergencia uniforme.

Ejemplo 88. La sucesin de funciones fn : [0, 1] R, denidas por fn (x) = xn converge puntualmente en [0, 1] a la funcin f : [0, 1] R denida por: f(x) = 0 para x [0, 1) y f(1) = 1. En efecto, jando x [0, 1) por el ejemplo 82, limn fn (x) = limn xn = 0, mientras que l mn fn (1) = l mn 1n = 1. Mas esta convergencia no es uniforme en [0, 1] (ni siquiera en el intervalo [0, 1)) pues tomando > 0 tal que 0 < < 1, por grande que sea n n existen puntos x en [0, 1) tales que |fn (x) f(x)| = x . Basta tomar x tal que n < x < 1. Por otro lado, en todo intervalo de la forma [0, 1 ], con 0 < < 1, tenemos que l m xn = 0 uniformemente. En efecto, dado > 0, como l m(1 )n = 0, se sigue que existe n0 N tal que

96

CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS

Figura 6.2: Ejemplo de convergencia no uniforme en un conjunto acotado.

n n0 (1 )n < . Por tanto, para todo x [0, 1 ], y todo n n0 , tenemos que |fn (x) f(x)| = xn (1 )n < .
A continuacin se mostrar que la convergencia uniforme puede ser interpretada como la convergencia de puntos en un espacio mtrico adecuado. Considerar funciones como puntos de un espacio mtrico, en el cual la distancia fue denida de tal forma de dar lugar a un cierto tipo de convergencia, es una de las tcnicas usuales en el Anlisis Funcional. En la siguiente proposicin X es un conjunto M un espacio mtrico y fn : X M es una sucesin de funciones. Para f : X M el conjunto

Bf (X; M) =

es un espacio mtrico con la mtrica del supremo, ver ejemplo 21 pgina 29. Proposicin 6.20. Sea X un conjunto, M un espacio mtrico, para fn : X M y f : X M. Si fn f uniformemente en X entonces, para todo n sucientemente grande fn Bf (x : M) y l m fn = f como elementos de dicho espacio mtrico. Recprocamente, si l m fn = f en Bf (X; M), entonces fn f uniformemente en X.

g : X M/ sup d(g(x), f(x)) <

xX

como puntos de Bf (X; M). Recprocamente, si (fn ) en Bf (X; M) es tal que fn f, por denicin de la mtrica tenemos que dado > 0 existe n0 N tal que

Prueba: Si fn f uniformemente en X se tiene que dado > 0 existe n0 N tal que n n0 (x X)d(fn (x), f(x)) < por lo tanto, n n0 d(fn , f) = sup d(fn (x), f(x)) ; as que fn Bf (X; M) y fn f
xX

n n0 d(fn , f) <

luego, fn f uniformemente en X.

(x X)d(fn (x), f(x)) sup d(fn (x), f(x)) = d(fn , f) < ;

xX

6.5. SUCESIONES DE FUNCIONES

97

Proposicin 6.21. Sean M y N espacios mtricos. Si una sucesin de funciones fn : M N, continuas en el punto a M, converge uniformemente en M a una funcin f : M N entonces, f es continua en a.

Prueba: Probemos que f es continua en a. Dado > 0 existe un n N tal que para todo x M, d(fn (x), f(x)) < /3, para este n (jo) sabemos que fn es continua en a, por lo tanto existe un > 0 tal que d(x, a) < d(fn (x), fn (a)) < /3. Entonces, para todo x M con d(x, a) < se tiene que

d(f(x), f(a)) d(f(x), fn (x)) + d(fn (x), fn (a)) + d(fn (a), f(a)) < + + = 3 3 3
Corolario 6.22. El lmite uniforme de una sucesin de funciones continuas fn : M N es una funcin continua f : M N.