Tema 5

Sucesiones de n umeros reales

Denicion 5.1 Llamaremos sucesion de n umeros reales a cualquier aplicacion f: IN IR y
la representaremos por a
n

n=1
, donde a
n
= f(n). Por comodidad, diremos tambien que la
sucesion es el conjunto ordenado de las imagenes en IR, a
n

n=1
= a
n
: n IN IR.
Denicion 5.2 Diremos que una sucesion a
n

n=1
es acotada si existe alg un K IR
+
tal
que [a
n
[ K, para todo n IN.
5.1 Lmite de una sucesion.
Denicion 5.3 Diremos que la sucesion a
n

n=1
tiene por lmite a, y lo denotaremos por
lim
n
a
n
= a, si para cada > 0 existe n
0
IN tal que n n
0
se verica que [a
n
a[ < .
Denicion 5.4 Diremos que lim
n
a
n
= +, si para cada K > 0 existe n
0
IN tal que
n n
0
se verica que a
n
> K.
Diremos que lim
n
a
n
= , si para cada K > 0 existe n
0
IN tal que n n
0
se verica
que a
n
< K.
Para simplicar, escribiremos en ocasiones a
n
L para representar lim
n
a
n
= L.
5.1.1 Operaciones con los lmites.
Suma de lmites 5.5 Si existe el lim
n
a
n
= a IR y existe el lim
n
b
n
= b IR, entonces existe
el lim
n
(a
n
+ b
n
) y se tiene que lim
n
(a
n
+ b
n
) = a + b.
Ademas, cuando a y b pueden ser innitos, se asegura la existencia del lmite de la suma en
los casos que aparecen en el siguiente cuadro:
b = b IR b = +
a =
a IR a + b +
a = + + +
Producto de lmites 5.6 Si existe el lim
n
a
n
= a IR y existe el lim
n
b
n
= b IR, entonces
existe el lim
n
(a
n
b
n
) y se tiene que lim
n
(a
n
b
n
) = a b.
Ademas, cuando a y b pueden ser innitos, se asegura la existencia del lmite del producto en
los casos que aparecen en el siguiente cuadro:
b = b < 0 b = 0 b > 0 b = +
a = + +
a < 0 + ab 0 ab
a = 0 0 0 0
a > 0 ab 0 ab +
a = + + +
Sucesiones y Series de Funciones. 69
5 Sucesiones de n umeros reales
Cociente de lmites 5.7 Si existe el lim
n
a
n
= a IR y existe el lim
n
b
n
= b IR, con b ,= 0,
entonces existe el lim
n
a
n
b
n
y se tiene que lim
n
a
n
b
n
=
a
b
.
Ademas, cuando a y b pueden ser innitos y b = 0, se asegura la existencia del lmite del
cociente en los casos que aparecen en el siguiente cuadro:
b = b < 0 b = 0 b > 0 b = +
a = +
|a
n
|
|b
n
|
+
a < 0 0
a
b
|a
n
|
|b
n
|
+
a
b
0
a = 0 0 0 0 0
a > 0 0
a
b
|a
n
|
|b
n
|
+
a
b
0
a = +
|a
n
|
|b
n
|
+ +
en los casos para b = 0 no se garantiza la existencia del lmite, aunque s que [
a
n
b
n
[ +.
Potencias de lmites 5.8 Si existe el lim
n
a
n
= a IR, con a > 0, y existe el lim
n
b
n
= b IR
entonces existe el lim
n
a
n
b
n
y se tiene que lim
n
a
n
b
n
= a
b
.
Ademas, cuando a y b pueden ser innitos o a = 0, se asegura la existencia del lmite de la
potencia en los casos que aparecen en el siguiente cuadro:
b = b < 0 b = 0 b > 0 b = +
a = 0 + + 0 0
0 < a < 1 + a
b
1 a
b
0
a = 1 1 1 1
a > 1 0 a
b
1 a
b
+
a = + 0 0 + +
Nota: Recordemos que la operacion a
b
, cuando a y b son n umeros reales, se dene mediante
a
b
= e
b ln a
y, por tanto, debe ser a > 0. Solo en el caso en que b ZZ (a
n
o a
n
) puede usarse
un a negativo, pues entonces a
n
= aa
(n)
a; como en (1)
3
= (1)(1)(1) = 1.
Observacion 5.9 En los casos de los cuadros en blanco no hay un criterio general y, seg un sean
las sucesiones a
n

n=1
y b
n

n=1
, el lmite puede ser cualquier valor o no existir. En estos casos
en que al operar con lmites no se puede decidir a priori cual sera el resultado de la operacion
se dice que tenemos una indeterminacion o que el lmite esta indeterminado, y habra que
manipular los terminos de las sucesiones que intervienen para saber si existe o no dicho lmite.
Ejemplo.- Sean a
n
= 2n + 1

n=1
y b
n
= n

n=1
, entonces lim
n
a
n
= lim
n
(2n + 1) = +
y lim
n
b
n
= lim
n
n = +, por lo que lim
n
2n+1
n
esta a priori indeterminado

+
+

. Pero,
operando en el cociente formado, se tiene
lim
n
2n + 1
n
= lim
n

2 +
1
n

= lim
n
2 + lim
n
1
n
= 2 + 0 = 2.
70 Sucesiones y Series de Funciones.
5.2 Subsucesiones
5.1.2 Otros resultados para el calculo efectivo de lmites.
Denicion 5.10 Dos sucesiones, a
n

n=1
y b
n

n=1
, se dice que son sucesiones equivalentes
si lim
n
a
n
b
n
= 1
Proposicion 5.11 Sean a
n

n=1
, b
n

n=1
y c
n

n=1
sucesiones numericas. Si a
n

n=1
y
b
n

n=1
son equivalentes y lim
n
a
n
c
n
= L, entonces lim
n
b
n
c
n
= L.
Demostracion:
lim
n
b
n
c
n
= lim
n
b
n
a
n
a
n
c
n
=

lim
n
b
n
a
n

lim
n
a
n
c
n

= 1 L = L.
Proposicion 5.12 Sea a
n

n=1
una sucesion. Si existe f: [1, ) IR tal que f(n) = a
n
,
n IN, y lim
x+
f(x) = L, entonces lim
n
a
n
= L.
Demostracion:
Si lim
x+
f(x) = L, entonces para cada > 0 existe K > 0 tal que si x > K, se verica que
[f(x) L[ < . En particular, para todo n > K, se verica que [f(n) L[ < y, por tanto,
que L = lim
n
f(n) = lim
n
a
n
.
El resultado es valido tambien si L = .
Observacion 5.13 Este ultimo resultado es especialmente interesante, pues puede aplicarse
toda la teora sobre funciones al calculo de lmites de sucesiones: continuidad, derivacion,
Lhopital, Taylor, etc.
5.2 Subsucesiones
Denicion 5.14 Llamaremos subsucesion de la sucesion a
n

n=1
a cualquier sucesion de la
forma

a
n
j

j=1
= a
n
1
, a
n
2
, a
n
3
, . . . , a
n
j
, . . ., donde a
n
j
a
n

n=1
y los ndices verican que
n
1
< n
2
< n
3
< < n
j
< .
Proposicion 5.15 Sean a
n

n=1
una sucesion y

a
n
j

j=1
una subsucesion de a
n

n=1
. Si
existe el lim
n
a
n
, entonces existe el lim
j
a
n
j
y se tiene que
lim
j
a
n
j
= lim
n
a
n
.
Demostracion:
En efecto, si lim
n
a
n
= L IR, para cualquier > 0 existe n
0
tal que para todo n n
0
se
verica que [a
n
L[ < , en particular, para todo n
j
n
0
se verica que [a
n
j
L[ < , luego
lim
j
a
n
j
= L.
Si lim
n
a
n
= +, para cualquier K > 0 existe n
0
tal que para todo n n
0
se verica que
a
n
> K, en particular, para todo n
j
n
0
se verica que a
n
j
> K, luego lim
j
a
n
j
= +.
Analogamente para lim
n
a
n
= .
Proposicion 5.16 Sean a
n
i

i=1
y a
n
k

k=1
subsucesiones de la sucesion a
n

n=1
, tales que
a
n
i

i=1

a
n
k

k=1
= a
n

n=1
. Entonces, si lim
i
a
n
i
= lim
k
a
n
k
= L se tiene que lim
n
a
n
= L.
Sucesiones y Series de Funciones. 71
5 Sucesiones de n umeros reales
Demostracion:
Si lim
i
a
n
i
= L, para cada > 0 existe n
1
tal que si n n
1
se verica que [a
n
i
L[ < ,
y si lim
k
a
n
k
= L, para cada > 0 existe n
2
tal que si n n
2
se verica que [a
n
k
L[ < .
Luego tomando n
0
= maxn
1
, n
2
, se tiene que para cada n n
0
: o a
n
= a
n
i
, para alg un i,
luego n = n
i
n
0
n
1
, de donde [a
n
L[ = [a
n
i
L[ < o a
n
= a
n
k
, para alg un k, luego
n = n
k
n
0
n
2
, de donde [a
n
L[ = [a
n
k
L[ < .
Analogamente se hace si L = .
5.3 Convergencia de sucesiones.
Denicion 5.17 Sea a
n

n=1
, una sucesion de n umeros reales. Si
Si lim
n
a
n
= L IR, diremos que a
n

n=1
es convergente.
Si lim
n
a
n
= + (o ), diremos que a
n

n=1
es divergente hacia + (o ).
Si lim
n
a
n
no existe, diremos que a
n

n=1
es oscilante.
Ejemplo 5.18 Sea a
n

n=1
donde a
n
= x
n
. Entonces, para cada x IR elegido,
lim
n
a
n
= lim
n
x
n
=

,, si x 1
0, si 1 < x < 1
1, si x = 1
+, si x > 1,

oscilante, si x 1
convergente a 0, si [x[ < 1
convergente a 1, si x = 1
divergente a +, si x > 1

Proposicion 5.19 Toda subsucesion de una sucesion convergente (divergente) es convergente

(divergente), y converge (diverge) hacia el mismo lmite.
Demostracion: Es otra forma de escribir la Proposicion 5.15.
Proposicion 5.20 Dos sucesiones equivalentes son simultaneamente convergentes, divergentes
u oscilantes.
Ademas, si convergen o divergen lo hacen hacia el mismo lmite.
Demostracion:
Como lim
n
a
n
b
n
= 1 lim
n
b
n
a
n
= 1, podemos tomar indistintamente a
n
o b
n
.
Si lim
n
a
n
b
n
= 1 = para cada > 0 existe n
0
tal que [
a
n
b
n
1[ < , n n
0
. Es decir, tal
que 1 <
a
n
b
n
< 1 + , n n
0
, y, por tanto, tal que
(1 )b
n
< a
n
< (1 + )b
n
, n n
0
. 5.1)
si lim
n
b
n
= +, tomando =
1
2
en 5.1), se tiene que
1
2
b
n
< a
n
, luego lim
n
a
n
= +.
si lim
n
b
n
= , tomando =
1
2
en 5.1), se tiene que a
n
<
3
2
b
n
, luego lim
n
a
n
= .
si lim
n
b
n
= b IR, tomando lmites en 5.1), se tiene que b b lim
n
a
n
b + b y,
como esto es cierto para cualquier > 0, debe ser lim
n
a
n
= b.
De lo anterior y la observacion inicial, se tiene que si una de ellas tiene lmite, la otra tambien
lo tiene y, en consecuencia, si una es oscilante la otra tambien lo es.
Proposicion 5.21 Toda sucesion convergente esta acotada.
72 Sucesiones y Series de Funciones.
5.4 Ejercicios
Demostracion:
Si a
n

n=1
converge, existe L IR tal que a
n
L, es decir, para cada > 0, existe
n
0
IN tal que si n n
0
, entonces [a
n
L[ < .
Luego, para todo n n
0
, se verica que L < a
n
< L + y, por tanto, que [a
n
[
max[L [, [L + [. En consecuencia, si tomamos
K = max[a
1
[, [a
2
[, . . . , [a
n
0
[, [L [, [L + [,
se verica que [a
n
[ K, para todo n IN.
5.3.1 Sucesiones monotonas.
Denicion 5.22 Una sucesion, a
n

n=1
, es monotona creciente si a
n
a
n+1
, n IN.
Una sucesion, a
n

n=1
, es monotona decreciente si a
n
a
n+1
, n IN.
Proposicion 5.23 Toda sucesion monotona creciente y acotada superiormente es convergente.
Toda sucesion monotona decreciente y acotada inferiormente es convergente.
Demostracion:
Sea a
n

n=1
monotona creciente y acotada superiormente. Por estar acotada superiormente,
existe L = supa
n
: n IN IR y, por ser L el superior, para cualquier > 0, existe n
0
IN
tal que L < a
n
0
L. Como la sucesion es monotona creciente, para todo n n
0
, se verica
que a
n
0
a
n
, luego
L < a
n
0
a
n
L < L + ,
para todo n n
0
, es decir, a
n
L.
Analogamente, para las monotonas decrecientes y acotadas inferiormente.
5.4 Ejercicios
5.1 Estudiar el caracter de las siguientes sucesiones, de termino general
a) a
n
=

n+1
n

n+1

n+1
n
b) a
n
=
n+1
n
tg
1
n
ln
n+1
n
c) a
n
=

n
2
+ n + 1

n
2
n + 1 d) a
n
=
n

n
e) a
n
=

1 +
1
n

n
2
e
n
f) a
n
=
n(1)
n+1
n+(1)
n+1
5.2 Estudiar, seg un los valores de los parametros, el caracter de las siguientes sucesiones
a) a
n
= (k + 1)
n
b) a
n
= k
1
n
; k 0 c) a
n
= (1)
n ln n
n

d) a
n
=
1
n
ln
; > 0 e) a
n
= n

e
1
n
1

5.3 Probar que la sucesion

e
n
n!

n=0
es decreciente para n 2 y deducir de ello que converge.
Sucesiones y Series de Funciones. 73