Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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
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
y un x [ , ] tal que x n k x .
xn .
k
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.