Las sucesiones monótonas (tanto crecientes como decrecientes) tienen una propiedad muy importante: siempre tienen un límite, finito o infinito. Este resultado, conocido como el teorema del límite de una sucesión monótona, nos dice precisamente que una sucesión creciente tiende a su extremo superior, mientras que una sucesión decreciente tiende a su extremo inferior.
Índice
Teorema (límite de una sucesión monótona). Sea \( \{ a_n \}\) una sucesión monótona. Entonces tiene un límite y se cumple:
\[ \lim_{n \to \infty} a_n = \begin{cases} \sup\limits_{n \in \mathbb{N}} a_n \in \mathbb{ R } \cup \{ +\infty \} &\text{si} \ \{ a_n \} \ \text{es creciente,} \\ \inf\limits_{n \in \mathbb{N}} a_n \in \mathbb{ R } \cup \{ -\infty \} &\text{si} \ \{ a_n \} \ \text{es decreciente.} \end{cases} \]
Demostración para \( a_n \) Creciente
Demostración (\( \{ a_n \} \) creciente). Sea \(S = \sup\limits_{n \in \mathbb{N}} a_n\). Por definición de extremo superior:
\[\forall n \in \mathbb{N} \quad : \quad a_n \leq S\]
\[\forall \varepsilon > 0 \ \quad \exists k \in \mathbb{N} \quad : \quad S - \varepsilon < a_k\]
Como la sucesión es creciente, para cada \(n \geq k\) tenemos:
\[S - \varepsilon < a_k \leq a_n \leq S\]
Entonces:
\[ |a_n - S| < \varepsilon \quad \forall n \geq k \]
Por lo tanto, \(\lim_{n \to \infty} a_n = S = \sup\limits_{n \in \mathbb{N}} a_n\). Si en cambio \(S = +\infty\), entonces \(\{a_n\}\) no tiene acotaciones superiores y por lo tanto
\[\forall M > 0 \quad \exists \nu \in \mathbb{N} \quad : \quad a_\nu > M;\]
por el hecho de que \(\{a_n\}\) es creciente, se sigue que
\[a_n \geq a_\nu > M \quad \forall n \geq \nu \]
es decir, \(a_n \to +\infty\) cuando \(n \to +\infty\).
Demostración para \( a_n \) Decreciente
Demostración (\( \{ a_n \} \) decreciente). Sea \(L = \inf\limits_{n \in \mathbb{N}} a_n\). Por definición de extremo inferior:
\[ \forall n \in \mathbb{N} \quad : \quad L \leq a_n \]
\[ \forall \varepsilon > 0 \quad \exists k \in \mathbb{N} \quad : \quad L \leq a_k < L + \varepsilon \]
Como la sucesión es decreciente, para cada \(n \geq k\) tenemos:
\[ L \leq a_n \leq a_k < L + \varepsilon \]
Entonces:
\[ |a_n - L| < \varepsilon \quad \forall n \geq k \]
Por lo tanto, \(\lim_{n \to \infty} a_n = L = \inf\limits_{n \in \mathbb{N}} a_n\). Si en cambio \(L = -\infty\), entonces \(\{a_n\}\) no tiene acotaciones inferiores y por lo tanto
\[\forall M > 0 \quad \exists \nu \in \mathbb{N} \quad : \quad a_\nu < -M;\]
por el hecho de que \(\{a_n\}\) es decreciente, se sigue que
\[a_n \leq a_\nu < -M \quad \forall n \geq \nu \]
es decir, \(a_n \to -\infty\) cuando \(n \to +\infty\).
En ambos casos, hemos demostrado que el límite existe y es igual al extremo superior en el caso creciente y al extremo inferior en el caso decreciente.