ETS DE INGENIEROS DE MONTES

PRIMER CURSO
GRUPO B





TEMA 3
Sucesiones de Nmeros Reales














Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin
del autor.
Tema 3. Sucesiones de nmeros reales
1. Introduccin.
El Diccionario de la Real Academia Espaola (ed. 2001) dene el concepto
matemtico de sucesin o secuencia como un "conjunto ordenado de trminos,
que cumplen una ley determinada", una sucesin convergente como "aquella
que tiende a un lmite" y una sucesin divergente como "aquella que no tiende
a un lmite". Por tanto, la palabra "sucesin", que es casi autoexplicativa, se
reere a una lista ordenada de objetos que, si bien aqu sern nmeros reales,
en general podran ser entes muy diversos, y frecuentemente va asociada a la
palabra "lmite", que dicho Diccionario dene as: "en una secuencia innita
de magnitudes, magnitud ja a la que se aproximan cada vez ms los trminos
de la secuencia. As, la secuencia de los nmeros 2:,(: + 1), siendo : la se-
rie de los nmeros naturales, tiene como lmite el nmero 2". Dedicaremos la
primera parte de este tema a precisar estas deniciones e introducir primeras
propiedades de las sucesiones de nmeros reales. Al nal del tema, tras "prolon-
gar" la recta real aadiendo los elementos +y , dando lugar a la llamada
recta real ampliada, repasaremos algunas tcnicas frecuentemente aplicadas en
la resolucin de ciertas indeterminaciones que aparecen en el clculo de lmites
de sucesiones.
2. Deniciones y primeros ejemplos.
Def. 1 Una sucesin de nmeros reales es una aplicacin del conjunto N de los
nmeros naturales en el conjunto R de los nmeros reales, mediante la cul
a cada : N le corresponde un nmero real que representaremos por a
n
(en vez de )(:) como representbamos esta ley en el caso de las funciones)
y al que llamaremos trmino n-simo de la sucesin. Frecuentemente, para
representar una sucesin se utilizan notaciones del tipo {a
n
}
nN
, {a
n
},
(a
n
)
nN
, {a
n
}

n=1
, (a
n
)

n=1
o {a
1
, a
2
, ..., a
n
, a
n+1
, ...} (observa que, en to-
das ellas, el primer trmino de la sucesin es a
1
), donde a
n
generalmente
viene expresado mediante una frmula. Para simplicar, habitualmente
utilizaremos la notacin (a
n
).
Def. 2 Una sucesin de nmeros reales es una funcin que toma valores reales
cuyo dominio es el conjunto N de los nmeros naturales, es decir, una
funcin ) : N R. Siguiendo esta denicin, tiene sentido hablar de
la grca de una sucesin {a
n
}
nN
, que es el conjunto de puntos de la
forma (:, a
n
), con : N, tomados de la grca de la funcin )(r) = a
r
.
Por ejemplo, se muestran en la Figura 1 los 30 primeros trminos de las
sucesiones

n+1
n
2

nN
(en rojo) y
n
2n
2
+1
n
2
+1
o
nN
(en negro). Observa que,
segn se va haciendo : ms y ms grande, los trminos de estas sucesiones,
de trminos generales a
n
=
n+1
n
2
y a
n
=
2n
2
+1
n
2
+1
1
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
, se mantienen respectivamente cada vez ms prximos a 0 y a 2 (de hecho,
es sencillo probar que lim
n+1
n
2
= 0 y que lim
2n
2
+1
n
2
+1
= 2).
Figura 1
Evidentemente, la representacin anterior excluye la mayor parte de los
trminos de la sucesin. Por ello, algunos autores preeren representar,
utilizando como soporte nicamente la recta real, el conjunto de puntos
{a
n
}
nN
.
2.1. Primeros ejemplos.
2.1.1. La sucesin {a}
nN
, donde a es un nmero real dado, es una sucesin
constante, porque todos sus trminos toman el mismo valor a.
2.1.2. Los trminos de la sucesin {(1)
n
}
nN
son {1, 1, 1, 1, ...}, es decir,
alternan entre 1 (para : impar) y 1 (para : par).
2.1.3. Las sucesiones

n
P
I=1
1
I

nN
y

n
P
I=1
1
I
2

nN
, cuyos primeros 4 trminos son
respectivamente
{1, 3,2, 11,6, 25,12, ...} y {1, 5,4, 49,36, 205,144, ...}
tienen gran importancia en matemticas, en particular en el estudio de las
series de nmeros reales.
2
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
2.1.4. Otra forma de denir una sucesin es dando una ley de recurrencia,
obtenindose las llamadas sucesiones recurrentes. En tal caso, los tr-
minos de la sucesin se denen en funcin de los anteriores. Por ejemplo,
poniendo : N :
a
1
= 1, a
2
= 1, a
n+2
= a
n+1
+ a
n
se obtiene la llamada sucesin de Fibonacci, que fue introducida por el
matemtico italiano Leonardo de Pisa (aos 1170 a 1250), y ha sido muy
citada en la literatura cientca. Sus primeros trminos son
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...
2.1.5. Progresiones aritmticas: una progresin aritmtica es una sucesin (a
n
)
denida por la ley de recurrencia a
1
= a, a
n
= a
n1
+ /, donde / es
la razn. Aplicando dicha denicin, es fcil probar (p.e., mediante el
mtodo de induccin) que a
n
= a
1
+ (: 1)/, y que la suma de los :
primeros trminos de dicha progresin es
o
n
=
n
X
I=1
a
I
=
a
1
+ a
n
2
:.
2.1.6. Progresiones geomtricas: una progresin geomtrica es una sucesin (a
n
)
denida por la ley de recurrencia a
1
= a, a
n
= a
n1
r, donde r es la razn.
Aplicando dicha denicin, es fcil probar (p.e., mediante el mtodo de
induccin) que a
n
= a
1
r
n1
, que la suma de los : primeros trminos de
dicha progresin es
o
n
=
n
X
I=1
a
I
=
a
1
(r
n
1)
r 1
y que el producto de los : primeros trminos de dicha progresin es 1
n
=
n
Q
I=1
a
I
=
p
(a
1
a
n
)
n
.
3. Sucesiones convergentes. Lmite de una sucesin.
Se dice que una sucesin de nmeros reales (a
n
) es convergente (en R) si
existe un nmero a R que satisface la siguiente condicin: c 0, :
0
N tal
que
: :
0
: |a
n
a| < c.
En tal caso, se dice que la sucesin (a
n
) converge a a, o que a es el lmite de
(a
n
), y escribiremos lima
n
= a o bien a
n
a (en el caso de las sucesiones, se
entiende que la direccin para la cual se toma el lmite es siempre : +,
por lo que generalmente emplearemos las anteriores expresiones, obviando los
detalles de la direccin). Una sucesin que no es convergente, se dice que es
3
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
divergente. En la Figura 2 se bosqueja el signicado geomtrico de la anterior
denicin para la sucesin

n
n+1

, cuyo lmite es 1 = 1.
Figura 2
Es evidente que si en una sucesin convergente de nmeros reales (a
n
) un
nmero nito de trminos a
n
1
, ..., a
n

son reemplazados por los nmeros reales

/
n
1
, ..., /
n

(p.e., extrados de otra sucesin de trmino general /

n
), se obtiene
una nueva sucesin que adems converge a lima
n
. Teniendo esto en cuenta,
se acostumbra a considerar que
1
c

o
J
c

, donde c
n
y d
n
son sucesiones, es una
sucesin, aunque el denominador c
n
se anule para un nmero nito de valores
de :.
3.1. Primeros ejemplos.
3.1.1. Si es a R , la sucesin de trmino general a
n
= a, : N, entonces (a
n
)
es convergente, dado que lima
n
= lima = a. Por tanto, toda sucesin
constante es convergente.
3.1.2. Veamos que la sucesin de trmino general a
n
= (1)
n
, : N, es di-
vergente. En efecto: en el supuesto de que dicha sucesin (a
n
) fuera
convergente a a, si |a| 6= 1, basta tomar c = min{|a 1| , |a + 1|} (observa
que c 0) para que sea |a
n
a| c. Y si |a| = 1, basta tomar c = 2, y
observar que |a
n
1| c siempre que sea : un nmero natural impar, y
que |a
n
(1)| c siempre que sea : un nmero natural par.
4
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
3.1.3. La sucesin de trmino general a
n
= :, : N, es divergente. En efecto:
en el supuesto de que dicha sucesin (a
n
) fuera convergente a a, basta
tomar c = 1 y observar que |: a| 1, : 1(|a|) +2. Del mismo modo,
es fcil probar que todas las sucesiones de la forma (:
o
), con c R y
c 0, son divergentes.
3.1.4. La sucesin de trmino general a
n
=
1
n
, : N, es convergente y su lmite
es lim
1
n
= 0. En efecto: Para cualquier c 0, tomando :
0
= 1(
1
t
) + 1,
observamos que se verica que

1
n
0

< c, para cualquiera que sea : :

0
.
Del mismo modo, es fcil probar que todas las sucesiones de la forma

1
n

,
con c R y c 0, son convergentes a 0, es decir lim
1
n

= 0, c 0.
4. Sucesiones acotadas.
La denicin de sucesin acotada es similar a la dada para las funciones
reales de una variable real:
Se dice que una sucesin (a
n
) est acotada superiormente si existe ' R
tal que a
n
', : N.
Se dice que una sucesin (a
n
) est acotada inferiormente si existe : R
tal que a
n
:, : N.
Se dice que una sucesin (a
n
) est acotada si est acotada superior e
inferiormente, es decir, si existen :, ' R tales que : a
n
', : N
o, equivalentemente, si existe 1 R tal que |a
n
| 1, : N.
Por ejemplo, la sucesin de trmino general a
n
=
1
n
, est acotada, porque
0 <
1
n
1, : N, y la sucesin de trmino general a
n
= (1)
n
, est acotada,
porque 1 (1)
n
1, : N. Sin embargo, es evidente que tanto la
sucesin de trmino general a
n
= : como la sucesin de Fibonacci (introducida
en el ejemplo 2.1.4.), no estn acotadas.
5. Sucesiones montonas.
La denicin de sucesin montona es similar a la dada para las funciones
reales de una variable real:
Se dice que una sucesin (de nmeros reales) (a
n
) es montona creciente
(o montona no decreciente) si a
n
a
n+1
, : N.
Se dice que una sucesin (de nmeros reales) (a
n
) es montona decreciente
(o montona no creciente) si a
n
a
n+1
, : N.
Una sucesin (de nmeros reales) (a
n
) es montona si es montona cre-
ciente o montona decreciente.
5
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
En el caso de que las desigualdades sean estrictas, se obtienen respectiva-
mente las sucesiones montonas estrictamente crecientes y las sucesiones mon-
tonas estrictamente decrecientes.
Por ejemplo, las sucesiones

n+1
n
2

y

2n
2
+1
n
2
+1

, representadas en la Figura 1,
son, respectivamente, montona decreciente acotada inferiormente y montona
creciente acotada superiormente, pero la sucesin ((1)
n
), introducida en el
ejemplo 3.1.2., no es montona. La sucesin de Fibonacci, es montona cre-
ciente.
Veamos, aplicando la desigualdad vista en el Ejercicio 16.c) de los Problemas
de los Temas 1 y 2 (Desigualdad de Bernouilli), que la sucesin de trmino
general a
n
=

1 +
1
n

n
es montona creciente. En efecto:
a
n+1
a
n
=

1 +
1
n+1

n+1

1 +
1
n

n
=

n+2
n+1

n+1

n+1
n

n+1
n
n+1
=
(:(: + 2))
n+1
((: + 1)
2
)
n+1
: + 1
:
=
=
: + 1
:

1
1
(: + 1)
2

n+1

: + 1
:

1 + (: + 1)
1
(: + 1)
2

= 1
Dado que
o+1
o
1, : N, (a
n
) es montona creciente.
6. Primeras propiedades de las sucesiones.
6.1. Para cualquier sucesin convergente, el lmite es nico. En efecto: sea
(a
n
) la sucesin convergente, y supongamos que lima
n
= a y lima
n
= /.
Razonando por reduccin al absurdo, supongamos que es a 6= /, y sea
c = |a /|. Aplicando la denicin de lmite, dado que lima
n
= a, existe
:
1
N tal que |a
n
a| <

2
, : :
1
, y dado que lima
n
= /, existe
:
2
N tal que |a
n
/| <

2
, : :
2
. Sea :
0
= max{:
1
, :
2
}. Entonces,
|a /| = |(a a
n
) + (a
n
/)| |a
n
a| + |a
n
/| <
c
2
+
c
2
= c
Esta contradiccin prueba que necesariamente ha de ser a = /.
6.2. Toda sucesin convergente, est acotada. En efecto: supongamos que
la sucesin (a
n
) es convergente a a R, es decir, lima
n
= a. En-
tonces, existe :
0
N tal que |a
n
a| < 1, : :
0
. Entonces, poniendo
1 = max{|a
1
| , |a
2
| , ..., |a
n
0
| , |a| + 1}, se verica que |a
n
| 1, : N, lo
cual signica que (a
n
) est acotada.
Sin embargo, la proposicin recproca es falsa, como se puede ver con el
contraejemplo de la sucesin a
n
= (1)
n
, que est acotada pero no es con-
vergente, segn vimos en el ejemplo 3.1.2. La proposicin contrarecproca
establece que si una sucesin no est acotada, entonces no es convergente.
6.3. Sean (a
n
) y (/
n
) dos sucesiones convergentes de lmites lima
n
= a y
lim/
n
= / (con a, / R). Entonces, se verica que:
6
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
(a) La sucesin (a
n
+ /
n
) es tambin convergente, y lim(a
n
+ /
n
) = a + /
(se puede probar, aplicando el mtodo de induccin, que esta propiedad
se puede generalizar al caso de un nmero nito de sumandos).
(b) La sucesin (ca
n
) es tambin convergente, y lim(ca
n
) = ca, c R.
(c) La sucesin (a
n
/
n
) es tambin convergente, y lim(a
n
/
n
) = a /.
(d) Si a 6= 0, entonces existe : N tal que a
n
6= 0, : :, y se verica
que lim(
1
o

) =
1
o
.
En efecto: por ser lima
n
= a y lim/
n
= /, sabemos que para cualquier
c 0, :
1
, :
2
N vericando que
|a
n
a| < c, : :
1
y que |/
n
/| < c, : :
2
En tal caso:
(a) Sea :
0
= max{:
1
, :
2
}. Entonces, : :
0
, se verica que
|a
n
+ /
n
(a + /)| |a
n
a| + |/
n
/| < c + c = 2c
(b) Sea :
0
= :
1
. Entonces : :
0
, se verica que
|c a
n
c a| = |c| |a
n
a| < |c| c
(c) Aplicando la propiedad 6.2., al ser (a
n
) convergente, (a
n
) est acotada,
por lo que 1 R
+
: |a
n
| < 1, : N. Sea :
0
= max{:
1
, :
2
}. Entonces,
: :
0
, se verica que
|a
n
/
n
a/| = |a
n
(/
n
/) + (a
n
a)/|
|a
n
| |/
n
/| + |/| |a
n
a|
1c + |/| c = (1 + |/|)c
(d) Dado que |a| 0, existe : N tal que : : : |a
n
a| <
|o|
2
. Apli-
cando ahora las propiedades del valor absoluto (en particular, |r + j|
|r| |j|), se verica : : que: |a
n
| = |a (a a
n
)| |a| |a a
n
|
|o|
2
. Sea :
0
= max{:
1
, :}. Entonces, : :
0
, se verica que a
n
6= 0 y
que

1
a
n

1
a

=
|a a
n
|
|a
n
| |a|
<
c
|o|
2
|a|
=
2c
|a|
2
6.4. Sean (a
n
) y (/
n
) dos sucesiones convergentes de lmites lima
n
= a y
lim/
n
= / (observa que a, / R). Combinando las proposiciones (a) y
(b) del apartado anterior, se llega a que la sucesin (a
n
/
n
) es tambin
convergente, y lim(a
n
/
n
) = a /. Del mismo modo, combinando las
7
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
proposiciones (c) y (d) del apartado anterior, se llega a que, si / 6= 0,
entonces la sucesin

o

es tambin convergente, y lim(

o

) =
o
b
. Final-
mente, aplicando sucesivamente la propiedad (c) del apartado anterior, se
verica : Z que la sucesin (a
n
n
) es convergente, y lim(a
n
n
) = a
n
,
asumiendo que, en los casos en que sea : < 0, es a 6= 0.
6.5. Sean (a
n
) y (/
n
) dos sucesiones convergentes de lmites lima
n
= a y
lim/
n
= / (observa que a, / R). Entonces, se verica que:
(a) Si existe un :
0
N tal que : :
0
: a
n
/
n
, entonces a /. Y
("recprocamente") si a < /, entonces :
0
N tal que : :
0
: a
n
< /
n
.
(b) Si a
n
0 para cualquiera que sea : N, entonces a 0 y / N :
lim

a
n
=

a.
En efecto:
(a) Razonando por reduccin al absurdo, supongamos que es / < a.
Sea c =
ob
2
. Dado que lim/
n
= /, :
1
N tal que :
1
:
0
y
/
n
< / + c, : :
1
. Pero, dado que / + c =
o+b
2
= a c, se verica
: :
1
que a
n
/
n
< a c, y esto supone una contradiccin con el
hecho de que lima
n
= a. Por tanto, ha de ser a /.
Y "recprocamente": supongamos que es a < /. Sea c =
bo
2
. Entonces,
existen :
1
, :
2
N tales que a
n
< a +c, : :
1
, y /
n
/ c, : :
2
.
Sea :
0
= max{:
1
, :
2
}. Dado que / c =
o+b
2
= a + c, se verica que
a
n
<
o+b
2
< /
n
, : :
0
, como queramos demostrar.
(b) El resultado a 0 se sigue fcilmente de (a). Para probar la segunda
parte del resultado, comenzaremos probando la siguiente desigualdad:
r, j R, con r 0 e j 0, : N :

p
|r j|.
En efecto: podemos suponer, sin prdida de generalidad, que r j. Sean
. =

r y n =

j. Entonces, desarrollando por la frmula del binomio

de Newton, .
n
= [(. n) + n]
n
= (. n)
n
+ ... + n
n
(. n)
n
+ n
n
.
Por tanto, r j = .
n
n
n
(. n)
n
= [

j]
n
., como queramos
demostrar.
Veamos ahora el resultado que falta por probar. Dado que c
|
0, existe
:
2
N tal que |a
n
a| < c
|
, : :
2
. Aplicando ahora la desigualdad
anteriormente probada, resulta que

a
n

p
|a
n
a| < c, : :
2
de donde se sigue que lim

a
n
=

a, como queramos demostrar.

6.6. Por aplicacin directa de las anteriores propiedades se verica que, si es
(a
n
) una sucesin convergente de lmite lima
n
= a tal que a
n
0, : N,
entonces r Q, con r 0, la sucesin (a
:
n
) es convergente, y lim(a
:
n
) =
a
:
. Si adems es a 0, entonces la sucesin (a
s
n
) es convergente, y
lim(a
s
n
) = a
s
, : Q, con : < 0.
8
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
6.7. Teorema del Sandwich: Sean (a
n
) , (/
n
) y (c
n
) sucesiones tales que :
N : : : se verica que a
n
c
n
/
n
y tales que lima
n
= lim/
n
= c.
Entonces, la sucesin (c
n
) es tambin convergente y su lmite es c, es decir,
limc
n
= c. En efecto: Sea c 0. Dado que lima
n
= c, existe :
1
N,
con :
1
:, tal que a
n
c c, : :
1
, y dado que lim/
n
= c, existe
:
2
N, con :
2
:, tal que /
n
c < c, : :
2
. Sea :
0
= max{:
1
, :
2
}.
Entonces, se verica que c < a
n
c c
n
c /
n
c < c, : :
0
, de
donde se sigue que limc
n
= c.
6.8. Sean (a
n
) una sucesin convergente al nmero real 0 y (/
n
) una sucesin
acotada. Entonces, el producto (a
n
/
n
) es una sucesin que converge a
0. En efecto: Por ser lima
n
= 0, c 0, :
0
N : |a
n
| < c, y por ser (/
n
)
acotada, 1 0 : |/
n
| 1, : N. Por tanto, |a
n
/
n
| < c 1, de donde
se sigue que lim(a
n
/
n
) = 0, como queramos demostrar.
6.9. (a) Sea (a
n
) una sucesin montona creciente. Entonces (a
n
) es conver-
gente si y solamente si (a
n
) est acotada superiormente. Adems, en dicho
caso, se verica que lima
n
= sup{a
n
: : N}.
(b) Sea (/
n
) una sucesin montona decreciente. Entonces (/
n
) es conver-
gente si y solamente si (/
n
) est acotada inferiormente. Adems, en dicho
caso, se verica que lim/
n
= inf{/
n
: : N}.
En efecto, probemos el primer resultado (el segundo se probara de modo
similar). Por ser (a
n
) montona creciente y acotada superiormente, el con-
junto {a
n
: : N} tiene supremo. Sea a = sup{a
n
: : N}. Entonces,
dado c 0, :
0
N : a c < a
n0
. Pero, al ser (a
n
) montona creciente,
se verica que a
n
0
a
n
, : :
0
. Por tanto, : :
0
, se verica que
a c < a
n
a < a + c
de donde se sigue que lima
n
= a. En cuanto a la proposicin recproca,
se sigue directamente de la propiedad 6.2. anteriormente probada.
6.1. Algunos ejemplos.
6.1.1. Aplicando la propiedad 6.8., es evidente que lim(1)
n

1
n
= 0 y que
lim
1
n
sen: = 0, dado que en ambos casos se trata del producto de una
sucesin convergente a 0 por una sucesin acotada.
6.1.2. Sea a R. La sucesin (a
n
) es tal que:
(a) Si |a| < 1, (a
n
) es convergente, y lima
n
= 0.
(b) Si a = 1, (a
n
) es convergente, y lima
n
= 1.
(c) Si |a| 1 o a = 1, (a
n
) es divergente.
En efecto:
9
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
(a) Si a = 0, el resultado se verica trivialmente. Supongamos que a 6= 0
y pongamos
1
|o|
= 1 + /. Entonces, / 0 y podemos aplicar la desigual-
dad probada en el Ejercicio 16.c) de los Problemas de los Temas 1 y 2,
vericndose que
1
|a|
n
= (1 + /)
n
1 + :/ :/, : N
Por tanto, aplicando el Teorema del Sandwich a 0 < |a|
n
<
1
n|
(observa
que lim
1
n|
= 0), resulta que lim|a|
n
= 0, de donde se deduce que lima
n
=
0. Como aplicacin de este resultado, vemos que, si es a
1
, a
2
, ..., a
n
, ...una
sucesin cuyos trminos estn en progresin geomtrica de razn r, con
|r| < 1 (ver el ejemplo 2.1.6.), se verica que
lim(a
1
+ a
2
+ ... + a
n
) = lim
a
1
(r
n
1)
r 1
=
a
1
1 r
(b) Es evidente que si a = 1, entonces (a
n
) = (1), por lo que lima
n
=
lim1 = 1.
(c) El caso a = 1 ya fue tratado en el ejemplo 3.1.2. Si es |a| 1,
poniendo / = |a| 1, se verica que / 0, por lo que podemos aplicar
nuevamente la desigualdad probada en el Ejercicio 16.c) de los Problemas
de los Temas 1 y 2, y
|a
n
| = |a|
n
= (1 + /)
n
1 + :/ :/
de donde se deduce que la sucesin (a
n
) no est acotada, por lo que,
aplicando la propiedad 6.2., (a
n
) no es convergente.
6.1.3. Sea : N. Veamos, aplicando las anteriores propiedades (en particu-
lar, el Teorema del Sandwich), que la sucesin de trmino general c
n
=

1
n+1
+
1
n+2
+ ... +
1
n+n

es convergente, y que
1
2
lim

1
: + 1
+
1
: + 2
+ ... +
1
: + :

1
Veamos en primer lugar que c
n
es montona estrictamente creciente. En
efecto: c
n+1
c
n
=
1
2n+2
+
1
2n+1

1
n+1
=
1
2n+1

1
2n+2
0 c
n+1

c
n
, : N.
Aplicando ahora el Teorema del Sandwich, poniendo a
n
=
n
P
I=1
1
n+n
=
n
2n
, /
n
=
n
P
I=1
1
n+1
=
n
n+1
, c
n
=
n
P
I=1
1
n+I
, es evidente que : N : a
n

c
n
/
n
, y que lima
n
=
1
2
, lim/
n
= 1. Dado que (c
n
) es montona y est
acotada, (c
n
) tiene lmite, siendo adems
1
2
limc
n
1 (ms adelante
veremos que limc
n
= log 2).
10
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
6.1.4. Sea : N. Veamos, aplicando nuevamente el Teorema del Sandwich,
que la sucesin de trmino general c
n
=

n
n
2
+1
+
n
n
2
+2
+ ... +
n
n
2
+n

es
convergente, y que
lim

:
:
2
+ 1
+
:
:
2
+ 2
+ ... +
:
:
2
+ :

= 1
En efecto, poniendo a
n
=
n
P
I=1
n
n
2
+n
=
n
2
n
2
+n
, /
n
=
n
P
I=1
n
n
2
+1
=
n
2
n
2
+1
, c
n
=
n
P
I=1
n
n
2
+I
, es evidente que : N : a
n
c
n
/
n
, y que lima
n
= lim/
n
= 1,
por lo que limc
n
= 1.
6.1.5. Sea : N. La sucesin de trmino general a
n
= 1 +
1
1!
+
1
2!
+ ... +
1
n!
=
n
P
|=0
1
|!
es claramente montona estrictamente creciente. Veamos que a
n
est acotada superiormente. En efecto, dado que
1
n!

1
2
1
, : N
(como fcilmente se prueba por induccin), se verica que
1 +
1
1!
+
1
2!
+... +
1
:!
1 +1 +
1
2
+
1
2
2
+... +
1
2
n1
= 1 +2

1
1
2
n

< 3
Por tanto, (a
n
) es convergente. Ms adelante probaremos que lima
n
= c.
6.1.6. Sea : N. Veamos que la sucesin de trmino general /
n
=

1 +
1
n

n
es
convergente y que su lmite es igual al lmite de la sucesin (a
n
) introducida
en el anterior ejemplo 6.1.5. Desarrollando por la frmula del binomio de
Newton
/
n
=
n
X
|=0
:(: 1)...(: / + 1)
/!
1
:
|
=
n
X
|=0
1

1
1
:

...

1
/ 1
:

1
/!
vemos que /
n
a
n
, : N. Por otra parte, aplicando la desigualdad
probada en el Ejercicio 16.b) de los Problemas de los Temas 1 y 2, se
verica para / = 1, 2, ..., :, que
(1 0)

1
1
:

...

1
/ 1
:

0 +
1
:
+ ... +
/ 1
:

=
= 1
/(/ 1)
2:
Por tanto, / = 0, 1, 2, .., :, se verica que:
1
/(/ 1)
2:

:(: 1)...(: / + 1)
:
|
Dividiendo por /! y sumando de 1 a ::
n
X
|=0
1
/!

1
2:
n
X
|=2
1
(/ 2)!
/
n
11
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
Finalmente, teniendo en cuenta los resultados del ejemplo 6.1.5.,
n
X
|=2
1
(/ 2)!
a
n
< 3
entrando con
n
P
|=2
1
(|2)!
< 3 en la anterior desigualdad, y recordando del
comienzo de este ejemplo que ya habamos probado que /
n
a
n
, : N,
se llega a que
a
n

3
2:
/
n
a
n
de donde se sigue, aplicando el Teorema del Sandwich, que (a
n
) es con-
vergente, y que lima
n
= lim/
n
. Ms adelante probaremos que este lmite
es el nmero c, es decir,
lim

1 +
1
1!
+
1
2!
+ ... +
1
:!

= lim

1 +
1
:

n
= c
En base al anterior resultado, se verica, r R, que:
lim

1 +
r
1!
+
r
2
2!
+ ... +
r
n
:!

= lim

1 +
r
:

n
= c
r
6.1.7. Sea : N. Veamos que la sucesin de trmino general
H
n
= 1 +
1
2
+ ... +
1
:
no es convergente. En efecto, es evidente que H
n+1
H
n
=
1
n+1
0, por
lo que (H
n
) es montona estrictamente creciente. Para probar que (H
n
)
no est acotada superiormente, veamos que
H
2
= 1 +
1
2
+

1
3
+
1
4

1
5
+ ... +
1
8

1
9
+ ... +
1
16

+ ...+
+

1
2
n1
+ 1
+ ... +
1
2
n

1 +
1
2
+

1
4
+
1
4

1
8
+ ... +
1
8

1
16
+ ... +
1
16

+ ...+
+

1
2
n
+ ... +
1
2
n

=
= 1 +
1
2
+
2
4
+
4
8
+
8
16
+ ... +
2
n1
2
n
= 1 + :
1
2
= 1 +
:
2
Por tanto, dado que H
2
1 +
n
2
, resulta que (H
n
) no est acotada, por
lo que (al ser montona estrictamente creciente) no es convergente.
12
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
6.1.8. Sea : N. Es evidente que
lim

1
:
+
1
:
+
(n)
... +
1
:

= lim:
1
:
= 1
(y no 0, como podra desprenderse de una aplicacin errnea de la propiedad
6.3.a).
7. Subsucesiones. Teorema de Bolzano-Weierstrass.
7.1. Subsucesiones.
Sea (a
n
) una sucesin de nmeros reales. Si :
1
, :
2
, :
3
, ... es un conjunto
de nmeros naturales tales que :
|
< :
|+1
para cada / N, entonces diremos
que la sucesin (a
n

), cuyos trminos son a

n1
, a
n2
, a
n3
, ..., es una subsucesin
de (a
n
).
Como consecuencia inmediata de la denicin de lmite, se verica que
una sucesin (a
n
) converge a a si y solamente si cualquier subsucesin de
(a
n
) converge a a (cuando se hayan introducido los conceptos de lmite +
y , ser fcil ver que esta propiedad tambin se verica incluso cuando
a = + o a = ). En particular, una sucesin (a
n
) converge a a si y
solamente si la subsucesin de los trminos de lugar par (a
2n
) (extrada de
(a
n
)) y la subsucesin de los trminos de lugar impar (a
2n1
) son ambas con-
vergentes y tienen el mismo lmite a. Por ejemplo, las sucesiones de trmi-
nos generales a
n
= (1)
n
y /
n
= (1)
n n
n+1
, no son convergentes, porque
lima
2n
= lim/
2n
= 1 6= lima
2n1
= lim/
2n1
= 1.
Uno de los resultados ms interesantes relativo a las subsucesiones es el Teo-
rema de Bolzano-Weierstrass, atribudo al matemtico y lsofo checo Bernard
Bolzano (aos 1781 a 1848) y al matemtico alemn Karl Weierstrass (aos 1815
a 1897).
7.2. Teorema de Bolzano-Weierstrass.
Toda sucesin acotada de nmeros reales posee una subsucesin convergente.
En efecto: por ser (a
n
) una sucesin acotada de nmeros reales, sabemos
que 1 0, con 1 R, tal que 1 < a
n
< 1, : N. Vamos a construir una
subsucesin (r
n
) de (a
n
) aplicando la siguiente tcnica de biseccin: o bien en
[0, 1] o bien en [1, 0] (o en ambos), habr innitos trminos de la sucesin.
Supongamos que en [0, 1] hay innitos trminos de la sucesin (a
n
). Dividimos
el intervalo [0, 1] en los subintervalos [0,
1
2
] y [
1
2
, 1]. Aplicando de nuevo la
tcnica de biseccin, al menos uno de los dos subintervalos contendr innitos
trminos de la sucesin. Supongamos que en [0,
1
2
] hay innitos trminos de
la sucesin (a
n
). Sea r
1
, con r
1
<
1
2
, uno de dichos trminos. Aplicando el
proceso de biseccin, al menos uno de los dos subintervalos [0,
r
1
2
] o [
r
1
2
, r
1
]
contendr innitos trminos de la sucesin. Sea r
2
, con r
2
<
r
1
2
, uno de dichos
13
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
trminos. Reiterando el proceso, en el paso m-simo el trmino r
n
de (a
n
)
estara situado en cierto intervalo [c
n
, ,
n
], cuya amplitud es ,
n
c
n
=
1
2

0
cuando : +. Veamos que la subsucesin (r
n
) es convergente. En efecto, la
subsucesin (c
n
) constituida por los extremos izquierdos de dichos subintervalos
es montona creciente y est acotada superiormente por 1, por lo que converge
a c, y la subsucesin (,
n
) constituida por los extremos derechos de dichos
subintervalos es montona decreciente y est acotada inferiormente por 1, por
lo que converge a ,. Dado que la amplitud ,
n
c
n
=
1
2

0 cuando : +,
necesariamente ha de ser c = ,, y dado que c
n
r
n
,
n
, aplicando el
Teorema del Sandwich, resulta que limr
n
= c = ,, como queramos demostrar.
Por ejemplo, la sucesin de trmino general a
n
= (1)
n n
n+1
est acotada,
ya que 1 < a
n
< 1, : N, pero (como vimos en 7.1.) no es convergente.
Sin embargo, admite inntas subsucesiones convergentes, en particular (a
2n
) y
(a
2n1
), ya que lim(a
2n
) = 1 y lim(a
2n1
) = 1.
En la literatura matemtica, este Teorema aparece a menudo con el siguiente
enunciado, equivalente al dado: todo conjunto innito y acotado de nmeros
reales tiene al menos un punto de acumulacin. Por ejemplo, el conjunto
de nmeros reales
n
(1)
n n
n+1
o
nN
, est acotado, ya que 1 < (1)
n n
n+1
<
1, : N, y tiene dos puntos de acumulacin, que son los nmeros reales 1 y
1 (observa que lim
n
n+1
= 1 y que lim
n
n+1
= 1).
8. Sucesiones de Cauchy.
Uno de los problemas que generalmente surgen al estudiar si una sucesin
es convergente, es que para ello se necesita efectuar una operacin de paso al
lmite. Bolzano mostr, aplicando una idea que previamente haba introducido
Cauchy (aos 1789 a 1857), que esto no siempre es necesario.
8.1. Denicin.
Se dice que una sucesin de nmeros reales (a
n
) es de Cauchy si c 0,
existe un :
0
N tal que :, : :
0
se verica que
|a
n
a
n
| < c
8.2. Algunas propiedades.
8.2.1. Si es (a
n
) una sucesin de Cauchy, entonces (a
n
) est acotada. En efecto:
tomando c = 1 en la denicin dada, existe un :
0
N tal que : :
0
se verica que |a
n
a
n0+1
| < 1, es decir, a
n0+1
1 < a
n
< a
n0+1
+ 1.
Esto signica que (a
n
) est acotada inferiormente por el nmero real / y
superiormente por el nmero real 1, donde
/ = min{a
1
, a
2
, ..., a
n
0
+1
1} y 1 = max{a
1
, a
2
, ..., a
n
0
+1
+ 1},
14
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
es decir, (a
n
) est acotada. La proposicin recproca es falsa, como se
puede ver con el contraejemplo de la sucesin ((1)
n
), que est acotada,
pero no es de Cauchy.
Observa que la proposicin contrarecproca establece que si la sucesin
(a
n
) no est acotada, entonces (a
n
) no es una sucesin de Cauchy.
8.2.2. Se deduce directamente de la denicin dada que, si es (a
n
) una sucesin
de Cauchy, entonces (a
n+1
a
n
) es una sucesin convergente a 0, es decir,
lim(a
n+1
a
n
) = 0. Sin embargo, la proposicin recproca es falsa, como
se puede ver con el contraejemplo de la sucesin de trmino general a
n
=

:, que es tal que

lim

: + 1

= lim

: + 1 +

: + 1

:)

: + 1 +

:
=
= lim
1

: + 1 +

:
= 0
y sin embargo no es una sucesin de Cauchy, porque tomando c = 1,
:
0
N, se verica que
|a
4n0
a
n0
| =

4:
0

:
0
=

:
0
1.
8.2.3. Una sucesin de nmeros reales (a
n
) es convergente si y solamente si es
una sucesin de Cauchy. En efecto: sea (a
n
) una sucesin convergente,
con lima
n
= a. Entonces, c 0, :
0
N tal que : :
0
: |a
n
a| <
t
2
.
Por tanto, :, : :
0
, se verica que
|a
n
a
n
| |a
n
a| + |a a
n
| <
c
2
+
c
2
= c
por lo que (a
n
) es una sucesin de Cauchy.
Recprocamente, si es (a
n
) una sucesin de Cauchy, sabemos que (a
n
)
est acotada (propiedad 8.2.1.). Por tanto, aplicando el Teorema de
Bolzano-Weiestrass, (a
n
) admite una subsucesin convergente (a
n

). Sea
lim(a
n

) = a. Vamos a probar que tambin es lima

n
= a. En efecto:
dado c 0, por ser (a
n
) una sucesin de Cauchy,
:
0
N tal que :, : :
0
: |a
n
a
n
| <
c
2
.
Por otra parte, al ser lim(a
n

) = a,
/
0
N tal que / /
0
: |a
n

a| <
c
2
.
Adems, dado que :
1
< :
2
< ..., existe , N tal que , /
0
y :

:
0
.
En estas condiciones, : :
0
se verica que
|a
n
a|

a
n
a
n

a
n

<
c
2
+
c
2
= c
por lo que la sucesin (a
n
) es convergente.
15
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
9. Lmites innitos.
9.1. Deniciones.
Se dice que la sucesin de nmeros reales (a
n
) diverge (o "tiende") a +, y
se escribe lima
n
= +, si ' 0, con ' R, :
0
N tal que a
n
', :
:
0
. Anlogamente, se dice que la sucesin de nmeros reales (a
n
) diverge (o
"tiende") a , y se escribe lima
n
= , si ' < 0, con ' R, :
0
N
tal que a
n
< ', : :
0
.
De dice que una sucesin es divergente cuando diverge a + o a . Las
sucesiones que no son convergentes o divergentes se denominan oscilantes (p.e.,
((1)
n
). En adelante, diremos que una sucesin tiene lmite si es convergente
o es divergente, es decir, si no es oscilante. Incluso con esta ampliacin del
concepto de lmite, es fcil ver que ste sigue siendo nico.
9.2. Primeras propiedades.
Sean (a
n
) y (/
n
) dos sucesiones de nmeros reales. Si lima
n
= +y lim/
n
=
/ R, entonces es fcil ver que lim(a
n
+ /
n
) = +, que lim(a
n
/
n
) = +
cuando / 0, y que lim(a
n
/
n
) = cuando / < 0 (en el caso de que sea
/ = 0, nada se puede armar sobre la convergencia o divergencia de (a
n
/
n
):
cada caso debe ser analizado individualmente).
Si lima
n
= +y lim/
n
= +, entonces es fcil ver que lim(a
n
+/
n
) = +,
y que lim(a
n
/
n
) = +. Y si lima
n
= y lim/
n
= , entonces es fcil ver
que lim(a
n
+/
n
) = , y que lim(a
n
/
n
) = +. Sin embargo, si lima
n
= +
y lim/
n
= o si lima
n
= y lim/
n
= +, entonces nada se puede
armar sobre la convergencia o divergencia de (a
n
+ /
n
): cada caso debe ser
analizado individualmente.
Si a
n
0, : N, entonces es evidente que lima
n
= si y solamente si
lim
1
o
= 0 (id. para el caso a
n
< 0 y lima
n
= ).
Del mismo modo, es fcil probar que si (a
n
) es una sucesin de nmeros
reales montona creciente, entonces lima
n
= + si y solamente si (a
n
) no
est acotada superiormente. Anlogamente, si (a
n
) es una sucesin de nmeros
reales montona decreciente, entonces lima
n
= si y solamente si (a
n
) no
est acotada inferiormente.
Los llamados "casos de indeterminacin" en el clculo de lmites, como los
que han surgido en este apartado, sern tratados mas adelante.
10. La recta real ampliada.
Los resultados del apartado anterior sugieren ampliar al conjunto R = R
{+, } la estructura de orden de R y sus operaciones algebraicas (al menos
parcialmente). Concretamente:
16
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
rra1) r R : r .
rra2) r R, con r 6= : (+) + r = r + (+) = +.
rra3) r R, con r 6= + : () + r = r + () = (los resultados de
las operaciones (+) + () y () + (+), estn indeterminados).
rra4) (+) = ; () = +.
rra5) r, j R : r j = r + (j), siempre que esta suma tenga sentido
(los resultados de las operaciones (+) (+) y () (), estn
indeterminados).
rra6) r (0, +) {+} : (+) r = r (+) = +.
rra7) r {} (, 0) : (+) r = r (+) = .
rra8) r (0, +) {+} : () r = r () = .
rra9) r {} (, 0) : () r = r () = + (los resultados de las
operaciones (+) 0, 0 (+), () 0 y 0 (), estn indeterminados).
rra10)
1
+
=
1

= 0.
rra11) r, j R :
r

= r

, siempre que esta suma tenga sentido. Los resulta-

dos de las operaciones
1
0
(y, como consecuencia,
r
0
, r R),
+
+
,
+

,

+
y

, estn indeterminados.
rra13) |+| = || = +.
rra14) r (0, +) {+} : (+)
r
= (+).
rra15) r {} (, 0) : (+)
r
= 0 (los resultados de las operaciones
(+)
0
, 1
(+)
, 1
()
y 0
0
, estn indeterminados).
El conjunto R, con las correspondientes estructuras y operaciones alge-
braicas, se denomina recta real ampliada, pudiendo ser trasladadas directamente
a R muchas de las propiedades ya vistas de los nmeros reales y de las sucesiones
de nmeros reales.
11. Lmite superior y lmite inferior de una sucesin.
11.1. Deniciones.
Sea (a
n
) una sucesin de nmeros reales. Llamaremos lmite superior de
(a
n
), y lo representaremos por limsupa
n
a
limsupa
n
=

lim'
n
, si (a
n
) est acotada superiormente y lima
n
6= .
+, si (a
n
) no est acotada superiormente.
, si lima
n
= .
17
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
donde la sucesin ('
n
) se dene mediante
'
n
= sup{a
n
, a
n+1
, a
n+2
, ...}, : N.
Llamaremos lmite inferior de (a
n
), y lo representaremos por liminf a
n
a
liminf a
n
=

lim:
n
, si (a
n
) est acotada inferiormente y lima
n
6= +.
, si (a
n
) no est acotada inferiormente.
+, si lima
n
= +.
donde la sucesin (:
n
) se dene mediante
:
n
= inf{a
n
, a
n+1
, a
n+2
, ...}, : N.
11.2. Primeras propiedades.
Sea (a
n
) una sucesin de nmeros reales. Es fcil probar que se cumplen las
siguientes propiedades:
11.2.1. liminf a
n
limsupa
n
.
11.2.2. (a
n
) est acotada si y solamente si tanto liminf a
n
como limsupa
n
son
nmeros reales.
11.2.3. (a
n
) es convergente en R si y solamente si liminf a
n
y limsupa
n
son ambos
nmeros reales iguales entre si, vericndose en tal caso que
liminf a
n
= lima
n
= limsupa
n
11.2.4. (a
n
) es oscilante si y solamente si liminf a
n
< limsupa
n
.
11.2.5. lima
n
= + si y solamente si liminf a
n
= += limsupa
n
.
11.2.6. lima
n
= si y solamente si liminf a
n
= = limsupa
n
.
11.3. Algunos ejemplos.
11.3.1. liminf(1)
n
= 1 y limsup(1)
n
= 1, por lo que la sucesin ((1)
n
) es
oscilante.
11.3.2. liminf(1)
n
: = y limsup(1)
n
: = +, por lo que la sucesin
((1)
n
:) es oscilante.
11.3.3. liminf(1)
n

n+1
n
= 1 y limsup(1)
n

n+1
n
= 1, por lo que la sucesin

(1)
n n+1
n

es oscilante.
11.3.4. liminf sen: = 1 y limsupsen: = +1, por lo que la sucesin (sen:) es
oscilante.
18
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
11.3.5. Ya vimos en el ejemplo 6.1.1. que lim(1)
n
1
n
= 0, por lo que
liminf (1)
n
1
:
= limsup(1)
n
1
:
= 0.
11.3.6. liminf

:
2
+ 2: 1

= + y limsup

:
2
+ 2: 1

= +, por lo que
lim

:
2
+ 2: 1

= +.
11.3.7. liminf

3:
2
+ 2: 1

= y limsup

3:
2
+ 2: 1

= , por lo
que lim

3:
2
+ 2: 1

= .
12. Criterio de Stolz-Cesro (Stolz, aos 1842 a 1905; Cesro, aos
1859 a 1906).
Sean (a
n
) y (/
n
) dos sucesiones de nmeros reales. Si la sucesin (/
n
) es de
trminos positivos, montona creciente y no acotada superiormente, y el lmite
siguiente existe (y es igual a | R)
lim
a
n+1
a
n
/
n+1
/
n
= | R
Entonces el lmite
lim
a
n
/
n
tambin existe y es igual a | R.
El Teorema es igualmente vlido si la sucesin (/
n
) es montona estricta-
mente decreciente y lima
n
= lim/
n
= 0. La proposicin recproca, no es ver-
dadera.
Una prueba.
Dado que lim
o
+1
o

b+1b
= |, c 0, N tal que : :
| c <
a
n+1
a
n
/
n+1
/
n
< | + c
Multiplicando en esta ecuacin por /
n+1
/
n
, que es mayor que 0 por ser /
n
estrictamente creciente, se llega a
(| c)(/
n+1
/
n
) < a
n+1
a
n
< (| + c)(/
n+1
/
n
)
Sumando en esta ltima ecuacin desde hasta /, donde / N y / :
(| c)
|
X
I=
(/
n+1
/
n
) <
|
X
I=
(a
n+1
a
n
) < (| + c)
|
X
I=
(/
n+1
/
n
)
(| c)(/
|+1
/

) < a
|+1
a

< (| + c)(/
|+1
/

)
19
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
dividiendo por /
|+1
(que es mayor que 0):
(| c)(1
/

/
|+1
) <
a
|+1
/
|+1

a

/
|+1
< (| + c)(1
/

/
|+1
)
(| c)(1
/

/
|+1
) +
a

/
|+1
<
a
|+1
/
|+1
< (| + c)(1
/

/
|+1
) +
a

/
|+1
Considerando ahora que (/
n
) es divergente, 1 N tal que / 1 se verica
que la anterior expresin se simplica a
| c <
a
|+1
/
|+1
< | + c
lo cual signica que lim
o
b

= |, como queramos demostrar.

12.1. Ejemplos.
12.1.1. Dado que en
1+
1

2
+
1

3
+...+
1

n
=
o

, la sucesin /
n
=

: es de trmi-
nos positivos, montona creciente y no acotada superiormente, podemos
aplicar el anterior criterio. Al ser
lim
a
n
a
n1
/
n
/
n1
= lim
1

: 1
=
= lim

: +

: 1

:(

: 1)(

: +

: 1)
= lim

: +

: 1

:
= 2
se verica que lim
o
b

= lim
1+
1

2
+
1

3
+...+
1

n
= 2.
12.1.2. En
1+
1
2
+
1
3
+...+
1

log n
=
o
b

, la sucesin /
n
= log : es de trminos positivos,
montona creciente y no acotada superiormente, por lo que podemos
aplicar el anterior criterio. Al ser
lim
a
n+1
a
n
/
n+1
/
n
= lim
1
n+1
log(: + 1) log :
=
= lim
1
(: + 1) log(1 +
1
n
)
= lim
1
log

1 +
1
n

n+1
=
1
log c
= 1
resulta que lim
o
b

= lim
1+
1
2
+
1
3
+...+
1

log n
= 1.
12.1.3. Sea c 1, con c R. Dado que en
n
o

=
o

b
, la sucesin /
n
= c
n
es de trminos positivos, montona creciente y no acotada superiormente,
podemos aplicar el anterior criterio. Recordando los resultados del ejemplo
6.1.2., al ser
lim
a
n
a
n1
/
n
/
n1
= lim
1
c
n
c
n1
= lim
1
c
n
(1
1
o
)
= 0
resulta que lim
o

b
= lim
n
o

= 0.
20
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
12.1.4. Sea (a
n
) una sucesin convergente de nmeros reales, con lima
n
= a R.
Entonces, se verica que "la sucesin de las medias aritmticas" tambin
converge a a, es decir:
lim
a
1
+ a
2
+ ... + a
n
:
= a
En efecto, dado que en
o
1
+o
2
+...+o

n
=
r

la sucesin /
n
= : es de trmi-
nos positivos, montona creciente y no acotada superiormente, podemos
aplicar el anterior criterio. Al ser
lim
r
n
r
n1
j
n
j
n1
= lima
n
= a
resulta que lim
r

= lim
o
1
+o
2
+...+o

n
= a.
12.1.5. Sea (a
n
) una sucesin convergente de nmeros reales positivos, y lima
n
=
a R. Entonces, se verica que "la sucesin de las medias geomticas"
tambin converge a a, es decir:
lim

a
1
a
2
... a
n
= a
Esta propiedad se sigue de 12.1.4., tomando logaritmos neperianos.
12.1.6. Sea (a
n
) una sucesin de nmeros reales positivos, con la propiedad de
que lim
o+1
o
= | R. Entonces, se verica que lim

a
n
= |. En efecto,
tomando logaritmos en 1 = lim

a
n
, resulta log 1 = lim
log o
n
. Al ser
la sucesin (:) de trminos positivos, montona creciente y no acotada
superiormente, podemos aplicar el anterior criterio, resultando nalmente
que
log 1 = limlog
a
n+1
a
n
= log | 1 = |.
13. Equivalencia por cociente. rdenes de innitud.
Como hemos visto anteriormente, en el tratamiento de los lmites de suce-
siones, y especialmente en los casos de las sucesiones que convergen a 0 (llamadas
sucesiones innitsimas) a + o a , surgen las llamadas formas indetermi-
nadas o simplemente indeterminaciones, que son de los siguientes tipos: ,

,
0
0
, 0 ,
0
, 0
0
y 1

(en todos los casos anteriores nos estamos reriendo a

sucesiones que tienden a 0, 1 o ). En la resolucin de estas indeterminaciones,
con frecuencia desempea un importante papel la aplicacin de equivalencias
por cociente.
Se dice que las sucesiones de nmeros reales (a
n
) y (/
n
) son equivalentes por
cociente (o simplemente equivalentes), y se escribe (a
n
) (/
n
), si se verica que
lim
o

= 1. Una importante propiedad de las equivalencias por cociente es que,

al determinar el lmite de una sucesin que se pueda expresar como producto de
21
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
potencias de exponentes reales de otras sucesiones, stas pueden ser sustituidas
por otras que sean equivalentes por cociente a ellas, sin que se altere el lmite
buscado. Por ejemplo, si son (a
n
), (/
n
),(c
n
) y (d
n
) sucesiones de nmeros reales
tales que (a
n
) (a
0
n
), (/
n
) (/
0
n
), (c
n
) (c
0
n
) y (d
n
) (d
0
n
), entonces
lim
(a
n
)
2
5
(/
n
)
2
3
(c
n
)
1
4

d
n
= lim
(a
0
n
)
2
5
(/
0
n
)
2
3
(c
0
n
)
1
4

p
d
0
n
Esta propiedad no es cierta para el caso de que se trate de sustituir sucesiones
equivalentes por cociente en un lmite que corresponda a una suma, resta, o
combinacin lineal de sucesiones.
Buena parte de las equivalencias por cociente ms tpicas que se relacionan
a continuacin, se prueban utilizando tcnicas que veremos ms adelante, en
particular la Regla de LHpital y desarrollos en serie de potencias.
13.1. Si es (a
n
) una sucesin de nmeros reales tal que lim(a
n
) = 0, entonces:
sena
n
a
n
senha
n
a
n
tana
n
a
n
tanha
n
a
n
arcsena
n
a
n
argsenha
n
a
n
arctana
n
a
n
argtanha
n
a
n
1 cos a
n

a
2
n
2
cosha
n
1
a
2
n
2
c
o

1 a
n
log (1 + a
n
) a
n
Esta ltima equivalencia puede ser interpretada de la siguiente forma: Si
es (a
n
) una sucesin de nmeros reales tal que lim(a
n
) = 1, entonces
(log a
n
) (a
n
1).
Asimismo, de las tres ltimas equivalencias se deducen las dos siguientes:
Si es (a
n
) una sucesin de nmeros reales tal que lim(a
n
) = 0, entonces
si c 0, c
o

1 log c a
n
si j 0, (1 + a
n
)

1 j a
n
Esta ltima equivalencia puede ser interpretada de la siguiente forma: Si
es (a
n
) una sucesin de nmeros reales tal que lim(a
n
) = 1, y j 0 (con
j R), entonces (a

n
1) j(a
n
1).
22
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
13.2. Si es j(r) = a
n
r
n
+ a
n1
r
n1
+ ... + a
1
r + a
0
, con a
I
R para i =
0, 1, 2, ..., : y a
n
6= 0 un polinomio de grado :, con : 1, entonces
(cuando : ):

a
n
:
n
+ a
n1
:
n1
+ ... + a
1
: + a
0

(a
n
:
n
)
An ms: si es (:
n
) una sucesin tal que lim:
n
= +, entonces j(:
n
)
a
n
(:
n
)
n
y log (j(:
n
)) : log(:
n
). En particular,
log

a
n
:
n
+ a
n1
:
n1
+ ... + a
1
: + a
0

(: log :)
13.3. Frmula de Stirling: (:!)

2: :
n
c
n

.
13.4. rdenes de innitud: si son a, /, c R, con a 0, / 0 y c 1, entonces,
poniendo
1
= log
o
:,
2
= :
b
,
3
= c
n
,
4
= :!,
5
= :
n
, se verica
que existe :
0
N tal que : :
0
:
I
<

para i < ,, es decir

log
o
: < :
b
< c
n
< :! < :
n
Adems, utilizando las propiedades anteriormente vistas de las sucesiones,
se puede probar que
lim

I

= 0 para i < ,
lim

I

= para i ,
23
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.