Toda sucesin real lleva dentro suyo una subsucesin montona

El siguiente teorema, de apariencia inofensiva, tiene un significado profundo, y una de

sus consecuencias es que, dicho brevemente, toda sucesin real acotada tiene una
subsucesin convergente.
Teorema. Toda sucesin de nmeros reales tiene una subsucesin montona
Demostracin. Sea ( x n ) n 1 una sucesin real. Diremos que un ndice p es de
contencin de la sucesin, si x p x m para todo entero m p .
Observar que vez fijado p, si ste es de contencin, ello significa que el nmero x p es
una cota inferior para todos los elementos de la sucesin cuyos ndices son superiores a
p. Esto se visualiza notando que x p se encuentra a la izquierda de todos aquellos
elementos de la sucesin cuyos ndices son
mayores que p .
As, por ejemplo, si 7 fuese de contencin
para la sucesin, podemos asegurar que x 8 , x 9 , . .. estn a la derecha de x 7 . Por otra

xp

xn con n p

parte, nada podemos asegurar sobre la ubicacin relativa de los primeros 6 trminos de
la sucesin.
Observar que un ndice q fracasa en ser ndice de contencin, cuando para algn ndice
k > q , es x k < x q .
Ahora bien, en cuanto a la cantidad de ndices de contencin, puede ocurrir dos cosas:
O bien hay infinitos ndices de contencin, o bien solamente hay un nmero finito de
tales ndices.
Supongamos que hay infinitos nmeros de contencin. En este caso podemos encontrar
unos ndices de contencin

n1 < n 2 < n3 < ... < n k < ...

Como n1 es de contencin, siendo n 2 > n1 , la definicin nos asegura que x n 1 x n 2
Anlogamente, puesto que n 2 es de contencin, y que n3 es un ndice mayor que n 2 , la
misma definicin de contencin nos asegura que x n 3 est a la derecha de (o coincide
con) x n 2 .
Esto podemos continuar hacindolo con cada ndice, y de este modo hemos conseguido
la subsucesin creciente

x n 1 x n 2 x n 3 ... x n k ...
Hemos probado la afirmacin para el caso de infinitos ndices de contencin.

Ahora examinamos el caso en que solamente hay una cantidad finita de ndices de
contencin. Ya que hay finitos, si avanzamos lo suficiente, habremos abandonado estos
ndices de contencin, con la seguridad de que a la derecha ya no hay ms de tales
ndices (est dibujando?). Para precisar, supongamos que hay un ndice N tal que si
n N , entonces n no es de contencin. Tomemos cualquier ndice n1 N . Como
n1 no es de contencin, ello significa que hay algn ndice n 2 , con n 2 > n 1 , tal que

xn 1 > xn .
2

Pero anlogamente, como n 2 no es de contencin, esto nos indica que tiene que existir
un ndice mayor, digamos n3 > n 2 , tal que

xn 2 > xn 3 .
Y as sucesivamente (yyy? sigue dibujando?). Hemos obtenido una sucesin
estrictamente creciente de ndices

n1 < n 2 < n3 < ... < n k < ... ,

de modo tal que

x n 1 > x n 2 > x n 3 > ... > x n k > ....

Con esto hemos probado que la afirmacin tambin vale para el caso en que solamente
hubiese un nmero finito de ndices de contencin.
Hemos probado el teorema.

Ejercicio. Definir ndice de contencin a derecha (dual del que hemos dado) y
reproducir la discusin para asegurarse que ha comprendido la idea.
Corolario. Toda sucesin real tiene una subsucesin con lmite

Demostracin. Como acabamos de ver, la sucesin tiene una subsucesin montona y,

como sabemos, toda sucesin montona tiene lmite.
Notar que este lmite es finito si la sucesin es acotada, es ms infinito si es creciente y
no acotada superiormente, o por ltimo ser menos infinito si se trata de una sucesin
decreciente y no acotada inferiormente.
Teorema. Toda sucesin real acotada tiene una subsucesin convergente. Ms an:
dada una sucesin real ( x n ) n 1 con x n , existe una subsucesin ( x nk ) k 1

y un x [ , ] tal que x n k x .

Demostracin. Por el teorema, la sucesin ( x n ) n 1 tiene una subsucesin montona,

digamos ( x nk ) k 1 . Siendo sta montona, tiene un lmite, el que tiene que ser finito
porque estando acotada la sucesin original, lo mismo tiene que ocurrir con la

subsucesin, y as se tiene un x tal que x n k x . Pero siendo x n , por la

misma razn ser

xn .
k

un conocido teorema de conservacin de las desigualdades por paso al lmite 1 nos

permite asegurar que

x ,
con lo que se termina la prueba.
Advertencia. No debiera el lector contentarse con recordar los enunciados de teoremas
y corolarios. Con frecuencia estrategias presentes en una demostracin resultan ser de
utilidad en otras circunstancias. Tambin son importantes los esfuerzos dirigidos a
obtener representaciones visuales de una situacin.

Nota: esta demostracin es bsicamente la misma que ofrece Michael Spivak en su

Calculus (cfr op. cit. puntos cumbre)
Obsrvese que el ncleo de la demostracin es pequeo, y la abundancia de palabras se
debe solamente a que esto est dirigido a un publico amplio. Una vez entendida, la
estrategia es simple y difcil de olvidar.

Supuesto que los lmites existan, an bn l m an l m bn

n