Complementos de Cálculo

Cola de una sucesión

Prof. Paul Acevedo, PhD Semestre 2018A

Motivación. Considere la sucesión definida para cada n ∈ N∗ como


1010n , si 1 ≤ n ≤ 106
xn =
1, caso contrario.
n

Note que los primeros un millón de términos de la sucesión toman valores realmente grandes. El primer término
106
corresponde a x1 = 1010 y el término ún millón es x106 = 1010 . Este último número es una cantidad realmente
muy grande1 .
Si nos fijamos en estos primeros términos uno estarı́a tentado a decir que la sucesión va a diverger a +∞. Sin
embargo, note que a medida que seguimos recorriendo los números naturales luego de 106 , vemos que los valores
de la sucesión son ahora cantidades muy pequeñas, por ejemplo, x10100 = 10−100 . Este número es muy pero muy
pequeño2 .
Ası́, puesto que estamos interesados en el comportamiento de la sucesión cuando n toma valores cada vez más
grandes, entonces vemos que el comportamiento de la sucesión estará determinado por los términos posteriores
106
al término x106 = 1010 . Estos términos forman una nueva sucesión conocida como cola de la sucesión
{xn }n∈N∗ . A continuación formalizaremos el hecho de que el comportamiento de la sucesión está determinado por
el comportamiento de cualquier cola de dicha sucesión.
????????????????????????????????????????????????????????????????????????????????????????????????

Definición (m-cola de una sucesión). Sean {xn }n∈N∗ una sucesión real y m ∈ N∗ . La m-cola de {xn }n∈N∗ se
define como la sucesión
{xm+n }n∈N∗ = {xm+1 , xm+2 , xm+3 , . . .}.
Se dice que una m-cola {xm+n }n∈N∗ de la sucesión {xn }n∈N∗ converge a x ∈ R si

(∀ε > 0)(∃N = Nε ∈ N∗ )(∀n ≥ N )(|xm+n − x| < ε).

Con estos conceptos podemos enunciar y demostrar el siguiente resultado.

Teorema. Sean {xn }n∈N∗ una sucesión real y m ∈ N∗ . Se tiene que

xn −→ x ⇐⇒ xm+n −→ x.
n→+∞ n→+∞

Demostración.
(=⇒) Suponemos que xn −→ x y consideremos ε > 0. Debemos hallar N = Nε ∈ N∗ tal que para todo n ≥ N
n→+∞
se tenga que |xm+n − x| < ε.
Como xn −→ x, entonces existe M = Mε ∈ N∗ tal que para todo n ≥ M se tiene que |xn − x| < ε. Notar
n→+∞
que como m + n > n, entonces tomando N := M se sigue que para todo n ≥ N , |xm+n − x| < ε.
(⇐=) Suponemos que xm+n −→ x y consideremos ε > 0. Debemos hallar N = Nε ∈ N∗ tal que para todo
n→+∞
n ≥ N se tenga que |xn − x| < ε.
Como xm+n −→ x, entonces existe M = Mε ∈ N∗ tal que para todo n ≥ M se tiene que |xm+n − x| < ε. Ası́,
n→+∞
tomando N := M + m se sigue que para todo n ≥ N , |xn − x| < ε.

Del teorema anterior se tiene que si una sucesión converge, entonces cualquier cola de dicha sucesión también
convergerá al mismo lı́mite, y viceversa. Ası́ mismo, si una sucesión diverge o si no tiene lı́mite, entonces cualquier
cola de dicha sucesión divergerá o tampoco tendrá lı́mite, y viceversa.
1 En nuestra realidad contamos con números que representan cantidades muy grandes y este último número es astronómicamente
más grande que el número total de átomos de hidrógeno en el universo que es de aproximadamente 1080 y que el número total de
jugadas legales posibles en una partida de ajedrez que es de 10120 , conocido como número de Shannon.
2 Este número es mucho más pequeño que la “longitud mı́nima de cualquier cosa”, que en el modelo fı́sico actual de nuestro universo

es de 10−34 metros, conocido como la longitud de Planck.