Tema

Sucesiones montonas
Vamos a discutir ahora una importante propiedad de ciertas sucesiones de nmeros reales: la
monotona. Como primer resultado bsico, probaremos que toda sucesin montona y acotada
es convergente, obteniendo un mtodo til para probar la convergencia de ciertas sucesiones.
Deduciremos el Teorema de Bolzano-Weierstrass, que es sin duda el resultado ms importante
sobre convergencia de sucesiones. De l se deduce el teorema de complitud de R , que nos
da una autntica caracterizacin de las sucesiones convergentes. Finalmente, las nociones de
lmite superior e inferior, adems de tener utilidad en s mismas, nos permitirn precisar mejor
el contenido del Teorema de Bolzano-Weierstrass.

6.1.

Monotona

La siguiente definicin es muy intuitiva. Se dice que una sucesin {xn } es:
Creciente, cuando: xn 6 xn+1 para todo n N
Decreciente, cuando: xn > xn+1 para todo n N
Montona, cuando es creciente o decreciente.
Por ejemplo, una sucesin constante es a la vez creciente y decreciente. Las sucesiones {n}
y {1/n} son crecientes, mientras que {n} y {1/n} son decrecientes. La sucesin {(1)n }
no es montona.
Observamos tambin que una sucesin {xn } es decreciente si, y slo si {xn } es creciente,
as que trabajaremos principalmente con sucesiones crecientes. Intuitivamente es claro que, para
una sucesin creciente, cada trmino es menor o igual que cualquier otro posterior:
Si {xn } es una sucesin creciente, para m, n N con m 6 n , se tiene xm 6 xn .
La prueba por induccin es evidente. En particular, toda sucesin creciente {xn } verifica
que x1 6 xn para todo n N , luego est minorada.
49

6. Sucesiones montonas

50

Claramente, si {xn } es decreciente, para m, n N con m 6 n , tendremos xm > xn y, en

particular, x1 > xn para todo n N , luego {xn } est mayorada. Vemos tambin ahora que, si
una sucesin es a la vez creciente y decreciente, ha de ser constante.
Usando la existencia de supremo e nfimo, probamos enseguida el resultado clave de este
tema, que muestra la utilidad de la monotona para estudiar la convergencia de una sucesin.
Teorema. Toda sucesin montona y acotada es convergente. De hecho:
(i) Si {xn } es una sucesin creciente y mayorada, se tiene lm {xn } = sup {xk : k N}
(ii) Si {xn } es decreciente y minorada, entonces lm {xn } = nf {xk : k N}
Demostracin. Si {xn } es creciente y mayorada, pongamos = sup {xk : k N} , para
probar que {xn } . Dado > 0, por definicin de supremo existe m N tal que < xm .
Pero entonces, para n > m se tendr < xm 6 xn 6 < + , de donde |xn | < , como
queramos.
Para una sucesin {xn } decreciente y minorada, se puede razonar de manera anloga, o bien
aplicar lo ya demostrado a la sucesin {xn } que es creciente y mayorada.

Ilustramos el teorema anterior con un ejemplo importante:
Para x R , con |x| < 1 , se tiene: lm x n = 0 .
n

Puesto que |x n | = |x| n para todo n N , tomando y = |x| , bastar comprobar que {y n } 0 .
Al ser 0 6 y < 1 , tenemos 0 6 y n+1 6 y n para todo n N . As pues, la sucesin {y n } es
decreciente y minorada, luego convergente. Pongamos de momento L = lm {y n } , para probar
que L = 0 . Como {y n+1 } es una sucesin parcial de {y n } , ser tambin {y n+1 } L pero,
por otra parte tenemos que {y n+1 } = {y n y} L y , luego L = L y . Siendo y 6= 1 , no queda ms
salida que L = 0 , como queramos.

Veamos los casos no cubiertos por el resultado anterior. Si |x| > 1 , puesto que |1/x| < 1 ,
sabemos ya que {1/x n } = {(1/x) n } 0 , luego la sucesin {x n } no est siquiera acotada. Si
|x| = 1 , sabemos de sobra lo que le ocurre a la sucesin {x n } .

6.2.

Teorema de Bolzano-Weierstrass

Las sucesiones montonas abundan ms de lo que en principio pudiera parecer, como pone
de manifiesto el siguiente resultado, paso previo para obtener el principal teorema acerca de la
convergencia de sucesiones de nmeros reales.
Lema. Toda sucesin de nmeros reales admite una sucesin parcial montona.
Demostracin. Sea {xn } una sucesin de nmeros reales y consideremos el conjunto
A = {n N : xn > xn+k k N}
que intuitivamente detecta los trminos que son mayores o iguales que todos los que les siguen.
Distinguiremos dos casos segn que el conjunto A sea infinito o no.

6. Sucesiones montonas

51

(1) Supongamos que A es infinito. Intuitivamente, seleccionando los trminos xn con n A

debemos obtener una sucesin parcial decreciente. Para comprobar esto, usaremos el principal
resultado obtenido al estudiar los conjuntos numerables. Por ser A un subconjunto infinito de
N , sabemos que existe una aplicacin biyectiva : N A , verificando adems que si n, m N y
n < m , entonces (n) < (m) . Podemos ver como una aplicacin estrictamente creciente de
N en s mismo, luego {x(n) } es una sucesin parcial de {xn } . Adems, para cualquier n N
sabemos que (n) A , luego x(n) > x(n)+k para todo k N , y tomando k = (n + 1) (n)
obtenemos que x(n) > x(n+1) . Por tanto, la sucesin {x(n) } es decreciente.
(2) Supongamos que A es un conjunto finito, incluyendo la posibilidad A = 0/ . En todo caso,
existe m N tal que A {n N : n < m} . Intuitivamente, podemos seleccionar trminos a
partir del m-simo para conseguir una sucesin parcial creciente, y eso es precisamente lo que
vamos a hacer. Para definir por induccin una aplicacin : N {n N : n > m} , empezamos
tomando (1) = m . Supuesto definido (n) > m , sabemos que (n)
/ A , as que el conjunto
{k N : x(n) < x(n)+k } no es vaco. Definimos entonces (n + 1) = (n) + p , donde p es
el mnimo de dicho conjunto. Es claro que (n + 1) > (n) > m , y tambin x(n) < x(n+1) ,
luego {x(n) } es una sucesin parcial creciente de {xn } .

Teorema de Bolzano-Weierstrass. Toda sucesin acotada de nmeros reales admite una
sucesin parcial convergente.
Demostracin. Sea {xn } una sucesin acotada de nmeros reales y apliquemos el lema
anterior para conseguir una sucesin parcial montona {x(n) } . Por ser {xn } acotada, tenemos
K R tal que |xn | 6 K para todo n N , pero entonces es obvio que tambin |x(n) | 6 K para
todo n N . As pues, la sucesin {x(n) } es montona y acotada, luego convergente.

Merece la pena detenerse a comparar los diferentes tipos de sucesiones que han aparecido
hasta ahora. Dada una sucesin {xn } , podemos considerar las siguientes afirmaciones:
(i)
(ii)
(iii)
(iv)

{xn }
{xn }
{xn }
{xn }

es montona y acotada
es convergente
est acotada
admite una sucesin parcial convergente

Sabemos que cada una de estas afirmaciones implica las que le siguen: (i) (ii) (iii) (iv).
Pues bien, vamos a comprobar que ninguna de las implicaciones es reversible. Para ver que
(iv) ; (iii) basta tomar


n 1 + (1)n
n N
xn =
2
2
Claramente tenemos x2n1 = 0 y x2n = n para todo n N , luego {xn } admite una sucesin
parcial convergente y otra no acotada, as que {xn } tampoco est acotada. Ya se coment que
existen sucesiones acotadas no convergentes, es decir, que (iii) ; (ii) . Finalmente, es fcil ver
que la sucesin {(1)n /n} converge a cero, pero no es montona, luego (ii) ; (i) .

6. Sucesiones montonas

6.3.

52

Sucesiones de Cauchy

Comprobar que una sucesin es convergente, usando la definicin de convergencia, exige

conocer a priori el posible lmite de la sucesin. Interesa tener un criterio de convergencia
comprobable usando solamente los trminos de la sucesin. Hasta ahora tenemos una propiedad
de este tipo (la acotacin) que es necesaria para que haya convergencia, pero no es suficiente.
Tambin hay una condicin suficiente (monotona + acotacin) que no es necesaria. Nuestro
objetivo ahora es encontrar una condicin que sea a la vez necesaria y suficiente, es decir, un
criterio que nos permita decidir si una sucesin es convergente o no, sin ninguna pista sobre el
posible lmite.
Partimos de una idea muy ingenua: los trminos de una sucesin convergente, que estn
cerca del lmite, estarn cerca unos de otros. Formalmente, si {xn } es una sucesin convergente
de nmeros reales, digamos {xn } x R , dado > 0 , sabemos que existe m N tal que
|xn x| < /2 para n > m . Entonces, para p, q N con p, q > m , tenemos claramente
|x p xq | = |x p x + x xq | 6 |x p x| + |x xq | <
Obsrvese que hemos obtenido una propiedad de la sucesin convergente {xn } en la que no
interviene su lmite. A continuacin damos nombre a las sucesiones con esta propiedad.
Se dice que {xn } es una sucesin de Cauchy cuando, para cada nmero real positivo ,
puede encontrarse un nmero natural m , tal que |x p xq | < , para cualesquiera p, q N que
verifiquen p, q > m . Simblicamente:
> 0 m N : p, q > m = |x p xq | <
En los comentarios anteriores hemos probado lo siguiente:
Toda sucesin convergente es una sucesin de Cauchy.
Pero lo importante es que el recproco tambin es cierto, como descubri el gran matemtico
francs A. Cauchy (1789-1857).
Teorema (Complitud de R ). Toda sucesin de Cauchy de nmeros reales es convergente.
Demostracin. Sea {xn } una sucesin de Cauchy, y vamos a probar que converge, sin pista
alguna sobre su lmite. Empezamos viendo que {xn } est acotada, con un razonamiento similar
al usado cuando tenamos convergencia.
La definicin de sucesin de Cauchy nos proporciona un m N tal que |x p xq | < 1 para
cualesquiera p, q N con p, q > m . Tomando q = m y p = n > m tenemos claramente
|xn | 6 |xn xm | + |xm | < 1 + |xm |
luego el conjunto {xn : n > m} est acotado, de donde se deduce, como ya hemos hecho otras
veces, que la sucesin {xn } est acotada.

6. Sucesiones montonas

53

El siguiente paso es aplicar el Teorema de Bolzano-Weierstrass, para obtener una sucesin

parcial {x(n) } que converge a un x R . Obsrvese que x es el nico posible lmite de la
sucesin {xn } , as que la demostracin se concluir probando que efectivamente {xn } x .
Dado > 0 , aplicamos de nuevo que {xn } es una sucesin de Cauchy:
m1 N : p, q > m1 = |x p xq | < /2

(1)

Por otra parte, usamos la convergencia de {x(n) } :

m2 N : n > m2 = |x(n) x| < /2

(2)

Finalmente, tomamos m = max {m1 , m2 } y concluiremos probando que |xn x| < para
n > m . En efecto, si n > m , tenemos por una parte n > m2 lo que nos permite aplicar (2), pero
tambin tenemos (n) > n > m1 luego podemos aplicar (1) con p = n y q = (n) , obteniendo
|xn x| 6 |xn x(n) | + |x(n) x| < (/2) + (/2) =

6.4.

Lmites superior e inferior

El hecho de que toda sucesin montona y acotada es convergente nos va a permitir ahora
clarificar an ms la relacin entre sucesiones acotadas y sucesiones convergentes, consiguiendo
una nueva demostracin del teorema de Bolzano-Weierstrass.
Sea {xn } una sucesin acotada de nmeros reales. Para cada n N , podemos entonces
definir:
n = nf {xk : k > n}
y
n = sup {xk : k > n}
De esta forma, a la sucesin {xn } hemos asociado dos sucesiones {n } y {n } , siendo evidente
que n 6 xn 6 n , para todo n N .
Tambin para todo n N , es evidente que:
{xk : k > n + 1} {xk : k > n} {xk : k > 1}
de donde deducimos que n+1 > n > 1 y n+1 6 n 6 1 . En resumen, enlazando varias
desigualdades anteriores, tenemos:
1 6 n 6 n+1 6 n+1 6 n 6 1

n N

Est ahora muy claro que {n } es creciente y mayorada, mientras que {n } es decreciente y
minorada, luego ambas sucesiones son convergentes.
Pues bien, al lmite de {n } se le llama lmite inferior de la sucesin {xn } y se le denota
por lm inf {xn }. Anlogamente, al lmite de {n } se le llama lmite superior de {xn } y se le
denota por lm sup {xn }. As pues:




lm inf {xn } = lm nf {xk : k > n}
y lm sup {xn } = lm sup {xk : k > n}
n

6. Sucesiones montonas

54

Recordando que n 6 n para todo n N , deducimos que siempre se tiene:

lm inf {xn } 6 lm sup {xn }
Esta desigualdad puede ser estricta, como le ocurre por ejemplo a la sucesin {(1)n } : es claro
que lm inf {(1)n } = 1 < 1 = lm sup {(1)n } . Pues bien, vamos a demostrar enseguida que
la coincidencia del lmite superior con el inferior caracteriza a las sucesiones convergentes:
Para una sucesin acotada {xn } , las siguientes afirmaciones son equivalentes:
(i) lm inf {xn } = lm sup {xn }
(ii) {xn } es convergente
Caso de que se cumplan (i) y (ii), se tiene: lm {xn } = lm inf {xn } = lm sup {xn }.
(i) (ii). Puesto que n 6 xn 6 n para todo n N , de ser lm {n } = lm {n } deducimos
que {xn } es convergente. De hecho, hemos probado ya la ltima afirmacin del enunciado.
(ii) (i). Suponiendo que {xn } x debemos ver que los lmites superior e inferior de {xn }
coinciden con x , es decir, que {n } x y {} x .
Dado > 0, encontramos m N tal que x /2 < xk < x + /2 para k > m . Fijado n > m ,
las anteriores desigualdades son vlidas para cualquier k > n , luego x (/2) es un minorante
del conjunto {xk : k > n} y x + (/2) es un mayorante del mismo conjunto. Por definicin de
supremo e nfimo, tenemos
x (/2) 6 n 6 n 6 x + (/2)
Vemos as que, para n > m , se tiene |n x| 6 /2 < y tambin |n x| < .

As pues, los lmites superior e inferior de una sucesin acotada nos proporcionan un criterio
til para decidir si la sucesin es convergente o no. Pero volviendo al caso general, veamos la
relacin entre los lmites superior e inferior de una sucesin acotada y los de cualquier sucesin
parcial suya.
Sea pues {x(n) } una sucesin parcial de una sucesin acotada {xn } . Fijado n N , para
k > n tenemos claramente que (k) > k > n , de donde deducimos que
nf {xh : h > n} 6 nf {x(k) : k > n} 6 sup {x(k) : k > n} 6 sup{xh : h > n}
Cada uno de los miembros de la desigualdad anterior es el n-simo trmino de una sucesin
convergente, pero la desigualdad es vlida para todo n N , de donde obtenemos que
lm inf {xn } 6 lm inf {x(n) } 6 lm sup {x(n) } 6 lm sup {xn }
Tenemos as la relacin que buscbamos entre los lmites superiores e inferiores de {x(n) } y
{xn } . Destacamos la siguiente consecuencia:
Si {x(n) } es una sucesin parcial convergente de una sucesin acotada {xn } , entonces:
lm inf {xn } 6 lm {x(n) } 6 lm sup {xn }

6. Sucesiones montonas

55

Vamos a demostrar ahora que, si elegimos convenientemente la sucesin parcial {x(n) } ,

podemos hacer que cualquiera de las desigualdades anteriores sea una igualdad. De hecho, ello
nos da una nueva demostracin del principal teorema estudiado en este tema.
Teorema de Bolzano-Weierstrass (revisitado). Si {xn } es una sucesin acotada de nmeros
reales, entonces {xn } admite dos sucesiones parciales {x(n) } y {x(n) } , tales que
{x(n) } lm inf {xn }

{x(n) } lm sup {xn }

Demostracin. Sea = lm inf {xn } = lm {n } , con n = nf {xk : k > n} para todo n N ,

y vamos a ver cmo se consigue una sucesin parcial {x(n) } que converja a . La sucesin
{x(n) } se construye de manera similar. Definiremos por induccin la aplicacin estrictamente
creciente : N N que necesitamos, empezando con (1) = 1 y suponiendo conocido (n)
para definir (n + 1). Para simplificar la notacin, escribimos p = (n) + 1 y la definicin de
p nos dice que existe k > p , tal que xk < p + (1/p) . Definimos entonces
(n + 1) = mn {k N : k > p , xk < p + (1/p)}
Es evidente que es estrictamente creciente, luego {x(n) } es una sucesin parcial de {xn } .
Adems, para cualquier n N , la definicin de (n + 1) nos dice tambin que


(n)+1 6 x(n+1) 6 (n)+1 + 1/((n) + 1)
(3)
Puesto que {(n)+1 } es una sucesin parcial de {n } , tenemos que {(n)+1 } . Por otra
parte, {1/((n) + 1)} 0, pues se trata de una sucesin parcial de {1/n} , luego tambin
{(n)+1 + 1/((n) + 1)} . De la desigualdad (3), vlida para todo n N , deducimos que
{x(n+1) } o, lo que es lo mismo, {x(n) } , como queramos.

Esta segunda versin del Teorema de Bolzano-Weierstrass nos da una informacin que no
apareca explcitamente en la primera: si una sucesin acotada no es convergente, admite dos
sucesiones parciales que convergen a lmites diferentes.
Concluimos este tema con un ejemplo que puede resultar sorprendente: los lmites de las
sucesiones parciales convergentes de una misma sucesin, pueden ser una autntica multitud.
Consideremos el conjunto A = Q [0, 1] , que es infinito y numerable, luego existe una
aplicacin biyectiva : N A . Tomando rn = (n) para todo n N , tenemos una sucesin
{rn } de nmeros racionales tal que {rn : n N} = A . Pues bien, vamos a ver que, para cada
x [0, 1], la sucesin {rn } admite una sucesin parcial {r(n) } que converge a x .
En efecto, empezamos viendo que, para cada > 0 , el conjunto A = {r A : |r x| < }
es infinito y, puesto que es biyectiva, el conjunto 1 (A ) = {n N : |rn x| < } tambin
ser infinito. La construccin de se adivina ya fcilmente:
Tomando = 1 , elegimos (1) de forma que |r(1) x| < 1 ; suponiendo definido (n)
de forma que |r(n) x| < 1/n , podemos usar = 1/(n + 1) para encontrar (n + 1) > (n)
de forma que |r(n+1) x| < 1/(n + 1) . Por induccin, tenemos una aplicacin estrictamente
creciente : N N , verificando que |r(n) x| < 1/n para todo n N . Por tanto, {r(n) } es
una sucesin parcial de {rn } que claramente verifica {r(n) } x .

6. Sucesiones montonas

6.5.

56

Ejercicios

1. Dar un ejemplo de una sucesin de nmeros reales positivos, convergente a cero, que no
sea decreciente.
2. Sea A un conjunto de nmeros reales, no vaco y mayorado. Demostrar que existe una
sucesin creciente de elementos de A que converge a sup A .
3. Demostrar que toda sucesin montona, que admita una sucesin parcial convergente, es
convergente.
4. Sea {xn } una sucesin verificando que x1 > 0 y que xn+1 (1 + xn ) = xn para todo n N .
Probar que {xn } es convergente y calcular su lmite.
5. Sea {xn } una sucesin y supongamos que existe una sucesin {yn } de nmeros reales
positivos tal que {yn } 0 y |xn+k xn | 6 yn para cualesquiera n, k N . Probar que
{xn } es convergente.
6. Sean {xn } e {yn } sucesiones acotadas verificando que xn 6 yn para todo n N . Probar
que lm inf {xn } 6 lm inf {yn } y que lm sup {xn } 6 lm sup {yn }.
7. Probar que, si {xn } e {yn } son sucesiones acotadas, se tiene
lm inf {xn + yn } > lm inf {xn } + lm inf {yn }
lm sup {xn + yn } 6 lm sup {xn } + lm sup {yn }
Mostrar con un ejemplo que ambas desigualdades pueden ser estrictas.
8. Probar que, si {xn } e {yn } son sucesiones acotadas, se tiene tambin
lm inf {xn + yn } 6 lm inf {xn } + lm sup {yn }
lm sup {xn + yn } > lm sup {xn } + lm inf {yn }
Deducir que, si la sucesin {yn } es convergente, se tiene
lm inf {xn + yn } = lm inf {xn } + lm {yn }
lm sup {xn + yn } = lm sup {xn } + lm {yn }