1

L mites de Sucesiones ( Primera Parte)

n+

Denicin 1.1 Sea {an }+ una sucesin de nmeros reales. Se dice que o o u n=0 a l, si y slo s o

lim an = l, o que la sucesin CONVERGE o

> 0 existe R > 0 tal que n > R |an l| < .

Esto signica que cuando n se hace ms y ms grande los nmeros an se estan acumulando cerca de l. a a u Ejemplo: Si p > 0, entonces
n+

lim

1 = 0. np
1 Rp

Demostracin: o Si alguien nos da un Ejercicio: En el caso de la sucesin constante an = C para todo N se tiene o lim C = C. > 0 nosotros elegimos R =
1
1 p

1 1 y tendremos n > R | np 0| = | np | <

= .

n+

Demostracin: o No puede ser mas fcil pues dado , cualquier R sirve. a Ejemplo: Considere la sucesin {(1)n }+ . Probaremos que ella no tiene l o mite. Argumentamos por contradiccin. Si esta o n=0 sucesin tuviera un l o mite l, entonces si l = 1 tomando = |l1| deber existir N tal que n > N |(1)n l| < |l1| . a 2 2 Tomando n como cualquier nmero PAR mayor que N obtenemos |1 l| < |l1| . Esta contradiccin demuestra que no se u o 2 puede tener que l = 1. La unica posibilidad que nos queda es que l = 1, pero en este caso tomando = 1 deber existir a K tal que n > K |(1)n l| < 1. Tomando ahora cualquier natural IMPAR mayor que K se tendr | 2| < 1. Lo a que tambin es una contradiccin y por lo tanto la sucesin no puede tener l e o o mite. Observacin: o Hacemos notar que las tres armaciones siguientes son equivalentes. 1) lim an = l.
n+ n+

2) lim (an l) = 0. 3) lim |an l| = 0.

n+

En efecto:
n+

lim an = l signica > 0 existe R tal que n > R |an l| < .

n+

lim (an l) = 0 signica > 0 existe R tal que n > R |(an l) 0| < .

n+

lim |an l| = 0 signica > 0 existe R tal que n > R ||an l| 0| < .

Como estas tres armaciones son exactamente la misma la observacin queda demostrada. o Pasamos ahora a demostrar algunos teoremas bsicos sobre l a mites. Empezamos por el teorema de la suma.

Teorema 1.1 Si {an }+ y {bn }+ son dos sucesiones tales que n=0 n=0 {(an + bn )}+ n=0 converge y
n+ n+

lim an = l y

n+

lim bn = m, entonces la sucesin suma, o

lim (an + bn ) = l + m.

Demostracin: o Sea dado.

n+

Como lim an = l se tiene que existe R1 tal que n > R1 |an l| < Como lim bn = m se tiene que existe R2 tal que
n+

n > R2 |bn m| < Observamos que

|(an + bn ) (l + m)| |an l| + |bn m|. Ahora tomando R = max(R1 , R2 ) se tiene que n > R |(an + bn ) (l + m)| < lo que termina la demostracin. o Ejercicio: 1. Si lim an existe y lim bn NO existe. Qu puede decir de lim (an + bn )? e
n+ n+ n+

2. Si lim an NO existe y lim bn NO existe. Qu puede decir de lim (an + bn )? e

n+ n+ n+

Antes de dar el teorema para el producto y el cuociente veremos el teorema del Sandwich que es bastante util. Teorema 1.2 (del Sandwich.) Sean {an }+ , {bn }+ y {cn }+ tres sucesiones tales que n=1 n=1 n=1 an bn cn n > K para algn K > 0. u Entonces si
n+

lim an = lim cn = l
n+

se tiene que

n+

lim bn existe y
n+

lim bn = l.

Demostracin: o Hgala como ejercicio. a Ejemplo: Probar que lim (n) n = 1.

n+
1

Solucin: o Es claro que (n) n 1. Pongamos (n) n = 1 + bn

1 1

donde bn 0 es el error. Se tiene n = (1 + bn )n y por lo tanto, por el Teorema del binomio,

n

n=
k=0

n k

bk . n

Como todos los trminos en la sumatoria son positivos se tiene e n De este modo, como bn 0, se tiene bn y por lo tanto 1 (n) n 1 + Ahora el resultado sigue por el Teorema del Sandwich. Observacin: o Hacemos notar que en la demostracin anterior hemos dado una estimacin del error que resulta al aproximar (n) n o o por 1. Tema de reexin: o Si lim an = + y lim bn = 0, con bn 0, Cunto vale lim (an )bn en caso que exista? a
n+ n+ n+
1 1

n(n 1) 2 bn . 2

2 n1 2 . n1

Observacin: o Si Ud. no se ha dado cuenta, el hecho que

n+

lim an exista, y lo que es, depende de los valores que toma la sucesin o

slo para los n GRANDES. En este sentido tenemos el teorema siguiente. o Teorema 1.3 Si an = bn n > K para algn K > 0, u entonces
n+

lim an existe si y slo s o

n+

lim bn existe

y en el caso de que existan se tiene

n+

lim an = lim bn .
n+

Demostracin: o Hgala como ejercicio. a Necesitamos ahora la siguiente denicin. o Denicin 1.2 o Una sucesin {an }+ se dice ACOTADA si y slo s existe M > 0 tal que o o n=1 |an | < M para todo n N. Teorema 1.4 Si {an }+ es una sucesin convergente, entonces es acotada. o n=1

Demostracin: o Si
n+

lim an = l, entonces tomando, por ejemplo,

= 1 en la denicin de l o mite sabemos que existe un natural K

tal que |an l| < 1 para todo n > K. Esto implica que |an | < |l| + 1 para todo n > K. Ahora tomando M como el mayor de los nmeros |a1 |, |a2 |, ..., |aK |, |l| + 1, tenemos una cota para todos los valores de la sucesin y el teorema queda u o demostrado. El teorema siguiente es util a veces Teorema 1.5 Si lim an = 0 y {bn }+ es acotada, entonces n=1
n+

n+

lim (an bn ) = 0.

Demostracin: o Si |bn | < M para todo n se tiene 0 |an bn | M |an | y el teorema sigue por el Teorema del Sandwich. Podemos demostrar ahora el teorema del producto y del cuociente. Teorema 1.6 Si a)
n+

n+

lim an = l y

n+

lim bn = m, entonces

lim (an bn ) = l m.

b) Si ADEMAS m = 0, entonces
n+

lim

l an = bn m

Demostracin: o Daremos slo la demostracin del producto. o o Se tiene, sumando y restando, y usando la desigualdad triangular 0 |an bn l m| |an bn an m| + |an m l m| = |an | |bn m| + |an l| |m|. Ahora |an | |bn m| tiende a 0 ya que los |an | estan acotados y |an l| tiende a 0. Analogamente |an l| |m| tiende a 0. El teorema sigue ahora por el Teorema del Sandwich. Ejercicio: 1. Si lim an existe y lim bn NO existe. Qu puede decir de lim (an bn )? Distinga casos de acuerdo si lim an = e
n+ n+ n+ n+

0 o no. 2. Si lim an NO existe y lim bn NO existe. Qu puede decir de lim (an bn )? e

n+ n+ n+

Teorema 1.7 Si

n+

lim an = l con an 0, entonces lim an = l.

n+

Demostracin: o Distinguimos dos casos. Caso 1: l = 0 Se tiene |an l| |a l| n 0 | an l| = an + l| l|

y la conclusin sigue por el Teorema del Sandwich. o Caso 2: l = 0 En este caso dado > 0 como lim an = 0 existe R tal que
n+

n > R an < Luego n>R lo que termina la demostracin. o Ejercicio: 1. Probar que si lim an = l con an 0, entonces
n+

an <

n+

lim (an ) 3 = (l) 3 .

Idea: Imite la demostracin anterior usando la frmula x3 y 3 = (x y)(x2 + xy + y 2 ). o o 2. Probar que si lim an = l con an 0, entonces
n+

n+

lim (an ) 4 = (l) 4 .

3. Probar que si lim an = l con an 0, entonces

n+

n+

lim (an ) q = (l) q

para cualquier p, q Z. Denicin 1.3 Se dice que o lim an = + si y slo s o M > 0 existe R > 0 tal que n > R an > M. De manera anloga se dene lim an = . a
n+

n+

Teorema 1.8 (Teorema del Sandwich para l mites innitos.) Sean {an }+ y {bn }+ dos sucesiones tales que n=1 n=1 an bn n > K para algn K > 0. u Entonces si
n+

lim an = +

se tiene que

n+

lim bn existe y
n+

lim bn = +.

Demostracin: o Hgala como ejercicio. a Ejercicio: 1. Probar que si p > 1, entonces lim np = +.
n+

2. Probar que si lim an = +, entonces lim

n+

1 n+ an

= 0.

3. Es cierto que si lim an = 0, entonces lim

n+

1 n+ an

= +? Respuesta: NO. Por qu? e

Ejemplo: Si r > 1, entonces lim rn = +.

n+

Demostracin: o Pongamos r = 1 + b con b > 0. Por el Teorema del Binomio se tiene

n

r = (1 + b) =
k=0

n k

bk .

Como todos los trminos en la sumatoria son positivos, botando todos salvo el correspondiente a k = 1 obtenemos e rn = (1 + b)n nb y el resultado sigue por el Teorema del Sandwich. Ejemplo: Si |r| < 1, entonces lim rn = 0.
n+

Demostracin: o Esto sigue del ejemplo precedente. Ejercicio: Qu pasa con lim rn si r < 1 y con los casos r = 1 y r = 1? e
n+

Ejercicios
1. Los ejercicios siguientes fueron hechos en clases. a) 2. Calcular en caso que exista: a) e) i)
5 2 lim n +3n2 3 5 n+ 7n +n 2

n+

lim rn

b)

n lim a n+ n!

c)

lim n! n n+ n

b)
1

n+ n+

lim (An + B n ) n lim ( n2 + n n)

1 lim (sin( n ))n

f) j) n)

7 4 lim n +3n2 3 3 n+ 7n +n 7 n rj lim n+ j=0

c) g)
1 n

3 2 lim n 4+n 33 n+ 7n +n +5 2 +1) lim 1+73cos(n+7 n n2 n+

d) h)
1 3

n+ n+ n+

lim (3n + 2n ) n lim ( n n + 1)

(2n+3)20 (3x+1)30 (2x+1)50
2

n+

lim (2

2n

+3 )

k) o)

n+ n+

lim ((n + 1) n )

1 3

l) p)

lim

m)

n+

n+

lim cos(n)

1 lim (1)n (1 n )

n+

lim (1)3n ( n n+n+5 ) 3 +3