Sucesiones infinitas

Sucesiones infinitas

sn

Una sucesin infinita

sn

.
es una funcin cuyo dominio es el conjunto de enteros positivos;

es el valor de esta funcin para un entero n positivo dado. A veces se indica

solo escribir los primeros trminos de la sucesin

s 1 , s2 , s 3 , , sn

consideran solo las sucesiones en las que los valores

sn

sn

con

en este captulo se

sean nmeros reales.

EJEMPLO 42.1
a)

b)

( )

c)

n2

d)
e)

1
n

1
2

es la sucesin
n

es la sucesin

1 1
1
1,1, , , , ,
2 3
n
1 1 1
1
, , , , n ,
2 4 8
2

es la sucesin de cuadrados

1, 4, 9,16, , n2 ,

2 n es la sucesin de enteros positivos pares 2, 4, 6, 8, 2n,

2 n1 es la sucesin de enteros impares positivos 1, 3, 5, 7,

Lmites de una sucesin

Si

sn

es una sucesin infinita y L es un nmero, entonces que

lim n + s n=L

si

sn

se aproxima arbitrariamente a L cuando n crece sin lmite.

Desde un punto de vista ms preciso,
positivo

> 0, hay un nmero positivo

lim n + s n=L

n0 ,

significa que para todo nmero real

tal que cuando

n n0 , se tiene|s nL|< .

ilustrar lo que esto significa, se colocan los puntos L, L- y L+

(fig. 42.1), donde
s 1 , s2 , s 3 ,

en una recta numrica

es algn nmero real positivo. Ahora, si se colocan los puntos

en la recta numrica, tarde o temprano habr un ndice

s n 0 , s n0 +1 , sn 0 +2 , sn 0+ 3 ,

Para

n0

tal que

y todos los trminos subsiguientes de la sucesin quedaran dentro

del intervalo (L- , L+ .

s1

s2

sm

s m +1
L-

L
+

Fig.42.1
lim n + s n=L ,
entonces la sucesin

Si

sn

converge a L, entonces

sn

sn

converge a L. si existe un numero L tal que

es convergente. Cuando

sn

no es convergente,

entonces es divergente.
EJEMPLO 42.2.

1
n

Es convergente, por que

1
lim n + =0.
n

Para comprobarlo, se observa que

1
n

puede aproximarse arbitrariamente a 0 haciendo a n lo suficientemente grande. Esto se

explica al observar que

1
1
1
=0.1,
=0.01,
=0.001
10
100
1000

comprobar que la definicin precisa se satisface, sea

toma
n n0 ,

n0

como el entero ms pequeo mayor que

entonces

comprueba que

n>

1
y, por consiguiente,

y as sucesivamente. Para

un nmero positivo cualquiera. Se

entonces

1
<n .
0

| |

1
1
< . asi , sin n0 0 < .
n
n

Por tanto, si

Con esto se

1
lim n + =0.
n

EJEMPLO 42.3.
<2n> Es una sucesin divergente, ya que el

lim n + 2n L

hecho, 2n aumenta arbitrariamente cuando n crece.

para cada nmero real L. de

Se escribe

lim n + s n
= +

En tal caso,

s n >

sn

si

se vuelve arbitrariamente grande cuando n crece.

+ . Dicho con mayor precisin,

diverge a

lim n + s n=+

si y

solo si, para cualquier numero c, sin importar cun grande sea, existe un numero positivo
n0
n0
s
c.
tal que, n
, se tiene que n
De igual manera, se escribe

lim n + s n
si sn
=

cuando n crece. En tal caso,

s n >

diverge a

se vuelve arbitrariamente pequeo

lim n + s n= i

Mejor dicho,

n0

solo si, para cualquier numero c, sin importar cuan pequeo sea, existe un positivo
que, cuando

n n0 ,

Se escribir

lim n + s n=

se tiene que

si

y
tal

n< c .
s
lim n +|s n|=+ ,

sn

es decir, la magnitud de

crece

arbitrariamente cuando n crece.

EJEMPLO 42.4

a)

lim n + 2n=+ ; b
n
2
lim n + (1 ) (n )=.
3
lim n + (1n)
=
; c

Ntese que en el inciso c), la

sucesin no converge a + ni a .
EJEMPLO 42.5
La sucesin

(1 ) >

es divergente, pero no diverge a +

ni a

ni a

. Sus

valores oscilan entre 1 y -1.

Una sucesin

s n >

y se entiende que

esta acotada por encima si hay numero c tal que

sn

todo n. una sucesin

s n c

est acotada por debajo si existe un numero b tal que b

sn

para todo n
sn

para

est acotada (limitada) si est limitada tanto por encima como

por debajo. Est claro que una sucesin

|sn|

sn

est acotada si y solo si hay un nmero d tal

d para todo n.

EJEMPLO 42.6
a) La sucesin

2 n est acotada por debajo (por ejemplo, por 0), pero no est acotada

por encima.
b) La sucesin

|(1 )n| 1

(1 )n

est acotada. Observe que

(1 )n

es -1, 1, -1, entonces,

para toda n.

Teorema 42.1
Toda la sucesin convergente es acotada.
En el problema 5 se presenta una demostracin.
El reciproco del teorema 42.1 es falso. Por ejemplo, la sucesin

(1 )n

es acotada pero no

convergente.
Las operaciones aritmticas estndar sobre sucesiones convergentes resultan en sucesiones
convergentes, como lo demuestran los resultados siguientes intuitivamente obvios.
Teorema 42.2
lim n + t n=d .
lim n + s n=c y

Entonces:

a)

lim n +

b)

lim n +

ks n=kc

c)

lim n +

( sn +t n )=c+ d

d)

l n +

e)

lim n + ( s n t n )=cd

k=k donde k es una constante.

donde k es una constante

( sntn ) =cd

f)

lim n +

sn c
=
tn d

()

siempre que d

0 y t n 0

para todo n.

Para ver las demostraciones de los incisos c) y e), repase el problema 10.
Los siguientes hechos sobres sucesiones son intuitivamente claros.
Teorema 42.3
Si

lim n + s n= y s n 0

para toda n, entonces

lim

n +

1
=0.
sn

Para ver una demostracin, consulte el problema 7.

Teorema 42.4
lim n + an =.
a) Si |a|>1, entonces
En particular, si a

1, entonces

lim n + an=+ .

n
lim n + r =0.
|
r
|
<1,
b) Si
entonces

En el problema 8 puede consultar las demostraciones respectivas.

Teorema 42.5
(Teorema del sndwich o teorema de intercalacin).
lim n + un
lim n + s n=L=

y existe un entero m tal que

s n t n un

para todo n

m, entonces

lim n + t n=L .

Para ver una demostracin, repase el problema 11.

Corolario 42.6,
Sin

lim n + u n=0

lim n + t n=0.

y hay un numero m tal que

|t n||u n|

para todo

n m , entonces

lim n + an=0

Esta es una consecuencia del teorema 42.5 y el hecho de que

equivale a

lim n +|an|=0.

EJEMPLO 42.7
lim n + (1 )n

1
=0.
2
n

Para

comprobarlo,

use

el

corolario

42.6,

observando

que

1
lim n + =0.
n
n 1
1
(1 ) 2 y
n n

Teorema 42.7
Sea
sn

una funcin continua en

estn en el dominio de

f.

y sea

Entonces

lim n + s n=c ,

donde todos los trminos

lim n + f ( s n ) =f ( c ) .

Vase el problema 33.

Es evidente que si una sucesin converge o no, no se ver afectada si se borran, suman o
alteran un nmero finito de trminos en su comienzo. La convergencia depende de que
sucede en el largo plazo.
Es necesario ampliar la nocin de sucesiones infinitas al caso donde se permite que el
dominio de una sucesin sea el conjunto de enteros no negativos o cualquier conjunto que
conste de todos los enteros mayores o iguales que un entero fijo. Por ejemplo, si se toma el
dominio como el conjunto de enteros no negativos, entonces 2 n+1> indicara la
sucesin de enteros impares positivos, y

1
>
2n

1 1 1
, , ,
representara la sucesin, 1, 2 4 8

Sucesiones montonas

a) Una sucesin

sn

es no decreciente si

b) Una sucesin

sn

es creciente si

s n sn +1

s n sn +1

para todo

para todo

n.

n.

c) Una sucesin

sn

es no creciente si

d) Una sucesin

sn

es decreciente

s n sn +1

s n sn +1

para todo

para todo

n.

n .

e) Una sucesin es montona si es no decreciente o no creciente.

Claramente, toda sucesin creciente es no decreciente (pero no recprocamente), y toda
sucesin decreciente es no creciente (pero no recprocamente).
EJEMPLO 42.8
a) La sucesin 1, 1, 2, 2, 3, 3, 4, 4, es no decreciente, pero no creciente.
b) -1, -1, -2, -2, -3, -3, -4, -4,es no creciente, pero no decreciente.
Una propiedad bsica e importante del sistema de nmeros reales est dada por el siguiente
resultado. Su demostracin va ms all del objetivo de esta obra.
Teorema 42.8.
Toda sucesin montona acotada es convergente.
Hay varios mtodos para mostrar que una sucesin

sn

creciente o decreciente. En el caso siguiente, la propiedad

Mtodo 1: demuestre que

s n+1 s n >0

es no decreciente, creciente, no

sn

es creciente.

EJEMPLO 42.9.
Considere

s n=

3n
4 n+1 .

Entonces,

s n+1 =

3 ( n+1 )
3 n+3
=
.
4 ( n+1 ) +1 4 n+ 5 por

( 12 n2 +15 n+3 ) ( 12 n2 +15 n )

3 n+3
3n
3
s n+1 s n=

=
=
>0
4 n+5 4 n+1
( 4 n+5 ) ( 4 n+1 )
( 4 n+ 5 )( 4 n+1 )
Ya que 4 n+5>0 y 4 n+ 1> 0.

Mtodo 2: cuando todo

EJEMPLO 42.10.

s n >0, demuestre que

sn +1
>1.
sn

tanto,

Use el mismo ejemplo

s n+1
sn

s n=

3n
4 n+1

anterior.

3 n+3
(
4 n+ 5 ) 3 n+3 4 n+1 12 n +15 n+3
=
=
=
>1, ya que 12 n +15 n+3>12 n +15 n>0.
3 n 4 n+5
3n
12 n +15 n
( 4 n+1 )
2

Mtodo 3: halle una funcin diferenciable

demuestre que

f (x)

tal que

f ( n ) = sn

para todo

n, y

para todo x 1 (y, por tanto, que f es una funcin creciente para

f ( x ) >0

x 1 .
EJEMPLO 42.11.
s n=

Considere de nuevo

3n
3x
3
'
. sea : f ( x )=
. entonces f ( x )=
>0
2
para todo x.
4 n+1
4 x +1
(4 x+1)

PROBLEMAS RESUELTOS.
1. En cada una de las sucesiones siguientes, escriba la frmula para el trmino n-esimo
y determine el lmite (si existe). Supngase que n= 1, 2, 3,

1 1 1 1
a , . , ,
2 4 6 8

1 2 3 4
b , , , ,
2 3 4 5

1 1 1 1 1
c 1, , , , , ,
2 3 4 5 6

d 0.9, 0.99, 0.999, 0.9999,

e sen

3
5
, sen , sen
, sen 2 , sen
,
2
2
2

a)

1
1
s n= ; lim
=0
2 n + 2 n

b)

n
1
1
= lim 1
=1 lim
=10=1
n+1
n+1
n +
n + n+1
n
sn=
; lim
n+1 n+

2 3 2 4 3 5 4
f ,
,
,
,
1 2
3
4

()()()

(1 )n+1
(1 )n+1
s n=
; lim
=0.
n
n
n +

c)

Esto es intuitivamente claro, pero tambin puede

aplicarse el teorema 42.3 a la sucesin

s n=1

d)

f)

lim (1 )n+1 n=

n +

lim

n +

1
=0
10n

en virtud del teorema 42.4b).

n+1 n
n+ 1 n
1 n
; lim
= lim 1+ =e por (26.17) .
n
n
n
n +
n +

( )

2. Evalu
a s n=

como

1
1
1
; lim 1 n =1 lim
=10=1
n
n
.
n + 10
1 o n +
1o

e) Ntese que
s n=

(1 )n +1 n ,

( )

lim sn

n +

( )

en los casos siguientes:

5 n24 n+13
8 n23
3 n+7
b

s
=
c 2
n
2
2n+ 5
3 n 95 n17
n 2n9
2

a) Recurdese que

5 x 4 xx+ 13
5
=
2
3
3 x 95 x7
; lim

por el problema 13 del captulo 7. As,

n +

lim

n +

5 n24 n+13 5
= .
3 n295 n7 3 Un resultado semejante se cumple cuando

sn

es un

cociente de los polinomios del mismo grado.

lim 8 x 23

b) Recurdese que

n +

2 x +5

=+

por el problema 13 del captulo 7. Entonces,

lim 8 n23

n +

2 n+5

=+ .

Un resultado semejante se obtiene cuando

sn

es una funcin

racional cuyo numerador tiene un grado mayor que el denominador (y cuyos primeros
coeficientes son del mismo signo).

lim 3 x+7

c) Recurdese

n +
3

que

x 2 x9

=0

por

el

problema

lim 3 n+7

n +
3

n 2 n9

=0.

El mismo resultado se cumple cuando

13

sn

del

capitulo7.

as,

es una funcin racional

cuyo denominador tiene grado mayor que el numerador.

3. Para cada una de las sucesiones siguientes, determine si es no decreciente,
creciente, no creciente, decreciente o ninguna de las anteriores. Luego determine su
lmite, si existe.
5 n2
n
1
a s n=
b sn n c sn n
7 n+3
2
3
a

Sea
f (x)

tanto,
b

Sea

f ( x )=

5 x2
.
7 x+3

f ' ( x )=

Entonces,

(7 x +3 ) ( 5 )( 5 x2 ) ( 7 )
29
=
>0
2
(7 x +3 )
( 7 x+3 )2

es una funcin creciente y, por ende,

f ( x )=

x
.
x
2

' ( x)
Entonces f =

sn

por

es una sucesin creciente.

2 x ( ln x ) 2 1x ( ln 2 )
=
22 x
2x

Como
ln 2>

lim x

n +
x

1
[ por ( 25.12 ) ] , x ( ln 2 ) > x2 1, cua ndo x 2.luego , 1x ( ln2 )< 0 cuando x 2 y , por tanto , f ' ( x ) <0 cuand
2

lim 1

n +

( ln 2 ) 2x

lim n

=0 y , De esta manera,

1
sn +1 3n +1
1
c
=
= <1.
sn
3
1
n
3

( )
( )

n +
n

Por tanto,

sn

es decreciente

lim 1

El teorema 42.4b) indica que

n +
n

=0.

= lim

n +

1 n
=0.
3

()

4. Demuestre que la sucesin

s n=

sn

De acuerdo con el teorema 42.8,

que

sn

1 3 5 7 ( 2 n1 )
2 4 6 8 ( 2n )

es convergente.

es acotada, como 0
s n=

es decreciente. Observe que

lim sn =L.

siempre que

=1.

se toma

n +

n n0,

se tiene que

|snL|< 1

. Por ende, para

n n0,

n0

tal que,

mediante la

|L| y|s 1| ,|s 2|,|s3|, ,|sn |,

0

|sn| M

se obtiene

es acotada.

6. Demuestre que la sucesin

Puesto que

es acotada.

Entonces, hay un entero positivo

Si se toma M como el mximo de 1+

sn

sn

|sn|=|( sn ) L+ L||sn L|+|L|<1+|L|

desigualdad triangular se obtiene

para todo n. as,

ahora se demostrara

1 3 5 7 ( 2 n+1 )
2 n+1
sn
<s
=
2 n+2 n
2 4 6 8 ( 2n+ 2 )

5. Demuestre el teorema 42.1: toda sucesin convergente

Sea

s n <1.

n!
n
2

es divergente.

n! 1 2 3 n 1 3 4 n n
=
=
>
2n 2 2 2 2 2 2 2 2 2

para

n> 4,

la sucesin no es acotada.

Entonces, por el teorema 42.1, la sucesin no puede ser convergente.

7. Pruebe el teorema 42.3: si

Considere todo

cuanto

8. Pruebe el teorema 42.4: a) si

n

entonces

n +

lim sn = ,

n +

1
y,
por tanto,

lim r =0.

para todo n, entonces

n +

> 0. Como

n m,|sn|>

lim 1

lim sn = y s n =0

=0.

existe algn entero positivo m tal que,

| || |

1
1
0 = < .
Entonces,
sn
sn

|a|>1,

n +
n

entonces

lim 1
n +

sn

lim a n= ; b

n +

=0

si

|r|<1,

M 0

a) Sea

|a|=1+b .

sea

b>0.

Entonces,

Ahora

n
|a| =( 1+b )n=1+nb+> 1+ nb> M cuando n b .

1
a= .
r

b) Sea
lim
n +

Como

( r1 )= .

|r|<1,|a|>1.

Por el inciso a),

n +

Por lo tanto,

lim r n=0.

Entonces, por el teorema 42.3,

lim a = .

n +

lim 1

9. Demuestre:

n +
n

=0.

lim 1

lim 2 =
n +

Por el teorema 42.4 a). As,

n +
n

=0

por el teorema 42.3.

10. Pruebe el teorema 42.2 c) y e).

lim sn =c y lim t n=d .
n +
Sea n +
c)

lim ( s n+t n ) =c+ d . sea > 0.

Entonces

n +

|snc|</2
m1 y m2

para

n m1 y|t n d|</2

. Entonces, para

existen
para

m1 y m2 ,

enteros
n m2 .

tales

que

Sea m el mximo de

n m,|snc|< y |t nd|</2.
2

Por lo tanto, para

n m.

|( sn +t n ) ( c+ d )|=|( s nc ) +( t nd )||s nc|+|t nd|< 2 + 2 =

d)

lim ( s n t n )=cd .

n +

Como

sn

resulta convergente, es acotada, por el teorema

42.1 y, por lo tanto, hay un nmero positivo M tal que

> 0.

n m1 y ,

Si

d 0, existe un entero

por consiguiente,

m1

|d||sn c|</ 2

|sn| M

tal que,
para

para todo n. sea

|snc|</2|d|

n m1 .

para

Tambin existe un

m2

tal que

|t nd|</2 M .

n m2 .

para

Sea m el mximo de

m1 y m2. . si n m .

|( sn +t n )cd|=s n|( t nd ) +d ( s nc )||sn ( t nd )|+|d ( s nc )|=|sn||t nd|+|d||snc| M ( 2 M )+ 2 =

lim sn =L= lim u n y

11. Demuestre el teorema de intercalacin: si

que

s n t n un
> 0.

Sea

n m1 .

para todo

n m,

Existe un entero

Ahora supngase que

n +

entonces
m1 m

n m1 .

n +

existe un entero m tal

lim t n=L .

n +

tal que
Como

|snL|< /4 y |unL|< /4

s n t n un |t ns n||unsn|.

para

Pero

|un s n|=|( unL ) + ( Ls n )||unL|+|Lsn|< 4 + 4 = 2

As,

|t nsn|</2.

Por tanto,

|t nL|=|t ns n|+ ( sn L ) |t ns n|+|s nL|< 2 + 4 <

PROBLEMAS COMPLEMENTERIOS.
En los problemas 12 a 29, determine para cada sucesin

sn

si es acotada o no y si

es no decreciente, creciente, no creciente o decreciente. Indique asimismo si es

convergente y, si es posible, establezca su lmite. (nota: si la sucesin tiene un lmite
finito, debe ser acotada; en cambio, si tiene un lmite infinito, debe ser no acotada.)
2
n+
12.
respuesta: no decreciente, creciente para n 2 ; limite +
n
13.

14.

3 n2

respuesta: creciente, limite +

15.

respuesta: creciente para

16.

respuesta: decreciente para

sen

n
4

n!
10n

ln n
n

respuesta: acotada; sin limite

n 10 ; limite +
n 3 ; limite 0

18.

19.

Respuesta: no creciente; decreciente para

20.

n n

respuesta: decreciente para

17.

1
( 1+ (1 )n +1)
2
ln

n+ 1
n

2n
n!

22.
23.

24.

25.

n+1 n

26.

27.

3n
n+ 2

cos

4 n+5
n 2 n+3

sen n
n

respuesta: decreciente; limite 0

respuesta: limite 0

2n
3n 4

respuesta: decreciente; limite 0

respuesta: decreciente; limite 0

n +1n
n

29.

n
n!

respuesta: creciente, limite

28.

n 3 ; limite 1

respuesta: creciente; limite 1

n 2 ; limite 0

respuesta: creciente; limite 3

n sen

respuesta: acotada; sin limite

respuesta: decreciente; limite 0

21.

respuesta: creciente, limite+

respuesta: creciente; limite+

En los problemas 30 a 32, encuentre la formula plausible para una sucesin cuyos
primeros trminos estn dados. Determine el lmite (si existe)de la sucesin.
n1
3 9 27 81
3
, , , ,
s
=
30. 1, 2 4 6 8
respuesta: n 2 ( n1 ) ;el limite es+
31. -1,1,-1,1,-1,1,
32.

3 7 11 3 19
, , , , ,
1 4 7 2 11

respuesta:

s n=(1 ) ; sin limite

respuesta:

s n=

4 n1
;
decreciente, el lmite es
3 n2

4
3

> 0.

33. Demuestre el teorema 42.7. (sugerencia: sea

f

en el dominio de

Seleccionar m de manera que

34. Demuestre que

|xc|< ,

para el cual

n
1/n p =1

n +

lim

n m implique

para

p>0.

35. (CG) use una graficadora para analizar

Escoja

>0

tal que, para x

|f ( x )f (c )|<

se tiene que

|snc|< .

n
p ln

(sugerencia: ( n.)
n p /n =e
s n=

n2 + 5
4 n4 +n

para

n=1a n=5. luego

determine analticamente el comportamiento de la sucesin.

1
Respuesta: decreciente, el lmite es 2
5

36. (CG) use una graficadora para analizar

s n=

n
2n

para n=1 hasta n=10. Luego

determine analticamente el comportamiento de la sucesin.

Respuesta: decreciente para n 7 ; el lmite es 0
37. Demuestre que
38. Si

s n >0

lim a n

n +

para todo

39. (CG)defina

sn

=0 equivalente a

n y lim s 2n=c ,
n+

lim |an|=0

n +

pruebe que

lim sn = c .

n +

por recursin de la siguiente manera:

s 1=2 y s n+1=

1
2
sn +
2
sn

para

para

n 1.
a) Use una graficadora para calcular
b) Demuestre que si
c) Demuestre que
40. Defina

sn

lim sn

n +

lim sn

n +

sn

para n=2,, 5.

existe, entonces

lim sn = 2

n +

existe.

por recursin de la siguiente manera:

n 1.

a) Demuestre que

s n <6

para todo n.

s 1=3 y s n+1=

1
2
s +
2 n sn

b) Demuestre que
c) Evaluar

sn

es creciente.

lim sn .

n +

Respuesta: d) 6
41. Pruebe el teorema 42.2, incisos a), b), d) y f).