Tema 3

Sucesiones y l mite de sucesiones

Indice del Tema
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Sucesiones. . . . . . . . . . . . . . . . . . . . . . Progresiones. . . . . . . . . . . . . . . . . . . . . Convergencia. . . . . . . . . . . . . . . . . . . . Sucesiones que tienden a cero. . . . . . . . . . . Algebra de l mites. . . . . . . . . . . . . . . . . . L mites innitos. . . . . . . . . . . . . . . . . . . Sucesiones montonas. . . . . . . . . . . . . . . o El nmero e. . . . . . . . . . . . . . . . . . . . . u Exponencial y logaritmo de un nmero real. . . u L mites con exponenciales y logaritmos. . . . . . Regla de Stolz. . . . . . . . . . . . . . . . . . . . Innitos e innitsimos: equivalencias. . . . . . e Subsucesiones: teorema de Bolzano-Weierstrass. Sucesiones de Cauchy. . . . . . . . . . . . . . . . L mites de oscilacin. . . . . . . . . . . . . . . . o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 63 65 68 70 76 79 83 86 92 97 103 105 108 110

Sucesiones.

En esta seccin vamos a introducir y formalizar el concepto de sucesin. Tratar, en primer lugar, de o o e describir intuitivamente la idea y despus analizar los objetos formales que se pueden usar para denir ese e e concepto. En teor de conjuntos has aprendido el concepto de par ordenado, intuitivamente, si uno considera un par a ordenado de nmeros reales (a, b), piensa en dos nmeros que se dan de forma ordenada: el primero es u u el nmero a y el segundo es el nmero b. Pues bien, lo que vamos a hacer es denir un objeto, no ya con u u dos nmeros, si no formado con innitos nmeros reales que estn dados ordenadamente. Y para esto u u a usaremos ese concepto de par ordenado. La idea es la siguiente: supn que queremos dar los siguientes nmeros reales ordenadamente (no me o u reero a darlos de mayor a menor o de menor a mayor con el orden de R): 2 , 7, 3, 7. 3, 3

60

1. SUCESIONES. 2 es el segundo (el 2), 7 es el tercero (el 3), 3 3 es el cuarto (el 4) y 7 es el quinto (el 5). Pero, qu puedo usar para denir formalmente este conjunto e ordenado? La respuesta a esa pregunta est ah en lo que hemos hecho antes: asociar a cada nmero real un nmero a , u u natural. As en el ejemplo anterior podr , amos escribir: (1, 3), 2 (2, ), 3 (3, 7), (4, 3), (5, 7) .

Al aparecer as puedo entender que 3 es el primero (el 1), ,

De esta forma tenemos denida una sucesin nita de nmeros reales. Pero ese conjunto dene, como o u 2 debes saber, una funcin del conjunto {1, 2, 3, 4, 5} en el conjunto {3, , 7, 3, 7} y es esta idea la que o 3 nos va a permitir denir una sucesin innita. o Definicion 1.1 Llamaremos sucesin de nmeros reales a cualquier funcin o u o a : N R La imagen del nmero natural n; esto es, a(n), se denota por an y se le llama trmino n-simo de la u e e sucesin o trmino general. El primer trmino es a1 , el segundo trmino es a2 , etc. o e e e La anterior sucesin suele denotarse por (an )n . o Tal como la hemos denido, una sucesin es un conjunto de pares ordenados de la forma: o {(1, a1 ), (2, a2 ), . . . , (n, an ), . . .} Como los nmeros naturales 1, 2, ... dan el orden se pueden dar por supuestos y, por ello, en ocasiones u vers frases como a sea la sucesin a1 , a2 , a3 , . . . o Aunque no siempre tendremos claro qu signican exactamente esos puntos suspensivos y aunque tienen e un gran valor didctico formalmente no sirven. Ten cuidado con ellos. Te pondr un ejemplo. Te habrn a e a planteado muchas veces preguntas como: qu nmero sigue en la siguiente sucesin? e u o 1, 3, 5, 7, ...

Parece que nos estn pidiendo que digamos el 9 pero por qu? Simplemente porque hemos encontrado a e una ley de formacin? En realidad hay innitas posibilidades. Por ejemplo, si consideramos que la o sucesin se dene por o n 2n 1 + (n 1)(n 2)(n 3)(n 4) resulta que 1 2 3 4 5 2 1 1 + (1 1)(1 2)(1 3)(1 4) 2 2 1 + (2 1)(2 2)(2 3)(2 4) 2 3 1 + (3 1)(3 2)(3 3)(3 4) 2 4 1 + (4 1)(4 2)(4 3)(4 4) 2 5 1 + (5 1)(5 2)(5 3)(5 4) = 1 = 3 = 5 = 7 = 33

Por esa ley el nmero que sigue a aquella es el 33 y no el 9. u En los siguientes ejemplos puedes ver denidas sucesiones de distintas formas. Observa que no dejan duda de cules son los trminos de la sucesin; esto es, el primer trmino (imagen del 1), el segundo trmino a e o e e (imagen del 2), etc: Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES n n+1

61

Por el trmino general: e

.
n

Por recurrencia: a1 = 1, an+1 =

2an + 1 , para n 1. 3

Ejercicio III.1. Escribe los primeros trminos de las siguientes sucesiones: e (a) n n+1 .
n

(b) b1 = 1, bn+1 =

2bn + 1 , para n 1. 3
n

(c) c1 = 1, c2 = 1 cn+2 = cn + cn+1 , para n 1. (d) (xn ), si xn = 1+ 1 n , n 1.

Te pondr las cosas un poco ms dif e a ciles. Supn que tenemos una funcin denida sobre un subconjunto o o innito de nmeros naturales, llammosle M N, y con imagen en R: u e f: M m R f (m)

Dene esta funcin una sucesin? Pues en cierta manera s Veamos cmo. o o . o Al ser N un conjunto bien ordenado, todo subconjunto suyo tiene primer elemento, luego M tiene un primer elemento que vamos a llamar m1 . Tambin el conjunto M \ {m1 } tendr un primer elemento (pod e a amos llamarle el segundo elemento de M ) que llamaremos m2 , y, procediendo as podremos escribir que , M = {mn : n 1} Ya tenemos la sucesin (recuerda que debe ser una funcin de N en R): o o N R n mn f (mn ) As que la sucesin que dene es (f (mn ))n . o Por tanto, no te extraes que veas sucesiones que no estn denidas para ciertos nmeros naturales, como n e u por ejemplo la dada por an = 2/(n 3). Estas expresiones denen sucesiones en la forma que te he sealado antes. n Definicion 1.2 Dadas dos sucesiones (an )n y (bn )n se dene la suma de ambas como la sucesin cuyo o trmino general es an + bn . e Se dene el producto, o multiplicacin, de ambas como la sucesin cuyo trmino general es an bn . o o e Si adems bn = 0, para n 1, se dene el cociente, o divisin, de ambas como la sucesin cuyo trmino a o o e general es an /bn . Ejercicio III.2. Comprueba que en el conjunto de todas las sucesiones de nmeros reales la suma tiene las u propiedades conmutativa, asociativa, existe un elemento nulo, y cada sucesin tiene una opuesta. o Ejercicio III.3. Comprueba que en el conjunto de todas las sucesiones de nmeros reales el producto tiene u las propiedades conmutativa, asociativa y existe un elemento unidad. Cada sucesin tiene inversa? o Quico Ben tez

62

2. PROGRESIONES.

Progresiones.

Vamos a estudiar en esta seccin un caso particular de sucesiones, denominadas progresiones, que posibleo mente ya hayas estudiado en alguna ocasin. o Definicion 2.1 Diremos que la sucesin (an )n es una progresin aritmtica si existe un nmero real o o e u d, llamado diferencia de la progresin, tal que o an+1 = an + d n 1.

Diremos que la sucesin (bn )n es una progresin geomtrica si existe un nmero real r, llamado razn o o e u o de la progresin, tal que o bn+1 = bn r n 1. Diremos que la sucesin (xn )n es una progresin aritmtico-geomtrica si es el producto de dos progreo o e e siones, una aritmtica y otra geomtrica. e e A continuacin vemos unos ejemplos: o
1, 3, 7, 11, son los cuatro primeros trminos de una progresin aritmtica cuya diferencia es 4. e o e 1, 3, 9, 27, son los cuatro primeros trminos de una progresin geomtrica cuya razn es 3. e o e o 1 1, 3 3, 7 9, 11 27, son los cuatro primeros trminos de una progresin aritmtico-geomtrica e o e e de diferencia 4 y razn 3. o

Proposicion 2.2 El trmino general de una progresin aritmtica (an )n cuya diferencia es d viene dada e o e por an = a1 + (n 1)d. La suma de los n primeros trminos de la progresin es e o Sn = a1 + an n. 2

Demostracion. Probemos que an = a1 + (n 1)d por induccin. Para n = 1 es obvio. Supongamos o que es cierta para n = k. Entonces, ak+1 = ak + d = (a1 + (k 1)d) + d = a1 + kd. Probemos Sn = Entonces, a1 + an n por induccin. Para n = 1 es obvio. Supongamos que es cierta para n = k. o 2 Sk+1 = Sk + ak+1 = Como ak = a1 + (k 1)d y ak+1 Sk+1 = a1 + ak k + ak+1 . 2 = a1 + kd resulta que

a1 + a1 + (k 1)d 2a1 k + (k 1)kd + 2a1 + 2kd 2a1 (k + 1) + (k + 1)kd k + a1 + kd = = . 2 2 2 a1 + a1 + kd a1 + ak+1 2a1 + kd (k + 1) = (k + 1) = (k + 1). 2 2 2

Sacando factor comn k + 1 y operando: u Sk+1 =

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

63

Proposicion 2.3 El trmino general de una progresin geomtrica (bn )n cuya razn es r viene dada por e o e o bn = b1 rn1 . La suma de los n primeros trminos de la progresin cuando r = 1 es e o S n = b1 Si r = 1 entonces Sn = a1 n. Demostracion. Probemos que bn = b1 rn1 por induccin. Para n = 1 es obvio. Supongamos que es o cierta para n = k. Entonces, bk+1 = bk r = b1 rk1 r = b1 rk . 1 rn . Se tiene que 1r Sn = b1 + b2 + b3 + + bn1 + bn . Multiplicando por la razn r ambos miembros de esta igualdad y teniendo en cuenta que bk r = bk+1 resulta o Sn r = Restando ambas se tiene Sn (1 r) = b1 bn r = b1 b1 rn = b1 (1 rn ). De donde resulta la igualdad que quer amos probar. Ejercicio III.4. Los nmeros 2 y 5 son los trminos tercero y quinto, respectivamente, de una progresin u e o aritmtica, halla la suma de los 10 primeros trminos. e e Ejercicio III.5. Se sabe que si m es la mensualidad que se abona para amortizar un prstamo de C a e un tanto anual i en n aos, se debe vericar n C = m(1 + i/12)1 + m(1 + i/12)2 + m(1 + i/12)3 + + m(1 + i/12)12n Encuentra una frmula para halar el valor de m. o A continuacin vamos a usar la misma tcnica de la ultima demostracin para hallar la suma de los n o e o primeros trminos de una progresin aritmtico-geomtrica con diferencia d y razn r. e o e e o Esa suma es Sn = a1 b1 + (a1 + d)b1 r + (a1 + 2d)b1 r2 + (a1 + 3d)b1 r3 + + (a1 + (n 1)d)b1 rn1 Multiplicando por la razn r ambos miembros de esta igualdad resulta o Sn r = Restando ambas se tiene Sn (1 r) = a1 b1 + db1 r + db1 r2 + db1 r3 + + db1 rn1 (a1 + (n 1)d)b1 rn Quico Ben tez a1 b1 r + (a1 + d)b1 r2 + (a1 + 2d)b1 r3 + + (a1 + (n 1)d)b1 rn b2 + b3 + b4 + + bn + bn r. 1 rn . 1r

Probemos que Sn = b1

64

3. CONVERGENCIA.

De donde, Sn (1 r) = a1 b1 + db1 (r + r2 + r3 + + rn1 + rn ) a1 b1 rn + nb1 rn 1 rn + nb1 rn = a1 b1 (1 rn ) + db1 1r Y de aqu se obtiene el valor de Sn . Ejercicio III.6. Halla la frmula de los k primeros trminos de una progresin aritmtica-geomtrica cuyo o e o e e n , n 1. trmino general es (2n + 1)3 e Con el siguiente procedimiento es posible hallar la suma de cuadrados, cubos, etc, de una progresin o aritmtica. Lo ilustramos con un ejemplo. e Vamos a sumar 12 + 22 + 32 + + n2 . Empezaremos por escribir (k + 1)3 = k 3 + 3k 2 + 3k + 1, para los valores de k desde 1 a n. A continuacin se suman todos las igualdades: o
$ $$$ 3 (1 + 1) $ $$$ 3 (2 + 1) $$ $$ 1)3 (3 +

... (n + 1)3 (n + 1)3 (n + 1)3 De donde,

= 13 + 3 12 + 3 1 + 1 = 23 + 3 22 + 3 2 + 1 = 33 + 3 32 + 3 3 + 1 ... 3 + 3 n2 + 3 n + 1 = n = 13 + 3(12 + 22 + + n2 ) + 3(1 + 2 + + n) + n 1+n = 1 + 3(12 + 22 + + n2 ) + 3 n+n 2

(n + 1)3 1 3 12 + 22 + + n2 =

(1 + n)n n 2n3 + 3n2 + n 2 = 3 6

Ejercicio III.7. Para una progresin aritmtica cuyo primer trmino es a1 y la diferencia d puedes hallar o e e la suma de los cuadrados de los primeros n trminos usando el procedimiento anterior con la igualdad e a3 = (ak + d)3 = a3 + 3a2 d + 3ak d2 + d3 . k+1 k k Encuentra una expresin de la suma a2 + a2 + + a2 en funcin del primer trmino a1 y de la diferencia o o e n 1 2 d. Ejercicio III.8. Halla 13 + 23 + 33 + + n3 .

Convergencia.

Antes de entrar en el concepto central de este tema, como es la convergencia, vamos a dar la denicin o de entorno que usaremos despus. e Definicion 3.1 Sea a R, para > 0 llamaremos entorno abierto del punto a de radio (a , a + ) . Llamaremos entorno del punto a a cualquier conjunto E R para el que existe un > 0 vericando (a , a + ) E. Introduccin al anlisis matemtico o a a al intervalo

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

65

Demos ahora la denicin de convergencia de una sucesin. o o Definicion 3.2 Sea (an )n una sucesin de nmeros reales y a un nmero real. Diremos que la sucesin o u u o (an )n converge al nmero a, o que tiene l u mite a, y se denota por cualquiera de las siguientes formas, an a, lim an = a, lim an = a,
n

si para cada nmero real > 0 existe un nmero n0 N tal que u u

|an a| < si

n n0 .

Observa que |an a| < es equivalente a que < an a < , o tambin, a < an < a + , lo cual e signica que an (a , a + ). Ya que, para cada > 0, existe un n0 N tal que an (a , a + ), si n n0 y los nmeros u a1 , a2 , . . . , an0 1 suponen un nmero nito de trminos de la sucesin, la denicin de l u e o o mite anterior podr enunciarse de forma equivalente as a : La sucesin (an )n converge a a si (y slo si) para cada > 0 el entorno (a , a + ) contiene o o a todos los trminos de la sucesin salvo, quiz, a un nmero nito de ellos. e o a u Podemos ir ms all todav Si E es un entorno del punto a entonces contiene un entorno de la forma a a a. (a , a + ), el cual debe contener a todos los trminos de la sucesin salvo quiz a un nmero nito de e o a u ellos. Entonces, podemos de nuevo enunciar, de forma equivalente, la convergencia de una sucesin as o : La sucesin (an )n converge a a si (y slo si) cada entorno de a contiene a todos los trminos o o e de la sucesin salvo, quiz, a un nmero nito de ellos. o a u Esa frase de ...contiene a todos los trminos de la sucesin salvo, quiz, a un nmero nito de ellos que e o a u aparece en los dos anteriores enunciados, puede sustituirse por existe n0 N tal que an E (si llamamos E al entorno) para n n0 . Ejercicio III.9. En los siguientes enunciados se trata de dar formulaciones equivalentes al de l mite de una sucesin (an )n . Estudia cada una de ellas y prueba si son o no equivalentes a que an a, y en caso de o no serlo, qu relacin de implicacin tiene con esa convergencia (usa contraejemplos si fueran necesarios): e o o (a) Fuera de cada entorno de a hay, a lo sumo, un nmero nito de trminos de la sucesin. u e o (b) Dado > 0 existe k N tal que |am a| < , si m k. (c) Para cada > 0 el conjunto M = {n N : an (a , a + )} es nito.

(d) Para todo > 0 podemos determinar n N tal que para todo n0 n se verica |an0 a| < . (e) Para cada nmero real > 0 existe un nmero n0 N tal que u u |an a| si n n0 .

(f) Todo entorno del punto a contiene a innitos trminos de la sucesin. e o (g) Para cada nmero 0 < < 1 existe un nmero n0 N tal que u u (h) Para cada nmero real > 0 existe un nmero n0 N tal que u u |an a| < si |an a| < si n n0 . n > n0 . n

(i) Sea R+ , para cada nmero 0 < < existe un nmero n0 N tal que u u n0 . Quico Ben tez

|an a| < si

66

3. CONVERGENCIA.

(j) Para cada nmero real > 0 existe un nmero n0 N tal que u u

|an a|

si

n > n0 .

Malo ser que una sucesin converja a la vez a dos nmeros distintos, pero eso no es posible: a o u Proposicion 3.3 Si una sucesin (an )n converge el l o mite es unico. Demostracion. En efecto, sean a y b dos l mites de la sucesin (an )n . Veamos que |a b| = 0; esto es, o que a = b. Sea > 0 y apliquemos la denicin de l o mite. Como an a para el nmero /2 > 0 existe n1 N tal u que |an a| < /2, n n1 . Por otra parte, si an p, tambin para el nmero /2 > 0 existe n2 N tal que e u |an b| < /2, n n2 .

Tomando n0 = mx{n1 , n2 } N resulta que para n n0 es a |a b| = |a an + an b| |a an | + |an b| < /2 + /2 = . Hemos obtenido que |a b| < , cualquiera que sea > 0, o sea que |a b| = 0 como pretend amos probar. Una implicacin importante de la convergencia de una sucesin es la acotacin, antes de probarlo precisemos o o o este concepto. Ya sabes que, por denicin, una sucesin no es un conjunto de nmeros sino de pares ordenados donde o o u el primer elemento es un nmero natural, as que los conceptos de acotacin, supremo, u o nmo, etc, no se puede aplicar exactamente a las sucesiones. Sin embargo, todos esos conceptos se pueden denir a una sucesin de nmeros reales (an )n considerando el conjunto o u {an : n N} .

Definicion 3.4 Diremos que una sucesin (an )n est acotada inferiormente, acotada superiormente o a o acotada si lo est el conjunto {an : n N}. Una cota superior, cota inferior, el supremo, a nmo, mximo o m a nimo para la sucesin (an )n son, si existen, los del conjunto anterior. o Como un conjunto con un nmero nito de nmeros es siempre acotado (de hecho tiene mximo y m u u a nimo) resulta que la acotacin de una sucesin basta estudiarla a partir de un determinado trmino. En otras o o e palabras, una sucesin est acotada (superior o inferiormente) si, y slo si, existe un n0 N tal que lo est o a o a el conjunto {an : n n0 }. Ejercicio III.10. Se sabe que para la sucesin (an )n existe un n0 N tal que an M , para n n0 . o Encuentra una cota superior para la sucesin. o Ejercicio III.11. Encuentra el supremo y el nmo de la sucesin (1/n)n . o Otro aspecto que se usa frecuentemente al estudiar la acotacin de sucesiones es el siguiente. Si una o sucesin (an )n est acotada existirn dos nmeros y tales que o a a u an , n 1.

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Si llamamos M = mx{||, ||}, resultar que a a M || an || M. De donde, |an | M si n 1. Rec procamente, si para esa sucesin (an )n existe un nmero M 0 tal que |an | M si n 1, entonces o u la sucesin est acotada, puesto que M an M . Hemos probado lo siguiente: o a Proposicion 3.5 Una sucesin (an )n est acotada si y slo si existe un nmero real M 0 tal que o a o u |an | M , para n 1 (o tambin si lo es para n n0 , para algn n0 N). e u Proposicion 3.6 Si una sucesin es convergente est acotada. o a Demostracion. Sea la sucesin (an )n convergente a a R. Por la denicin de l o o mite, para el nmero u 1 > 0 existe n0 N tal que |an a| < 1, si n n0 . Pero esto es lo mismo que decir que 1 < an a < 1; Por tanto, la sucesin est acotada. o a Conviene que te acostumbres a ciertas situaciones triviales porque esto te impedir cometer algunos errores. a Se conocen como sucesiones triviales a todas aquellas cuyos trminos son todos iguales a partir de uno de e ellos, as son:
0, 0, 0, 0, 0, . . . 3, 5, 1, 1, 1, . . . (1/n)m .

67

esto es, a 1 < an < a + 1,

para n n0 .

Qu la ultima no es trivial? F e jate que el ndice de la sucesin es m as que esa sucesin es constante: o o 1/n, 1/n, 1/n, 1/n, 1/n, . . . Todas esa sucesiones triviales son convergentes, como es obvio, en el ultimo caso se puede escribir limm 1/n = 1/n. Para estos casos es muy util esa notacin de l o mite. A veces, consideraremos sucesiones con trmino general como e sucesin es o n+1 k o bien
k

n+1 k

n+1 , pero dicho as uno no tiene claro si la k

, que como ves son distintas. Ten mucho ojo con esas situaciones.
n

Sucesiones que tienden a cero.

Esto de estudiar las sucesiones que convergen a cero no es tiempo perdido como irs comprendiendo, la a razn est en la siguiente proposicin cuya demostracin es trivial (por qu?). o a o o e Proposicion 4.1
La sucesin (an )n tiende a cero; esto es, an 0 si y slo si |an | 0. o o

Quico Ben tez

68

4. SUCESIONES QUE TIENDEN A CERO.

Una sucesin (an )n converge a un nmero a a si y slo si la sucesin (an a)n tiende a cero; esto o u o o es, an a si y slo si o an a 0.

Ejercicio III.12. Escribe la demostracin de esta proposicin, por muy trivial que sea. o o En las siguientes proposiciones vamos a mostrar algunas sucesiones muy frecuentes que tienden a cero. Proposicion 4.2 Para cada k N se verica limn 1 = 0. nk

Demostracion. En efecto, sea > 0, por la propiedad arquimediana de R, existe n0 N tal que n0 > 1/. Por tanto, para todo n n0 se verica nk nk n0 > 1/, 0 de donde 1 < . nk

Proposicion 4.3 Para a, b R, a = 0, se verica limn

1 = 0. an + b

Demostracion. En efecto, sea > 0, por la propiedad arquimediana de R, existe n0 N tal que |b| + 1/ n0 > (de dnde sale esto Dios m o o?). De ah si n n0 se tiene que , |a| n n0 > 1 Luego |a|n |b| > . Por tanto, 1 |an + b| = |an (b)| ||an| | b|| = ||a|n |b|| |a|n |b| > . As que, 1 1 = < se verica para cada n n0 , c.q.d.. an + b |an + b| |b| + 1/ , |a| 1 de donde |a|n > |b| + .

En la siguiente proposicin vemos una primera versin de una propiedad, que algunos llaman del sandwich, o o pero que mi amigo Antonio Aizpuru la llama propiedad de todos a comisar a!. Proposicion 4.4 Sean dos sucesiones (an )n y (bn )n tales que an 0 y existe n1 N tal que 0 < |bn | |an |, Entonces bn 0. Demostracion. Fijemos > 0, por la denicin de l o mite, existe n2 N tal que |an | < , si n n2 . Tomando ahora n0 = mx{n1 , n2 }, si n n0 se vericar a a 0 < |bn | |an | < . Luego |bn | < si n n0 , c.q.d.. Ms sucesiones que convergen a cero resultan de la siguiente. a Introduccin al anlisis matemtico o a a (n n1 ).

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Proposicion 4.5 Sea a R vericando |a| < 1 entonces limn an = 0. 1 > 1. Llamemos |a|

69

Demostracion. Si a = 0 es evidente, as que supongamos que 0 < |a| < 1, entonces 1 1 = h > 0 y apliquemos la desigualdad de Bernoulli: |a| (1 + h)n > 1 + hn, Como 1 + h = 1 , sustituyendo, |a| 1 > 1 + hn, |a|n Como lim
n

n > 1.

esto es, 0 < |an | = |a|n <

1 , 1 + hn

(n > 1).

1 = 0 resulta que lim an = 0. 1 + hn

Ej er ci ci o III.13. 1 Demuestra, aplicando la denicin de l o mite, que la sucesin de trmino general o e an = tiene l mite 1. 2n Ej er ci ci o III.14. Demuestra que lim = 2 utilizando la denicin de l o mite. n+2 an + 1 a Ej er ci ci o III.15. Prueba, usando la denicin de l o mite, que lim = , para cualesquiera a y b = 0. bn + 1 b Ej er ci ci o III.16. Demuestra, utilizando la denicin de l o mite, que: 2n2 + 2n + 2 = 1. 2n2 + 2n + 2 4n6 + 8n4 + 12n2 4 = . 6 + 10n4 + 15n2 5n 5 2n + 1 no converge aplicando la 7 n1 n+1

(a) lim (b) lim

Ej er ci ci o III.17. Muestra que la sucesin de trmino general an = o e denicin de l o mite.

Algebra de l mites.

En esta seccin estudiamos el comportamiento de los l o mites con las operaciones suma, producto, etc. Teorema 5.1 Sean (an )n y (bn )n dos sucesiones tales que lim an = a y lim bn = b entonces
No me he vuelto loco, todav no. Cuando veas un ejercicio escrito as es porque ha sido seleccionado entre los que a elaboraron los entonces alumnos de matemticas, Oscar Aragn, Juan Francisco Hernndez, Juan Benigno Seoane, Fernando a o a Rambla, Javier Ruiz y Fernando Vidal, para ayudarte con el anlisis. a
1

Quico Ben tez

70

5. ALGEBRA DE L IMITES.

(i) lim(an + bn ) = lim an + lim bn = a + b. (ii) lim can = c lim an = ca, para cualquier c R. (iii) lim an bn = (lim an )(lim bn ) = ab. (iv) Si b = 0 y bn = 0 para n 1, es lim an lim an a = = . bn lim bn b

Demostracion. (i) Fijemos > 0. Existe n1 N tal que |an a| < /2, n n1 . Por la misma razn existe n2 N tal o que |bn b| < /2, n n2 . Tomando n0 = mx{n1 , n2 }, resulta que para cada n n0 se tiene a |(an + bn ) (a + b)| = |an a + bn b| |an a| + |bn b| < /2 + /2 = . (ii) Si c = 0 el resultado es obvio. Supongamos que c = 0. Dado > 0, para el nmero /|c| > 0 existe u n0 N tal que |an a| < /|c|, n n1 . Por tanto, |can ca| = |c||an a| < |c|/|c| = si n n0 . (iii) Para probar sta vamos a considerar la igualdad e an bn ab = (an a)(bn b) + a(bn b) + b(an a), n 1.

Ya que lim a(bn b) = 0 y lim b(an a) = 0 nos bastar probar que lim(an a)(bn b) = 0. a Sea > 0. Como an a 0, aplicando la denicin de l o mite, para el nmero positivo > 0 u existe n1 N tal que |an a| < . Tambin, como bn b 0, existe n2 N tal que |bn b| < . e Eligiendo ahora n0 = mx{n1 , n2 } resulta que para n n0 se tiene a |(an a)(bn b)| = |an a||bn b| < = .

As pues, (an a)(bn b) 0. Volviendo ahora a la primera igualdad lim(an bn ab) = lim(an a)(bn b) + lim a(bn b) + lim b(an a) = 0. Esto es, lim an bn = ab. (iv) Ya que 1 an = an y el l mite del producto es el producto de los l mites como acabamos de ver, nos bn bn bastar probar que 1/bn 1/b. a Para ello, tengamos en cuenta que 1 1 |bn b| = . Como el numerador de esta fraccin tiende o bn b |bn ||b| a cero tendremos que acotar inferiormente el denominador.

Ya que bn b, y |b|/2 > 0, podemos aplicar la denicin de l o mite para determinar un n1 N tal que |bn b| < |b|/2, n n1 . Pero entonces ||bn | |b|| |bn b| < |b| ; 2 esto es |b| |b| < |bn | |b| < . 2 2

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES 3|b| |b| |b| Sumando |b| resulta < |bn | < . Slo usaremos que la desigualdad o < |bn | se verica para 2 2 2 cada n n1 , o lo que es lo mismo, 1 2 < , bn |b| n n1 .

71

Sea > 0, aplicando la denicin de l o mite, para |b|2 , 2

|b|2 > 0 existe n2 N tal que 2 para n n2 .

|bn b| <

Eligiendo ahora n0 = mx{n1 , n2 } resulta que, para n n0 , es a 1 1 |bn b| 1 1 |b|2 2 1 = = |bn b| < = . bn b |bn ||b| |bn | b 2 |b| |b| As pues, hemos probado que 1/bn 1/b y, nalmente, lim an 1 1 a = lim an = a = . bn bn b b

Observa cmo aplicamos los resultados anteriores para hallar el siguiente l o mite: 3n2 + 5n + 2 . 4n2 3n + 5

lim

En este caso no podemos aplicar el l mite del cociente puesto que las sucesiones del numerador y del denominador no parecen ser sucesiones que converjan. Sin embargo, podemos transformarlos as : n2 3 + n2 5 2 + 2 n n 5 3 4 + 2 n n 5 2 + 2 n n . = 3 5 4 + 2 n n 3+

3n2

+ 5n + 2 = 2 3n + 5 4n

Ahora las sucesiones del numerador y del denominador convergen y podemos aplicar: 5 3+ + 3n2 + 5n + 2 n lim 2 = lim 3 4n 3n + 5 4 + n 5 2 2 lim 3 + + 2 2 n n n = 5 3 5 lim 4 + 2 n2 n n

3 4

Ahora estudiamos el comportamiento del l mite con las potencias y radicaciones. Quico Ben tez

72

5. ALGEBRA DE L IMITES.

Proposicion 5.2 Consideremos una sucesin (an )n con l o mite a, entonces (i) lim ap = (lim an )p = ap , para cualquier p N. n (ii) Si a = 0 y an = 0, para n N, entonces lim ap = (lim an )p = ap , para cualquier p N. n (iii) Si an 0, para n N, entonces lim an
1/q

= (lim an )1/q = a1/q , para cualquier q N.

(iv) Si a > 0 y an > 0, para n N, entonces lim ar = (lim an )r = ar , para cualquier r Q. n Demostracion. (i) La probaremos por induccin. Para p = 1 el resultado es obvio. Supongamos que es cierta para o k = ak , entonces p = k; esto es, lim an lim ak+1 = lim ak an = (lim ak )(lim an ) = ak a = ak+1 . n n n (ii) Aplicando el l mite del cociente lim ap = lim n 1 1 1 p p = p = p =a . a an lim an
1/q

(iii) La probaremos por el contrarrec proco. Supongamos que a1/q no es el l mite de la sucesin (an )n , o entonces ni la denicin de l o mite se verica ni, por tanto, ninguno de sus enunciados equivalentes. Por ejemplo, es falsa la siguiente armacin: fuera de cualquier entorno del punto a1/q hay un o nmero nito de trminos de la sucesin. As que su negacin es verdadera: existe un entorno del u e o o punto a1/q al que no pertenecen innitos trminos de la sucesin. e o Eso es lo mismo que decir que existe un > 0 tal que el conjunto M = {n N : es innito. As que si n M es an de las siguientes posibilidades:
1/q 1/q

a1/q (a1/q , a1/q + )} n

(a1/q , a1/q + ), pero esto signica que se verica una

1/q

O bien es an a1/q ; o lo que es lo mismo, a1/q an + > 0, lo cual signica que, al elevar a q N,

a a1/q + n Esto es, an a q .

O bien es an
1/q

an + q .

a1/q + > 0, lo que implica que an a1/q +

q

a + q .

Esto es, an a + q . En cualquier caso, si n M entonces an (a q , a + q ). As que en este entorno del punto a no estn innitos trminos de la sucesin (an )n , por tanto, a no puede ser el l a e o mite de la sucesin o (an )n , c.q.d.. Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES p , siendo p Z y q N. Aplicando las propiedades q

p

73

(iv) Si r Q, entonces podemos expresar r = anteriores se tiene lim a1/q = a1/q n y

lim ap/q = lim a1/q n n

= a1/q

= ap/q .

Proposicion 5.3 Si a R+ entonces lim

a = 1. n n 1 1 = 1; esto es, > 1. Si llamamos n a

Demostracion. Supongamos que 0 < a < 1, en tal caso

a<

1 hn = 1 > 0, n a Podemos aplicar la desigualdad de Bernoulli y obtener (1 + hn )n > 1 + nhn > 0, Como si n > 1.

1 1 1 = n a, se tiene que a = < . As pues, n 1 + hn (1 + hn ) 1 + nhn a + anhn < 1, esto es, 0 < hn < 1a 0. an

Luego hn 0. Finalmente, 1 = lim

1 = lim n a. 1 + hn

La demostracin es similar cuando a > 1. El caso a = 1 es trivial. o Ejercicio III.18. Prueba que n a 1 cuando a > 1. Aqu est la propiedad del sandwich o de todos a comisar a a Proposicion 5.4 Sean tres sucesiones (an )n , (bn )n y (cn )n . Si para algn n0 N se verica u an bn cn entonces lim bn = a. Demostracion. Fijemos > 0. Ya que an a, existe n1 N tal que a < an < a + , Tambin cn a, as que existe n2 N tal que e a < cn < a + , (n n2 ). (n n1 ). para n n0 y lim an = lim cn = a,

Para que se veriquen todas las desigualdades consideremos n3 = mx{n0 , n1 , n2 } N. Por lo que si a n n3 se verica a < an bn cn < a + . Por ende, bn a. Quico Ben tez

74

5. ALGEBRA DE L IMITES.

Proposicion 5.5 Sea (an )n una sucesin convergente a a, entonces o (i) lim sen an = sen a. (ii) lim cos an = cos a. Demostracion. Probemos (i). Para > 0 y < (por qu habr tenido que exigir esto?) existe n0 e e tal que |an a| < , si n n0 . Por tanto, si n n0 se tiene |sen an sen a| = 2 sen an a an a an a an + a sen 2 sen 2 = |an a| < . 2 2 2 2

(ii) se demuestra de forma similar. Ejercicio III.19. Prueba que cos an cos a cuando an a. Ejercicio III.20. Es cierto que tg an tg a cuando an a? Establece en qu casos es cierto. e Veamos algunos ejemplos de clculo de l a mites:
lim

5n2 + 3n . 6n 5 De nuevo podemos hacer transformaciones para obtener: 5n2 + 3n = 6n 5

5n2 + 3n n2 n2 6n 5 n n

5+ = 6
5 n

3 n

Por tanto lim

lim

5n2 + 3n 5 = . 6n 5 6

n2 + 1 n .

Haciendo transformaciones: n2 + 1 n = n2 + 1 n n2 + 1 + n 1 = = n2 + 1 + n n2 + 1 + n 0 = 0. 2 1 . n2 + n 1 n . 1 1+ 2 +1 n

Luego lim
lim

n2 + 1 n = + 1

n2 + 1 n2 + 2 Para hallarlo, observamos que Puesto que lim

+ +

n2

n 1 1 1 n < + + + < . 2+1 2+2 2+n 2+1 +n n n n n

n2

n n = lim = 1, el l mite propuesto existe y es 1. 2+1 +n n

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

75

Ejercicio III.21. Halla los siguientes l mites, si existen. (a) lim (b) lim (c) lim (d) lim n3 + n2 + 5 . n4 + 3n + 2
4

n2 + 1 n . n2 + 1 n .

4 . 5n 2n 3 (e) lim n . 3 +7

Ej er ci ci o III.22. Halla los l mites que existan (a) lim (b) lim (c) lim (d) lim 1 1 1 + + + . 2 2 n (n + 1) (n + n)2 n2 1 1 1 + 2 + + 2 . +1 n +2 n +n

1 1 1 + + + . n n+n n+1 n2 1 2 n + 2 + ... + 2 . +1 n +2 n +n

Ejercicio III.23. Halla el siguiente l mite, si existe, lim x1 n + 1 + x2 n + 2 + x3 n + 3 + x4 n + 4 + x5 n + 5 sabiendo que x1 + x2 + x3 + x4 + x5 = 0 (la verdad que no s por qu he puesto 5 sumandos, pod haber e e a puesto 2002 y el l mite seguir siendo el mismo). a

L mites innitos.

Definicion 6.1 Sea (an )n una sucesin de nmeros reales. Diremos que el l o u mite de la sucesin (an )n o es ms innito, o que diverge a ms innito, y lo denotaremos por cualquiera de las formas a a an +, lim an = +, lim an = +,
n

si para cada nmero real M > 0 existe un nmero n0 N tal que an > M si n n0 . Diremos u u que el l mite de la sucesin (an )n es menos innito, o que diverge a ms innito, y lo denotaremos por o a cualquiera de las formas an , lim an = , lim an = ,
n

si para cada nmero real M > 0 existe un nmero n0 N tal que an < M si n n0 . Diremos que u u el l mite de la sucesin (an )n es innito, o que diverge, y lo denotaremos por cualquiera de las formas o an , lim an = , lim an = ,
n

si para cada nmero real M > 0 existe un nmero n0 N tal que u u Quico Ben tez

|an | > M

si

n n0 .

76

6. L IMITES INFINITOS. Observa que si an + o an entonces an . Adems, an si y slo si |an | +. a o Ejercicio III.24. Prueba la veracidad o falsedad de las siguientes armaciones: (a) Si (an )n es una sucesin divergente y k R, k = 0, entonces la sucesin (kan )n es divergente. o o (b) La suma de dos sucesiones divergentes a ms innito (respectivamente, a menos innito) es otra a sucesin divergente a ms innito (respectivamente, a menos innito). o a (c) La suma de dos sucesiones divergentes es otra sucesin divergente. o (d) El producto de una sucesin divergente por una sucesin convergente es divergente. o o (e) El producto de una sucesin divergente por una sucesin que converge a un nmero real no nulo es o o u divergente. Proposicion 6.2 (i) Si (an )n es una sucesin divergente y an = 0, n N, entonces la sucesin (1/an )n converge a o o cero. (ii) Si (an )n es una sucesin convergente a cero y an = 0, n N, entonces la sucesin (1/an )n o o diverge. Demostracion. (i) Fijemos > 0. como an para el nmero 1/ > 0 existe n0 N tal que si n n0 es |an | > 1/. u Pero entonces: 1 < , si n n0 . |an | (ii) Fijemos M > 0. Como an 0, para el nmero 1/M > 0 existe n0 N tal que si n n0 es u 1 |an | < 1/M . As pues, > M, si n n0 . |an |

Ejercicio III.25. Prueba que si (an )n es una sucesin convergente a cero y an > 0, n n0 , para cierto o n0 N, entonces (1/an )n diverge a ms innito y si an < 0, n n0 , para cierto n0 N, entonces (1/an )n a diverge a menos innito. Ejercicio III.26. Prueba las siguientes armaciones: (a) (nr )n a divergente a ms innito para cualquier r Q+ . a (b) Si p N, a0 , a1 , a2 , . . . , ap R y ap = 0 entonces (a0 + a1 n + a2 n2 + + ap np )n es divergente, a ms innito si ap > 0 y a menos innito si ap < 0. a (c) lim( n + 1 + n), divergente a ms innito. a Ejercicio III.27. Prueba que lim an es divergente si |a| > 1. Si a > 1 es divergente a ms innito. a Los siguientes resultados te pueden resultar muy utiles en lo que sigue. Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Proposicion 6.3 Si dos sucesiones (an )n y (bn )n verican que an bn 0, entonces ambas tienen el mismo carcter; esto es, o ambas convergen al mismo nmero o ambas divergen o ambas carecen de l a u mite. Demostracion. Supongamos que una de ellas converge, por ejemplo, an a, y jemos > 0. En tal caso, para /2 > 0 existe n1 N tal que |an a| < /2, n n1 .

77

Tambin como an bn 0, para /2 > 0 existe n2 N tal que e |an bn | < /2, Tomando n0 = mx{n1 , n2 }, para n n0 resultar a a |bn a| = |bn an + an a| |an bn | + |an a| < /2 + /2 = . As que bn a. El mismo razonamiento anterior prueba que si una de ellas no converge la otra tampoco puede converger. Supongamos ahora que (an )n diverge y jemos M > 0. Por un lado podemos determinar n1 N tal que |an | > 2M, Por otro, existe n2 N tal que |an bn | < M, Tomando n0 = mx{n1 , n2 }, para n n0 es a |an | = |an bn + bn | |an bn | + |bn |, luego |bn | |an | |an bn | > 2M M = M. n n2 . n n1 . n n2 .

Ejercicio III.28. Insp rate en la demostracin anterior para probar que si las dos sucesiones (an )n y (bn )n o verican que (an bn )n est acotada entonces si una diverge la otra tambin diverge. a e Ejercicio III.29. Si dos sucesiones (an )n y (bn )n verican que an bn , para n 1, y (an )n diverge a ms a innito entonces (bn )n tambin diverge a ms innito y si (bn )n diverge a menos innito entonces (an )n e a tambin diverge a menos innito. e Proposicion 6.4 Si dos sucesiones (an )n y (bn )n , siendo bn = 0, n N, verican que an /bn 1, entonces ambas tienen el mismo carcter; esto es, o ambas convergen al mismo nmero o ambas divergen a u o ambas carecen de l mite. Demostracion. Observa que al ser an /bn 1, para 1/2 > 0 existe un n1 N tal que an 1 an bn = 1 < , bn bn 2 Entonces, si n n1 n n1 .

|bn | > |an bn | ||an | |bn ||. 2 |bn | |bn | De donde, < |an | |bn | < , esto es, 2 2 0< 3|bn | |bn | < |an | < , 2 2 Quico Ben tez n n1 .

78

7. SUCESIONES MONOTONAS.

De aqu se obtiene, por un lado, que si una de las sucesiones diverge la otra tambin. Por otro lado, si una e de ellas est acotada la otra tambin. Adems, se obtiene que |an | no puede ser cero para n n1 . a e a Supongamos que (an )n converge a un nmero a y jemos > 0. Entonces, (an )n est acotada y, por u a tanto, (bn )n tambin. Sea entonces K > 0 una cota para esta sucesin. e o Al ser an /bn 1, para > 0 existe un n2 N tal que 2K an 1 < , bn 2K Como an a, para > 0 existe un n3 N tal que 2 |an a| < , 2 n n3 . n n2 .

Ahora bien, tomando n0 = mx{n2 , n3 }, para n n0 se tiene que a |bn a| |bn an | + |an a| = |bn | Por tanto bn a. Se puede partir de que la sucesin que converge es (bn )n y llegar a que (an )n tambin converge al mismo o e nmero, siguiendo la misma idea, salvo que hay que tomar n0 = mx{n1 , n2 , n3 } para asegurar que |an | u a no sea cero. an 1 + |an a| < K + = . bn 2K 2

Sucesiones montonas. o

Definicion 7.1 Sea (an )n una sucesin de nmeros reales. Diremos que (an )n es montona si verica o u o una de las siguientes propiedades:
an an+1 , n 1, en este caso diremos que es no decreciente o creciente en sentido amplio. Para los primeros trminos ser e a a1 a2 a3 a4 . . . an an+1 , n 1, en este caso diremos que es no creciente o decreciente en sentido amplio. Para los primeros trminos ser e a a1 a2 a3 a4 . . . an < an+1 , n 1, en este caso diremos que es creciente o creciente en sentido estricto. Para los primeros trminos ser e a a1 < a2 < a3 < a4 < . . . an > an+1 , n 1, en este caso diremos que es decreciente o decreciente en sentido estricto. Para los primeros trminos ser e a a1 > a2 > a3 > a4 > . . .

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

79

Observa que si una sucesin es creciente (en sentido estricto) tambin lo es en sentido amplio y, anlogamente, o e a si es decreciente (en sentido estricto) lo es en sentido amplio. Por ejemplo, si deseamos conocer la monoton de la sucesin cuyo trmino general es an = a o e estudiamos el signo de an+1 an , para n 1, n+1 n (n + 1)2 n(n + 2) 1 = = > 0. n+2 n+1 (n + 1)(n + 2) (n + 1)(n + 2) Esto signica que an+1 > an y, por tanto, la sucesin es creciente (estrictamente). o Veamos otro ejemplo. Considera la sucesin dada por o x1 = 3, xn+1 = 2 + xn , n 1. n n+1

Probaremos por induccin sobre n que xn > xn+1 > 0, para n 1; o sea, la sucesin es decreciente o o (estrictamente).
Para n = 1 es x1 = 3 >

5 = x2 > 0, as que se verica.

Si es cierto para un n N; esto es, xn > xn+1 > 0, entonces 2 + xn > 2 + xn+1 > 0, de donde, 2 + xn > 2 + xn+1 > 0; esto es, xn+1 > xn+2 > 0.

Luego se verica para n + 1. Otro ejemplo ms. Sea la sucesin, a o x1 = 3, 6 , xn + 1 n 1.

xn+1 =

Estudiemos ahora la monoton a partir del signo de xn+1 xn , a xn+1 xn = 6 6 x2 xn x2 xn + 6 n n xn = = xn + 1 xn + 1 xn + 1

Al ser x1 > 0 podemos ver que xn > 0, para n 1 y, por tanto, el denominador del ultimo miembro es positivo y el signo de xn+1 xn depende slo del numerador x2 xn + 6. o n Las ra de x2 x + 6 son 2 y 3, adems ces a
x2 x + 6 es positiva si x (3, 2), x2 x + 6 es negativa si x (, 3) (2, ).

Los trminos xn son todos positivos as que, segn lo anterior, si 0 < xn < 2 entonces xn+1 xn > 0 y si e u xn > 2 es xn+1 xn < 0. Sin embargo, si un trmino verica 0 < xn < 2 entonces xn + 1 < 3, y de aqu e , 1 1 > , xn + 1 3 de donde, 6 6 > = 2. xn + 1 3

As que xn+1 > 2. Por tanto, el signo de xn+1 xn no es constante y la sucesin no es montona. o o Quico Ben tez

80

7. SUCESIONES MONOTONAS.

Una propiedad importante de las sucesiones montonas es la siguiente: o Proposicion 7.2 Si (an )n es una sucesin montona y est acotada entonces es convergente. o o a Si la sucesin es montona y no est acotada, entonces, diverge a ms innito si es no decreciente y a o o a a menos innito si es no creciente. Nota: En ocasiones, para indicar que una sucesin (an )n es montona creciente (en sentido amplio) y o o convergente a un nmero a se suele escribir: u an a. Y si es montona decreciente (en sentido amplio) y convergente a un nmero a se suele escribir: o u an a. Demostracion. Supongamos que la sucesin es no decreciente (creciente en sentido amplio) el caso de o no creciente se puede probar de forma anloga. a Si (an )n est acotada tiene un supremo, llammosle a. Entonces, si > 0, existe un trmino an0 tal que a e e an0 > a . Como la sucesin es no decreciente, si n n0 , es an an0 , luego o an an0 > a de donde, |an a| = a an < , (n n0 ).

As que la sucesin converge a su supremo. o Si la sucesin no est acotada. Para cada nmero real M > 0 existe algn trmino an0 que es mayor que o a u u e M . Pero como la sucesin es no decreciente o an an0 > M, Por tanto la sucesin diverge a ms innito. o a Ejercicio III.30. Prueba que si una sucesin (an )n es montona no creciente y est acotada es convergente o o a y si no est acotada diverge a menos innito (yo no lo har copiando la demostracin anterior sino a a o estudiando la sucesin (an )n ). o Un ejemplito. Vamos a estudiar la monoton acotacin y convergencia de la sucesin a, o o |a1 | < 1, 1 + 3a2 n an+1 = , n 1. 4 Empecemos por la acotacin. Observo que si an+1 > 0 independientemente del signo de an , as que, salvo o quiz el primero, todos los trminos son positivos. Adems, si |an | < 1 es a e a a2 < 1; n 1 + 3a2 < 1 + 3 = 4; n 1 + 3a2 n < 1. 4 si n n0 .

As que an+1 < 1. En denitiva, 0 < an < 1, para n > 1. Luego la sucesin est acotada. o a Estudiemos la monoton a: an+1 an = 1 + 3a2 3a2 4an + 1 n an = n . 4 4

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Las ra de 3x2 4x + 1 son 1/3 y 1 y ces

3x2 4x + 1 > 0 si x (, 1/3) (1, +). 3x2 4x + 1 < 0 si x (1/3, 1).

81

Slo hemos podido determinar que los trminos an de la sucesin estn comprendidos entre 0 y 1, pero o e o a vemos que el signo de an+1 an depende de si an es menor o mayor que 1/3. Estudiemos por separado qu ocurre si |a1 | es mayor, menor o igual que 1/3. e
Si |a1 | = Si |a1 | <

1 1 1 , entonces a2 = y a2 = y se obtiene una sucesin trivial. o 1 3 9 3

1 1 1 , entonces a2 < y a2 < . Del mismo modo, si el trmino n-simo verica an < 1/3, e e 1 3 9 3 entonces an+1 < 1/3. As que, en este caso, an+1 an > 0 y la sucesin es creciente (estrictamente). o

Si 1 > |a1 | >

1 1 1 , entonces a2 > y a2 > . Del mismo modo, si el trmino n-simo verica e e 1 3 9 3 an > 1/3, entonces an+1 > 1/3. En este caso, an+1 an < 0 y la sucesin es decreciente (estrictamente). o

En cualquiera de los tres casos la sucesin es montona y, al ser acotada, converge. o o Para hallar su l mite observemos que lim an+1 = lim an = a, luego lim As que, 1 + 3a2 n = a; 4 esto es, 1 + 3 lim a2 n = a. 4

1 + 3a2 = a, cuyas soluciones son 1/3 y 1. Recordando que si los trminos son mayores que 1/3 e 4 la sucesin decrece y si son menores que 1/3 la sucesin crece, debe ser a = 1/3. o o No te asustes con el ultimo ejemplo, no siempre las cosas son as Bueno, la verdad es que a veces no hay . manera...Ahora te toca a ti. Ejercicio III.31. Estudia la monoton acotacin y el l a, o mite, si existe, de las siguientes sucesiones: (a) a1 = 1, an+1 = (b) b1 = 1, bn =
3

2an + 3 , n 1. 4 4 + bn1 , n > 1. c3 + 2 n , n 1. 7 xn , sabiendo que x= 1 y xn+1 = 3xn + 2, para n 1. 3n

(c) c1 = 1, cn+1 =

Ejercicio III.32. Halla lim

Ej er ci ci o III.33. Sea la sucesin dada por recurrencia : o xn = 1 xn1 , (n 1), n Quico Ben tez x0 = 7.

82

8. EL NUMERO e.

Halla el trmino general, prueba que la sucesin converge y calcula el l e o mite. Ej er ci ci o III.34. Sea la sucesin : o an = 1 , (n 2), an1 a1 R \ {0}.

Calcula los primeros trminos de la sucesin, y encuentra los posibles valores de a1 para los cuales la e o sucesin converge. o Ej er ci ci o III.35. Si 1 (1/2) 3 , , , 2 3 4 fueran los primeros trminos de una sucesin, podr encontrar una denicin por recurrencia? Venga, e o as o que casi la tienes!. Si adems pudieras estudiar si tiene l a mite... 0,
(1/2)

El nmero e. u

Estudiaremos en esta seccin dos sucesiones especialmente importantes cuyo l o mite es el conocido nmero u e. Proposicion 8.1 La sucesin de trmino general o e an =
k=1

1 1 1 1 = 1 + + + + k! 1! 2! n!

es creciente, acotada y su l mite es un nmero real que se denota por e. u 1 > 0. (n + 1)!

Demostracion. La sucesin es creciente ya que an+1 an = o Para estudiar su acotacin, observemos que o 1 1 = 2! 2 1 1 1 = < 2 3! 23 2 1 1 1 = < 3 4! 234 2 1 1 1 = < n1 n! 2 3n 2

1 1 1 1 1 1 2n1 1 = 3 n1 < 3. As que la sucesin est o a Luego, an < 1 + 1 + + 2 + + n1 = 2 + 2 2 2 2 2 1 1 2 acotada entre 1 y 3 y, por tanto, converge a un nmero real. u

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

83

Al ser la sucesin creciente podemos ir calculando la representacin decimal del nmero e,por ejemplo el o o u trmino a3 0 da los 33 primeros decimales de e. Ah van algunos decimales de e: e 2,718 281 828 459 045 235 360 287 471 352 662 497 757 247 093 699 959 . . . Proposicion 8.2 La sucesin de trmino general o e bn = es creciente, acotada y su l mite es e. Demostracion. Veamos que (bn )n es creciente. Aplicando la desigualdad de Bernoulli: 1 Poniendo 1 1 = n2 1+ 1 n 1 1 n 1 n2
n

1+

1 n

>1

1 , n

n > 1.

resulta
n

1 1+ n De donde, bn = Pero, 1 1 n
1n

1 1 n 1 n

>1

1 , n
n

n > 1.
1n

1+

1 n

>

1 n

1 n

.
n1

n1 n

1n

n n1

n1

1 1+ n1

= bn1 .

Luego bn > bn1 , para n > 1, y la sucesin es creciente. o Veamos que (bn )n est acotada por la sucesin an = 1 + a o Desarrollando: 1 1+ n Recuerda que n k As que, n 2 n 3 n n1 n n = = n(n 1) 2! n(n 1)(n 2) 3! n(n 1)(n 2) 3 2 (n 1)! n(n 1)(n 2) 3 2 1 n! Quico Ben tez = n! n(n 1) (n k + 1)(n k)! n(n 1) (n k + 1) = = . (n k)!k! (n k)!k! k!
n

1 1 1 + + + . 1! 2! n! 1 + + n3 n n1 1 nn1 n n 1 . nn

n 0

n 1

1 + n

n 2

1 + n2

n 3

= =

84

8. EL NUMERO e.

Arreglemos convenientemente los sumandos de aquel desarrollo.

n 2 n 3 n n1 n n 1 nn1 1 nn = = n(n 1)(n 2) 3 2 1 = (n 1)! nn1 n(n 1)(n 2) 3 2 1 1 = n! nn 1 1 1 n 1 n 1 1 2 n 2 n 1 1 n2 n n1 n 1 1 < (n 1)! (n 1)! 1 1 < . n! n! 1 n2 1 n3 = = n(n 1) 1 n(n 1) 1 n1 1 = = = 2! n2 n2 2! n 2! 1 1 n 1 1 < 2! 2! 1 n 1 2 n 1 1 < 3! 3!

n(n 1)(n 2) 1 n(n 1)(n 2) 1 = = 3! n3 n3 3!

Por tanto, para n > 1, 1 n

n

bn =

1+

< an = 1 +

1 1 1 + + + <3 1! 2! n!

As que la sucesin (bn )n es montona creciente y est acotada y como bn < an , o o a lim bn lim an = e.

Finalmente, para probar la igualdad veamos que lim bn e. Fijemos m N. Para cualquier n > m, hemos visto que
1+ 1 n
n

=1+1+ 1

1 n

1 1 + 1 2! n

2 n

1 1 + + 1 3! n

2 n

n1 n

1 n!

1 1 1 , en el siguiente , y as sucesivamente hasta llegar a . 2! 3! n! 1 Como m < n, en alguno de los sumandos del anterior desarrollo estar a y a ste le seguirn otros (todos e a m! 1 positivos) hasta llegar al de . Si prescindimos de todos stos quedar un nmero menor: e a u n! Observa que en uno de los trminos aparece e
bn = 1+ 1 n
n

> 1+1+ 1

1 n

1 1 + 1 2! n

2 n

1 1 ++ 1 3! n

2 n

m1 n

1 m!

Tomando l mites en n, resultar a

lim bn 1 + 1 + (1 0) 1 1 1 1 1 1 + (1 0) (1 0) + + (1 0) (1 0) (1 0) = 1+1+ + ++ . 2! 3! m! 2! 3! m!

Tomando ahora limites en m se tendr que lim bn e, como quer a amos probar. Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

85

Exponencial y logaritmo de un nmero real. u

Para un nmero real positivo, hemos denido ar , para r Q, nuestro objetivo ahora es denir a para u cualquier R. Pero necesitaremos algunos resultados para preparar esa denicin. o Para ir calentando motores te conviene realizar los siguientes ejercicios, aunque son ms propios del tema a anterior veo ms necesario que los hagas ahora. a Ejercicio III.36. Sean m, n N, si n < m prueba que
xn > xm si 0 < x < 1, xn < xm si x > 1.

Y si x = 1? Ejercicio III.37. Sean r1 , r2 Q, si r1 < r2 prueba que

xr1 > xr2 si 0 < x < 1, xr1 < xr2 si x > 1.

Y si x = 1? Proposicion 9.1 Sea a R+ . Si (rn )n es una sucesin montona y convergente cuyos trminos son o o e rn ) es convergente. todos nmeros racionales, entonces la sucesin (a n u o Demostracion. Supongamos que rn (no decreciente y convergente a ).
Si 0 < a < 1, como rn rn+1 es arn arn+1 > 0, por lo que la sucesin (arn )n es decreciente (en o sentido amplio) y acotada, as que converge. Si a 1, como rn rn+1 es arn arn+1 . Por otro lado, rn , para n N. Sea m un nmero u natural mayor que , entonces, arn am , para n N. Por tanto, la sucesin (arn )n es creciente o (en sentido amplio) y acotada, as que tambin converge. e

Para rn la demostracin es similar. o Ejercicio III.38. Prueba que si rn entonces (arn )n es convergente, para a > 0. Ejercicio III.39. Prueba que si (rn )n es una sucesin de nmeros racionales divergente a ms innito y o u a 0 < a < 1, entonces (arn )n converge a cero. Ejercicio III.40. Prueba que si (rn )n es una sucesin de nmeros racionales divergente a ms innito y o u a a > 1, entonces (arn )n diverge a ms innito. a Ejercicio III.41. Sea R, describe un procedimiento que demuestre que existen sucesiones montonas o (creciente y decreciente) convergentes a . Proposicion 9.2 Sea a R+ . Si (rn )n y (sn )n son dos sucesiones de nmeros racionales que convergen u rn ) y (asn ) convergen y lo hacen al mismo nmero. a un mismo nmero , entonces las sucesiones (a n u u n Quico Ben tez

86

9. EXPONENCIAL Y LOGARITMO DE UN NUMERO REAL.

Demostracion. La idea que seguiremos en esta demostracin es la siguiente: Dado el nmero real , o u por la densidad de Q, podemos determinar una sucesin creciente de nmeros racionales (tn )n que converja o u a . Por la proposicin anterior, la sucesin (atn )n es convergente. o o Si consideramos cualquier otra sucesin de nmeros racionales (rn )n convergente a y probamos que o u (arn )n es convergente y que lim arn = lim atn , se deducir que tambin (asn )n converge y, por tanto, a e lim arn = lim atn = lim asn . Probemos entonces que (arn )n es convergente y que lim arn = lim atn . Supongamos que 0 < a < 1 y jemos > 0. Como a1/k 1 (ver proposicin 5.3), existe k1 N tal que o si k k1 es a1/k 1 < ; esto es, < 1 a1/k < . Por otro lado, tambin a1/k 1, as que existe k2 N tal que si k k2 es e a1/k 1 < ; Observa que esto es, < 1 a1/k < .

1 1 < y 0 < a < 1 implica que a1/k > a1/k , de donde k k 1 a1/k < 1 a1/k .

Tomando k0 = mx{k1 , k2 } se verica que a < 1 a1/k0 < 1 a1/k0 < . En realidad, se verica para cualquier k k0 , pero slo necesitamos uno. o Como las sucesiones (rn )n y (tn )n convergen al mismo nmero , se tiene que rn tn 0, as que para u el nmero 1/k0 > 0 existe un n0 N tal que u |rn tn | < Esto es equivalente a Y al ser, 0 < a < 1, se tiene que a1/k0 > arn tn > a1/k0 , De donde, < 1 a1/k0 < 1 arn tn < 1 a1/k0 < , n n0 . ars Esto prueba que tn 1 y como (atn )n converge, por la proposicin 6.4, (arn )n tambin converge y lo o e a hace al mismo nmero. u Corolario 9.3 Si (rn )n es una sucesin de nmeros racionales que converge a un nmero racional r o u u entonces, si a R+ , lim arn = alim rn = ar . Introduccin al anlisis matemtico o a a n n0 . 1 1 < rn tn < , k0 k0 n n0 . 1 , k0 n n0 .

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

87

Demostracion. Si consideras en la proposicin anterior las sucesiones (rn )n y (r)n (sucesin constante), o o rn ) y (ar ) deben tener el como ambas convergen al mismo nmero r, resultar que las sucesiones (a n u a n mismo l mite. Pero la segunda es constante, luego su l mite es ar , as que la primera converge a ar , c.q.d..

Definicion 9.4 Sean a R+ y R, se dene el nmero real u a = lim arn , donde (rn )n es cualquier sucesin de nmeros racionales convergente a . El nmero a lo llamaremos o u u exponencial de en base a. Observa que por denicin es a = alim rn = lim arn , puesto que lim rn = . o Proposicion 9.5 Sea a R+ y x, y R. Se verican las siguientes propiedades (i) ax ay = ax+y . (ii) ax > 0. (iii) ax = axy . ay

(iv) (ax )y = axy . (v) Si a > 1 y x < y entonces ax < ay . (vi) Si 0 < a < 1 y x < y entonces ax > ay . Demostracion. Probaremos la primera de ellas, las dems se dejan como ejercicio. a Sean (rn )n y (sn )n dos sucesiones de nmeros racionales tales que rn x y sn y, de donde (rn + sn )n u es una sucesin de nmeros racionales que converge a x + y. Entonces o u ax ay = (lim arn ) (lim asn ) = lim arn asn = lim arn +sn = ax+y

Ejercicio III.42. Prueba las dems propiedades de la proposicin anterior. a o Ejercicio III.43. Prueba que si (xn )n es una sucesin de nmeros reales divergente a ms innito entonces o u a xn ) es divergente a ms innito si a > 1 y convergente a cero si 0 < a < 1. Una pista: este ejercicio (a n a ya lo has hecho para sucesiones de nmeros racionales y en los intervalos (xn 1/n, xn ) y (xn , xn + 1/n) u hay nmeros racionales. u Proposicion 9.6 Sea a R+ , a = 1, y (xn )n una sucesin de nmeros reales. Entonces lim axn = 1 si o u y slo si (xn )n converge a cero. o Demostracion. Supongamos en primer lugar que (xn )n converge a cero. Consideramos que 0 < a < 1. Quico Ben tez

88

9. EXPONENCIAL Y LOGARITMO DE UN NUMERO REAL. Fijemos > 0. Puesto que a1/k y a1/k convergen a 1 podemos determinar, como en la demostracin de o la proposicin 9.2, un k0 N tal que o < 1 a1/k0 < 1 a1/k0 < . Como xn 0, para 1/k0 > 0 existe n0 N tal que |xn | < 1/k0 , para n n0 . Esto es equivalente a decir que 1/k0 < xn < 1/k0 , n n0 . Pero al ser 0 < a < 1, a1/k0 > axn < a1/k0 , De donde, < 1 a1/k0 < 1 axn < 1 a1/k0 < , Luego axn 1. Si a > 1 entonces 0 < 1 < 1 as que a 1 a
xn

n n0 . n n0 .

1; por lo que axn 1.

Probemos ahora el rec proco. Como antes, supondremos que 0 < a < 1 ya que el caso a > 1 es anlogo. a Si xn 0, existe > 0 tal que el conjunto M = {n N : xn (, )}

es innito. As que si n M puede ocurrir una de las dos siguientes posibilidades:

xn , en cuyo caso, axn a . Pero como < 0 y 0 < a < 1 es a > a0 = 1, luego axn > 1 xn , en cuyo caso, axn a < 1.

Hemos obtenido entonces, que si n M entonces axn (a , a ). Pero ese intervalo es un entorno de 1 y hay innitos trminos de (axn )n que no estn ah as que axn 1. e a , Por tanto, si axn 1 debe ser xn 0. Si a > 1 y axn 1, entonces 1 a
xn

1. Como 0 <

1 < 1 debe ser xn 0. a

Corolario 9.7 Sea a R+ . Si (xn )n es una sucesin de nmeros reales convergente a un nmero x o u u xn = alim xn = ax . entonces lim a Demostracion. Si xn x entonces xn x 0 y por la proposicin anterior axn x 1. Como o axn ax = ax axn x 1 . Resulta que, lim (axn ax ) = 0; esto es, axn ax . En el siguiente resultado se prueba la existencia del logaritmo. Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Proposicion 9.8 Sea a > 0, a = 1 y b > 0. Existe un unico nmero real x tal que ax = b. u Demostracion. Consideremos primero que a > 1. Sea el conjunto A = { R : Puesto que lim an = lim prueba que A = . Como lim an = +, tambin existen nmeros naturales m para los que am > b > a , luego m > , si e u A. As que A est acotado superiormente. a Llamemos x = sup A. Veremos que ax = b. Al ser x el supremo de A, para n N, x 1/n < x no puede ser cota superior de A luego debe existir A tal que x 1 < x, n esto es, ax1/n < a < b. 1 a
n

89

a < b}.

= 0, para b > 0 existe n1 N tal que an < b, para n n0 . Esto

De donde, ax = lim ax1/n b, as que ax < b o bien ax = b. Si fuera ax < b, ser bax > 1 y como a1/n 1, existe n0 N para el que a bax > a1/n0 > 1; por lo que, b > ax+1/n0 > ax .

Pero esto supone que x + 1/n0 A y x + 1/n0 es mayor que el supremo x, lo cual es imposible. Por tanto, ax = b c. q. d.. Para el caso 0 < a < 1, slo hay que tener en cuenta que o (1/a)x = b pero esto signica que ax = b. 1 > 1 y como hemos probado existe x tal que a

Definicion 9.9 Sea a > 0, a = 1, y b > 0. Llamaremos logaritmo de b en base a, y lo representamos por loga b, al nmero real que verica u aloga b = b Si la base es e se denota loge b = log b = ln b y se le denomina logaritmo neperiano. Proposicion 9.10 Si a > 0, a = 1, y b, b1 , b2 R+ , se verican las siguientes propiedades: (i) loga 1 = 0. (ii) loga b1 b2 = loga b1 + loga b2 . (iii) loga b = loga b (iv) loga b1 = loga b1 loga b2 . b2 < 0 si > 0 si > 0 si < 0 si b<1 b>1 b<1 b>1

(v) Si a > 1, loga b Si 0 < a < 1, loga b

Quico Ben tez

90

9. EXPONENCIAL Y LOGARITMO DE UN NUMERO REAL.

Demostracion. Probaremos una de ellas el resto se dejan como ejercicio. Para (ii), llamemos loga b1 = x1 y loga b2 = x2 , entonces ax1 = b1 y ax2 = b2 , de donde, ax1 ax2 = ax1 +x2 = b1 b2 , Sustituyendo queda loga b1 + loga b2 = loga b1 b2 . Ejercicio III.44. Prueba las propiedades de la proposicin anterior. o Ejercicio III.45. Sea a > 0, a = 1. Si 0 < x1 < x2 estudia si loga x1 es menor o mayor que loga x2 . Te aconsejo que consideres a > 1 y a < 1 por separado, que x2 /x1 > 1 y que mires las propiedades del logaritmo. Ejercicio III.46. Sean a, b R+ . Si loga x = z, halla logb x. Ejercicio III.47. Si a > 0, qu relacin existe entre loga x y log1/a x? e o Ejercicio III.48. Describe el conjunto de los pares de nmeros reales x, y R+ tales que u log x log x = . y log y de donde, x1 + x2 = loga b1 b2 .

Ejercicio III.49. Describe el conjunto de los pares de nmeros reales x, y R+ tales que u log(x + y) = log x + log y.

Proposicion 9.11 Sea (bn )n , una sucesin de nmeros reales positivos, tal que bn b > 0. Entonces o u lim loga bn = loga (lim bn ) = loga b. bn . Si llamamos b

Demostracion. Para cada n N es loga bn loga b = loga loga entonces axn = bn = xn , b

n N,

bn 1, de donde, xn 0; esto es, b loga bn loga b 0; o, equivalentemente, loga bn loga b.

Te lo voy a demostrar otra vez con la misma idea (espero que veas que es lo mismo). Por denicin de o logaritmo: aloga bn = bn b = aloga b . De aqu , aloga bn loga b = As que, loga bn loga b 0. Introduccin al anlisis matemtico o a a aloga bn 1. aloga b

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

91

Proposicion 9.12 Sean (an )n y (bn )n dos sucesiones convergentes tales que la primera sucesin est o a formada por nmeros positivos y an a > 0 y la segunda verica bn tob. Entonces u lim abn = ab . n Demostracion. Como an a, por la proposicin anterior es log an log a (este logaritmo es nepeo riano). Como bn b es bn log an b log a = log ab . Puesto que bn log an = log abn , tendremos que (corolario 9.7) n elog an elog a , O lo que es lo mismo, abn ab . n Ejercicio III.50. Si (an )n es una sucesin de trminos positivos convergente a a > 1 y (bn )n diverge a o e +, prueba que abn +. n Ejercicio III.51. Si (an )n es una sucesin de trminos positivos convergente a a > 1 y (bn )n diverge a o e , prueba que abn 0. n Ejercicio III.52. Si (an )n es una sucesin de trminos positivos convergente a a < 1 y (bn )n diverge a o e bn 0. +, prueba que an Ejercicio III.53. Si (an )n es una sucesin de trminos positivos convergente a a < 1 y (bn )n diverge a o e bn +. , prueba que an Ejercicio III.54. Halla los siguientes l mites: (a) lim log(3n3 ) log(2n3 1). (b) lim e(3n
4 2)/(6n5 +3n) bn b

10

L mites con exponenciales y logaritmos.

En la seccin anterior hemos podido probar el comportamiento de los l o mites en exponenciales y logaritmos pero usando sucesiones convergentes y bajo determinadas hiptesis; ahora, vamos a estudiar ese o comportamiento con sucesiones divergentes y de otras situaciones que no hab amos considerado. Proposicion 10.1 Si (bn )n es una sucesin de nmeros positivos y bn 0 entonces o u
si a > 1, loga bn . si 0 < a < 1, loga bn +.

Demostracion. Supongamos que a > 1 y jemos M > 0. Puesto que bn 0, para aM > 0 existe n0 N tal que si n n0 es bn = |bn | < aM , As que loga bn . Quico Ben tez luego loga bn < loga aM = M.

92

10. L IMITES CON EXPONENCIALES Y LOGARITMOS.

El caso 0 < a < 1 es similar. Ejercicio III.55. Prueba que loga bn + cuando 0 < a < 1 y (bn )n es una sucesin convergente a o cero de nmeros positivos. u Proposicion 10.2 Si (bn )n es una sucesin de nmeros positivos y bn + entonces o u
si a > 1, abn +. si 0 < a < 1, abn 0.

Demostracion. Supongamos que a > 1 y jemos M > 1, al ser bn +, para el nmero loga M > 0, u existe n0 N tal que, si n n0 , es bn > loga M, As que abn +. Si 0 < a < 1, es 1/a > 1 as que (1/a)bn +. En este caso sabemos que abn 0. Ejercicio III.56. Si (bn )n es una sucesin de nmeros negativos y bn estudia el l o u mite de la sucesin o (abn )n segn que a > 1 o que 0 < a < 1. u Ejercicio III.57. Si (an )n es una sucesin prueba que para cualquier m N la sucesin (am+n )m tiene el o o mismo carcter que (an )n ; esto es, o ambas tienen el mismo l a mite (nito o innito) o ambas carecen de l mite. Para el estudio de ciertos l mites nos puede resultar muy util el siguiente resultado: Proposicion 10.3 Sea (an )n una sucesin de nmeros positivos tal que lim o u an 0. an+1 = r, si r < 1 entonces an luego abn > aloga M = M.

Demostracion. Como 0 r < 1, consideremos un nmero tal que r < < 1. u an+1 Como lim = r, para el nmero r > 0 podemos determinar n0 N tal que si n n0 entonces u an an+1 r <r an Por tanto, que equivale a +r < an+1 r < r. an

an+1 < y como los trminos de la sucesin son todos positivos, se tiene que e o an an+1 < an para n n0 .

As que, an0 +1 an0 +2 an0 +3 an0 +k < an0 < an0 +1 < an0 +2 < 2 an0 < 3 an0

< an0 +k1 < k an0

Pero k 0, al ser < 1, luego an0 +k 0 y por tanto an 0. Saquemos consecuencias: Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES nk 0. an

93

Corolario 10.4 Si k R+ y a > 1 se verica que nk an

Demostracion. En efecto, la sucesin o

es de trminos positivos y e
n

(n + 1)k n+1 1 (n + 1)k 1 lim a k = lim = lim a nk a n an Por tanto, nk 0. an

n+1 n

1 < 1. a

Ejercicio III.58. Prueba que ap np + ap1 np1 + + a1 n + a0 0, an siendo los ai (0 i p) nmeros reales y a > 1. u Ejercicio III.59. Halla lim n2 + 1 . 3n
n

Al estudiar el nmero e vimos que u

1 n que convergen e. Veamos algunas de ellas: 1+ 1 1+ n 1+ 1 n 1 n

n1

e, a partir de aqu vamos obtener numerosas sucesiones

=
n+1

1 1+ n 1+ 1 n

1 1+ n 1+ 1 n

e 1 = e.

=
n

e 1 = e.
n

n1 n

n n1

1+

1 n1

e.

Ejercicio III.60. Halla el l mite de las sucesiones cuyos trminos generales son: e 1 n1 1 n1
n n

(a)

1+

.
n+1

(b)

1+

(c)

1 1+ n 1+

.
n

(d)

1 n + 1 1 n + 1

.
n

(e)

1+

. Quico Ben tez

94

10. L IMITES CON EXPONENCIALES Y LOGARITMOS.

En general, se tiene la siguiente Proposicion 10.5 Si ( n )n es una sucesin de nmeros reales (no nulos) convergente a cero y tales que o u 1 + n > 0, para n N, entonces (1 + n )1/ n e. Demostracion. Para > 0, puesto que todas las sucesiones cuyos trminos generales son e 1+ 1 n + 1
n

1+

1 n+1

1+

1 n

n+1

1+

1 n

n+1

convergen al nmero e, podemos determinar n1 N, n1 > 1, tal que si n n1 se verica u 1 1+ n + 1

n

1 1+ n+1

1 1+ n

n+1

1 1+ n

n+1

(e , e + )

Por otra parte, como

0, existe n0 N tal que 0 < | n | < 1/n1 , para n n0 . Esto es, 1

n

> n1 ,

n n0 .

Entonces, o bien

1
n

> n1 , o bien

1
n

< n1 .

Si llamamos pn = ent (1/ n ), ser, por denicin de parte entera: a o pn 1

n

< pn + 1

As que para los n n0 para los que se verique 1+ y como pn + 1 > 1

n

1
n

> n1 , >1+

> 0 y debe ser pn n1 (pn N). As que

1 1+ pn

1 >1 pn + 1

pn es 1+ 1 pn 1 pn
pn +1

(1 +

1/ n)

>

1+

1 pn + 1

pn

Como pn n1 ser a 1+ y, por tanto, (1 +

1/ n)
n

pn +1

, 1+

1 pn + 1

pn

(e , e + )

(e , e + ). 1
n

Para los n n0 para los que se verique (pn N). En este caso,

< n1 < 1, debe ser pn < n1 , as que pn > n1 1

n

pn As que, 1>1+

< pn + 1 < 0 1 >0 pn + 1

1 1+ pn

>1+

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES 1

n

95

y como pn + 1 >

pn es 1+ 1 pn
pn +1

(1 +

1/ n)

<

1+

1 pn + 1

pn

Pero como es pn > n1 ser a 1+ 1 pn

pn +1

, 1+
1/ n)
n n

1 pn + 1

pn

(e , e + )

De donde, tambin en este caso, (1 + e Por tanto, hemos probado que (1 +

(e , e + ).

1/ n)

e.

Ejercicio III.61. Sea xn y xn = 0, para n N, prueba que lim 1 + Nota: debe ser 1 + 1 xn
xn

= e.

1 > 0, n N, para que la exponencial est denida. e xn

Los ultimos resultados nos conducen al siguiente que es la base para el clculo de muchos l a mites de tipo exponencial. Proposicion 10.6 Sean (an )n y (bn )n dos sucesiones tales que
an 1, y an > 0 pero an = 1 para n N, bn .

Entonces, lim abn n si lim(an 1)bn = R, e , +, si lim(an 1)bn = +, = 0, si lim(an 1)bn = ,

n

Demostracion. Llamemos (1 +

= an 1, para n N, entonces
n

>0y

= 0, para n N. Luego,

1/ n)

e o bien,

(1 + (an 1))1/(an 1) e.

Por otra parte, podemos escribir: abn = (1 + (an 1))1/(an 1) n Si lim(an 1)bn = R se tiene que
(an 1)bn

n N.

lim abn = e . n

Adems, como lim (1 + (an 1))1/(an 1) = e > 1, si lim(an 1)bn = + ser a a lim abn = +. n Y si lim(an 1)bn = ser a lim abn = 0. n Quico Ben tez

96

11. REGLA DE STOLZ.

Usemos lo anterior para hallar lim proposicin, as que hacemos o

n3 n3 + 1

3n4 +2 n

, si existe. Observamos que verica las hiptesis de la o

n3 1 n3 + 1 Por tanto, lim Ejercicio III.62. Halla los l mites (a) lim n2 + 3 n2 + 1
n

3n4 + 2 (1)(3n4 + 2) = 3. n (n3 + 1)n

3n4 +2 n

n3 n3 + 1

= e3 .

(b) lim

3n 1 3n + 1

n2 /(n+1)

(c) lim

n2 + 1 n2 1

n+1

Ej er ci ci o III.63. Demuestra que, para cualquier h R, (a) lim 1 +

1 n+h n

= e.

(b) lim 1 +

1 hn n

= eh .

(c) lim 1 +

h n n

= eh .

Ej er ci ci o III.64. Calcula los siguientes l mites: (a) lim 1 +

1 ln n . ln n

(b) lim

n2 +1 n2 +2

2n2 +4

(c) lim

n17 +17n n17

9n

(d) lim

4n3 +2n2 +13n+27 62+14n+5n2 +4n3

n2 +n 1999n

11

Regla de Stolz.

Teorema 11.1 (Regla de Stolz) Sean (an )n y (bn )n dos sucesiones tales que
(bn )n es estrictamente montona, o y se verica que bn +, o bien bn o bien lim an = lim bn = 0.

En estas circunstancias si existe el siguiente l mite (nito o innito) lim entonces existe el l mite lim an+1 an bn+1 bn

an y coincide con aquel. bn

Demostracion. Supongamos que lim an+1 an = R. bn+1 bn

Sea > 0. Para /2 > 0 existe n0 N tal que, para n n0 , an+1 an < <+ 2 bn+1 bn 2

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Como (bn )n es montona (estrictamente) ser, para cada n N, o bien bn+1 bn > 0, o bien bn+1 bn < 0. o a Supondremos que ocurre lo primero (puedes comprobar que en el segundo caso la conclusin es idntica, o e aunque tendrs que pasar por cambiar un par de veces los sentidos de las desigualdades). a Entonces, para cada n n0 , (bn+1 bn ) < an+1 an < + (bn+1 bn ). 2 2

97

Tomando n n0 podemos poner (bn+1 bn ) 2 (bn+2 bn+1 ) 2 (bn+3 bn+2 ) 2 < < < an+1 an an+2 an+1 an+3 an+2 (bn+m bn+m1 ) < an+m an+m1 < 2 (bn+m bn ) 2 < an+m an < + + (bn+m bn+m1 ). 2 (bn+m bn ). 2 () < < < + + + (bn+1 bn ). 2 (bn+2 bn+1 ). 2 (bn+3 bn+2 ). 2

De donde, para cualquier m N y n n0 se verica que: an+m an < <+ 2 bn+m bn 2

Si fuera lim an = lim bn = 0, entonces limm bn+m = limm an+m = 0 para cada n N, en particular si n n0 , tomando l mites en las desigualdades anteriores llegamos a Puesto que, < an + 2 bn 2

< + < + , tendremos que, si n n0 se verica que 2 2 < an <+ bn

Esto signica que

an . bn

Supongamos ahora que lim bn = + (el caso es similar) y volvamos a la desigualdad (*) (bn+m bn ) < an+m an < + (bn+m bn ), 2 2

la cual se verica para cada n n0 y cada m N. Podemos sumar an y luego dividir por bn+m (que supondremos mayor que cero al tender a +) para obtener: 2 1 bn bn+m < an+m < + bn+m 2 1 bn bn+m .

Quico Ben tez

98 2 bn bn+m

11. REGLA DE STOLZ. = , as que existe un m1 N tal que si m m1 2 2 1 bn bn+m .

Pero observemos que, limm se verica

< Del mismo modo como, limm + verica + 2 1 2

bn bn+m 1

= + , existe un m2 N tal que si m m2 se 2 bn bn+m < + .

Tomando m m0 = mx{m1 , m2 } tendremos que, a < De donde, limm 2 1 bn bn+m < an+m < + bn+m 2 1 bn bn+m < + .

an+m an = , o lo que es lo mismo, limn = . bn+m bn an+1 an = + (el caso es similar). bn+1 bn an+1 an > 2M. bn+1 bn

Supongamos ahora que lim

Fijemos M > 0. Por la denicin l o mite, para 2M > 0 existe n0 tal que si n n0 es

Como (bn )n es montona (estrictamente) ser, para cada n N, o bien bn+1 bn > 0, o bien bn+1 bn < 0. o a Supondremos que ocurre lo primero (puedes comprobar que en el segundo caso la conclusin es idntica, o e aunque tendrs que pasar por cambiar un par de veces los sentidos de las desigualdades). a Entonces, para cada n n0 , an+1 an > 2M (bn+1 bn ) Tomando n n0 podemos poner an+1 an an+2 an+1 an+3 an+2 > > > an+m an+m1 an+m an > > 2M (bn+m bn+m1 ). 2M (bn+m bn ). 2M (bn+1 bn ). 2M (bn+2 bn+1 ). 2M (bn+3 bn+2 ).

De donde, para cualquier m N y n n0 se verica que: an+m an > 2M bn+m bn ()

Si fuera lim an = lim bn = 0, entonces limm bn+m = limm an+m = 0 para cada n N, en particular si n n0 , tomando l mites en las desigualdades anteriores llegamos a an 2M > M bn Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES Entonces, tendremos que, si n n0 , se verica que an > M. bn Esto signica que an +. bn

99

Supongamos ahora que lim bn = + (el caso es similar). Eso supone que la sucesin es (bn )n es o montona creciente. Volvamos a la desigualdad (**) y escribmosla como o a an+m an bn+m bn+m > 2M, bn 1 bn+m la cual se verica para n n0 y cualquier m N. Pero como podemos multiplicar la desigualdad anterior por 1 an+m > 2M bn+m Puesto que limm 2M 1 bn bn+m 2M + 1 an bn+m bn bn+m bn bn+m > 0: + an bn+m . bn bn+m < 1, al ser la sucesin creciente, o

= 2M , existir un m0 N tal que a + an > M, bn+m para m m0 .

bn bn+m

Luego, para n n0 y m m0 es an = +. bn

an+m > M. bn+m

Esto signica que lim

Veamos un ejemplo de aplicacin de la regla de Stolz. Estudiemos lim o

(n2 )n es montona creciente y n2 + o Adems, a

1 + 2 + + n . n2

(1 + 2 + + n) (1 + 2 + + (n 1)) n 1 = . 2 (n 1)2 n 2n 1 2

Aplicando la regla de Stolz resulta que el l mite propuesto existe y es 1/2. En las siguientes proposiciones tambin aplicamos esta regla. e Proposicion 11.2 (propiedad de la media aritmetica) Consideremos que la sucesin (xn )n tiene l o mite (nito o innito), entonces el l mite lim existe y coincide con aquel. Quico Ben tez x1 + x2 + + xn n

100

11. REGLA DE STOLZ.

Demostracion. En efecto,
la sucesin del denominador (n)n es montona creciente y n +. o o Adems, a

(x1 + x2 + + xn ) (x1 + x2 + + xn1 ) xn = = xn . n (n 1) 1 Aplicando la regla de Stolz resulta que el l mite propuesto existe y coincide con el de (xn )n .

Proposicion 11.3 (propiedad de la media geometrica) Consideremos que la sucesin (xn )n tiene l o mite (nito o ms innito) y que sus trminos son todos a e positivos, entonces el l mite lim n x1 x2 xn existe y coincide con aquel. Demostracion. En efecto, consideremos la sucesin cuyo trmino general es el logaritmo neperiano de o e la dada: log(x1 x2 xn ) log x1 + log x2 + + log xn = n n Si (xn )n tiene l mite x > 0 entonces log xn log x, y aplicando la propiedad de la media geomtrica el e l mite log x1 + log x2 + + log xn lim n existe y es log x. Por lo que, log x1 +log x2 ++log xn n lim n x1 x2 xn = lim e = elog x = x. Si (xn )n tiene l mite 0 entonces log xn , y aplicando la propiedad de la media geomtrica es e lim De donde, lim n log x1 + log x2 + + log xn = . n
log x1 +log x2 ++log xn n

x1 x2 xn = lim e

= 0.

Finalmente, si (xn )n tiende a + entonces log xn +, y aplicando la propiedad de la media geomtrica e es log x1 + log x2 + + log xn lim = +. n De donde, log x1 +log x2 ++log xn n lim n x1 x2 xn = lim e = +.

Proposicion 11.4 Consideremos la sucesin de trminos positivos (xn )n y supongamos que la sucesin o e o cuyo trmino general es e xn xn1 tiene l mite (nito o ms innito), entonces la sucesin cuyo trmino general es a o e n xn existe y coincide con aquel. Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES log xn n

101

Demostracion. Consideremos la sucesin o

.
n

la sucesin del denominador (n)n es montona creciente y n +. o o Adems, a

log xn log xn1 xn = log . n (n 1) xn1

Si

xn x > 0, aplicando la regla de Stolz, xn1 lim n xn = lim e

log
xn xn1

= elog x = x.

Si

xn 0, entonces log xxn y, aplicando la regla de Stolz, n1 xn1 lim n xn = lim e

log
xn xn1

= 0.

Si

xn +, entonces log xxn + y, aplicando la regla de Stolz, n1 xn1 lim n xn = lim e

log
xn xn1

= +.

El rec proco del anterior no es cierto en general. Por ejemplo, Considera una sucesin que tome slo dos o o valores positivos como es el caso de (3 + cos n)n , cuyos primeros trminos son e 2, En este caso, lim n 4, 2, 4, 2, 4, 2, 4, 2, 4,

3 + cos n = 1 mientras que la sucesin o 1 , 2 n 1 , 2 1 , 2

3 + cos n no converge: 3 + cos(n 1) 1 , 2 2, 1 , 2

2,

2,

2,

2,

Ejercicio III.65. Prueba que lim Ejercicio III.66. Halla lim

n

n = 1.

(2n)! . (n!)2

n! . n 1 + 2 2 + 3 3 + + n n n Ejercicio III.68. Halla lim . n2 + 1 Ejercicio III.67. Halla lim Ejercicio III.69. Prueba que si el l mite lim(xn+1 xn ) existe (nito o innito) entonces el l mite lim existe y coincide con aquel. Quico Ben tez xn n

102

12. INFINITOS E INFINITESIMOS: EQUIVALENCIAS. Ej er ci ci o III.70. Halla los siguientes l mites, cuando existan. x0 x1 xn1 + n1 + . . . + + xn , sabiendo que lim xn = x. n 3 3 3 1 + 2 + + n (b) lim 3 . 1 + 23 + + n 3 (a) lim (c) lim (d) lim (e) lim (f) lim 3 + 6 + + 3n . n2 1 22 n2 + 3 + + 3 . n3 + 4 n + 4 n +4 1 + 22 + + n2 . (1 + 4) + (22 + 4) + + (n2 + 4) (k N).

1k + 2k + + n k nk+1 1 1 1 + + + 2 n. (g) lim ln n

12

Innitos e innitsimos: equivalencias. e

Como veremos en seguida el uso de innitos e innitsimos equivalentes nos simplicarn en muchos casos e a el clculo de algunos l a mites. Definicion 12.1 Diremos que una sucesin (an )n es un innito si sus trminos no son nulos y an +. o e Diremos que una sucesin (an )n es un innitsimo si sus trminos no son nulos y an 0. o e e Diremos que dos innitos o innitsimos (an )n y (bn )n son equivalentes, y lo denotaremos por an bn , si e lim an = 1. bn

Ejercicio III.71. Prueba que ak nk + ak1 nk1 + + a0 ak nk , para k N y ak = 0. Teorema 12.2 (de sustitucion de infinitos e infinitesimos) Sean (an )n y (bn )n dos innitos o innitsimos equivalentes y (xn ) una sucesin, entonces e o
lim xn an existe si slo si existe lim xn bn y ambos coinciden. o xn xn lim existe si slo si existe lim o y ambos coinciden. an bn

Demostracion. Probemos el primero de ellos, la demostracin del segundo es similar. o Supongamos que existe uno de los l mites, por ejemplo, lim xn an , entonces, puesto que, xn bn = (xn an ) bn an , nN

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

103

el l mite lim xn bn existe y es igual a lim xn an . Ejercicio III.72. Prueba la segunda armacin del teorema anterior. o Ejercicio III.73. Prueba que si an bn y ambas son de trminos positivos, a > 0, a = 1 y (xn )n es e una sucesin de trminos positivos, entonces lim loga xn an = lim loga xn bn , esto es, si uno existe el otro o e tambin y coinciden. e Ejercicio III.74. Prueba que si an bn , a > 0, a = 1 y (xn )n es una sucesin, entonces lim axn an = o lim axn bn , esto es, si uno existe el otro tambin y coinciden. e No siempre es posible sustituir innitos o innitsimos equivalentes, observa el siguiente ejemplo: e (n4 + n2 ) (n2 + 2)2 3n2 4 3 n4 + n2 (n2 + 2) = lim = lim = . 4 + n2 + (n2 + 2) 4 + n2 + (n2 + 2) 2 n n n4 + n2 Ya que lim = 1, es n4 + n2 n2 , si realizramos la sustitucin en el l a o mite anterior n2 resultar a lim n2 (n2 + 2) = 2.
lim

Proposicion 12.3 Sea ( n )n un innitsimo, entonces se dan las siguientes equivalencias: e (i) log(1 + (ii) a
n

n)

n.

1
p n) n

n log a,

para a > 0, a = 1.

(iii) (1 + (iv) sen

1 p n , para p = 0.
n

tg
n

n.

(v) 1 cos

2 /2. n

Demostracion. Probemos cada una de ellas: (i) log(1 +

n n)

= log (1 +
n

1/ n)

log e = 1.
n

(ii) Segn el anterior, a u

1 log (1 + (a

1)) =

n log a.

(iii) Aplicando la primera equivalencia (1 +

p n)

1 log (1 + ((1 +
n|

p n)

1)) = log(1 +

p n)

= p log(1 +
n|

n)

p n.

(iv) Sabemos que | sen

< | n | < | tg 1<

n |, n

as que, dividiendo por | sen <

n n

> 0 resulta

sen

tg sen
n.

n n

1 | cos

n|

1.

Por tanto, lim

sen

= 1; esto es, sen

n

Adems, a
n n

lim

tg
n

= lim

tg sen

= lim

1 cos

= 1.
n

Quico Ben tez

104

13. SUBSUCESIONES: TEOREMA DE BOLZANO-WEIERSTRASS.

(v) Finalmente, 1 cos 2 /2 n Luego 1 cos

n n

1 cos2 n = 2 /2(1 + cos ) n n

sen2 n 2 /2(1 + cos n

n)

2 n 2 /2(1 n

+ cos

n)

1.

2 /2. n

Ejercicio III.75. Prueba que 1 + Ejercicio III.76. Prueba que n

1 1 + + log n. 2 n

n! n/e.

Una equivalencia bastante conocida cuya demostracin escapa a nuestras posibilidades, es la conocida o como equivalencia de Stirling de factorial de n: n! nn en 2n. Ej er ci ci o III.77. Halla los siguientes l mites: n4 + 3n2 n + 1 . 2n4 3n3 2
1 sen2 2n 1. 1 cos n

(a) lim (b) lim

(c) lim

esen(1/n ) 1
+1 ln( n2 1 ) n
2

.
1999

(d) lim n2 tg

1 n

n+1 n

1 .

1 (e) lim n2 log(cos2 n ).

(f) lim sen 2

n2 1 . n1

13

Subsucesiones: teorema de Bolzano-Weierstrass.

Terminaremos este tema estudiando algunos conceptos y resultados con alto valor terico y bsicos en el o a desarrollo del anlisis matemtico. Comenzamos con el concepto de subsucesin. a a o Definicion 13.1 Sea (an )n una sucesin de nmeros reales y sea (nk )k una sucesin creciente (estrictao u o mente) de nmeros naturales. A la sucesin (ank )k se le denomina subsucesin de (an )n . u o o Sea la sucesin (an )n , cuyos primeros trminos son o e a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9 , ...

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

105

Si consideramos la sucesin de nmeros naturales formada por los nmeros pares; esto es, la sucesin o u u o (2k)k , sabemos que es creciente y sus primeros trminos son e 2, 4, 6, 8, ...

En este caso, tenemos que (a2k )k es una subsucesin de (an )n . Sus primeros trminos ser o e an: a2 , a4 , a6 , a8 , ...

En general, si M es un subconjunto innito de nmeros naturales, el buen orden de N, nos permite escribir u ese conjunto como una sucesin creciente de nmeros naturales (nk )k , donde el nmero n1 es el primer o u u elemento de M , n2 es el segundo, n3 es el tercero, etc. n1 < n2 < n3 < n4 < n5 < n6 < n7 < n8 < n9 < As M = {nk : k N} y (nk )k es una sucesin creciente y divergente a +. As que, para cualquier o sucesin, (an )n , (ank )k es una subsucesin suya que suele denotarse simplemente por (an )nM . o o Por ejemplo, si M = {k 2 : k N} = {1, 4, 9, 16, 25, 36, 49, . . .}, la subsucesin (an )nM ser o a a1 , a4 , a9 , a16 , a25 , a36 , a49 , . . .

Ejercicio III.78. Escribe las subsucesiones, correspondientes a los subconjuntos de N que se indican, de cada una de las siguientes sucesiones: n2 + 1 correspondiente al conjunto de los nmeros pares. u n n n+1n correspondiente al conjunto de los nmeros impares. u n n n n+1 correspondiente a (k 2 + 2)k .
n

(a) Subsucesin de o

(b) Subsucesin de o (c) Subsucesin de o (d) Subsucesin o

n n+1

donde M = {n N :
nM

n + 1 N}.

Ejercicio III.79. Si (an )nM1 y (an )nM2 son dos subsucesiones de (an )n , estudia en qu casos (an )nM1 M2 e y (an )nM1 M2 son tambin subsucesiones de (an )n . e Un resultado importante es el siguiente: Proposicion 13.2 Una sucesin (an )n es convergente si y slo si todas sus subsucesiones convergen al o o mismo nmero real. u Demostracion. Supongamos que (an )n converge a un nmero a R y sea (an )nM cualquier subsuu cesin. Podemos escribir, como sabemos, M = {mk : k N }, siendo (mk )k creciente y mk +. o Dado > 0, existe n0 N tal que si n n0 entonces |an a| < . Quico Ben tez

106

13. SUBSUCESIONES: TEOREMA DE BOLZANO-WEIERSTRASS.

Como (mk )k es creciente y divergente, existir un k0 N tal que mk n0 , si k k0 , por tanto, a |amk a| < , Luego la sucesin (amk )k converge a a. o Para demostrar la otra implicacin probaremos que si (an )n no converge a algn nmero real a entonces o u u alguna subsucesin suya no converge a a. Con ello, habremos probado que si todas las subsucesiones o convergen a un nmero a entonces la sucesin (an )n debe converger a a. u o En efecto, si (an )n no converge a a entonces existe > 0 tal que el conjunto M = {n N : an (a , a + )} si k k0 .

es innito. Claramente, como M N, la subsucesin (an )nM no converge a a. o Teorema 13.3 (Bolzano-Weierstrass) Toda sucesin de nmeros reales acotada tiene alguna subo u sucesin convergente o Demostracion. Sea (an )n una sucesin acotada. Si la sucesin slo tiene un nmero nito de trminos o o o u e distintos la conclusin es trivial ya que podremos tomar una subsucesin constante, as que supondremos o o que la sucesin tiene innitos trminos distintos. o e Al estar acotada existen dos nmeros 1 , 1 R tal que 1 < an < 1 , para n N. Esto es, todos los u trminos de la sucesin estn en el intervalo [1 , 1 ]. e o a 1 + 1 1 + 1 1 1 ]y[ , 1 ], que tienen ambos longitud . En 2 2 2 alguno de ellos debe haber innitos trminos de la sucesin, llamemos a ste [2 , 2 ]. e o e Consideremos ahora los intervalos [1 , 2 + 2 2 + 2 Consideremos a continuacin los intervalos [2 , o ] y [ , 2 ], que tienen ambos longitud 2 2 1 1 . De nuevo, en alguno de ellos debe haber innitos trminos de la sucesin, llamemos a ste e o e 22 [3 , 3 ]. 1 1 Continuando as obtendremos intervalos [k , k ], con k N, tales que su longitud es , y forman 2k1 una sucesin de intervalos encajados. Por tanto, sabemos que existe un unico nmero real a que pertenece o u a todos ellos; esto es, a [k , k ], para k N. Construyamos ahora, por induccin, una subsucesin de (an )n convergente a a. Tomemos un trmino de o o e la sucesin en el intervalo [1 , 1 ], sea ste an1 . o e Suponiendo que ya hemos elegido un trmino ank en el intervalo [k , k ] tal que nk > nk1 procedamos e a elegir otro en [k+1 , k+1 ]. Para ello, puesto que este intervalo contiene a innitos trminos de la sucesin, existir un nk+1 > nk tal e o a que ank+1 [k+1 , k+1 ]. Puesto que, ank [k , k ] y tambin a [k , k ], resulta que e |ank a| < Pero limk 1 1 = 0, as que ank a. 2k1 Introduccin al anlisis matemtico o a a 1 1 , 2k1 para k N.

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

107

14

Sucesiones de Cauchy.

Definicion 14.1 Una sucesin (an )n se dice que es una sucesin fundamental o una sucesin de o o o Cauchy si para cada > 0 existe n0 N tal que |an am | < , si n, m n0 .

Ejercicio III.80. Prueba que (an )n es de Cauchy si para cada > 0 existe n0 N tal que |an+p an | < , si n n0 y p N.

Teorema 14.2 (criterio de convergencia de Cauchy) Una sucesin de nmeros reales es de o u Cauchy si y slo si es convergente. o Demostracion. Supongamos para empezar que la sucesin (an )n converge a un nmero a y probemos o u que es de Cauchy. Fijemos > 0. Por la convergencia de la sucesin, existe n0 N tal que si n n0 se verica o |an a| < /2. Tomando ahora m, n n0 se vericar a |an am | |an a| + |am a| < /2 + /2 = . As que la sucesin es de Cauchy. o Para probar el rec proco, supongamos ahora que la sucesin (an )n es de Cauchy. Probemos que est o a acotada. En efecto, para 1 > 0 existe un n0 N tal que |an am | < 1 para n, m n0 . En particular, ||an | |an0 || |an an0 | < 1. Por tanto, 1 < |an | |an0 | < 1, esto es, 1 + |an0 | < |an | < 1 + |an0 |, n n0 .

As que la sucesin est acotada. Aplicando el teorema de Bolzano-Weiertrass, alguna subsucesin (amk )k o a o es convergente a un nmero real a. u Probaremos ahora que la sucesin tambin converge a a. Para ello, sea > 0, como la sucesin es de o e o Cauchy, existe n1 N tal que para n, m n0 es |an am | < /2. Por otro lado, como amk a, existe k0 N tal que si k k0 es |amk a| < /2. Tomando ahora un mk > n0 tal que k k0 , se tiene que, para n n0 , es |an a| |an amk | + |amk a| < /2 + /2 = .

Un caso particular de sucesin de Cauchy es el siguiente. o Quico Ben tez

108

14. SUCESIONES DE CAUCHY.

Definicion 14.3 Una sucesin (an )n se denomina sucesin contractiva de constante k, siendo 0 < k < o o 1, si para cada n N, n > 1, se verica |an+1 an | < k|an an1 |. Proposicion 14.4 Una sucesin contractiva es de Cauchy y, por tanto, convergente. o Demostracion. Supongamos que (an )n es contractiva de constante k y a2 = a1 (si fueran iguales la sucesin ser constante). Entonces, o a |a3 a2 | |a4 a3 | |a5 a4 | |an+1 an | Por tanto, si p N, |an+p an | |an+p an+p1 | + |an+p1 an+p2 | + + |an+1 an | < (k n+p2 + k n+p3 + + k n1 )|a2 a1 |. Puesto que, k n+p2 + k n+p3 + + k n1 = k n1 (k p1 + k p2 + + 1) = k n1 se tiene que |an+p an | < k n1 Pero limp k n1 = 0 al ser 0 < k < 1, luego lim k n1 si n n0 k n1 Entonces, para n n0 y p N se verica |an+p an | < k n1 y la sucesin es de Cauchy. o Ejercicio III.81. Estudia si las siguientes sucesiones son contractivas: a3 + 2 n , n 1. 7 1 kp |a2 a1 | < . 1k 1 kp |a2 a1 |. 1k 1 kp , 1k < k|a2 a1 | < k|a3 a2 | < k 2 |a2 a1 | < k|a4 a3 | < k 3 |a2 a1 | < k|an an1 | < k n1 |a2 a1 |

1 kp = 0, as que, para > 0 existe n0 N tal que 1k

1 kp < 1k |a2 a1 |

(a) a1 = 1/2, an+1 = (b) an = n+2 . n

Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

109

15

L mites de oscilacin. o

Definicion 15.1 Un nmero real se dice l u mite de oscilacin de una sucesin (an )n si existe alguna o o subsucesin que converge a . o La sucesin (sen n )n tiene tres l o mites de oscilacin. Tomando, (2k)k , resulta o 2 sen 2k Si tomamos (4k 3)k , resulta sen(4k 3) Y si tomamos (4k 1)k , resulta sen(4k 1) = sen(2k ) = sen( ) = 1. 2 2 2 3 = sen(2k ) = sen = 1. 2 2 2 = sen k = 0. 2

Proposicion 15.2 El nmero real es l u mite de oscilacin de la sucesin (an )n si y slo si para cada o o o > 0 el conjunto {n N : an ( , + )} es innito, lo que diremos de forma ms simple diciendo que en ese intervalo hay innitos trminos de la a e sucesin. o

Demostracion. Si es l mite de oscilacin de la sucesin, alguna subsucesin (ank )k converge a , as o o o que para cada > 0 existe k0 N tal que ank ( , + ), n n0 .

Por lo que en dicho intervalo habr innitos trminos de la sucesin. a e o Rec procamente, supongamos que para cada > 0 existen innitos trminos de la sucesin en (, +). e o 1 1 Entonces, para cada nmero 1/k > 0, con k N, habr innitos trminos en ( , + ). Esto nos u a e k k permitir construir por induccin una subsucesin convergente a . a o o 1 1 Tomemos un trmino en ( , + ), sea ste an1 . e e 1 1 1 1 Suponiendo que ya hemos elegido un trmino ank en el intervalo ( , + ) tal que nk > nk1 e k k 1 1 procedamos a elegir otro en ( , + ). k+1 k+1 Para ello, puesto que este intervalo contiene a innitos trminos de la sucesin, existir un nk+1 > nk tal e o a 1 1 que ank+1 ( , + ). k+1 k+1 Puesto que, |ank | < 1 , resulta que ank , y ste ser un l e a mite de oscilacin de la sucesin. o o k Quico Ben tez

110

15. L IMITES DE OSCILACION.

Como consecuencia del teorema de Bolzano- Weierstrass podemos armar: Proposicion 15.3 Toda sucesin acotada tiene algn l o u mite de oscilacin. o Es claro que si una sucesin converge a un nmero , entonces ste es l o u e mite de oscilacin de la sucesin, o o pero podemos probar algo ms: a Proposicion 15.4 Una sucesin (an )n es convergente si y slo si tiene un unico l o o mite de oscilacin. o Demostracion. Si la sucesin converge a un nmero a, entonces para cualquier > 0 en el intervalo o u (a , a + ) hay innitos trminos de la sucesin y fuera de ese intervalo slo hay un nmero nito. Como e o o u eso es cierto para cualquier ningn otro nmero distinto a a puede ser l u u mite de oscilacin. o Rec procamente, si la sucesin tiene un unico punto de oscilacin a, entonces, para cada > 0, fuera de o o cada intervalo (a , a + ) slo puede haber un nmero nito de trminos de la sucesin. Pero esto es o u e o lo mismo que decir que la sucesin converge a a. o Definicion 15.5 Sea (an )n una sucesin acotada, y sea A el conjunto de sus l o mites de oscilacin, se o denomina
l mite superior de (an )n a sup A y se denota por lim sup an o por lim an . l mite inferior de (an )n a inf A y se denota por lim inf an o por lim an .

Ejercicio III.82. Halla lim sup sen n y lim inf sen n . 2 2 Ejercicio III.83. Halla el l mite superior e inferior de una sucesin cuyos trminos son los nmeros racionales o e u del intervalo (0, 1). Ejercicio III.84. Si una sucesin est acotada superiormente debe tener un l o a mite superior? Proposicion 15.6 Los l mites superior e inferior, cuando existen, son l mites de oscilacin de la sucesin. o o Demostracion. En efecto, si A es el conjunto de los l mites de oscilacin de una sucesin (an )n , ya que o o = lim sup an = sup A, para cada > 0, debe existir algn l u mite de oscilacin A tal que o < . Tomando = + > 0, en el intervalo ( , + ) debe haber innitos trminos de la sucesin. e o Pero = ( + ) = , y = + , ya que 0. Por tanto, + + luego ( , + ) ( , + ). As que en ( , + ) habr innitos trminos de la sucesin y a e o es l mite de oscilacin. o Introduccin al anlisis matemtico o a a

TEMA 3. SUCESIONES Y L IMITE DE SUCESIONES

111

La demostracin de que el l o mite inferior es l mite de oscilacin se prueba de forma similar. o Ejercicio III.85. Completa la demostracin anterior. o Ejercicio III.86. Prueba que si una sucesin (an )n est acotada entonces los l o a mites superior e inferior existen y se verica lim inf an lim sup an . Ejercicio III.87. Prueba que si (an )n converge entonces lim an = lim inf an lim sup an . Proposicion 15.7 Si una sucesin (an )n converge a a entonces se verica o
inf {sup{an : n k} : sup {inf{an : n k} :

k N} = a. k N} = a.

Demostracion. Consideremos la sucesin yk = sup{an : n k}. Puesto que para k N es o {an : n k + 1} {an : n k}, entonces sup{an : n k + 1} sup{an : n k}.

Por tanto, yk+1 yk , luego la sucesin es decreciente. Como (an )n est acotada tambin (yk )k est o a e a acotada y, por tanto, converge y su l mite es = inf {yk : k N} = inf {sup{an : n k} : k N}

Ahora bien, para cada > 0, como an a, existe un k0 N tal que para cada n k0 es an (a, a+), luego {an : n k} (a , a + ), k k0 de donde, a sup{an : n k} a + ; esto es, a yk a + , k k0 .

Luego a lim yk = a + . Puesto que esto es cierto para cada > 0 podemos concluir que = a c.q.d.. La otra igualdad se demuestra de forma anloga. a Ejercicio III.88. Completa la demostracin anterior. o Proposicion 15.8 Si (an )n es una sucesin acotada se verica o lim sup an = inf {sup{an : n k} : k N} .

Demostracion. Sea = lim sup an . Para cada > 0, ningn l u mite de oscilacin puede ser mayor que o + as que slo un nmero nito de trminos de la sucesin puede ser mayor que + . Luego existe o u e o algn k0 N tal que u an < + , para n k0 . Por tanto, sup{an : n k0 } + . Quico Ben tez

112

15. L IMITES DE OSCILACION.

Pero entonces, inf {sup{an : n k} : k N} sup{an : n k0 } + . k N} . Como esto es cierto para cada > 0 debe ser inf {sup{an : n k} :

Por otra parte, como el l mite superior es un l mite de oscilacin, existir una subsucesin (anp )p tal que o a o anp . Pero entonces, para k N se verica que sup{an : n k} sup{anp : np k}, de donde, inf {sup{an : n k} : k N} inf sup{anp : np k} : kN . Pero al ser anp sabemos que = inf sup{anp : np k} : inf {sup{an : n k} : k N de donde se obtiene que

k N} .

La siguiente proposicin se demuestra de forma similar a la anterior. o Proposicion 15.9 Si (an )n es una sucesin acotada se verica o lim inf an = sup {inf{an : n k} : Ejercicio III.89. Demuestra la proposicin anterior. o Ej er ci ci o III.90. Calcula los l mites de oscilacin, el l o mite superior y el l mite inferior de las siguientes sucesiones, si existen: (a) an = (1)n . (b) an = (c) an = 0 si n es par, 1/n si n es impar.
(1)n n

k N} .

1+(1)n . 2

(d) an = 1 + (e) an =

n+1 n

cos n.

1/2n si n es par, 2n 1/2n si n es impar.

Introduccin al anlisis matemtico o a a