Captulo 4

Sucesiones numericas
Introducci on
El concepto de lmite juega un papel clave en todo el C alculo Innitesimal. En este
captulo se introduce este concepto de forma sencilla al estudiar la convergencia de suce-
siones numericas.
El interes de este captulo es doble, no s olo se introduce uno de los conceptos m as
importantes del An alisis, sino que adem as se estudian en detalle las propiedades de las
sucesiones, herramienta imprescindible en la modelizacion de muchos problemas discretos.
Por ello, ante una sucesi on, el objetivo no ser a s olo el c alculo de su lmite sino tambien el
an alisis de sus propiedades.
Aunque el tema se centra en el estudio de las sucesiones de n umeros reales, se ha
incluido un peque no epgrafe relativo a las de n umeros complejos.
Las sucesiones de Cauchy y los lmites de oscilacion pueden obviarse en una primera
lectura m as interesada en las aplicaciones pr acticas que en los conceptos teoricos.
1. Deniciones generales
1.1. Denicion. Sucesi on
Una sucesi on de n umeros reales es una aplicacion a : IN IR. Si para cada n IN
a(n) = a
n
, la sucesi on a ser a representada por (a
n
)
nIN
, o simplemente (a
n
).
Se llama rango de la sucesion (a
n
) al conjunto de n umeros reales {a
n
: n IN}.
Notas:
1) La nocion de sucesi on es generalizable a espacios metricos arbitrarios. Si E es un
espacio metrico, una sucesi on en E es una aplicaci on de IN en E. Los conceptos que
siguen se pueden denir de modo an alogo.
2) Existen diferentes formas de denir una sucesion: dando la funci on que dene el
termino general, dando una ley de recurrencia, dando unos pocos terminos de modo
que quede claro como se construyen los siguientes, etc. En los problemas resueltos 1
y 2 pueden verse sucesiones denidas de algunas de estas formas.
92 Captulo 4. Sucesiones numericas
1.2. Denicion. Lmite de una sucesi on
Se dice que un n umero real l es lmite de una sucesi on (a
n
) y se representa lim
n
a
n
= l
o a
n
l si
> 0 N
0
() / n > N
0
|a
n
l| <
Es decir fuera del intervalo (l , l + ) hay a lo sumo N
0
terminos de la sucesi on.
Observemos que de la denicion de lmite se deduce que
a
n
l (a
n
l) 0 |a
n
l| 0
Se dice que la sucesion (a
n
) tiene lmite + y se representa lim
n
a
n
= + o
a
n
+ si
M N
0
(M) / n > N
0
a
n
> M
Y se dice que una sucesion (a
n
) tiene lmite y se representa lim
n
a
n
= o
a
n
si
M N
0
(M) / n > N
0
a
n
< M
1.3. Denicion. Sucesi on convergente
Se dice que una sucesi on (a
n
) es convergente si existe l IR tal que lim
n
a
n
= l.
Ejemplos:
1) Una sucesi on constante a
n
= c para todo n IN es convergente a c.
2) La sucesi on
_
1
n
_
es convergente a 0.
1.4. Denicion. Sucesi on divergente
Se dice que una sucesi on (a
n
) es divergente si
M N
0
(M) / n > N
0
|a
n
| > M
Ejemplo: La sucesi on (n) es divergente (tiene lmite +), la sucesi on (n) es tambien
divergente (tiene lmite ) y la sucesi on (n(1)
n
) tambien, aunque no tiene lmite.
Nota: En ocasiones llamaremos innitos a las sucesiones divergentes
1.5. Denicion. Sucesi on oscilante
Una sucesi on se llama oscilante si no es convergente ni divergente.
Ejemplo: Las sucesiones (1, 2, 1, 2, 1, 2, . . .) y (1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, . . .) son osci-
lantes.
Deniciones generales 93
1.6. Teorema. Unicidad del lmite
Una sucesi on (a
n
) si tiene lmite, nito o no, es unico.
1.7. Denicion. Sucesi on acotada
Se dice que una sucesi on (a
n
) es acotada si su rango es un conjunto acotado, es decir
si existe M IR tal que |a
n
| M para todo n IN.
1.8. Teorema
Toda sucesion convergente es acotada.
El recproco de este resultado no es cierto.
Ejemplo: La sucesi on (1, 2, 1, 2, 1, 2, . . .) es acotada y no es convergente.
1.9. Denicion. Subsucesi on
Dada una sucesi on (a
n
), una subsucesi on suya viene denida por una aplicaci on es-
trictamente creciente
ININ
j n
j
representandose dicha subsucesion por (a
n
j
)
jIN
.
Nota: La idea intuitiva de subsucesi on es escoger terminos de la sucesi on en sentido
creciente. As la subsucesi on de los terminos pares de la sucesion (a
n
) es (a
2n
).
1.10. Teorema
i) Si una sucesi on tiene lmite l, nito o no, todas sus subsucesiones tienen tambien
lmite l.
ii) Si una sucesi on es acotada, todas sus subsucesiones son acotadas.
Observaci on: Un criterio pr actico para demostrar que una sucesion no tiene lmite es
encontrar dos subsucesiones que tiendan a lmites distintos.
Ejemplo: La sucesi on (1, 2, 1, 2, 1, 2, . . .) no tiene lmite. La subsucesi on de los terminos
pares tiene lmite 2 y la de los impares tiene lmite 1.
1.11. Teorema
i) Toda sucesi on acotada tiene una subsucesi on convergente.
ii) Toda sucesi on tiene una subsucesi on convergente o divergente.
1.12. Denicion. Lmite de oscilacion
Diremos que l (n umero real o innito) es lmite de oscilacion de una sucesi on (a
n
) si
es el lmite de alguna subsucesi on suya, (a
n
j
).
Observaci on: A diferencia de lo que sucede con el lmite de una sucesi on, fuera de un
entorno de un lmite de oscilacion puede haber innitos terminos de la sucesi on.
94 Captulo 4. Sucesiones numericas
1.13. Teorema
Un valor l, nito o no, es lmite de oscilacion de una sucesi on si y s olo si en todo
entorno suyo hay innitos terminos de la sucesi on.
Nota: Si a es un punto de acumulacion del rango de la sucesi on (a
n
), entonces a es lmite
de oscilacion de la misma, pero el recproco no es cierto.
1.14. Teorema
Sea (a
n
) una sucesi on y sea l nito o no. Entonces, lim
n
a
n
= l si y s olo si l es el
unico lmite de oscilacion de (a
n
).
1.15. Denicion. Lmites superior e inferior
Se considera en el conjunto IR = IR{, +} una relaci on de orden, <, que coin-
cide con el orden usual en IR y verica que < x < + para todo x IR.
Dada una sucesi on (a
n
), sea E IR el conjunto de todos los valores que son lmites
de oscilacion de (a
n
).
Se dene el lmite superior de (a
n
): lim
n
a
n
= sup E.
Y se dene el lmite inferior de (a
n
): lim
n
a
n
= inf E.
(Los supremos e nmos se toman en IR con el orden considerado.)
Nota: Si existe lim
n
a
n
entonces
lim
n
a
n
= lim
n
a
n
= lim
n
a
n
2. Sucesiones de Cauchy, mon otonas y recurrentes
2.1. Denicion. Sucesi on de Cauchy
Una sucesi on (a
n
) es de Cauchy si
> 0 N
0
() / p, q > N
0
|a
p
a
q
| <
2.2. Teorema
Una sucesi on de n umeros reales es de Cauchy si y solo si es convergente.
Nota: Los conceptos de sucesion convergente y de Cauchy se pueden generalizar a un
espacio metrico cualquiera, cambiando los valores absolutos por distancias. Pero, en gene-
ral, no son equivalentes. Toda sucesi on convergente es de Cauchy pero el recproco s olo es
cierto en determinados espacios metricos que se denominan completos. El espacio metrico
de los n umeros reales con la distancia usual es un espacio metrico completo y por ello en IR
los conceptos de sucesion de Cauchy y convergente son equivalentes. Esto tiene la ventaja
de que se puede demostrar que una sucesion es convergente sin la necesidad de conocer el
candidato a lmite. En el problema resuelto 12 puede verse un ejemplo de espacio metrico
no completo.
Sucesiones de Cauchy, monotonas y recurrentes 95
2.3. Denicion. Sucesi on mon otona
Se dice que una sucesi on (a
n
) es mon otona si verica una de las dos condiciones
siguientes:
a
n
a
n+1
n IN (mon otona creciente)
a
n
a
n+1
n IN (mon otona decreciente)
Nota: En la pr actica para ver si una sucesi on es monotona se puede estudiar el signo de
a
n+1
a
n
o bien, si los terminos de la sucesi on son positivos, puede analizarse el valor
del cociente de dos consecutivos. En este caso, si
a
n+1
a
n
1 para todo n, la sucesi on es
monotona decreciente y si
a
n+1
a
n
1 para todo n, es mon otona creciente (vease problema
resuelto 18).
2.4. Teorema
i) Toda sucesi on mon otona y acotada es convergente.
ii) Toda sucesi on mon otona y no acotada es divergente. (En caso de ser creciente tiene
lmite +, y si es decreciente, tiene lmite .)
2.5. Denicion. El n umero e
La sucesi on
_
_
1 +
1
n
_
n
_
es monotona y acotada, por tanto es convergente. A su
lmite se le designa con la letra e.
e = lim
n
_
1 +
1
n
_
n
En general, se verica que e = lim
n
_
1+a
n
_
1/a
n
para cualquier sucesi on (a
n
) 0 con
a
n
= 0 para todo n.
2.6. Denicion. Sucesiones recurrentes
Llamaremos sucesion recurrente a aquella sucesi on (a
n
) cuya denici on se apoya en
una relaci on del tipo f(a
n+p
, a
n+p1
, . . . , a
n
, n) = 0 (con p jo) que liga un termino con
los anteriores.
Ejemplo: La expresi on
_
a
1
= 1
a
n+1
= 1 + a
n
dene, de forma recurrente, la sucesi on (1, 2, 3, 4, . . .) de termino general a
n
= n.
Observaci on: En ocasiones no es f acil encontrar una expresion a
n
= g(n) para el termino
general de una sucesion denida de modo recurrente. En el siguiente epgrafe veremos como
hacerlo para algunos casos particulares.
Para calcular el lmite de una sucesi on denida de este modo, una posibilidad es in-
tentar demostrar la existencia de dicho lmite, por ejemplo, con tecnicas de monotona y
96 Captulo 4. Sucesiones numericas
acotaci on, usando para dichas tecnicas generalmente el principio de inducci on, y a con-
tinuaci on, para encontrar su valor, se pueden tomar lmites en la expresion que dene la
sucesi on (veanse los problemas resueltos 18 y 19).
3. Ecuaciones en diferencias
3.1. Denicion. Ecuacion en diferencias
Se denomina ecuaci on en diferencias de orden p a una relaci on del tipo
f(x
n+p
, x
n+p1
, . . . , x
n
, n) = 0
Resolver la ecuacion en diferencias es encontrar, de modo explcito, las sucesiones (x
n
)
que la satisfagan.
Comentarios:
1) En general una ecuaci on en diferencias tiene innitas soluciones. A veces se establecen
condiciones iniciales para limitar el n umero de soluciones.
2) Para la mayora de ecuaciones en diferencias no es facil encontrar una formula cerrada o
explcita x
n
= g(n) de la soluci on, y esta se suele expresar como sucesion recurrente,
en la forma
x
1
= a
1
.
.
.
x
p
= a
p
x
n+p
= g(n, x
n
, x
n+1
, . . . , x
n+p1
)
3.2. Denicion. Ecuacion lineal
Una ecuaci on en diferencias de orden p se denomina lineal si es de la forma
a
0
(n)x
n
+ a
1
(n)x
n+1
+ + a
p
(n)x
n+p
= b(n)
donde a
p
(n) = 0 para todo n IN.
Si la funci on de variable natural b(n) es identicamente cero, la ecuaci on recibe el
nombre de ecuaci on en diferencias homogenea. Si las funciones a
i
(n) son constantes, se
llama ecuacion en diferencias con coecientes constantes.
Nota: Observemos que las funciones a
i
(n) y b(n) son, en denitiva, sucesiones de n umeros
reales.
3.3. Resoluci on de la ecuacion lineal de primer orden
1. Caso de ecuacion homogenea:
La ecuacion en diferencias lineal de primer orden homogenea se puede escribir
x
n+1
= a(n)x
n
Ecuaciones en diferencias 97
y su soluci on, sujeta a la condici on inicial x
1
= c, es
x
n
= c
n1

i=1
a(i) n > 1
donde
n1

i=1
a(i) denota el producto a(1) a(2) a(n 1).
2. Caso de ecuacion completa:
x
n+1
= a(n)x
n
+ b(n)
La solucion de esta ecuacion, con la condici on inicial x
1
= c, es
x
n
=
n1

i=1
a(i)
_
_
_
_
_
c +
n1

i=1
b(i)
i

j=1
a(j)
_
_
_
_
_
(n > 1)
Notas:
1) Es importante observar que para aplicar la f ormula anterior la ecuaci on ha de estar
normalizada, es decir escrita en la forma x
n+1
= a(n)x
n
+b(n). Si est a escrita de otra
forma se debera normalizar previamente. Vease problema resuelto 22.
2) La f ormula para la soluci on de la ecuaci on completa no es facil de recordar, por
ello conviene saber que se ha obtenido por el llamado metodo de variacion de las
constantes a partir de la soluci on de la ecuaci on homogenea, buscando una sucesion
c(n) de modo que la expresi on
x
n
= c(n)
n1

i=1
a(i)
sea solucion de la ecuaci on completa.
3) DERIVE resuelve autom aticamente ecuaciones en diferencias lineales de primer orden
con la instrucci on LIN1 DIFFERENCE. En este caso, tambien es necesario que la ecuacion
este normalizada.
3.4. Resoluci on de la ecuacion lineal de segundo orden con coecientes cons-
tantes
Nos limitaremos al caso de ecuaciones homogeneas, es decir de la forma
x
n+2
+ a
1
x
n+1
+ a
2
x
n
= 0 (1)
El conjunto de todas las soluciones de una ecuaci on de este tipo es un espacio vectorial
de dimensi on 2, por lo que, una vez encontradas dos soluciones linealmente independientes,
cualquier soluci on se puede expresar como combinacion lineal de ellas.
98 Captulo 4. Sucesiones numericas
Se denomina polinomio caracterstico de la ecuaci on (1) al polinomio de segundo grado

2
+ a
1
+ a
2
y el c alculo de las races de este polinomio permite resolver la ecuacion.
1. Si c
1
y c
2
son races reales y distintas del polinomio caracterstico, la soluci on de la
ecuaci on (1) es una expresi on de la forma x
n
= Ac
n
1
+ Bc
n
2
, con A, B IR.
2. Si c es una raz doble del polinomio caracterstico, la soluci on general de la ecuaci on
en diferencias es de la forma x
n
= Ac
n
+ Bnc
n
, con A, B IR.
3. Si e
i
son races complejas del polinomio caracterstico, las soluciones de la ecuaci on
en diferencias son x
n
= A
n
cos(n) + B
n
sen(n), con A, B IR.
Notas:
1) En cada uno de los casos anteriores, para obtener una soluci on particular sujeta a
condiciones iniciales, se usan estas para determinar las constantes A y B. Vease
problema resuelto 23.
2) DERIVE resuelve autom aticamente ecuaciones en diferencias lineales de segundo or-
den con coecientes constantes, con la instrucci on LIN2 CCF BV.
4. Algunas propiedades de los lmites de sucesiones
4.1. Teorema.

Algebra de lmites
Sean (a
n
) y (b
n
) dos sucesiones convergentes a a y b, respectivamente. Entonces
i) (a
n
b
n
) a b.
ii) (a
n
b
n
) ab.
iii) Si b
n
, b = 0, entonces
_
a
n
b
n
_

a
b
.
4.2. Teorema
Si a
n
l, entonces f(a
n
) f(l) cuando f es una de las siguientes funciones:
Polin omica, exponencial, valor absoluto, f(x) = sen x, f(x) = cos x, f(x) = x
1/p
(p IN, impar).
Si ademas a
n
> 0 para todo n y l > 0, tambien se verica el resultado cuando f es
una funci on logartmica (f(x) = log
a
(x), a > 0) y cuando f(x) = x
1/p
(p IN, par).
Nota: La razon es que estas funciones son continuas, como se ver a en el captulo 6.
4.3. Teorema
Si (a
n
) y (b
n
) son dos sucesiones convergentes a a y b respectivamente y a > 0, entonces
la sucesi on (a
n
)
b
n
converge a a
b
.
Calculo practico de lmites 99
4.4. Teorema
Sea (a
n
) una sucesi on convergente a l IR, y sea m IR, l > m. Entonces existe N
0
tal que a
n
> m para todo n > N
0
.
Observaci on:
Este resultado es consecuencia de que para todo > 0 en el intervalo (l , l + )
est an casi todos los terminos de la sucesi on.
4.5. Teorema
Sean (a
n
) y (b
n
) dos sucesiones con lmites respectivos a y b. Si existe N
0
tal que
a
n
b
n
para todo n > N
0
, entonces a b.
Observaci on: No se verica una relaci on similar con desigualdades estrictas, pues puede
suceder que a
n
< b
n
para todo n y a = b.
Por ejemplo, las sucesiones a
n
=
1
n
y b
n
= 0 para todo n verican que b
n
< a
n
y sin
embargo lim
n
a
n
= lim
n
b
n
.
4.6. Teorema. Regla del sandwich
Sean (a
n
), (b
n
) y (c
n
) tres sucesiones tales que existe N
0
IN vericando:
i) a
n
b
n
c
n
para todo n N
0
.
ii) lim
n
a
n
= lim
n
c
n
= l.
Entonces existe lim
n
b
n
y es igual a l.
Comentario: El resultado es cierto tanto si l IR como si l = . Pero obviamente en
el caso l = es suciente con que se verique una de las dos desigualdades del apartado
i) (la primera en caso de + y la segunda en caso de ).
4.7. Corolario
Si una sucesi on (a
n
) 0 y otra sucesi on (b
n
) est a acotada, entonces la sucesion
producto (a
n
b
n
) 0.
5. C alculo pr actico de lmites
5.1. Indeterminaciones
Con las sucesiones convergentes se puede operar aritmeticamente, obteniendose en
general, como se vio en 4.1, la conservaci on de los lmites en las operaciones racionales.
Tambien es posible operar con sucesiones con lmite innito y se verica un an alogo al
teorema 4.1, del que podran generalizarse algunos resultados para sucesiones oscilantes y
divergentes, salvo que se produzcan indeterminaciones.
100 Captulo 4. Sucesiones numericas
Las principales indeterminaciones son las siguientes:
1. De tipo suma:
Si a
n
y b
n
, (a
n
b
n
) es una indeterminaci on de tipo .
2. De tipo producto o cociente:
i) Producto: Si a
n
0 y b
n
, (a
n
b
n
) da lugar a la indeterminaci on 0 .
ii) Cociente: Si a
n
0 y b
n
0, o si a
n
y b
n
,
_
a
n
b
n
_
da lugar a las
indeterminaciones
0
0
y

, respectivamente.
Observaci on: Una indeterminaci on de tipo suma puede reducirse a una de tipo producto
o cociente ya que
a
n
b
n
=
_
1
b
n

1
a
n
_
_
1
a
n
b
n
_ =
c
n
d
n
con c
n
0 y d
n
0
3. De tipo potencial-exponencial:
i) Si a
n
1 y b
n
,
_
(a
n
)
b
n
_
da lugar a la indeterminaci on 1

. (El n umero
e es el lmite de una sucesi on de este tipo (vease 2.5); de hecho estas sucesiones
suelen dar lugar a lmites del tipo e

.)
Observaci on: Si a
n
= 1 para todo n y b
n
, entonces (a
n
)
b
n
1.
ii) Si a
n
0 y b
n
0,
_
(a
n
)
b
n
_
da lugar a la indeterminaci on 0
0
.
iii) Si a
n
y b
n
0,
_
(a
n
)
b
n
_
da lugar a la indeterminaci on
0
.
Observaci on: Teniendo en cuenta el teorema 4.2, tomando logaritmos, las indetermina-
ciones de tipo potencial-exponencial se reducen a tipo producto:
Si (a
n
)
b
n
l, entonces b
n
log a
n
log l.
5.2. Denicion. Sucesiones equivalentes
Se dice que dos sucesiones (a
n
) y (b
n
) son equivalentes si lim
n
a
n
b
n
= 1, y lo repre-
sentaremos por a
n
b
n
.
5.3. Proposicion
Sean (a
n
), (b
n
) y (c
n
) tres sucesiones de n umeros reales. Si a
n
b
n
, entonces
i) Si existe lim
n
a
n
c
n
, tambien existe lim
n
b
n
c
n
, y adem as
lim
n
a
n
c
n
= lim
n
b
n
c
n
Calculo practico de lmites 101
ii) Si existe lim
n
c
n
a
n
, tambien existe lim
n
c
n
b
n
, y
lim
n
c
n
a
n
= lim
n
c
n
b
n
Observaci on: El resultado anterior permite sustituir una sucesi on por otra equivalente
en el c alculo de lmites de un producto o de un cociente.
No se puede sustituir una sucesi on por otra equivalente en sumas, exponenciales,
logaritmos, etc. (vease problema resuelto 34).
5.4. Tabla de sucesiones equivalentes
1. Si a
n
0
sen a
n
a
n
arcsen a
n
tg a
n
a
n
arctg a
n
1 cos a
n

a
2
n
2
(1 + a
n
)

1 a
n
e
a
n
1 a
n
log(1 + a
n
) a
n
2. Si a
n
1
log a
n
a
n
1
En particular
n

a 1
1
n
log a para todo a > 0.
3. Se verica la f ormula de Stirling:
n!

2n
_
n
e
_
n
5.5. Denicion.

Ordenes de magnitud
Dadas dos sucesiones divergentes (a
n
) y (b
n
), se dice que (b
n
) es un innito de orden
superior al de (a
n
), y se representa a
n
b
n
, si lim
n
a
n
b
n
= 0.
Observemos que esta denicion implica que |a
n
| < |b
n
| para n sucientemente grande.
Se verica la siguiente jerarqua de innitos:
log n n
p
a
n
n! n
n
(p > 0, a > 1)
5.6. Teorema. Criterio de Stolz
Sean (a
n
) y (b
n
) dos sucesiones. Si existe lim
n
a
n
a
n1
b
n
b
n1
, entonces
lim
n
a
n
b
n
= lim
n
a
n
a
n1
b
n
b
n1
siempre que
i) (b
n
) es una sucesion mon otona divergente, o bien
ii) a
n
0, b
n
0 y (b
n
) es mon otona.
102 Captulo 4. Sucesiones numericas
5.7. Teorema
i) Si lim
n
a
n
= l, entonces lim
n
a
1
+ a
2
+ + a
n
n
= l.
ii) Si lim
n
a
n
= l y a
n
> 0 para todo n, entonces lim
n
n

a
1
a
2
a
n
= l.
Nota: Los recprocos no son ciertos. Por ejemplo la sucesi on a
n
= (1)
n
no tiene lmite
y sin embargo lim
n
a
1
+ a
2
+ + a
n
n
= 0.
5.8. Teorema
Para toda sucesi on (a
n
) de n umeros positivos se verica
lim
n
a
n+1
a
n
lim
n
n

a
n
lim
n
n

a
n
lim
n
a
n+1
a
n
Como consecuencia se tiene que si lim
n
a
n+1
a
n
= l, entonces lim
n
n

a
n
= l.
6. Sucesiones de n umeros complejos
6.1. Denicion. Sucesi on de n umeros complejos
Se llama sucesi on de n umeros complejos a una aplicaci on IN I C, que denotaremos
por (z
n
)
nIN
o simplemente (z
n
), con z
n
I C para todo n, siendo I C el conjunto de los
n umeros complejos.
6.2. Denicion. Lmite de una sucesi on de n umeros complejos
Una sucesi on (z
n
) de n umeros complejos converge a l I C, y se representa lim
n
z
n
= l
o z
n
l, si
> 0 N
0
() / n > N
0
|z
n
l| <
donde |z
n
l| representa el m odulo de z
n
l I C.
6.3. Proposicion
Si z
n
= x
n
+ y
n
i, l = a + bi son las expresiones en forma binomica de z
n
, l I C
respectivamente, se tiene que
z
n
l x
n
a e y
n
b
Nota: El lmite de una sucesi on de n umeros complejos se calcula hallando el lmite de las
sucesiones de sus partes real e imaginaria.