Coordinacin de Matemtica II (MAT022)

Segundo semestre de 2010

Sucesiones

SUCESIONES
Considere el problema de aproximar el valor de 2 a travs del siguiente mtodo: sabemos que 1 2 I 1 = [1, 2]. Dividamos el intervalo en dos subintervalos de igual longitud = 2 , digamos I 1 = 1, 3 2
3 y I 1 = 2 , 2 . Es fcil ver que 2 I 1 , llamemos I 2 a tal intervalo. Ahora bien, como 2 I 2 podemos, nuevamente, dividir I 2 en dos subintervalos I 2 y I 2 ambos de longitud 1 longitud I 2 = 212 . Al 2 intervalo que pertenezca 2 le llamamos I 3 . Repitiendo en forma inductiva la operacin descrita anteriormente, se obtienen intervalos I n tales que 2 I n , y adems con la propiedad de que la longitud de I n = 21 . n Sean x n , y n los extremos derecho e izquierdo del intervalo I n entonces:

xn se sigue que: 0 esto nos dice que: 0

2 yn ,

2 xn yn x n = 1 , 2n 1 2n

2 xn

n 2 a medida

En otras palabras, el extremo derecho de los intervalos I n se va acercando al valor de que n crece. As, por ejemplo, x 10 esta a distancia menor igual que: 1 = 9. 765 6 104 210

de 2. En este ejemplo, a cada nmero natural le asignamos un nmero real x n que es el extremo derecho del intervalo I n . Este tipo de correspondencia, i.e. n x n , se llama sucesin de nmeros reales y el concepto de se va acercando es llamado convergencia. En las secciones siguientes formalizaremos estos conceptos.

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1.0.1

Conceptos bsicos

Denicin 1.1. Una sucesin de nmeros reales es una funcin x : que asocia a cada nmero natural n un nmero real x (n) que denotaremos por x n que llamaremos el n-simo trmino de la sucesin. Usualmente, las sucesiones son denotadas por los smbolos: (x n ) , (x n )=1 , (x n )n , {x n }n n o tambin: (x 1 , x 2 , x 3 , . . . , x n , . . . ) Debemos, sin embargo, distinguir entre una sucesin (que es una funcin) y el conjunto de los valores que toma la sucesin (el recorrido de tal funcin); son objetos diferentes que podran confundirse, por ejemplo: Considere la sucesin X : , denida por n X (n) = (1)n . Si bien esta funcin toma slo dos valores, debemos distinguirla del conjunto {1, 1} que es el recorrido de tal sucesin. Quizs, lo que deje ms en claro la diferencia entre estos objetos, es que en toda sucesin existe un orden en que los valores o trminos van apareciendo, en cambio en un conjunto se carece de esta nocin de orden. Es posible, tambin denir una sucesin listando los primeros trminos de ella y detenindonos cuando la regla de formacin de la sucesin sea clara. Por ejemplo: (2, 4, 6, 8, . . . ) denotar la sucesin de los nmeros pares. Sin embargo, un mtodo ms satisfactorio para denir una sucesin es especicar una frmula para el trmino n-simo de la sucesin, para este caso tenemos: (2n)n Tambin existe otro mtodo para denir sucesiones: el mtodo inductivo. Este mtodo consiste en que se dene el trmino x n+1 basndose en una frmula recursiva, conociendo previamente algunos valores iniciales de la sucesin1 . En el caso del ejemplo anterior, podemos denir la sucesin de los nmeros pares mediante la frmula: x 1 = 2, x n +1 = 2 + x n , n 1

En efecto, note que x 1 = 1, as x 2 = 2 + x 1 = 2 + 2 = 4, luego x 3 = 2 + x 2 = 2 + 4 = 6, etc. Otro ejemplo de este tipo de deniciones es escribir a 1 = 1, a 2 = 1 y a n +1 = a n + a n 1 ,
1 i.e.

n 2

x n +1 = (x 1 , x 2 , . . . , x n ), para alguna funcin :

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

en el cual tomamos como base dos casos anteriores. As los primeros nmeros de esta sucesin son: a1 = 1 a2 = 1 a3 = a2 +a1 = 1+1 = 2 a4 = a3 +a2 = 2+1 = 3 a5 = a4 +a3 = 3+2 = 5 Podemos representar una sucesin en la recta real mostrando los valores que toma la sucesin en 1 determinado valor de n, por ejemplo la representacin para la sucesin n n es: 0
1 n

...

11 1 76 5

1 4

1 3

1 2

Ejemplo 1.1. Las progresiones son ejemplos de sucesiones. De este modo, las progresiones geomtricas corresponden a una sucesin del tipo: x n :

x n = a 1 r n 1

y las progresiones aritmticas corresponden a una sucesin de la forma: x n :

1(1)n 2

x n = a 1 + (n 1) d es decir, corre-

Ejemplo 1.2. La sucesin (1, 0, 1, 0, . . . ) tiene trmino n-simo dado por x n = sponde la sucesin: x n : 1 (1)n 2 corresponde a
1 . 10

xn =
1 n

Ejemplo 1.3. El dcimo trmino de la sucesin Ejemplo 1.4.

La sucesin

1 xn = 1 + n

Notemos que del Teorema del Binomio de Newton:

n

xn =
k =0

n 1 k nk

donde:

n n! = (n k )!k ! k 3

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

se sigue que: n 1 k nk n (n 1) (n k + 1) (n k )! (n k )!k !n k n (n 1) (n k + 1) = k !n k 1 2 k 1 = 1 1 1 1 n n n =

1 k!

Por lo tanto, se obtiene: xn = 1 1+ n

n n

= 1+
k =1 n

1 1
n

1 n

2 n

k 1 n

1 k!

1 1 1+ = k ! k =0 k ! k =1 pues: 1 1 Por otro lado, note que: 1 1 =1+1+ k! k! k =2 k =0 pero: k ! 2k 1 , as: 1 k! k =0

n n n

1 n

2 n

k 1 n

1 11 = 1

k 2

= 1+1+ 1+1+

1 k! k =2
n

1 2k 1

=1+2 1

k =2

1 2n

<3

de lo anterior se obtiene que: xn = 1 + para todo n . 1 n

<3

1 1 Ejemplo 1.5. La sucesin 2, 2+ 1 , 3+ 4 , 4+ 1 , 5+ 16 , . . . , corresponde a la sucesin de trmino n-simo 2 8 dado por: 1 x n = n + n 1 2

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Denicin 1.2. Sean X = (x n ) e Y = y n dos sucesiones en 1. X como la sucesin (x n ) 2. X + Y como la sucesin x n + y n 3. X Y como la sucesin x n y n 4.
X Y

y sea . Se dene:

como la sucesin

xn yn

, si y n = 0.

1 As por ejemplo, si X = n n e Y = (2n)n , entonces X Y = (2)n = (2, 2, 2, . . . , 2, . . . ) es una sucesin constante que slo toma el valor 2. Tambin, Y /X = (2n 2 )n .

Denicin 1.3. Diremos que una sucesin (x n ) es: 1. Acotada superiormente, si existe un M 2. Acotada inferiormente, si existe un m tal que x n M , para todo n . tal que m x n , para todo n .

3. Acotada, si es acotada superior e inferiormente. Es decir, existe una constante K > 0 tal que |x n | K , para todo n .

Ejemplo 1.6. La sucesin

1 1+ n

n n

es una sucesin acotada. En efecto, es claro que 0 x n y

x n < 3, para cada n . As, se tiene que x n [0, 3], para cada n . Ejemplo 1.7. (1)n cada n .
n

es una sucesin acotada, a saber, |x n | = (1)n = 1, luego x n [1, 1] para

Ejemplo 1.8. Sea a . Consideremos la sucesin (a n )=1 denida por x n = a n , con n . Estudin aremos si es acotada o no la sucesin. Consideremos: 1. Si a < 1, entonces x n no es acotada, ni superior ni inferiormente. En efecto, note que a 2 > 1, entonces: a2 = 1+d para algn d > 0. As: a 2n = (1 + d )n 1 + n d tal que

usando la desigualdad de Bernoulli2 . Por tanto, no puede existir una constante M x n M , para todo n , pues si tal constante M > 0 existiera, se tendra: M x 2n 1 + n d , n
2 (1 + x )n

1 + nx , para todo x 1

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

de lo cual obtendramos que: M 1 n d

1 pero basta considerar n > Md y se obtiene una contradiccin. Anlogamente:

a 2n +1 = a (1 + d )n a (1 + n d ) , n de donde no puede existir m tal que m xn para todo n . (Razonar de manera similar al caso anterior para mostrar que la existencia de tal m lleva a una contradiccin). 2. Si a [1, 1], entonces la sucesin x n = a n est acotada, para todo n . En efecto, |x n | = |a |n 1n = 1, por lo tanto, x n [1, 1], para todo n . 3. Si a > 1, entonces a = 1 + d , con d > 0. Luego, se sigue que x n = a n = (1 + d )n 1 + n d , para todo n 1, y de lo anterior se concluye que no puede estar acotada superiormente. Sin embargo, es fcil ver que est acotada inferiormente por 1. Ejemplo 1.9. sin (n 2 + 2)
n

, claramente es una sucesin acotada.

Denicin 1.4. Diremos que una sucesin (x n ) es: 1. Estrictamente creciente si para cada n , se tiene que x n < x n+1 . 2. Creciente si para cada n , se cumple que x n x n+1 . 3. Estrictamente decreciente si para cada n , se tiene que x n > x n +1 . 4. Decreciente si para cada n , se cumple que x n x n +1 . 5. Montona si cumple con alguna de las propiedades anteriores. En ocasiones se habla de monotona estricta si es estrictamente creciente o estrictamente decreciente.

Ejemplo 1.10. Suponga que (x n ) es una sucesin de trminos no negativos, es decir, x n 0 para todo n. Se dene, a partir de (x n ) una sucesin (s n ) dada por:
n

sn =
k =1

xk

entonces (s n ) es una sucesin creciente. En efecto, para cada nmero natural n se cumple que:
n +1 n

s n +1 s n =
k =1
MAT022 (Complemento)

xk
k =1

x k = x n +1 0 6

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

se sigue que: s n +1 s n , n Algunos ejemplos de esto son las sucesiones: 1 1 1 + + + 1! 2! n! 1 1 1 sn = 1 + + + + 2 3 n 1 1 1 sn = 1 + 2 + 2 + + 2 2 3 n no es una sucesin montona. sn = 1 + no es una sucesin montona.

Ejemplo 1.11. {sin (n)}n Ejemplo 1.12. (1)n

n

Ejemplo 1.13. 1, 2, 3, 4, . . . es una sucesin estrictamente creciente. Ejemplo 1.14. 1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, . . . es una sucesin creciente. Denicin 1.5. Considere una sucesin (x n ) = (x 1 , x 2 , x 3 , . . . ). Una subsucesin de (x n ) es una nueva sucesin que se forma considerando un conjunto innito de subndices n k , digamos n 1 , n 2 , n 3 . . . , que cumplen n 1 < n 2 < n 3 < . . . . En palabras ms precisas, una subsucesin de una sucesin se obtiene al efectuar una composicin entre la sucesin original con una funcin Y : que sea estrictamente creciente. Ejemplo 1.15. Dada la sucesin (x n ) podemos extraer la subsucesin de los trminos de lugares pares (x 2 , x 4 , x 6 , . . . ) = (x 2n ); tambin, podemos extraer la subsucesin de los lugares impares (x 1 , x 3 , x 5 , . . . ) = (x 2n 1 ). La primera corresponde a efectuar una composicin con la funcin Y : , n Y (n) = 2n y la segunda con la funcin Y : , n Y (n) = 2n 1, ambas estrictamente crecientes. Podramos, tambin, considerar Y : , n Y (n ) = n 2 y obtenemos la subsucesin: (x 1 , x 4 , x 9 , x 16 , . . . ) Ejemplo 1.16. Considere la sucesin 1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, . . . Se observa lo siguiente: en el lugar n = 1 est el 1, en el lugar n = 1 + 2 se encuentra el 2, en el trmino correspondiente a n = 1 + 2 + 3 est el 3, en el lugar n = 1 + 2 + 3 + 4 est el 4, razonando inductivamente se concluye que: x 1+2+3++n = n de lo anterior se sigue que: x n (n+1) = n
2

Por tanto, la sucesin 1, 2, 3, . . . , n, ... es una subsucesin de 1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, . . . Ejemplo 1.17. Note que (1)
n(n +1) 2

es una subsucesin de (1)n . Sus primeros trminos son: 1, 1, 1, 1, 1, 1, 1, . . .

Ejemplo 1.18. Si (x n ) es una sucesin entonces (x n+1 ) = (x 2 , x 3 , . . . ) es una subsucesin. Similarmente, para todo k , (x n +k ) es una subsucesin. Se concluye que por cada sucesin existen innitas subsucesiones.

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1.1

El concepto de convergencia

Hablando de manera informal, el concepto de convergencia est relacionado con los valores que toma la sucesin a medida que n crece. Si los trminos de una sucesin estn tan cerca como queramos de un nmero real L, a partir de un cierto n lo sucientemente grande, diremos entonces, que la sucesin converge a este nmero real L. Es el concepto de convergencia, el que pasamos a formalizar a continuacin: Denicin 1.6. Sean (x n ) una sucesin de nmeros reales y L un nmero real. Diremos que x n converge a L, o que L es el lmite de la sucesin (x n ), si dado cualquier > 0, existe un N tal que, para cada n , con n N , se implica que |x n L| < . En tal caso pondremos limn x n = L, o simplemente, x n L, cuando n . En smbolos anotamos lo siguiente: lim x n = L > 0, N , n N = |x n L| < Observacin 1.1. Note que, por las propiedades del valor absoluto y la denicin de intervalo, la expresin |x n L| < es equivalente a la expresin x n ]L , L + [. Por tanto, la denicin de convergencia nos dice que a partir de N en adelante los valores de x n (es decir, los trminos x N , x N +1 , x N +2 , . . . ) se encontrarn en el intervalo descrito anteriormente, y como > 0 es arbitrario, podemos considerarlo3 tan pequeo como queramos. Esto formaliza la idea de estar tan cerca de L como se quiera. Observacin 1.2. Notemos tambin que: |x n L| < |(x n L) 0| < ||x n L| 0| < Lo anterior nos dice que: lim x n = L lim (x n L) = 0 lim |x n L| = 0
n n

Denicin 1.7. Una sucesin que posee lmite se dir convergente. En caso contrario se dir que la sucesin es divergente. Ejemplo 1.19. Consideremos la sucesin x n = a n , con |a | < 1 no nulo. Pensando intuitivamente, pareciera ser que los valores de la sucesin se acercan a cero a medida que n crece. Notemos que |x n | = |a |n , luego: 1 |a | < 1 1 < |a | Razonando como en ejemplos anteriores, se sigue que existe un nmero real positivo d tal que: 1+d =
3 he

1 |a |

ah la gracia

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

As: 1 |a |
n

= (1 + d )n
n

=
k =0

n dk k

n d 1 = nd entonces: 1 |a |n nd |x n 0| = |a |n < pero: 1 1 < <n nd d Ahora, estamos en condiciones de mostrar que el lmite de esta sucesin es cero. Sea, entonces, > 0 un nmero arbitrario dado4 . Para ese > 0 elegimos N = 1 + 1, i.e. la parte entera de 1 ms 1. Por d d tanto, si n es tal que n > N , entonces se cumple que: |x n 0| < En efecto, n . Es decir:
1 d

Por lo tanto:

1 nd

+1>

1 d

, implica que >

1 nd

. Sin embargo, |x n 0| = |a |n <

1 nd

, entonces |x n 0| <

lim a n = 0

Ejemplo 1.20. Considere la sucesin (x n )=1 denida por x n = nn . Note que: n +1 n 1 = , 1 n +1 1+ n n

y por la propiedad arquimediana5 de los nmeros reales se tiene, de manera semiformal, que x n 1. Mostraremos, ahora, que lo anterior es cierto. En efecto, observe que: |x n 1| = n 1 1 1 = < n +1 n +1 n
1

de lo anterior se sigue que: dado > 0, existe N =

+ 1, tal que si n N , entonces, se tiene que:

|x n 1| <
4 pero 5 dado

jo cualquier > 0, existe n , tal que 0 < 1 < n

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

puesto que, si n N =

1 + 1 , entonces n 1 , y as > n , pero:

|x n 1| = As:

n 1 1 1 = < n +1 n +1 n |x n 1| <

Por tanto, hemos demostrado que:

n

lim

n =1 n +1

Ejemplo 1.21. Considere la sucesin x n = (1)n . Si nos damos varios ndices de n , vemos que esta sucesin toma los valores 1 y 1, en forma alternada. Si x n L, para algn L , entonces debera existir un N , tal que para n N se cumpla que: |x n L| < 1 4

As, si consideramos un nmero par, digamos n, mayor que N , se cumplir que: |1 L| < 1 4 1 1 < L 1< 4 4 3 5 <L< 4 4

Por otro lado, si consideramos un n impar, mayor que N , entonces se cumplir que: |1 L| = |1 + L| < 1 4 1 1 < L +1< 4 4 5 3 <L< 4 4

Por tanto, se observa claramente, que no puede existir un nico nmero L en ambos intervalos, simultneamente. Por tanto, se concluye que tal L (recalcamos, nico) no puede existir. Es decir, limn (1)n no existe. Equivalentemente, (x n ) diverge. Teorema 1.1 (Unicidad del Lmite). Si el lmite de una sucesin (x n ) existe, entonces es nico. Esto es, si: lim x n = L 1 lim x n = L 2
n n

Entonces, L 1 = L 2 . Sean (x n ) la sucesin y L 1 ,L 2 lmites de la sucesin. Si L 2 existirn naturales N 1 y N 2 tales que: n n

MAT022 (Complemento)

> 0, entonces por la convergencia a L 1 y

N 1 |x n L 1 | < N 2 |x n L 2 | < 10

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

respectivamente. Ahora bien, si n max {N 1 , N 2 }, entonces: |L 1 L 2 | = |L 1 x n + x n L 2 | |x n L 1 | + |x n L 2 | < 2 Por tanto, como el nmero > 0 es dado arbitrariamente, se debe tener que L 1 = L 2 . Observacin 1.3. El Teorema 1.1 se usa contrapositivamente. Esto es, utilizando la tautologa siguiente: p = q q = p As, si la sucesin converge a dos valores de L, distintos el uno del otro, entonces el lmite no puede existir. Teorema 1.2 (lgebra de lmites). Si x n A e y n B , entonces: 1. limn x n + y n = A + B 2. limn x n y n = A B 3. limn
xn yn

A ,si B = 0. B

1 Es fcil mostrar que n 0, cuando n . Del lgebra de lmites de sigue que n1p 0, para cualquier p . Adems, utilizando el item 2 del teorema anterior con la sucesin constante , se sigue que: lim p = 0 n n para cualquier p .

Ejemplo 1.22. Calcular el lmite de la sucesin: xn = 3n 4 + 2n + 1 2n 4 + 1

Desarrollo: Modicando algebraicamente la expresin se obtiene sucesivamente:

2 1 3 + n23 + n14 3n 4 + 2n + 1 n 4 3 + n 3 + n 4 = = 2n 4 + 1 2 + n14 n 4 2 + 14 n

Por tanto, utilizando el lgebra de lmites y la observacin anterior se sigue que: lim 3n 4 + 2n + 1 2n 4 + 1 = = =
MAT022 (Complemento)

lim

3 + n23 + n14 2 + n14

limn 3 + n23 + n14 limn 2 + n14 3+0+0 3 = 2+0+0 2 11

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Denicin 1.8. Sea (x n ) una sucesin. Diremos que x n tiende a innito, cuando n tiende a innito, si para todo K > 0, existe un N , tal que para todo n N , se tiene que x n > K . En tal caso escribiremos: lim x n = +
n

Diremos que x n tiende a menos innito, cuando n tiende a innito, si para todo K < 0, existe un N , tal que n N , implica que x n < K . En tal caso escribiremos:
n

lim x n =

Ejemplo 1.23. Considere la sucesin x n = (1)n n 2 . Entonces x n +. En efecto, note que a medida que n crece la sucesin se alterna entre nmeros positivos y negativos que van creciendo (con n) en valor absoluto. Ejemplo 1.24. Si x n = n2 , entonces limn x n = +. En efecto: (0.5)n 0.5 < 1 1 < As: xn = se sigue, entonces, lo armado. Observacin 1.4. Si (x n ) es una sucesin creciente y no es acotada superiormente, entonces limn x n = +. 1 1 1< (0.5)n 0.5

n2 2 n >n n (0.5)

Teorema 1.3. Sean (x n ) e y n sucesiones: 1. Si limn x n = + e y n es una sucesin acotada inferiormente, entonces:
n

lim x n + y n = +

2. Si limn x n = + y existe > 0 tal que y n > , para todo n , entonces:

n

lim x n y n = + y adems existe > 0 tal que y n > , para todo yn xn = +

3. Si limn x n = 0, con x n > 0, para todo n n , entonces:

n

lim

MAT022 (Complemento)

12

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1.2

Algunas propiedades de las sucesiones

Teorema 1.4. Si (x n ) es una sucesin convergente a L, entonces toda subsucesin x n k converge a L. Este teorema nos entrega un muy til criterio de divergencia: si (x n ) es una sucesin que posee una subsucesin divergente, entonces diverge. Adems, si (x n ) posee dos subsucesiones que convergen a lmites distintos entonces la sucesin diverge6 . Ejemplo 1.25. La sucesin x n = (1)n es divergente. En efecto, posee dos subsucesiones x 2n = 1 y x 2n 1 = 1 que convergen cada una a lmites diferentes. Ejemplo 1.26. La sucesin (x n ) denida recurrentemente por: x1 = 2 x n +1 = x1 ,
n

n 1

no puede ser convergente. En efecto, si tuvieramos que x n L, entonces: 1 1 xn L

y adems, para la subsucesin (x n +1 ) se tendra que x n+1 L, y como: x n+1 = se tiene, entonces, por la unicidad del lmite que: L= Es decir: L 2 = 1 situacin imposible en el conjunto de los nmeros reales. Ejemplo 1.27. La sucesin (x n ) denida por x n = (1)n n 2 no es convergente. En efecto, la subsucesin x 2n = 4n 2 diverge. El siguiente teorema nos dice que para n sucientemente grandes los trminos de la sucesin permanecen cerca del lmite. Teorema 1.5. Si limn x n = L y a < L, entonces existe un N , tal que para cada n N se cumple que a < x n . Si a > L, entonces existe un K , tal que para cada n K se cumple que a > x n . Teorema 1.6. Sean (x n ) e (y n ) dos sucesiones tales que: x n yn , Si, adems, x n L 1 e y n L 2 , entonces L 1 L 2
6 Esto

1 xn

1 L

formaliza la Observacin 1.3

MAT022 (Complemento)

13

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Observacin 1.5. La condicin x n < y n , para todo n , no implica, necesariamente, que L 1 < L 2 . 1 1 Por ejemplo considere las sucesiones x n = n e y n = n , entonces: x n < yn , pero L 1 = L 2 = 0. Teorema 1.7. Toda sucesin convergente es acotada. Sea (x n ) una sucesin convergente, digamos a L. Luego, existe N que: |x n L| < 1 entonces: |x n | < L + 1, n N As, tomando M = max {|x 1 | , |x 2 | , . . . , |x N 1 | , L + 1} se sigue que: |x n | M , i.e. la sucesin (x n ) est acotada por M > 0.
n Ejemplo 1.28. Sabemos que x n = n+1 converge a 1. Por otro lado, sabemos que:

tal que para n N se cumple

|x n 1| < De lo anterior, se sigue que para todo n :

1 n

|x n 1| < 1 As, x n [0, 2], para cualquier nmero natural n. Ejemplo 1.29. Sabemos que:
n

lim

3n 4 + 2n + 1 2n 4 + 1

3 2

Por otro lado, note que: 3n 4 + 2n + 1 3 2n 4 + 1 2 = Luego: xn lo cual implica que: xn 1 11 , 4 4 14 3 5 < 2 4 4n 1 4n + 1 4+2 4n 4n 4 + 2 5n 5 = 4 4n 4n 3

MAT022 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Teorema 1.8. (de Bolzano-Weierstrass) Toda sucesin acotada posee una subsucesin convergente. Ejemplo 1.30. Muestre que la sucesin (x n )=1 denida por x n = sin n es divergente. n Desarrollo: Considere los intervalos de la forma I k = 2k + , 2k + , para k 1. Note que la 6 2 longitud de I k es = > 1. Se sigue, entonces, que cada intervalo I k debe contener un nmero 2 6 3 natural que llamaremos n k ; adems, por estar en ese tipo de intervalos, se debe cumplir que 1 2 sin (n k ) 1. Por otro lado, al ser (x n ) una sucesin acotada, el Teorema de Bolzano-Weierstrass nos dice que {sin (n k )} debe tener, al menos, una subsucesin convergente sin n k l , y como sin n k l 1 , se sigue que: 2 1 lim sin n k l l 2 Consideremos, ahora, intervalos de la forma J u = 2u , 2u , para u . Note que la 2 6 longitud de J u es = > 1. Entonces, se concluye que cada J u debe contener, al menos, un natural 2 6 3 que llamaremos n u . Se sigue, entonces, que 1 sin (n k ) 1 . Nuevamente, al ser acotada y por el 2 teorema de Bolzano-Weierstrass, se obtiene que {sin (n u )} debe tener una subsucesin convergente sin n u p , y como sin n u p 1 se sigue que: 2
p

lim sin n u p

1 2

Claramente:
p

lim sin n u p = lim sin n k l

l

Por lo tanto, conclumos que {sin n }n tiene dos subsucesiones que convergen a lmites diferentes. As {sin n } es una sucesin divergente.

1.3

Algunos resultados de convergencia

Teorema 1.9. Toda sucesin creciente y acotada superiormente converge. De manera similar, toda sucesin decreciente y acotada inferiormente converge. Supongamos que (x n ) es una sucesin creciente y acotada superiormente. Denamos: A = {x n : n } Por hiptesis A es no vaco y acotado superiormente. Por el Axioma del Supremo, se sigue que existe el supremo de este conjunto, que denotaremos por l . Sea > 0 arbitrario, como l < l se sigue que l no es cota superior de A (en efecto, l es por denicin la menor cota superior del conjunto). As, por propiedades del supremo, debe existir n 0 tal que: l < xn0 Por otro lado, como la sucesin es creciente, para todo n xn0 xn
MAT022 (Complemento)

tal que n n 0 se sigue:

15

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

As: l < xn0 xn Note, tambin, que x n l , para todo n . Se sigue de esto que: l < xn < l + para todo n n 0 . As, |x n l | < . En conclusin, si (x n ) es creciente y acotada superiormente, entonces: lim x n = sup {x n : n }
n

(recordar que el supremo no tiene porque pertenecer al conjunto). Se deja de ejercicio mostrar el caso decreciente y acotada inferiormente. Ejemplo 1.31. Sabemos de los ejemplos anteriores que: xn = 1 k! k =0
n

es una sucesin creciente y acotada superiormente por 3. Aplicando el teorema anterior, conclumos inmediatamente que esta sucesin converge. Ejemplo 1.32. Considere la sucesin denida por: a1 = a n +1 = 2 2 + an, n 1

Es decir, la sucesin 2, 2 + 2, 2 + 2 + 2, etc. Estudiar su convergencia. Desarrollo: Notemos que a 1 < a 2 y a 2 < a 3 ; luego, se puede demostrar por induccin que: a n a n +1 , Para el paso inductivo notar que: a n a n +1 = a n + 2 a n +1 + 2 = Pero, a n +1 = a n + 2 y a n+2 = a n +1 + 2, y as: a n a n +1 = a n +1 a n+2 se sigue, por tanto, que la sucesin es creciente. Por otro lado, tambin es fcil demostrar por induccin que a n 2, para todo n . De esta forma, {a n } es una sucesin creciente y acotada superiormente por 2, luego es convergente. an +2 a n+1 + 2 n

MAT022 (Complemento)

16

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

En este caso podemos, adems, encontrar el lmite. En efecto, como por denicin a n +1 = 2 + a n , entonces, si a n L, se tiene que a n+1 L, pues (a n +1 ) es una subsucesin. Note, adems que 2 + a n 2 + L, entonces, por el Teorema de Unicidad del Lmite se sigue que: L= de lo cual se obtiene que: L 2 L 2 = 0 = L = 2 L = 1 y como a n 0, se sigue que L 0, y por tanto, la nica posibilidad es que L = 2. 2+L

Teorema 1.10 (Del sandwich). Sean (x n ) , y n y (z n ) sucesiones tales que: x n z n yn , n N 0

Si limn x n = L y limn y n = L, entonces (z n ) converge, y adems:

n

lim z n = L

El Teorema ejemplos:

del Sandwich

para sucesiones es muy til para el clculo de lmites. Veamos algunos a , con a > 0. Mostraremos que limn x n = 1. En efecto,
n

Ejemplo 1.33. Considere la sucesin x n = si a > 1, entonces: para algn d n 0. Se sigue entonces que:

a = 1+dn

a = 1+dn As:

ndn

a dn 0 n
del Sandwich

por el Teorema

se sigue que:
n

lim d n = 0

Ahora bien, por lgebra de lmites:

n

lim

a = lim (1 + d n ) = 1
n

Por otro lado, si 0 < a < 1, se tiene entonces que: a=

MAT022 (Complemento)

1 d 17

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

para algn d > 1, entonces:

n

d y considerando los razonamientos utilizados en el prrafo anterior, se sigue que: lim

n

a=

1
n

= =

lim

1
n

1
n

lim

= 1 Finalmente, si a = 1 es inmediato. Ejemplo 1.34. Calcular el lmite:

n
n

lim

2n + 3n

Desarrollo: Note que: 3n 2n + 3n 3n + 3n Luego, como la funcin f (x ) =

n

x es creciente, para todo n , se tiene que:

n

3 pero:

2n + 3n
n

2 3n = 3 2,
n

lim 3 2 = 3 lim que:

2=3

Por lo tanto, se sigue por el Teorema

del Sandwich
n

lim

2n + 3n = 3

Ejemplo 1.35. Calcular el lmite siguiente:

n n

lim

1 n2 + k

k =1

Desarrollo: Consideremos la sucesin (x n ) denida por: n=1

n

xn =
k =1

1 n2 + k

Observe que para todo k {1, 2, . . . , n} se tiene que: n 2 + 1 n 2 + k n 2 + n, Lo cual implica que: n2 + 1
MAT022 (Complemento)

n 1

n2 + k

n2 + n 18

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

As, tomando recprocos: 1 n2 + n Ahora bien, sumando se obtiene:

n

1 n2 + k 1

1 n2 + 1
n

1 n2 + n

k =1

k =1

n2 + k

k =1

1 n2 + 1

Por lo tanto, por propiedades de sumas, tenemos las desigualdades: n n xn , n 1 n2 + n n2 + 1 Finalmente, como:
n

lim

n n2 + n

= lim

n n2 + 1

=1

Por el Teorema

del Sandwich

se obtiene que:
n

lim x n = 1

Ahora enunciaremos un teorema que relaciona los lmites de funciones reales con los lmites de sucesiones. El siguiente, es un resultado muy til, pues contamos con una herramienta muy prctica a la hora de calcular lmites: la Regla de L'Hpital. Teorema 1.11. Si limx f (x ) = L y x n = f (n), para cada n , entonces limn x n = L.
1 Ejemplo 1.36. Sea x n = 1 + n n 1 . Si escribimos f (x ) = 1 + x x

, se sigue que f (n) = x n , y adems:

lim x n = lim 1 +
x

1 x

=e

Ejemplo 1.37. Sea x n =

n. Deniendo f (x ) = x 1/x , y como limx x 1/x = 1, se sigue que:

n

lim

n =1

Este lmite tambin se puede calcular a travs del teorema del Sandwich. Teorema 1.12. Si (x n ) es una sucesin que converge a cero e y n es una sucesin acotada, entonces x n y n converge a cero. Es decir: lim x n y n = 0
n

Ejemplo 1.38. Para ejemplicar el teorema anterior, considere:

n

lim

sin n n

=0

Note que {sin n} no es convergente, sin embargo, slo necesitamos que este acotada. Teorema 1.13. Sean A un conjunto que es unin de intervalos abiertos, f : A una funcin y a A. La funcin f es continua en a , si y solo si, para toda sucesin (a n ), tal que a n A, para todo n , y a n a , se cumple f (a n ) f (a ).
MAT022 (Complemento)

19