Vous êtes sur la page 1sur 15

TEOREMAS LIMITE

Usar la definicion de lmite en sucesiones como por ejemplo


 n2 + 2n 
n3 5
para mostrar que su lmite es 0, resulta algo complicado.
El uso de ciertos resultados basicos que mostraremos enseguida simplifican mucho el trabajo.

Teorema 1. Sean (sn ) y (tn ) sucesiones convergentes con


lim sn = s y lim tn = t. Entonces

a) lim(sn + tn ) = s + t.

b) lim(ksn ) = ks
k R.

y lim(k + sn ) = k + s, para cualquier

c) lim(sn tn ) = st.

d) lim

 
sn
tn

= st , siempre que tn 6= 0 para toda n y t 6= 0.

Prueba. a) Para probar que lim(sn + tn ) = s + t necesitamos probar que para  > 0 se tiene que
|sn + tn (s + t)| < 

para n suficientemente grande.

Sea  > 0. Entonces tenemos:

existe N1 tal que n > N1 implica |sn s| < 2 ,

y existe N2 tal que n > N2 implica |tn t| < 2 .

As, si n > max{N1 , N2 } entonces


2

|sn + tn (s + t)| = |(sn s) + (tn t)|


|sn s| + |tn t|
 
< +
2 2
=

b) Ejercicio.

c) Usaremos la desigualdad

|sn tn st| = |(sn tn sn t) + (sn t st)|


|sn tn sn t| + |sn t st|
= |sn ||tn t| + |t||sn s|

Tenemos tambien que como (sn ) es convergente entonces


esta acotada, esto es, existe M1 > 0 tal que |sn | M1
para toda n.

Tomando M = max{M1 , |t|} se obtiene

|sn tn st| M |tn t| + M |sn s|.

Queremos probar que para  > 0 se tiene que


|sn tn st| <  para n suficientemente grande.

Sea  > 0. Entonces

existe N1 tal que n > N1 implica |tn t| <


2M ,

y existe N2 tal que n > N2 implica |sn s| <

As, si n > max{N1 , N2 } entonces


2M .

|sn tn st| M |tn t| + M |sn s|




<M
+M
2M
2M
= .

d) Como

lim

 
1
tn

sn
tn

= sn

 
1
tn

, es suficiente probar que

= 1t . Esto es, queremos probar que para  > 0,

n
| t1n 1t | = | tt
tn t | < 

para n suficientemente grande.

Sea  > 0. Sea m = inf{|tn |} > 0. Como tn t, existe


N tal que

|tn t| < m|t|


obtiene

para n > N . Asi, para n > N se

1
|t tn |
1
|=
tn t
|tn t|
|t tn |

m|t|
m|t|
<
m|t|
= .

Para mostrar la utilidad de este teorema retomamos el


Ejemplo 11 mostrado arriba.

4n 3
4
Ejemplo 11. Probar que lim 5n
2 2n = 5 .

4n2 3
5n2 2n

Primeramente notamos que

Tambien sabemos que

lim n12 = 0,
6

4 n32
.
5 n2

y por lo tanto lim

Ahora, lim 4

3
n2

(3) n12

= 0;

= 4.

Similarmente, lim 5
5.

2
n

(por Teorema 1(b))

(por Teorema 1(b)).

= 5 2 lim

1
n

= 5 2(0) =

Finalmente, por Teorema 1(d) se concluye que

4 n32
4
.
lim
=
5
5 n2

Ejercicio en clase. Pruebe que lim

n+3
n2 5n

= .

Teorema 2. Sean (sn ) y (tn ) sucesiones convergentes con


lim sn = s y lim tn = t. Si sn tn para toda n N
7

entonces s t.

Prueba. Supongamos que s > t.

Sea  =

(st)
2 .

Entonces

existe N1 tal que n > N1 implica |sn s| <  o equivalentemente s  < sn < s + ,

y existe N2 tal que n > N2 implica |tn t| <  o equivalentemente t  < tn < t + .

Sea N = max{N1 , N2 }. Entonces para n > N se tiene

tn < t +  < s  < s n ,

lo cual contradice la hipotesis de que sn tn


lo tanto s t. 

n. Por

Corolario 3. Si tn t y tn 0 n, entonces t 0.

Prueba. El resultado se obtiene considerando sn = 0 n


en el Teorema 2.

Definicion. Se dice que una sucesion (sn ) diverge a +


si para cada M existe un N tal que

sn > M

siempre que

n > N.

Se denota por

lim sn = +.

Similarmente, se dice que una sucesion (sn ) diverge a


si para cada M existe un N tal que

sn < M

siempre que

n > N.

Se denota por
lim sn = .

Ejercicio en clase. Pruebe que lim n2 = +.

10

3
Ejemplo 12. lim 4nn+2
=

En este caso queremos encontrar una cota inferior del


numerador:
4n2 3 4n2 n2 = 3n2

cuando n > 1,

y una cota superior del denominador:


n + 2 n + n = 2n cuando n > 1.

As se obtiene que para n > 1


4n2 3 3n2
3n

=
n+2
2n
2

Para que esto sea mas grande que una M dada se requiere

3n
2

> M esto es, n >

2M
3 .
11

As, hay dos condiciones para n: n > 1 y n >

2M
3 .

Entonces la prueba es de la siguiente forma:

Dado M , sea N = max{1, 2M


3 }. Entonces

n > N implica n > 1 y n >

2M
3 .

Como n > 1 entonces 4n2 3 4n2 n2 = 3n2 y


n + 2 n + n = 2n

As, para n > N se tiene

4n2 3 3n2
3n

=
> M.
n+2
2n
2

12

3
As que lim 4nn+2
= +.

2
=
Ejercicio en clase. lim nn+1

El siguiente resultado para lmites infinitos es el analogo


del Teorema 2.

Teorema 4. Sean (sn ) y (tn ) sucesiones tales que sn tn


para toda n.
a) Si lim sn = + entonces lim tn = +.
b) Si lim tn = entonces lim sn = .

Prueba. Se deja como ejercicio.

Teorema 5. Sea (sn ) una sucesion de n


umeros positivos.
Entonces
13

lim sn = +

lim

1
= 0.
sn

Prueba. Supongamos que lim sn = +. Sea  > 0. Para


M = 1 existe N tal que

n>N

1
sn > M = .


Como sn es positivo entonces

1
sn

<  siempre que n > N ,

esto es,

1
0| < 
sn

siempre que

As, lim s1n = 0.

14

n > N.

La implicacion inversa se prueba de manera analoga. Se


deja como ejercicio.


15