3

Sucesiones numricas
Sucesiones numricas
3.1. Convergencia
3.2. Sucesiones montonas aco-
tadas
3.3. Subsucesiones: teorema de
Bolzano-Weierstrass
3.4. Sucesiones de Cauchy: com-
pletitud
3.5. Funciones elementales I: ex-
ponencial y logaritmo reales
3.6. Lmites innitos
3.7. Algunas sucesiones nota-
bles. Jerarqua de sucesiones
divergentes
3.8. Ejercicios resueltos
Contenidos
Adquirir el signicado de lmite
de una sucesin y saber calcu-
lar lmites de sucesiones senci-
llas
Saber que hay innitos de dife-
rentes tamaos y conocer los
rdenes de mgnitud usuales.
Saber que las sucesiones mon-
tonas acotadas tienen lmite y
saber utilizar este hecho.
Conocer el concepto de subsu-
cesin y el teorema de existen-
cia de subsucesiones convergen-
tes en una sucesin acotada.
Conocer que los conceptos de
sucesin de Cauchy y de suce-
sin convergente son equivalen-
tes. Saber que eso es un instru-
mento terico importante para
el curso.
Competencias
69
70 Sucesiones numricas
Las sucesiones constituyen una de las herramientas ms tiles para el Anli-
sis Matemtico. En la primera seccin de este captulo se dene el concepto de
lmite de una sucesin de nmeros reales o complejos estudiando las propieda-
des esenciales. Se demuestra que las sucesiones montonas acotadas tienen lmite,
lo que se aplica en particular, a la denicin del nmero e. A continuacin se
demuestra el principio de Cantor de los intervalos encajados, relacionado con la
propiedad de que la recta real es completa (no hay agujeros) y se obtiene el teo-
rema de Bolzano-Weierstrass sobre la existencia de subsucesiones convergentes en
cada sucesin acotada. La propiedad de completitud de la recta puede entonces
ser reformulada en trminos de que las sucesiones de Cauchy de nmeros reales
son convergentes. Este resultado y el de Bolzano-Weierstrass constituyen el ncleo
esencial del captulo.
En la segunda seccin se utilizan las ideas introducidas en la primera para
denir las potencias de base real positiva y exponente real, estudiando sus pro-
piedades. Se ilustra as la potencia de los resultados obtenidos al tiempo que se
da un sentido preciso a la funcin a
x
para x un nmero real, obtenindose en este
contexto general la validez de las reglas bsicas para operar con potencias.
La tercera seccin est dedicada al concepto de lmite innito y al estable-
cimiento de ciertas escalas de innito.
3.1. Convergencia
Una sucesin es una lista ilimitada de nmeros
a
1
, a
2
, a
3
, . . . , a
n
, . . .
donde los subndices 1, 2, 3, . . . , n hace referencia al lugar que ocupa el correspon-
diente nmero en la lista. Formalmente esa idea se formula en trminos de una
aplicacin de N en el cuerpo. Observe que a
i
puede ser igual a a
j
, para i = j, de
modo que la lista es ilimitada, pero el conjunto imagen {a
n
: n N} puede no ser
innito.
Denicin 3.1.1
(1) Se llama sucesin en R o C (representados indistintamente por K) a cual-
quier aplicacin : N K. Si a
n
:= (n) la sucesin se denota con (a
n
)
nN
o brevemente (a
n
)
n
. El nmero real a
n
recibe el nombre de trmino general
de la sucesin.
(2) Se dice que la sucesin (a
n
)
nN
tiene por lmite a K si para cada > 0
existe un nmero natural n
0
tal que si n > n
0
entonces |a
n
a| < . La
notacin que se utiliza es la siguiente:
a = lm
n
a
n
= lm
n
a
n
.
70
3.1 Convergencia 71
(3) Una sucesin se dice convergente cuando tiene lmite.
En el lenguaje de los cuanticadores la condicin lm
n
a
n
= a se escribe:
> 0, n
0
N, n N (n n
0
|a
n
a| < )
Las ms de las veces la sucesin vendr denida por una frmula en trminos
de n que permite calcular los diferentes trminos de la sucesin mediante una
sustitucin directa del valor de n. Tal es el caso de la sucesin
1, 1/2, 1/3, 1/4, . . . 1/n, . . .
en la que a
n
= 1/n.
Pero hay ms posibilidades, como las sucesiones recurrentes. Un ejemplo de este
tipo de sucesiones es la llamada sucesin de Fibonacci, denida por las frmulas:
a
1
= 1, a
2
= 1, a
n
= a
n1
+ a
n2
para n > 2
cuyos primeros trminos son
1, 1, 2, 3, 5, 8, 13, 21, . . .
Este tipo de sucesiones recurrentes aparecen muchas veces relacionadas con clcu-
los mediante ordenador y no siempre es posible obtener una frmula de n que
permita calcular el trmino a
n
mediante una sustitucin directa. Lo nico que
importa es que sea posible determinar de forma inequvoca el valor del trmino
n-simo. Eso signica, por ejemplo, que
a
n
:=
_
_
_
1 si el nombre en castellano del nmero n contiene la vocal a
0 en otro caso
es una sucesin (cales son sus primeros trminos?), mientras que
a
n
:=
_

_
1 si el nombre en castellano del nmero n contiene la vocal a
2 si el nombre en castellano del nmero n contiene la vocal e
0 en otro caso .
no es una sucesin (por qu?).
Ejemplos 3.1.2 Vamos a ilustrar con algunos ejemplos la denicin de lmite de
una sucesin.
(1) La sucesin constante dada por a
n
:= a K es convergente y su lmite es a.
En efecto: para cada > 0 dado se cumple que
|a
n
a| = |a a| = 0 <
para todo n N.
71
72 Sucesiones numricas
(2) La sucesin dada por a
n
:= 1/n es convergente y su lmite es 0. En efecto:
dado > 0, se trata de demostrar la existencia de n
0
N de modo que para
n > n
0
se tenga
|a
n
0| =
1
n
< .
Pero como n > n
0
se verica que 1/n < 1/n
0
y por tanto basta encontrar un
n
0
que verique
1
n
0
< que equivale a 1 < n
0

Tal n
0
existe como consecuencia de la propiedad arquimediana (proposi-
cin 2.2.9)
(3) La sucesin dada por
a
n
:=
n
n
6
+ 5n
3
+ 2n + 1
tiene lmite cero. En efecto: como en el caso anterior, dado > 0, se trata de
demostrar la existencia de n
0
N de modo que para n > n
0
se tenga
|a
n
0| =
n
n
6
+ 5n
3
+ 2n + 1
< .
La situacin ahora es ms complicada, pero si somos capaces de cambiar
n/(n
6
+5n
3
+2n+1) por algo ms manejable, que sea mayor que esta expre-
sin, pero menor que (a partir de cierto valor de n) habremos conseguido
nuestro propsito. Y efectivamente eso es posible ya que se tiene
n
n
6
+ 5n
3
+ 2n + 1
<
n
n
6
=
1
n
5

1
n
<
1
n
0
Basta ya conseguir n
0
de modo que
1
n
0
< ,
cuestin que ya hemos resuelto en el ejemplo anterior.
Si reexiona un poco sobre el lmite anterior, se dar cuenta de las razones
que nos han llevado a cambiar el denominador. Para estar seguro de que
lo ha entendido, trate de hacer una demostracin diferente, pero igualmente
rigurosa, cambiando el denominador por otra cosa... hay varias posibilidades!
(4) Si (a
n
)
nN
es una sucesin en K y a = lm
n
a
n
, entonces se cumple que
|a| = lm
n
|a
n
|. En efecto: jado > 0 existe n
0
N tal que |a a
n
| < si
n > n
0
; pero por la proposicin 2.2.20 se tiene

|a| |a
n
|

|a a
n
| < si n > n
0
,
lo que permite concluir |a| = lm
n
|a
n
|.
72
3.1 Convergencia 73
(5) Si a
n
> 0 para todo n y existe a = lm
n
a
n
entonces lm
n

a
n
=

a. En
efecto: supongamos inicialmente que a > 0, entonces jado > 0 existe
n
0
N tal que |a a
n
| <

a si n > n
0
; pero por otra parte se tiene la
siguiente estimacin
|

a
n
| =
|a a
n
|

a +

a
n

|a a
n
|

a
<

a
=
si n > n
0
, que demuestra precisamente que, en este caso, lm
n

a
n
=

a.
Queda como ejercicio para el lector hacer la demostracin en el caso a = 0.
La idea de la prueba anterior es eliminar las races cuadradas para hacer
aparecer la diferencia |a a
n
|; para conseguirlo se multiplica numerador y
denominador por

a +

a
n
. La misma idea puede servir para otros casos,
pero por qu expresin habra que multiplicar para hacer algo anlogo si
fuera una raz cbica, cuarta...? La ecuacin ciclotmica (ejercicio 2.1 pg. 66) es una
buena pista. Trate de aprovecharla para demostrar una versin ms general del ejemplo
anterior que arma: jado cualquier k N, si a
n
> 0 para todo n y existe a = lm
n
a
n
entonces lm
n
k

a
n
=
k

a.
(6) Si r K y |r| < 1 entonces la sucesin (a
n
)
n
donde a
n
:= r
n
tiene lmite 0. En
efecto: pongamos = |r| y sea b > 1 tal que = 1/(1 +b), entonces, usando
la desigualdad de Bernoulli (ejercicio 2.2, pg. 66) se tiene la estimacin
|a
n
0| = |r
n
| = |r|
n
=
n
=
1
(1 + b)
n
<
1
1 + nb
<
1
n
que conduce ya de forma inmediata a la conclusin.
(7) La sucesin (z
n
)
nN
donde
z
n
=
1
n
+
n
n + 1
i
tiene por lmite i. En efecto: la estimacin

_
1
n
+
n
n + 1
i
_
i

1
n

1
n + 1
i

1
n
+
1
n + 1

2
n
y los ejemplos anteriores permiten concluir que jado > 0 existe n
0
N
tal que si n > n
0
se verica |z
n
i| < .
(8) Una progresin geomtrica de razn r es una sucesin (a
n
)
n
en K donde a
1
es un elemento arbitrario de K y a
n
:= a
1
r
n1
para n > 1. Nuestro inters
aqu es sumar los innitos trminos de una tal progresin en la que |r| < 1.
73
74 Sucesiones numricas
Comenzamos calculando una expresin para la suma de los n primeros tr-
minos, es decir, una expresin para
S
n
:= a
1
+ a
2
+ + a
n
=
n

k=1
a
k
Para ello escribimos S
n
, rS
n
y restamos las dos expresiones, es decir:
S
n
=a
1
+ a
2
+ + a
n
= a
1
+ a
1
r + a
2
r + + a
n1
r
rS
n
=a
1
r + a
2
r + a
3
r + + a
n1
r + a
n
r
S
n
(1 r) = S
n
rS
n
=a
1
a
n
r
As obtenemos:
S
n
=
a
1
a
n
r
1 r
=
a
1
a
1
r
n
1 r
(expresin que suele ser recordada con una especie de slogan: la suma de los
n trminos de una progresin geomtrica es igual al primero menos el ltimo
por la razn dividido por 1 menos la razn).
Ahora la suma de los innitos trminos de una progresin geomtrica coincide
con
lm
n
S
n
= lm
n
a
1
a
n
r
1 r
=
a
1
lm
n
a
1
r
n1
r
1 r
=
a
1
1 r
debido a que lm
n
r
n
= 0, como vimos en el ejemplo 6 anterior.
Esta suma de innitos trminos (concebida como lmite de una sucesin) es
un recurso muy frecuente y til en el anlisis matemtico. Si (a
n
)
nN
es una
sucesin, podemos denir la sucesin
S
n
:= a
1
+ a
2
+ + a
n
=
n

k=1
a
k
denominada la sucesin de las sumas parciales de la sucesin inicial. Enton-
ces, si existe el lmite de (S
n
)
nN
tiene sentido escribir

k=1
a
k
:= lm
n
S
n
y denominar a esta cantidad suma innita. Los objetos as obtenidos, es
decir, las expresiones del tipo

k=1
a
k
son denominados series numricas (series de nmeros o, simplemente, series)
y son tan importantes que dedicaremos gran parte del captulo 7 a ellas.
74
3.1 Convergencia 75
Llamamos la atencin sobre el hecho de que estos ejemplos no proporcionan
una tcnica de clculo de lmites, sino que nicamente demuestran que cierto
candidato, que razonablemente parece ser lmite, efectivamente lo es.
En el captulo 5 desarrollaremos tcnicas para el clculo efectivo de lmites
de funciones que, en particular, sern de utilidad para calcular lmites de
sucesiones. Pero apoyandonos en Maxima, que conoce tales tcnicas aunque no
sepa demostrar nada, podemos anticiparnos y calcular ya lmites de algunas sucesiones,
como la del ltimo de los ejemplos que acabamos de ver
limit( (1/n)+%i*(n/(n+1)), n,inf);
El concepto que sigue es til para muchos nes y, en particular, para visuali-
zar el concepto de lmite, como luego veremos.
Denicin 3.1.3 Si a b son nmeros reales:
Se llama intervalo cerrado de extremos a, b al conjunto
[a, b] := {x R; a x b}.
Se llama intervalo abierto de extremos a, b al conjunto
(a, b) := {x R; a < x < b}.
Los conjuntos [a, b) y (a, b] reciben el nombre de intervalos semiabiertos por
la derecha e izquierda respectivamente:
[a, b) := {x R; a x < b} (a, b] := {x R; a < x b}
Se llama longitud del intervalo al nmero real b a.
Conectado con estos conceptos est la nocin de bola de centro x
0
y radio r > 0.
Denicin 3.1.4
(1) Se llama bola cerrada de centro x
0
y radio r > 0 y se denota con B[x
0
, r] al
conjunto B[x
0
, r] := {x K; |x x
0
| r}.
(2) Se llama bola abierta de centro x
0
y radio r > 0 y se denota con B(x
0
, r) al
conjunto B(x
0
, r) := {x K; |x x
0
| < r}.
Cuando K = R es claro que B(x, r) = (x r, x + r) y B[x, r] = [x r, x + r].
Obsrvese que, utilizando estos conceptos, el que la sucesin (a
n
)
nN
tenga
lmite a puede expresarse diciendo que para cualquier > 0 la bola abierta B(a, )
contiene a todos los trminos de la sucesin (a
n
)
n
salvo, a lo ms, un nmero nito.
Un primer hecho que se deduce de forma inmediata de la denicin (especial-
mente a travs de la visualizacin con bolas) es el siguiente.
Proposicin 3.1.5 El lmite de una sucesin convergente es nico.
Demostracin: Supongamos, por reduccin al absurdo, que la sucesin (a
n
)
n
tuviera dos lmites distintos, digamos a = b.
75
76 Sucesiones numricas
b
a
a
n
a
n

Sea = |a b|/4 > 0. Entonces, de acuerdo

con la denicin, existen nmeros naturales n
1
y
n
2
para los que se verica que
|a
n
a| < si n > n
1
y |a
n
b| < si n > n
2
as pues, llamando n
0
:= m ax{n
1
, n
2
} se debe cumplir que
|a
n
a| < si n > n
0
y |a
n
b| < si n > n
0
De donde se deduce que si n > n
0
ha de ser
|a b| = |a a
n
+ a
n
b| |a a
n
| +|a
n
b| < + = 2
|a b|
4
=
|a b|
2
y por tanto que 1 <
1
2
, lo cual no es cierto.
Una sucesin se dice acotada si su imagen, es decir el conjunto {a
n
: n N}, es
un conjunto acotado de R. De nuevo la visualizacin con bolas permite construir
de forma sencilla una demostracin de la proposicin que sigue.
Proposicin 3.1.6 Las sucesiones convergentes de K son acotadas.
Demostracin: Sea una sucesin convergente (a
n
)
nN
con lmite a. Aplicando la
denicin con = 1 podemos garantizar la existencia de un nmero natural n
0
tal
que si n > n
0
se cumple |a
n
a| < 1 y por tanto
|a
n
| = |a
n
a + a| |a
n
a| +|a| < 1 +|a|.
a
a
n
1
0
a
1
a
2
a
3
a
4
M
Llamando
M := m ax{|a
1
|, |a
2
|, . . . |a
n
0
|, (1 +|a|)}
se cumple que
|a
n
| M para todo n N,
es decir, la sucesin (a
n
)
n
es acotada.
El recproco no es cierto y la sucesin (x
n
)
n
denida por x
n
= (1)
n
es un ejemplo.
Un hecho que simplica mucho las cosas es que la convergencia en C puede
reducirse a la convergencia en R.
76
3.1 Convergencia 77
Proposicin 3.1.7 Sea (z
n
)
nN
una sucesin en C y sea z
n
= a
n
+ ib
n
donde a
n
y b
n
son, respectivamente, la parte real e imaginaria del complejo z
n
.
(1) Si (z
n
)
nN
es convergente con lmite z = a + bi, entonces (a
n
)
nN
es conver-
gente con lmite a y (b
n
)
nN
es convergente con lmite b.
(2) Recprocamente, si (a
n
)
nN
es convergente con lmite a y (b
n
)
nN
es conver-
gente con lmite b, entonces (z
n
)
nN
es convergente con lmite a + bi.
Demostracin: Se basa en las estimaciones
|a a
n
| |z z
n
| |a a
n
| +|b b
n
|.
a partir de los cuales el lector podr fcilmente completar los detalles.
Trate de realizar con detalle la demostracin anterior. En primer lugar hay que
justicar por qu las desigualdades anteriores son ciertas. Y a continuacin
establecer la equivalencia. No es difcil y representa un ejercicio de manejo
del valor absoluto que conviene realizar como entrenamiento. Si lo acaba en-
tendiendo bien, tendr mucho camino realizado para comprender las demostraciones
que vienen ms adelante. Si no lo consigue hacer ahora, vuelva a intentarlo despus
de haber entendido la demostracin de la proposicin 3.1.8... Seguro que entonces lo
conseguir!
En la proposicin siguiente establecemos el comportamiento de las sucesiones
convergentes con relacin a las operaciones ordinarias.
Proposicin 3.1.8 Sean (a
n
)
n
y (b
n
)
n
sucesiones convergentes en K con lmites
a y b, respectivamente. Entonces:
(1) (a
n
+ b
n
)
n
es una sucesin convergente con lmite a + b.
(2) (a
n
b
n
)
n
es una sucesin convergente con lmite ab.
(3) Si b
n
= 0 y b = 0 entonces la sucesin (a
n
/b
n
)
n
tiene por lmite a/b.
Demostracin: La del primer apartado es muy sencilla. Dado > 0 existen
enteros positivos n
1
y n
2
tales que se tiene
|a a
n
| <

2
si n > n
1
y |b b
n
| <

2
si n > n
2
.
Llamando n
0
= m ax{n
1
, n
2
} se tiene
|(a + b) (a
n
+ b
n
)| |a a
n
| +|b b
n
| <

2
+

2
= , para cada n > n
0
,
lo que prueba que a + b = lm
n
(a
n
+ b
n
).
77
78 Sucesiones numricas
Veamos el segundo apartado. Comencemos observando que por ser (a
n
)
n
una
sucesin convergente, de acuerdo con la proposicin inmediatamente anterior, exis-
te > 0 tal que |a
n
| para todo n N. Por tanto, se tiene:
|ab a
n
b
n
| = |ab a
n
b + a
n
b a
n
b
n
|
= |(a a
n
)b + a
n
(b b
n
)|
|a a
n
||b| +|a
n
||b b
n
|
|a a
n
||b| + |b b
n
|
Pero como a = lm
n
a
n
y b = lm
n
b
n
, jado > 0 existen n
1
, n
2
N tales que
|a a
n
| <

2(|b| + 1)
, si n > n
1
y |b b
n
| <

2
, si n > n
2
.
De donde se sigue
|ab a
n
b
n
| |a a
n
||b| + |b b
n
|
<

2(|b| + 1)
|b| +

2
<

2
+

2
=
siempre que n > n
0
:= m ax{n
1
, n
2
}. Esto prueba que lm
n
a
n
b
n
= ab.
No le parece un poco raro tomar

2(|b|+1)
? Hubiera sido ms natural tomar
slo

2|b|
, como se ha hecho en el segundo sumando. Si se hubiera hecho as la
demostracin sera incorrecta. Explique por qu.
( )
0 |b|

|b|/2
b
n
El ltimo apartado utiliza las mismas ideas del apartado
anterior, slo que, ahora, hemos de considerar una acotacin
inferior para la sucesin (|b
n
|)
n
en lugar de una acotacin su-
perior. Puesto que b = 0 y |b| = lm
n
|b
n
|, sin ms que aplicar
la denicin de lmite con = |b|/2 existe un nmero natural n
1
tal que se tiene
:=
|b|
2
< |b
n
|, para n > n
1
.
Por otra parte, si n > n
1
, se tienen las acotaciones siguientes:

a
b

a
n
b
n

=
|ab
n
a
n
b|
|b||b
n
|
=
|ab
n
ab + ab a
n
b|
|b||b
n
|

|a||b
n
b| +|a a
n
||b|
|b||b
n
|

|a||b
n
b| +|a a
n
||b|
|b|
78
3.1 Convergencia 79
Ahora, jado > 0 existen nmeros naturales n
2
, n
3
tales que
|b b
n
| <

2(|a| + 1)
|b|, si n > n
2
y |a a
n
| <

2|b|
|b|, si n > n
3
.
Si ahora llamamos n
0
:= m ax{n
1
, n
2
, n
3
} se cumple que

a
b

a
n
b
n

|a||b
n
b| +|a a
n
||b|
|b|
< |a|

2(|a| + 1)
+|b|

2|b|
<
para n > n
0
, lo que acaba la demostracin del tercer apartado.
Observacin 3.1.9 Fjese que en la demostracin anterior, al igual que en los
ejemplos 3.1.2, hemos utilizado la denicin de lmite con expresiones de muy
especiales. Por ejemplo:
(1) en el caso de lm
n
(a
n
+ b
n
), para > 0 dado, utilizamos las armaciones
lm
n
a
n
= a y lm
n
b
n
= b tomando /2;
(2) en el caso del producto la eleccin es an ms complicada: para dado
aplicamos la nocin de lmite con los valores modicados

2(|b| + 1)
y

2
;
(3) en el caso del cociente, elegimos

2(|a| + 1)
|b| y

2
.
Es fcil darse cuenta de que estas elecciones complicadas tienen como objetivo
obtener la conclusin sobre el nuevo lmite (de la suma, el producto o el cociente)
con un todo bonito; por ejemplo, en el caso del cociente, hemos concluido que,
jado > 0, para n n
0
:= m ax{n
1
, n
2
, n
3
} se tiene

a
b

a
n
b
n

<
Sin embargo tales elecciones complicadas son innecesarias. En efecto, si (a
n
)
nN
es
una sucesin, l R y demostramos que, para cierto nmero M > 0 jo, y para
cada > 0, existe n
0
N tal que si n n
0
se verica |a
n
l|< M, entonces
hemos demostrado que lm
n
a
n
= l.
Esto es sencillo de vericar: si suponemos cierto lo anterior, jamos > 0, y
aplicamos lo demostrado para

:= /M, entonces existir n

0
N (posiblemente
distinto de n
0
, puesto que el valor de ste depende del elegido), tal que si n n

0
,
79
80 Sucesiones numricas
entonces |a
n
l|< M

= . Lo esencial, naturalmente, es que M debe ser una

cantidad ja, independiente de n.
Por ejemplo, veamos qu obtenemos en el caso del producto de la proposicin
anterior, sin ninguna eleccin especial. Femos > 0, puesto que lma
n
= a y
lm
n
b
n
= b, existen n
1
, n
2
N tales que:
|a a
n
| < , si n > n
1
y |b b
n
| < , si n > n
2
,
de donde obtenemos:
|a
n
b
n
ab| < |b| + = (|b| + )
siempre que n > n
0
:= m ax{n
1
, n
2
}. Esto es, se verica lm
n
a
n
b
n
= ab. As acaba
esta larga observacin.
La idea de la proposicin anterior es obtener el lmite de una sucesin construida
a partir de otras utilizando para ello los lmites de las sucesiones que sirven para
construirla. Los casos considerados en la proposicin no son los nicos y la misma
estrategia se utiliza, como ms adelante veremos, en otras situaciones.
Observe que en la proposicin anterior, antes de hacer la suma, el producto,
etc. se supone que los lmites de las sucesiones que aparecen existen. Sin
embargo, la existencia del lmite de la suma no implica la existencia del lmite
de los sumandos; y otro tanto ocurre con el producto o el cociente. Busque
ejemplos que corroboren esta armacin.
Proposicin 3.1.10 Sean (a
n
)
nN
y (b
n
)
nN
sucesiones convergentes de nmeros
reales con lmites a y b respectivamente.
(1) Si a
n
b
n
, para todo n N, entonces se verica que a b.
(2) Si a < b, entonces se verica que existe n
0
N tal que a
n
< b
n
para todo
n > n
0
.
(3) Si (a
n
)
n
, (b
n
)
n
y (c
n
)
n
son sucesiones de nmeros reales tales que
a
n
c
n
b
n
y lm
n
a
n
= lm
n
b
n
= , entonces lm
n
c
n
= (regla del sandwich).
Demostracin: Para el primer apartado supongamos, por reduccin al absurdo,
que fuera a > b. Tomando := (a b)/4 debera existir n
0
tal que para n > n
0
se
cumplira
|a a
n
| < y |b b
n
| <
con lo cual se tendra, siempre para n > n
0
,
b
n
= b
n
b + b |b
n
b| + b < + b < a < a
n
, pues 2 < a b,
80
3.2 Sucesiones montonas acotadas 81
y esto contradice la hiptesis a
n
b
n
para todo n N.
Para la segunda parte elamos un > 0 de tal forma que a+ < b; entonces,
existe n
0
N tal que para n n
0
tenemos a
n
(a , a +) y b
n
(b , b +),
por lo que a
n
< b
n
si n n
0
.
Finalmente para la tercera parte observemos que dado > 0 existe n
0
N tal
que si n > n
0
los puntos a
n
y b
n
pertenecen a la bola B(, ) y al ser a
n
c
n
b
n
tambin se tiene que c
n
B(, ), pero eso es lo mismo que decir que |c
n
| <
para n > n
0
. En otras palabras, lm
n
c
n
= .
Ejemplo 3.1.11 Sea R
+
:= [0, +) := {x R : x 0}. Sea x R
+
y sea [x] la
parte entera de x. Calculemos el valor de
lm
n
[x] + [2x] + + [nx]
n
2
.
Comencemos observando que como [x] x [x] + 1 se tiene x 1 < [x] x
y anlogamente kx 1 < [kx] kx para k = 1, 2, . . . , n de donde, sumando y
dividiendo por n
2
se tiene
(1 + 2 + + n)x n
n
2
<
[x] + [2x] + + [nx]
n
2

(1 + 2 + + n)x
n
2
.
Pero como 1 + 2 + + n = (1 + n)n/2, por ser una progresin aritmtica
1
, se
obtiene nalmente que el lmite buscado es x/2.
3.2. Sucesiones montonas acotadas
Hemos introducido la nocin de sucesin convergente, pero si nos dan una
sucesin cmo podemos saber si es convergente? cmo calcular su lmite? En
general, la respuesta a estas preguntas es complicada y a lo largo del captulo
iremos dando respuestas parciales; no obstante para algunos tipos particulares de
sucesiones, como las consideradas en la proposicin 3.2.2, la respuesta es sencilla.
Denicin 3.2.1 Sea (a
n
)
nN
una sucesin en R.
(1) Se dice que la sucesin es montona creciente o simplemente creciente si
a
n
a
n+1
, para todo n N.
(2) Se dice que la sucesin es montona decreciente o simplemente decreciente
si a
n
a
n+1
, para todo n N.
1
Una progresin aritmtica es una lista ordenada de nmeros en la que cada trmino se obtiene
sumando al anterior una cantidad ja. Si una tal progresin tiene n trminos, es fcil percatarse
de que la suma del primero y el ltimo, a
1
+a
n
, coincide con la suma del segundo y el penltimo,
a
2
+ a
n1
y lo mismo es cierto con a
3
+ a
n2
etc. En consecuencia, agrupando de ese modo se
obtiene que a
1
+ a
2
+ + a
n1
+ a
n
= (a
1
+ a
n
)
n
2
81
82 Sucesiones numricas
(3) Se dice que la sucesin es montona si es creciente o decreciente.
Proposicin 3.2.2 Sea (a
n
)
nN
una sucesin montona de nmeros reales.
(1) Si la sucesin es creciente y acotada superiormente entonces es convergente
siendo su lmite el nmero real sup{a
n
: n N}.
(2) Si la sucesin es decreciente y acotada inferiormente entonces es convergente
siendo su lmite el nmero real nf{a
n
: n N}.
Demostracin: Si (a
n
)
nN
es una sucesin montona creciente acotada superior-
mente, entonces existe el supremo del conjunto {a
n
: n N} que denotaremos
con a. Se verica que a = lm
n
a
n
. En efecto: jado > 0, existe n
0
N tal
que a < a
n
0
(segn el ejercicio 5 del captulo 2) y al ser (a
n
)
n
una sucesin
montona creciente para cada n > n
0
se tiene
a < a
n
0
a
n
a < a + ,
lo cual signica que a = lm
n
a
n
.
El caso de sucesiones montonas decrecientes es anlogo.
Escriba los detalles de la prueba en el caso de sucesiones montonas decrecien-
tes. Hgalo de dos maneras: 1) modicando adecuadamente la demostracin
del caso creciente y 2) utilizando una astucia que permita reducir la nueva
situacin a la anterior (ya resuelta).
Ejemplo 3.2.3 Vamos a calcular el lmite de la sucesin (a
n
)
n
denida recurren-
temente por las frmulas
a
1
=

2 , a
n+1
=

2 + a
n
.
Para ello observamos que a
1
< a
2
< a
3
< . . . , lo que induce a pensar que la
sucesin (a
n
)
n
as denida es montona creciente, como de hecho ocurre. Vamos
a probarlo por induccin sobre n. Es claro que a
1
< a
2
. Supongamos ahora que
a
n1
< a
n
, en cuyo caso a
n
=

2 + a
n1
<

2 + a
n
= a
n+1
. El mtodo de
induccin (corolario 2.2.3) permite concluir que la sucesin (a
n
)
n
es estrictamente
creciente.
Adems la sucesin est acotada por 2. Esto tambin se prueba por induccin
sobre n. Es claro que a
1
2 y supuesto que a
n
2 se tiene que a
n+1
=

2 + a
n

2 + 2 = 2.
Aplicando ahora la proposicin 3.2.2 se obtiene que la sucesin (a
n
)
n
converge.
Llamemos a al lmite de dicha sucesin. Tomando lmites (y teniendo en cuenta el
ejemplo 5 en la pgina 73) se tiene la siguiente ecuacin
lm
n
a
n+1
=
_
2 + lm
n
a
n
, es decir a =

2 + a,
82
3.2 Sucesiones montonas acotadas 83
o, si se preere, a
2
= 2 + a. Esta ecuacin de segundo grado tiene dos soluciones,
pero nicamente la solucin a = 2 puede ser el lmite de la sucesin considerada,
de modo que, nalmente lm
n
a
n
= 2.
Hemos armado en el prrafo anterior que slo la solucin a = 2 de la ecuacin
a
2
= 2 + a puede ser el lmite de la sucesin. Cul es la otra solucin de la
ecuacin? por qu no puede ser lmite de la sucesin?
Corolario 3.2.4 (1) La sucesin (a
n
)
nN
denida por
a
n
=
_
1 +
1
n
_
n
es montona creciente y acotada.
(2) La sucesin (b
n
)
nN
denida por
b
n
=
_
1 +
1
n
_
n+1
es montona decreciente y acotada.
(3) Las sucesiones (a
n
)
nN
y (b
n
)
nN
anteriores tienen el mismo lmite, cuyo
valor se denota con e.
(4) Adems el nmero e tambin es el lmite de la sucesin (S
n
)
nN
denida por
S
n
= 1 +
1
1!
+
1
2!
+ +
1
n!
.
(5) El nmero real e es irracional.
Demostracin: De la desigualdad de Bernoulli (ejercicio 2.2 pg. 66)
(1 + x)
n
> 1 + nx para x = 0 y 1 < x
se tiene para n > 1,
a
n
b
n1
=
_
n
2
1
n
2
_
n
=
_
1
1
n
2
_
n
> 1 n
1
n
2
=
_
n
n 1
_
1
=
_
1 +
1
n 1
_
1
y por tanto a
n
> b
n1
_
1 +
1
n1
_
1
= a
n1
.
Anlogamente
b
n1
a
n
=
_
n
2
n
2
1
_
n
=
_
1 +
1
n
2
1
_
n
>
_
1 +
1
n
2
_
n
> 1 + n
1
n
2
= 1 +
1
n
.
83
84 Sucesiones numricas
y por tanto b
n1
> a
n
(1 +
1
n
) = b
n
. Adems 2 = a
1
< a
n
< b
n
< b
1
= 4
por lo que ambas convergen, al ser sucesiones montonas acotadas. Pero siendo
b
n
= (1 +
1
n
)a
n
se concluye que ambas sucesiones convergen hacia un mismo lmite
que denotaremos con e. Esto acaba la prueba de los tres primeros apartados.
Veamos ahora el cuarto apartado. En primer lugar, desarrollamos segn el binomio
de Newton, para obtener:
a
n
=
_
1 +
1
n
_
n
=
_
n
0
_
+
1
n
_
n
1
_
+
1
n
2
_
n
2
_
+ +
1
n
n1
_
n
n 1
_
+
1
n
n
_
n
n
_
y observamos que, para 1 k n, tenemos:
1
n
k
_
n
k
_
=
1
k!
n(n 1) (n k + 1)
n
k
=
1
k!
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_
Entonces
a
n
= 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
n!
_
1
1
n
_
. . .
_
1
n 1
n
_

k=0
1
k!
= S
n
< 1 + 1 +
1
2
+
1
2
2
+ +
1
2
n1
< 3 (n 1)
La sucesin (S
n
)
n
es convergente ya que es creciente y acotada superiormente.
Adems, para cada m jo, si n > m se tiene:
a
n
= 1 + +
1
m!
_
1
1
n
_
. . .
_
1
m1
n
_
+ +
1
n!
_
1
1
n
_
. . .
_
1
n 1
n
_
> 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
m!
_
1
1
n
_
. . .
_
1
m1
n
_
y tomando limites en n se concluye e = lm
n
a
n
S
m
para todo m. As pues,
a
n
S
n
e y de la proposicin 3.1.10 se sigue nalmente que lm
n
S
n
= e.
Para probar que e es irracional procedemos por reduccin al absurdo. Obser-
vemos en primer lugar que
e S
n
= lm
p
p

k=0
1
k!

n

k=0
1
k!
= lm
p
p

k=n+1
1
k!
Pero sustituyendo (n +1), (n +2), . . . (n +k) por (n +1) obtenemos la estimacin
n+q

k=n+1
1
k!
=
1
n!
q

k=1
1
(n + 1)(n + 2) (n + k)
<
1
n!
q

k=1
1
(n + 1)
k
Entonces, usando la frmula de la suma de una progresin geomtrica, se tiene la
siguiente acotacin:
e S
n
= lm
q
n+q

k=n+1
1
k!

1
n!
lm
q
q

k=1
1
(n + 1)
k
=
1
n!
1
n+1
1
1
n+1
=
1
n!
1
n
84
3.3 Subsucesiones: teorema de Bolzano-Weierstrass 85
Si fuera e =
p
q
, tomando n = q en la estimacin anterior se tendra
0 <
p
q
S
q
<
1
q!q
y multiplicando por q! obtendramos
0 < q!
p
q
q!S
q
<
1
q
pero siendo q!
p
q
y q!S
q
nmeros naturales se seguira que existe un entero positivo
menor que 1. Esto prueba que e no es un nmero racional.
3.3. Subsucesiones:
teorema de Bolzano-Weierstrass
La siguiente propiedad de los intervalos encajados est fuertemente relacionada
con la completitud de R, es decir con el hecho de que en la recta real no hay
agujeros.
Proposicin 3.3.1 (Principio de encaje de Cantor) Sea {(I
n
)
n
: n N}
una sucesin de intervalos cerrados de R tales que:
(1) I
n+1
I
n
;
(2) la longitud de I
n
tiene por lmite cero.
Entonces existe un nico nmero real comn a todos los intervalos.
Demostracin: Sea I
n
:= [a
n
, b
n
]. Entonces para cualquier k N, b
k
es una cota
superior de la sucesin (a
n
)
nN
ya que por ser la sucesin de intervalos encajados,
tenemos, para todo n k:
a
1
a
2
a
n
b
n
b
k
.
As, (a
n
)
nN
es una sucesin montona creciente acotada superiormente, por lo que
es convergente. Si a := lm
n
a
n
entonces se cumple a b
k
para todo k y, como
a
k
a b
k
para todo k se obtiene que a

nN
I
n
, en particular la interseccin
anterior es no vaca. Por otra parte si suponemos que existen y , con <
y ,

nN
I
n
, tendramos que el [, ]

nN
I
n
; pero esto no es posible, ya
que en ese caso la longitud de todos los I
n
sera mayor o igual que la longitud del
intervalo [, ], lo que contradice el hecho de que la longitud de I
n
tiene por lmite
cero.
85
86 Sucesiones numricas
Considere la sucesin de intervalos I
n
= (0, 1/n). Calcule

nN
I
n
.
Analice el resultado a la luz de la proposicin anterior. La contradice? Qu ocurre?
Si tenemos una sucesin
a
1
, a
2
, a
3
, a
4
, a
5
, . . . a
n
, . . .
podemos construir a partir de ella otras sucesiones eliminando trminos de la
sucesin inicial, como por ejemplo la sucesin
a
1
, a
3
, a
5
, . . . a
2n1
. . .
o la sucesin
a
2
, a
4
, a
6
, . . . a
2n
. . .
Estas sucesiones has se conocen con el nombre de subsucesiones de la sucesin
inicial. Sus trminos son un subconjunto de los iniciales, pero no cualquier sub-
conjunto, han de respetar el orden de la lista inicial aunque su posicin sea otra.
As, en el primer ejemplo el trmino a
5
ocupa el tercer lugar, lo que signica que
corresponde al trmino b
3
si denotramos dicha sucesin como
b
1
, b
2
, b
3
, . . . , b
n
, . . . .
En cambio
a
1
, a
3
, a
2
, a
5
, a
7
, a
4
, a
9
, a
11
, a
6
. . . ,
es una sucesin pero no es una subsucesin de la sucesin inicial porque no conserva
el orden en la numeracin de la misma.
Denicin 3.3.2 Sea : N K una sucesin y sea : N N montona
estrictamente creciente. La sucesin : N K se dice que es una subsu-
cesin de la anterior. Si (a
n
)
nN
:= ((n))
nN
es la sucesin inicial entonces la
subsucesin se denota del siguiente modo (a
n
k
)
kN
:= ( (k))
kN
.
En los ejemplos anteriores, vendra dada por (k) = 2k 1 en el primer caso
a
n
1
= a
1
, a
n
2
= a
3
, a
n
3
= a
5
, . . . a
n
k
= a
2k1
mientras que en el segundo (k) = 2k y
a
n
1
= a
2
, a
n
2
= a
4
, a
n
3
= a
6
, . . . a
n
k
= a
2k
.
A partir de la sucesin (a
n
)
nN
:= ((n))
nN
y la aplicacin estrictamente
creciente : N N, la subsucesin (a
n
k
)
kN
, donde n
k
= (k) para cada k N,
se denotar tambin en la forma (a
(k)
)
kN
.
86
3.3 Subsucesiones: teorema de Bolzano-Weierstrass 87
En ocasiones nos veremos obligados a tomar una subsucesin de una subsuce-
sin y esto es complicado de expresar. Siguiendo la denicin de una subsucesin,
a partir de la anterior (a
n
k
)
kN
= ( (k))
kN
, si : N N es otra aplicacin
estrictamente creciente, deniramos la subsucesin de la subsucesin anterior me-
diante
(a
n
kp
)
pN
= ( (p))
pN
Como se ve la notacin (a
n
kp
)
p
es complicada y, en ocasiones, utilizaremos la
notacin alternativa (a
(p)
)
pN
. Observe que una subsucesin de una subsucesin
de (a
n
)
n
es subsucesin de (a
n
)
n
.
Por ejemplo, si, como antes, (k) = 2k1 y (p) = 2p, entonces (p) = 4p1
y la subsucesin (a
n
kp
)
p
= (a
(p)
)
p
es:
a
n
k
1
= a
3
, a
n
k
2
= a
7
, a
n
k
3
= a
11
, . . .
Proposicin 3.3.3 Si una sucesin (a
n
)
nN
es convergente cualquier subsucesin
suya converge al mismo lmite.
Demostracin: Supongamos que (a
n
)
nN
es una sucesin convergente con lmite
a. Entonces dado > 0 existe un nmero natural p tal que si n > p se verica que
|a
n
a| < . Sea (a
n
k
)
kN
una subsucesin de (a
n
)
n
. Necesariamente para todo
k N se cumple que k n
k
(por qu?); por tanto, dado > 0 si p es como antes
y si k > p se tiene |a
n
k
a| < , lo que signica que lm
k
a
n
k
= a.
Teorema 3.3.4 (Bolzano-Weierstrass) Cualquier sucesin acotada en R posee
una subsucesin convergente.
Demostracin: Sea (a
n
)
nN
una sucesin acotada y sean c
0
, d
0
dos nmeros reales
tales que c
0
a
n
d
0
, para todo n N. Sea m
0
el punto medio del intervalo
I
0
:= [c
0
, d
0
]. Entonces uno al menos de los conjuntos
{n N : a
n
[c
0
, m
0
]} {n N : a
n
[m
0
, d
0
]}
es innito.
Elegimos uno de los intervalos [c
0
, m
0
] [m
0
, d
0
], para el que el conjunto aso-
ciado antes sea innito y lo denotamos con I
1
= [c
1
, d
1
]. Tomamos n
1
N de
forma que a
n
1
I
1
. A continuacin dividimos el intervalo I
1
por su punto medio y
denotamos con I
2
= [c
2
, d
2
] uno de los dos subintervalos de dicha divisin, elegido
con el mismo criterio que se eligi I
1
a partir de los dos subintervalos de I
0
. Como
el conjunto {n N : a
n
[c
2
, d
2
]} es innito podemos elegir n
2
> n
1
de forma
que a
n
2
I
2
. Por induccin se obtiene as una sucesin de intervalos (I
k
)
k
y una
subsucesin (a
n
k
)
kN
de (a
n
)
n
, de modo que:
(1) I
k+1
I
k
, siendo L(I
k
) =
1
2
k1
L(I
0
), donde con L denotamos la longitud del
correspondiente intervalo;
87
88 Sucesiones numricas
(2) a
n
k
I
k
.
Aplicando la proposicin 3.3.1 a la sucesin (I
k
)
kN
se tiene garantizada la exis-
tencia de z

k
I
k
. Como consecuencia de las dos propiedades anteriores es claro
que z = lm
k
a
n
k
y la prueba est completa.
El teorema de Bolzano-Weierstrass tambin es cierto para C.
Corolario 3.3.5 Cualquier sucesin acotada en C posee una subsucesin conver-
gente.
Demostracin: Sea (z
n
)
nN
una sucesin acotada de complejos y sea z
n
= a
n
+ib
n
donde a
n
y b
n
son nmeros reales. Las sucesiones (a
n
)
nN
y (b
n
)
nN
son acotadas
en R debido a que |a
n
| |z
n
| y |b
n
| |z
n
|. Por tanto, aplicando el teorema de
Bolzano-Weierstrass para R, existe una subsucesin (a
(k)
)
kN
de (a
n
)
nN
conver-
gente a un real, digamos, a. La subsucesin correspondiente de las partes imagina-
rias (b
(k)
)
kN
de (b
n
)
nN
es, obviamente, acotada y por tanto, aplicando de nuevo
el teorema de Bolzano-Weierstrass para R, posee necesariamente una subsucesin
(b
(p)
)
pN
convergente a un nmero real, digamos, b. Sea (a
(p)
)
pN
la sucesin
de las partes reales correspondientes a (b
(p)
)
pN
. Al ser (a
(p)
)
p
una subsucesin
de (a
(k)
)
k
es tambin convergente a a.
Finalmente, de acuerdo con la proposicin 3.3.3, z
(p)
:= a
(p)
+ ib
(p)
es
una subsucesin de (z
n
)
nN
convergente a a + ib.
Corolario 3.3.6 Si una sucesin acotada (a
n
)
nN
en K tiene la propiedad de que
cualquier subsucesin suya que converja tiene por lmite un valor jo a K,
entonces
a = lm
n
a
n
.
Demostracin: Si a no fuera el lmite de la sucesin entonces existira
0
de mo-
do que el complementario de la bola B(a,
0
) contendra una cantidad innita de
puntos de la sucesin (a
n
)
nN
. Por tanto existira una subsucesin de (a
n
)
nN
con-
tenida en el complementario de B(a,
0
) (cmo podra construirse esta sucesin?)
que denotaremos con (b
n
)
nN
.
Como la sucesin (b
n
)
nN
es acotada entonces por el teorema de Bolzano-
Weierstrass poseera una subsucesin (b
n
k
)
kN
que tambin sera subsucesin
de (a
n
)
nN
convergente a un punto, digamos, b. Pero entonces |b a|
0
ya
que |b
n
a|
0
para todo n y esto est en contradiccin con la hiptesis de que
cualquier subsucesin de (a
n
)
nN
que converja tiene lmite a.
88
3.4 Sucesiones de Cauchy: completitud 89
3.4. Sucesiones de Cauchy: completitud
El concepto de sucesin de Cauchy es un concepto fundamental del Anlisis
Matemtico que va mucho ms all de los contenidos de este curso. Las sucesiones
de Cauchy son aquellas cuyos trminos estn entre s tan cerca como deseemos con
tal de que prescindamos de una cantidad nita de ellos.
En una sucesin convergente, por denicin, sus trminos estn tan cerca del
lmite como deseemos, con la condicin de prescindir de unos cuantos y, por
tanto, si casi todos estn cerca del lmite tambin estn cerca entre s. O dicho
de manera ms precisa, una sucesin convergente es de Cauchy. En esta seccin
vamos a ver que el recproco tambin es cierto en R y C.
Denicin 3.4.1 Una sucesin (a
n
)
nN
en K se dice de Cauchy si para cada > 0
existe un nmero natural n
0
tal que si n, m son nmeros naturales vericando
n
0
n y n
0
m entonces |a
m
a
n
| < .
Utilizando los cuanticadores y conectores lgicos, la denicin anterior se es-
cribe:
> 0 n
0
N n, m N(n n
0
m n
0
= |a
m
a
n
| < )
Ejemplos 3.4.2 Las sucesiones de trminos generales
a
n
=
1
n
y b
n
=
n

k=1
1
k
2
son de Cauchy. En el caso de la sucesin (a
n
)
nN
esto es muy fcil ya que jado
> 0 existe, por la propiedad arquimediana, n
0
N tal que 1/n
0
< /2 y en
consecuencia
|a
n
a
m
| =

1
n

1
m

1
n

1
m

<

2
+

2
= .
Para la sucesin (b
n
)
nN
hay que observar en primer lugar que
1
n 1

1
n
=
1
n(n 1)
>
1
n
2
con lo que, si m > n, se tiene
|b
m
b
n
| =

1
(n + 1)
2
+
1
(n + 2)
2
+ +
1
m
2

_
1
n

1
(n + 1)
_
+
_
1
(n + 1)

1
(n + 2)
_
+ +
_
1
m1

1
m
_
=
1
n

1
m
<
1
n
.
Dado > 0 existe n
0
N tal que 1/n
0
< y en consecuencia si n, m > n
0
se tiene
|b
m
b
n
| < . Esto acaba la prueba de que ambas sucesiones son de Cauchy.
89
90 Sucesiones numricas
Para probar que una sucesin es convergente es necesario, a tenor de la deni-
cin, tener un candidato a lmite de la misma. El teorema que sigue es bsico,
puesto que establece la posibilidad de demostrar que una sucesin tiene lmite sin
necesidad de disponer del candidato.
Teorema 3.4.3 (Completitud de R y C) Una sucesin en K es convergente si
y slo si es de Cauchy.
Demostracin: En primer lugar vamos a probar que si (a
n
)
nN
es una sucesin
convergente, entonces (a
n
)
nN
es una sucesin de Cauchy. En efecto, llamando a
al lmite de la sucesin, tenemos que: dado > 0 existe n
0
N tal que si n > n
0
se cumple |a
n
a| < /2; por tanto tomando n, m > n
0
se tiene
|a
m
a
n
| = |a
m
a + a a
n
| |a
m
a| +|a a
n
| <

2
+

2
= .
Para probar el recproco comencemos probando que una sucesin de Cauchy es
acotada. En efecto, dado = 1 existe n
0
N tal que si n > n
0
se cumple
|a
n
a
n
0
| < = 1,
de donde siempre que n > n
0
se verica
|a
n
| = |a
n
a
n
0
+ a
n
0
| |a
n
a
n
0
| +|a
n
0
| < 1 +|a
n
0
|
y si llamamos
M := m ax{|a
1
|, |a
2
|, . . . , |a
n
0
|, 1 +|a
n
0
|}
se tiene que para todo n N es |a
n
| M, es decir (a
n
)
nN
es una sucesin acotada.
Ahora aplicando el teorema de Bolzano-Weierstrass (3.3.4 y 3.3.5) sabemos que
la sucesin acotada (a
n
)
nN
posee una subsucesin (a
n
k
)
kN
convergente, digamos
a b. Para acabar, nicamente hemos de probar que b es precisamente el lmite de
la sucesin (a
n
)
nN
. A tal n observemos que, como (a
n
)
nN
es de Cauchy, dado
> 0 existe n
0
N tal que si n, m > n
0
se cumple
|a
n
a
m
| <

2
.
Por otra parte, debido a que lm
k
a
n
k
= b, existe k
0
N de modo que
|a
n
k
b| <

2
siempre que k > k
0
. Tomemos p > m ax{n
0
, k
0
} jo y sea n > p entonces se cumple
|a
n
b| = |a
n
a
np
+ a
np
b| |a
n
a
np
| +|a
np
b| <

2
+

2
= .
Lo que signica que lm
n
a
n
= b, como queramos demostrar.
En la ltima acotacin se ha utilizado que
|a
n
a
np
| <

2
.
Explique detalladamente por qu es cierta esa desigualdad.
90
3.5 Funciones elementales I: exponencial y logaritmo reales 91
3.5. Funciones elementales I: exponencial y loga-
ritmo reales
El concepto de cuerpo R nos permite hacer uso de las cuatro operaciones b-
sicas: sumar, restar, multiplicar y dividir. En la seccin 2.2.2 hemos introducido
otra operacin: la raz n-sima positiva de un nmero real positivo. En esta seccin
vamos a ocuparnos de otras operaciones (o funciones) bsicas cuyas propiedades
son conocidas de la enseanza media, las exponenciales y los logaritmos, pero sera
necesario cimentar de forma consistente con el desarrollo axiomtico que estamos
realizando. Esto no modicar nuestros usos pero tal vez s nuestra comprensin
del signicado de algo tan familiar como a
b
. Porque... es claro el valor de 2
3
y de
(2)
3
, pero cul es el valor de 2

2
o de (2)

2
?
Aunque no haremos las demostraciones, porque requieren un tiempo del que no
disponemos, s esquematizareremos las lneas maestras de la construccin rigurosa.
Quien est interesado puede encontrar los detalles en la pgina 51 y ss. del libro
de Ortega [1].
3.5.1. Exponentes enteros
Cuando a R y n N, con a
n
se denota el producto de a por s mismo n-veces.
Y es bien conocido (y en todo caso, de comprobacin sencilla) que se verican las
siguientes propiedades para n, m N y a, b R
Proposicin 3.5.1
(1) a
n+m
= a
n
a
m
.
(2) (ab)
n
= a
n
b
n
.
(3) (a
n
)
m
= a
nm
.
(4) Si a > 1 y n < m, entonces a
n
< a
m
.
Si a < 1 y n < m, entonces a
n
> a
m
.
(5) Si 0 < a < b y n > 0, entonces a
n
< b
n
.
Si 0 < a < b y n < 0, entonces a
n
> b
n
.
La denicin de a
n
puede extenderse para n Z deniendo
a
0
:= 1 y a
n
= 1/a
n
si n es un entero negativo.
Y con esa denicin es sencillo comprobar que la proposicin anterior tambin es
cierta cuando n Z.
91
92 Sucesiones numricas
3.5.2. Exponentes racionales
En la proposicin 2.2.22 qued dicho que dado un real positivo a y n N
existe un nico real positivo b denotado como
n

b que cumple b
n
= a y que recibe
el nombre de raz n-sima de a. Denimos entonces a
1/n
:=
n

a.
Mas generalmente se dene a
m
n
donde m Z, n N mediante la frmula
a
m
n
:=
n

a
m
.
Es sencillo comprobar que si
p
q
=
m
n
entonces se cumple que
a
m
n
=
n

a
m
=
p

a
p
= a
p
q
,
con lo que queda unvocamente denido a
r
para todo r Q.
Adems esta denicin extiende la anterior para r Z y verica las propiedades
antes enumeradas.
Proposicin 3.5.2 Sean r, s Q y a, b reales estrictamente mayores que cero.
(1) a
r+s
= a
r
a
s
.
(2) (ab)
r
= a
r
b
r
.
(3) (a
r
)
s
= a
rs
.
(4) Si a > 1 y r < s, entonces a
r
< a
s
.
Si 0 < a < 1 y r < s, entonces a
r
> a
s
.
(5) Si 0 < a < b y r > 0, entonces a
r
< b
r
.
Si 0 < a < b y r < 0, entonces a
r
> b
r
.
3.5.3. Exponentes reales
Vamos a continuacin a denir a
x
para x R y a > 0. La forma natural de
hacerlo es tomar sucesiones de racionales (r
n
)
nN
con lmite x y denir a
x
como el
lmite de (a
rn
)
nN
, para lo cual es necesario probar que dicho lmite existe y que
no depende de la sucesin (r
n
)
nN
.
As ocurre y eso permite denir
a
x
= lim
n
a
rn
siendo (r
n
)
n
una sucesin de racionales que tiene por lmite x.
Proposicin 3.5.3 Sean a > 0 y x R.
(1) Si (r
n
)
nN
es una sucesin de racionales con lmite x, entonces existe lm
n
a
rn
.
92
3.5 Funciones elementales I: exponencial y logaritmo reales 93
(2) El lmite anterior es independiente de la sucesin (r
n
)
nN
.
Proposicin 3.5.4 Sean x, y R y a, b > 0.
(1) a
x+y
= a
x
a
y
.
(2) (ab)
x
= a
x
b
x
.
(3) (a
x
)
y
= a
xy
.
(4) Si a > 1 y x < y, entonces a
x
< a
y
(la funcin a
x
es creciente si a > 1).
Si 0 < a < 1 y x < y, entonces a
x
> a
y
(a
x
es decreciente si a < 1).
(5) Si 0 < a < b y x > 0, entonces a
x
< b
x
.
Si 0 < a < b y x < 0, entonces a
x
> b
x
.
(6) Si (x
n
)
n
converge a x entonces lma
xn
= a
x
.
(7) Si a > 1, para cada k R existe t R tal que x > t implica a
x
> k (a
x
no
est acotada superiormente si a > 1).
Si a < 1 para cada > 0 existe t R tal que x > t implica a
x
< (a
x
tiene nmo 0 si a < 1).
En la imagen puede verse el aspecto de las grcas de las funciones y = 2
x
e
y = (0.5)
x
en el intervalo [5, 5] dibujadas con Gnuplot (observe que la escala
no es la misma en los dos ejes)
0
5
10
15
20
25
30
35
-4 -2 0 2 4
(0.5)
x
2
x
93
94 Sucesiones numricas
3.5.4. La funcin logaritmo
La funcin logaritmo (logaritmo neperiano diran algunos) es la funcin inversa
de la funcin exponencial exp denida por f(x) = exp(x) := e
x
para x R. Puesto
que f(x) > 0 para todo x R, f : R R
+
siendo R
+
:= {x R; x > 0}. La
funcin inversa de la exponencial, si existe, es una funcin g : R
+
R tal que
(g f)(x) = x para cada x R y tambin (f g)(y) = y para cada y R
+
.
La siguiente proposicin arma que una tal funcin g denotada como log existe
y que las frmulas
e
x
= y, log y = x
son equivalentes, por denicin de la funcin logaritmo. Se hace en un contexto
ms general, no slo para e sino para cualquier a > 0.
Proposicin 3.5.5 Si 0 < a = 1 y x > 0 existe un nico y R tal que a
y
= x.
La proposin inmediatamente anterior da sentido a la siguiente denicin.
Denicin 3.5.6 Para a > 0, a = 1, y x > 0, se llama logaritmo en base a de
x al nico nmero real y que satisface la ecuacin a
y
= x. Se escribe log
a
x := y.
Cuando a = e se llama logaritmo neperiano y se denota simplemente con log x.
Proposicin 3.5.7 La funcin logaritmo en base a tiene las siguientes propieda-
des:
(1) Es una funcin estrictamente creciente cuando a > 1, es decir, si 0 < x < y
entonces log
a
x < log
a
y;
Es una funcin estrictamente decreciente cuando a < 1, es decir, si 0 <
x < y entonces log
a
x > log
a
y;
(2) log
a
xy = log
a
x + log
a
y.
(3) log
a
x/y = log
a
x log
a
y.
(4) log
a
x
z
= z log
a
x.
(5) Si lm
n
x
n
= x con x
n
> 0 y x > 0 entonces lm
n
log
a
x
n
= log x.
siendo x, y, z nmeros reales, con x > 0, y > 0.
Observacin 3.5.8 Aunque y = log
a
x tiene sentido para cualquier a > 0, en el
desarrollo matemtico suele utilizarse nicamente el logaritmo neperiano log x. La
razn es que los dems slo dieren de ste en un factor de proporcionalidad. En
efecto: si log
a
x = y y log x = z, entonces
a
y
= x = tomando logaritmos y log a = log x = log
a
x =
1
log a
log x
94
3.6 Lmites innitos 95
Maxima slo conoce la funcin logaritmo neperiano, cuya grca, en el inter-
valo [0, 50], aparece en la imagen ms abajo, as como el comando usado para
construirla. Dibuje la grca de y = log
0,5
x.
plot2d(log(x),[x,0,50],[y,-3,4], [gnuplot_preamble,"set key left top"]);
-3
-2
-1
0
1
2
3
4
0 10 20 30 40 50
log x
Despus del estudio realizado en esta seccin (y lo que ya habamos hecho con
anterioridad) ya tenemos bien fundamentadas una parte de las llamadas funcio-
nes elementales (en el sentido de elementos bsicos). Si acudimos a nuestros
conocimientos de enseanza media o al teclado de nuestra calculadora, todava
echamos en falta las funciones trigonomtricas (seno, coseno, etc.) para acabar
con la lista de estas funciones elementales, que motivan el ttulo dado a la seccin.
La fundamentacin de stas tendr que esperar hasta el ltimo captulo! Pero sus
propiedades o las relaciones entre ellas sern las mismas que conocemos, y por ello,
en los ejemplos y ejercicios, podremos hacer uso de los conocimientos que tenemos,
a sabiendas de que sern justicados ms adelante. Olvidarnos de ellas hasta ese
momento empobrecera nuestro conocimiento sobre la utilidad de las herramientas
que iremos desarrollando.
3.6. Lmites innitos
Hasta este punto el lmite de una sucesin ha sido siempre un nmero, un
elemento de K. Pero es conveniente extender el concepto para permitir que el
lmite de una sucesin de nmeros reales sea un smbolo llamado innito y denotado
con .
Denicin 3.6.1
95
96 Sucesiones numricas
(1) Se dice que la sucesin (a
n
)
nN
de nmeros reales tiene por lmite ms
innito, y se escribe lm
n
a
n
= +, si para cada M > 0 existe un nmero
natural n
0
tal que a
n
> M si n > n
0
.
(2) Se dice que la sucesin (a
n
)
nN
de nmeros reales tiene por lmite menos
innito, y se escribe lm
n
a
n
= , si para cada M < 0 existe un nmero
natural n
0
tal que a
n
< M si n > n
0
.
Los resultados de la proposicin 3.1.8 se extienden en el siguiente sentido:
(1) Si lm
n
a
n
= (resp. ) y lm
n
b
n
= (resp. ) entonces
lm
n
(a
n
+ b
n
) = (resp. ).
(2) Si lm
n
a
n
= + y lm
n
b
n
= b = 0 entonces
lm
n
a
n
b
n
= + o lm
n
a
n
b
n
=
segn que b sea positivo o negativo.
(3) Si lm
n
a
n
= + y lm
n
b
n
= + (resp. ) entonces lm
n
a
n
b
n
= (resp.
).
(4) Si lm
n
a
n
= a R y lm
n
b
n
= entonces lm
n
a
n
/b
n
= 0.
En smbolos:
a + () = a (+) = a () = +
(+) + (+) = (+) () + () = ()
a (+) = + si a > 0 a () = si a > 0
a (+) = si a < 0 a () = + si a < 0
(+) (+) = + () () = + (+) () = ()
a

= 0
En cambio nada puede saberse con carcter general sobre:
lm
n
(a
n
+ b
n
) si lm
n
a
n
= +, lm
n
b
n
=
lm
n
a
n
b
n
si lm
n
a
n
= , lm
n
b
n
= 0
lm
n
a
n
/b
n
si lm
n
a
n
= , lm
n
b
n
=
lm
n
a
n
/b
n
si lm
n
a
n
= 0, lm
n
b
n
= 0
Es decir, el resultado depende de las sucesiones concretas. Por ejemplo, y slo
como ilustracin, si a
n
= n y b
n
= n, se verica lm
n
a
n
= + y lm
n
b
n
=
y lm
n
(a
n
+ b
n
) = 0; pero si hubiera sido b
n
= n + 1 entonces el resultado sera
lm
n
(a
n
+ b
n
) = 1. El lector puede buscar ejemplos similares en los otros casos
(vase el ejercicio ??).
Otros resultados generales son:
96
3.7 Algunas sucesiones notables. Jerarqua de sucesiones divergentes 97
(1) Si lm
n
a
n
= + y lmb
n
= + (resp. ) entonces lm
n
a
bn
n
= +
(resp. 0).
(2) Si lm
n
a
n
= 0 (con a
n
> 0, para todo n) y lmb
n
= + entonces lm
n
a
bn
n
=
0.
En cambio nada puede saberse con carcter general sobre:
lm
n
a
bn
n
si lm
n
a
n
= 0, lm
n
b
n
= 0
lm
n
a
bn
n
si lm
n
a
n
= , lm
n
b
n
= 0
lm
n
a
bn
n
si lm
n
a
n
= 1, lm
n
b
n
=
Esas situaciones en las que no se puede obtener una conclusin general se
formulan, habitualmente, diciendo que , 0, /, 0/0, 0
0
,
0
y 1

son indeterminaciones, lo que signica que nada puede anticiparse sobre lo que
pasar para sucesiones arbitrarias. Pero cuando se trate de sucesiones concretas, las
operaciones de suma, producto, cociente, potencia,... pueden realizarse y por tanto
podemos ver qu ocurre con la sucesin, es decir, la indeterminacin desaparece.
Aunque parezcan muy distintas, todas las indeterminaciones anteriores son
equivalentes, en el sentido de que es posible transformar unas en otras. Por
ejemplo, 0 puede ser transformada en 0/0. En efecto, si lm
n
a
n
= y
lm
n
b
n
= 0 entonces
a
n
b
n
=
b
n
1/a
n
=
b
n
c
n
siendo c
n
= 1/a
n
y lm
n
c
n
= 0. Haga algo similar para los dems casos y convnzase
de que todas son equivalentes entre s. Para el caso de las potencias tomar logaritmos
ayuda.
3.7. Algunas sucesiones notables. Jerarqua de
sucesiones divergentes
En captulos posteriores, particularmente en el 5, desarrollaremos herramientas
muy tiles para calcular lmites. Pero calcular lmites no es tarea sencilla y en
muchas ocasiones lo ms que se puede hacer, y ya es bastante, es demostrar que
una determinada sucesin tiene lmite: el caso del lmite de una sucesin tan simple
como (1 + (1/n))
n
, que analizamos en el corolario 3.2.4, es signicativo, hemos
tenido que inventar un smbolo para escribir ese lmite!
En esta ltima seccin estableceremos una jerarqua entre los diferentes tama-
os de innito. Adems calcularemos los lmites de ciertas sucesiones concretas,
pero muy interesantes.
Proposicin 3.7.1
97
98 Sucesiones numricas
(1) lm
n
n
1/n
= 1.
(2) Si lm
n
x
n
= entonces lm
n
_
1 +
1
x
n
_
xn
= e.
(3) Si lm
n
x
n
= + entonces lm
n
_
1
1
x
n
_
xn
= e
1
.
(4) Si existe lm
n
z
n+1
z
n
= w R con |w| < 1, entonces lm
n
z
n
= 0.
Demostracin:
(1) Sea (b
n
)
n
:= n
1/n
1 0. Entonces
n = (1 + b
n
)
n
>
n(n 1)
2!
b
2
n
y, por tanto, lm
n
b
n
= 0, es decir lm
n
n
1/n
= 1, usando, de nuevo, la regla
del sandwich.
(2) Para el caso particular en que x
n
= n la armacin es cierta, segn el coro-
lario 3.2.4. En particular, dado > 0, existe n
0
tal que para todo n N, con
n n
0
, se verica

_
1 +
1
n
_
n
e

<
Observemos que tambin podemos armar que existe n
1
tal que si n n
1
,
entonces:

_
1 +
1
n + 1
_
n
e

< y

_
1 +
1
n
_
n+1
e

<
Para una sucesin arbitraria (x
n
)
n
tal que lm
n
x
n
= +, consideremos
la sucesin ([x
n
])
n
, entonces: existe n
2
N tal que si n n
2
se verica
[x
n
] n
1
; por tanto, si n n
2
se tiene

_
1 +
1
[x
n
] + 1
_
[xn]
e

< y

_
1 +
1
[x
n
]
_
[xn]+1
e

<
es decir,
lm
n
_
1 +
1
[x
n
] + 1
_
[xn]
= lm
n
_
1 +
1
[x
n
]
_
[xn]+1
= e
Ahora la conclusin buscada se obtiene de la cadena de desigualdades:
_
1 +
1
[x
n
] + 1
_
[xn]

_
1 +
1
x
n
_
xn

_
1 +
1
[x
n
]
_
xn

_
1 +
1
[x
n
]
_
[xn]+1
98
3.7 Algunas sucesiones notables. Jerarqua de sucesiones divergentes 99
cada una de las cuales es obvia, y de la regla del sandwich.
El caso lm
n
x
n
= puede demostrarse fcilmente aplicando el apartado
que sigue y haciendo un cambio de variable.
(3) Se obtiene fcilmente apoyndose en el resultado anterior y en la siguiente
cadena de igualdades.
_
1
1
x
n
_
xn
=
_
x
n
x
n
1
_
xn
=
1
_
1 +
1
xn1
_
xn
.
(4) Por la denicin de lmite se tendra garantizado que existen 0 < a < 1 y n
0
tales que si n n
0
, entonces

z
n+1
z
n

< a < 1.
En particular
|z
n
0
+1
| < |z
n
0
|a
|z
n
0
+2
| < |z
n
0
+1
|a < |z
n
0
|a
2
. . . . . .
|z
n
0
+k
| < |z
n
0
|a
k
y como lm
n
a
n
= 0 (a < 1) se tiene lm
n
|z
n
| = 0 y por tanto lm
n
z
n
= 0.
Este ltimo apartado es la pieza clave en la prueba del corolario que sigue.
Denicin 3.7.2 Si (a
n
)
nN
y (b
n
)
nN
son sucesiones con lmite diremos que
(a
n
)
nN
es un innito de orden superior a (b
n
)
nN
y escribimos b
n
a
n
si
lm
n
a
n
b
n
= .
Si existen constantes positivas y tales que 0 <
a
n
b
n
para n > n
0
se
dice que ambas sucesiones tienen el mismo orden de innitud. Y si adems
lm
n
a
n
b
n
= 1
se dice que ambas sucesiones son equivalentes.
Los rdenes fundamentales de innitud quedan reejados a continuacin.
99
100 Sucesiones numricas
Corolario 3.7.3 Si b > 0, c > 1 y d > 0 son nmeros reales se tiene
log n n
b
c
n
n
dn
.
Adems, si d 1 entonces
c
n
n! n
dn
.
Demostracin: Todas, salvo la primera, son consecuencia directa del ltimo
apartado de la proposicin 3.7.1. Por ejemplo, para demostrar la armacin n
b

c
n
, tomemos z
n
:=
n
b
c
n
, entonces:
lm
n
z
n+1
z
n
= lm
n
(n + 1)
b
c
n
n
b
c
n+1
= lm
n
_
1 +
1
n
_
b
1
c
=
1
c
< 1
de donde se deduce que lm
n
z
n
= 0.
Para demostrar que log n n
b
, si b > 0, tomamos inicialmente b = 1 y tenemos
en cuenta que log n = M log
10
n. Si 10
k1
n < 10
k
es claro que 0
log
10
n
n

k
10
k1
= 10
k
10
k
. Aplicando el ltimo apartado de la proposicin anterior a la sucesin
z
n
=
n
10
n
y la regla del sandwich se obtiene el resultado.
Para b > 1 el resultado es consecuencia de lo que acabamos de hacer y de que
n < n
b
.
Si b < 1 tomemos m N de modo que
1
m
< b. Para cada n N existe k N
tal que (k 1)
m
n < k
m
; adems si n tiende a +, k tiende tambin a +.
Ahora, puesto que
0 <
log
10
n
n
b

log
10
n
m

n

mlog
10
k
k 1
,
y hemos probado anteriormente que lm
k
(log
10
k)/k = 0, se obtiene que, tambin
en este caso, lm
n
log n/n
b
= 0.
100
3.8 Ejercicios resueltos 101
3.8. Ejercicios resueltos
3.8.1 Una sucesin (a
n
)
n
se dice que es contractiva si existe 0 < c < 1 tal que
para todo n N se verica |a
n+1
a
n
| c|a
n
a
n1
|. Demuestre que las
sucesiones contractivas son de Cauchy.
Solucin: Sea m > n entonces haciendo uso de la desigualdad triangular y
de la estimacin |a
n+1
a
n
| c|a
n
a
n1
| se tiene
|a
n
a
m
| |a
n
a
n+1
| +|a
n+1
a
n+2
| + +|a
m1
a
m
|
|a
n
a
n+1
|(1 + c + c
2
+ + c
mn
) [progresin geomtrica]
= |a
n
a
n+1
|
1 c
mn+1
1 c
|a
n
a
n+1
|
1
1 c
Por otra parte |a
2
a
3
| c|a
1
a
2
|, |a
3
a
4
| c|a
2
a
3
| c
2
|a
1
a
2
| y en
general es sencillo obtener por induccin que
|a
n
a
n+1
| c
n1
|a
1
a
2
|
de donde se tiene
|a
n
a
m
| c
n1
|a
1
a
2
|
1 c
siempre que m > n.
Como lm
n
c
n
= 0, jado > 0 existe n
0
N tal que si n
0
n se tiene
c
n
<
1 c
|a
1
a
2
|
y por tanto
|a
n
a
m
| c
n1
|a
1
a
2
|
1 c
<
|a
1
a
2
|
1 c
1 c
|a
1
a
2
|
=
siempre que n, m > n
0
+ 1. As pues (a
n
)
n
es de Cauchy.
3.8.2 Demuestre que para cualquier sucesin (x
n
)
nN
de nmeros reales que con-
verja hacia 0, siendo |x
n
| < 1 y x
n
= 0, se cumple
lm
n
log(1 + x
n
)
x
n
= 1, lm
n
e
xn
1
x
n
= 1. (3.1)
Aplique lo anterior para probar que si lm
n
(x
n
) = 1 y lm
n
y
n
= + entonces
lm
n
(x
n
)
yn
= e
lmn yn(xn1)
(3.2)
supuesto que el segundo lmite exista.
101
102 Sucesiones numricas
Solucin: Comencemos por el primero de los lmites de (3.1) y supongamos
que 0 < x
n
< 1 para todo n. Se tiene
lm
n
log(1 + x
n
)
x
n
= lm
n
log (1 + x
n
)
1/xn
= lm
n
log
_
1 +
1
y
n
_
yn
[haciendo 1/x
n
= y
n
]
= log lm
n
_
1 +
1
y
n
_
yn
[usando la prop. 3.5.7 ]
= log e = 1 [usando la prop. 3.7.1]
Cuando 0 > x
n
> 1 la prueba es idntica (en esta situacin lm
n
y
n
= ).
Para el caso general en el 1 < x
n
< 1 los trminos de la sucesin se reparten
en dos sucesiones disjuntas, una, (x

n
)
n
, que contenga los trminos positivos
y la otra, (x

n
)
n
, los negativos. Entonces puesto que
lm
n
log(1 + x

n
)
x

n
= 1, lm
n
log(1 + x

n
)
x

n
= 1
se llega a la conclusin de que
lm
n
log(1 + x
n
)
x
n
= 1.
El segundo lmite de la frmula (3.1) puede reducirse al primero mediante el
cambio de variable y
n
= e
xn
1 ya que entonces
lm
n
e
xn
1
x
n
= lm
n
y
n
log(1 + y
n
)
= 1
puesto que lm
n
y
n
= 0.
Pasemos a la aplicacin. Como
(x
n
)
yn
= e
yn log xn
= e
yn log(1+(xn1))
usando la proposicin 3.5.4 se tiene
lm
n
(x
n
)
yn
= e
lmn yn log(1+(xn1))
supuesto que este segundo lmite exista. Pero sabemos que
lm
n
y
n
log(1 + (x
n
1)) = lm
n
y
n
(x
n
1)
log(1 + (x
n
1))
(x
n
1)
= lm
n
y
n
(x
n
1)
ya que lm
n
(x
n
1) = 0. Se tiene as probada la frmula (3.1).
102
3.8 Ejercicios resueltos 103
3.8.3 Estudie el lmite de la sucesin (s
n
)
nN
cuyos trminos son:
H
1
= 1, H
2
= 1 +1/2, H
3
= 1 +1/2 +1/3, . . . H
n
= 1 +1/2 +1/3 + +1/n
Solucin: Esta sucesin es conocida como la serie armnica (en ingls
Harmonic).
Es claro que se trata de una sucesin montona creciente. En consecuencia
o est acotada superiormente, en cuyo caso tiene por lmite un nmero real
(proposicin 3.2.2), o no lo est, en cuyo caso su lmite es +. Cmo
determinar cul de los dos casos se da? El primer caso se da si y slo si la
sucesin es de Cauchy (teorema 3.4.3). Por tanto el lmite ser + si y slo
si la sucesin no es de Cauchy, que es lo que ocurre como vamos a ver.
Recordemos que una sucesin es de Cauchy si para cada > 0 existe un
n
0
N tal que siempre que n, m n
0
se cumple |H
n
H
m
| < . Por tanto,
negar que la sucesin es de Cauchy signica demostrar que hay al menos un

0
> 0 de manera que para cada n
0
que tomemos siempre existen nmeros
n, m n
0
de modo que
|H
n
H
m
|
0
.
Veamos que tomando
0
= 1/2 se cumple la ltima desigualdad para ciertos
n, m n
0
cualquiera que sea el n
0
elegido. Tomemos n = n
0
y hagamos
m = n
0
+ k para cierto k N que luego determinaremos. Entonces
|H
n
H
m
| =
1
n
0
+ 1
+
1
n
0
+ 2
+
1
n
0
+ 3
+ +
1
n
0
+ k

k
n
0
+ k
y si la sucesin fuera de Cauchy habra de ser
k
n
0
+ k
|H
n
H
m
| < 1/2
para todo k, pero eso es imposible puesto que lm
k
k
n
0
+ k
= 1.
Conseguido nuestro objetivo, queremos advertir al lector que este resulta-
do no debe hacerle llegar a la conclusin de que una suma con innitos
sumandos da siempre como resultado . Por ejemplo, la sucesin
s
n
= 1/2 + 1/2
2
+ 1/2
3
+ 1/2
4
+ + 1/2
n
tiene por lmite 1 (es la suma de una progresin geomtrica innita).
103
104 Sucesiones numricas
A Maxima le han dicho cual el lmite de esta sucesin (H
n
)
nN
. Pero a pesar de
que en las frmulas para Maxima no podemos escribir los puntos suspensivos
. . . que contiene la frmula de H
n
, y por ello no podemos usar el comando
limit, s podemos hacer uso de un comando que hace sumas. Por ejemplo,
sum(1/n, n, 1, 100);
sum(1/n, n, 1, 100),numer;
permiten calcular el valor de H
100
de forma exacta como fraccin, o en forma decimal
aproximada, respectivamente. El lmite de (H
n
)
nN
se obtiene mediante
sum(1/n, n, 1, inf),simpsum;
Aqu inf denota a , como puede suponerse, y simpsum es un parmetro tcnico que
viene a signicar algo as como simplica la suma. Pero cuidado! no debe pensarse
que Maxima sabe hacer cualquier suma innita... los humanos no somos capaces de
hacerlo!
3.8.4 Calcule el siguiente lmite, donde suponemos que a, b y c son constantes
positivas.
lm
n
_
n
3
log((n + a)(n + b)(n + c)) log n
n
_
.
Solucin: Puesto que
_
n
3
log((n + a)(n + b)(n + c)) log n
n
_
=
n
3
log
(n + a)(n + b)(n + c)
n
3
=
=
1
3
_
nlog
_
1 +
a
n
_
+ nlog
_
1 +
b
n
_
+ nlog
_
1 +
c
n
_
_
hemos de calcular lm
n
nlog(1 + a/n) (tambin para b y c). Pero usando el
ejercicio 2 de esta misma seccin se tiene
lm
n
nlog(1 + a/n) = lm
n
n
a
n
log(1 + a/n)
a/n
= a
En consecuencia el lmite buscado es (a + b + c)/3.
El lmite anterior sirve para mostrar que Maxima puede calcular algunos l-
mites de sucesiones que dependan de parmetros (a, b, c en nuestro caso). As
ante el comando
limit( (1/3)*n*log( (n+a)*(n+b)*(n+c) ) - log (n^n),n,inf );
Maxima pregunta sucesivamente en tres ocasiones si a, b y c son positivos o negativos;
respondiendo en cada ocasin con
positive;
proporciona nalmente que el valor del lmite es (a + b + c)/3.
104
3.8 Ejercicios resueltos 105
3.8.1. Propuestos
3.1) Utilizando el concepto de lmite resuelva las siguientes cuestiones
a) Una sucesin es convergente y sus trminos son alternativamente, posi-
tivos y negativos. Cual es su limite? Razone la respuesta.
b) Pruebe que si
lm
n
x
n
= lm
n
y
n
= ,
la sucesin x
1
, y
1
, x
2
, y
2
, . . . , x
n
, y
n
, . . . tambin tiene limite .
3.2) Pruebe que lmx
n
= a equivale a lmz
n
= 0, siendo z
n
= |x
n
a|.
3.3) Sea (x
n
)
n
una sucesin de nmeros reales o complejos tales que existe el
lmite de las subsucesiones (x
2n
)
n
, (x
2n+1
)
n
,
a) Existe lmx
n
?
b) Si adems lmx
3n
, existe lmx
n
?
3.4) Si a > 0 tomamos x
1
>

a y denimos la sucesin recurrente (x
n
)
nN
mediante la frmula
x
n+1
=
1
2
_
x
n
+
a
x
n
_
Demuestre que (x
n
)
nN
es una sucesin montona decreciente y que lm
n
x
n
=

a.
3.5) Si x
n+1
= 1

1 x
n
, para n 1 y 0 < x
1
< 1. Pruebe que x
n
es una
sucesin decreciente con limite 0. Pruebe tambin que
x
n+1
x
n
converge hacia
1/2.
3.6) Calcule los siguientes lmites:
a) lm
n
3+6++3n
n
2
b) lm
n
4
n+1
+7
n+1
4
n
+7
n
c) lm
n
(

4n
2
1 (2n 1))
d) lm
n
n
n

n1
log n
e) lm
n
(
_
n
2
+ n
3
2
+ 1
_
n
2
n
3
2
1)
f) lm
n
n(

n+2n+1)
n
2
+3
g) lm
n
(4n2)(3n+1)(2n5)
2
n
2
(2n+3)(3n1)
h) lm
n
3
3

44
5

n
2
3

n3(4
5

n)
105
106 Sucesiones numricas
i) lm
n

n
_
n+

n+

n
j) lm
n
(
n

n
n

a)
n
k) lm
n
3n

n
3
1
l) lm
n
(

n3

n+1
)

n
m) lm
n+
(
1+nlog n
nlog n
)
n
n) lm
n
(n
2
+ n)
1
n+2
) lm
n
(2 + n
2
)
1
log n
o) lm
n
(
log(n+a)
log n
)
nlog n
3.7) Estudie si son de Cauchy las siguientes sucesiones
a) a
n
=
3n
3
+2n+1
n
3
+2
;
b) b
n
=
(1)
n
n
+
1+(1)
n
2
;
c) c
n
=
sen 1
2
+
sen 2
2
2
+ +
sen n
2
n
.
3.8) Este ejercicio presenta un resultado importante que constituye un criterio
til a la hora de calcular lmites
Sea (a
n
)
n
una sucesin de nmeros reales con lmite a R. Pruebe que
lm
n
a
1
+ a
2
+ + a
n
n
= a
Indicacin: Comience suponiendo que a = 0.
3.9) Este ejercicio presenta un resultado importante que constituye. . .
Sea (a
n
)
nN
una sucesin de nmeros reales, con a
n
> 0 y im
n
a
n
= a.
a) Demuestre que lm
n
n

a
1
a
2
. . . a
n
= a.
b) Demuestre que si existe
lm
n
a
n+1
a
n
= b
entonces lm
n
n

a
n
= b.
Indicacin: Para el primer apartado si a = 0 razone directamente y si a > 0
calcule logaritmos y utilice el ejercicio anterior.
Para el segundo apartado, sea b
1
= a
1
y b
n
= a
n+1
/a
n
para n 2. Estudie
la sucesin
n

b
1
b
2
. . . b
n
.
3.10) Sea A R no vaco y acotado superiormente (resp. inferiormente) y sea
= sup A (resp. = nf A). Pruebe que existe una sucesin (a
n
)
nN
de
elementos de A tal que = lm
n
a
n
.
106
3.8 Ejercicios resueltos 107
3.11) Halle, si convergen, el lmite de las siguientes sucesiones:
a) lm
n
2

n
b) lm
n
sen(n/2)
ln n
c) lm
n
nsen(
n
2
)
d) lm
n
(2)
n
+3
n
(2)
n+1
+3
n+1
e) lm
n
(

n
2
+1+n)
2
3

n
6
+1
f) lm
n
4

n
5
+2
3

n
2
+1
5

n
4
+2

n
3
+1
g) lm
n
(n+2)!+(n+1)!
(n+3)!
h) lm
n

n
2
2n + 1

n
2
7n + 3
i) lm
n
3

n
2
[

n
3
+ 1

n
3
1]
j) lm
n
n(0.9)
n
k) lm
n
n

a ; a > 0
l) lm
n
log(n)
n
m) lm
n
1
2
+2
2
+...+(n1)
2
n
3
n) lm
n
n

3n
2
+ n
) lm
n
n

1 + e
n
o) lm
n
n
n

n!
p) lm
n
(
2
n+1
)
2/(2+ln n)
q) lm
n
_
2
n
+(2)
n
2
n
_
+ i
_
2
n
+(2)
n
3
n
_
r) lm
n
_
(n+1)
2
2n
2
_
+ i
_
10
6
n
3
+3n
2
10
12
n
4
10n
3
_
107