Introducción

Anteriormente estuvimos revisando el concepto de sucesiones convergentes, así como varios ejemplos y sus propiedades. Hasta este punto, deberíamos sentirnos bastante cómodos con las sucesiones convergentes puesto que en esta entrada revisaremos con mayor detalle las sucesiones divergentes.

Sucesiones divergentes a infinito

Antes de iniciar a ver las propiedades de este tipo de sucesiones, vale la pena recordar la definición que se dio previamente.

Definición. Sea $\{a_n\}$ una sucesión en $\mathbb{R}$. Decimos que $\{a_n\}$ diverge a infinito si para todo $M\in \mathbb{R}$, existe $n_0\in \mathbb{N}$ tal que si $n\ge n_0$, entonces $M<a_n$.

La definición nos indica que una sucesión diverge a infinito si para cualquier número real $M$, existe un punto $n_0$, en el que todos los valores subsecuentes en la sucesión son mayores que $M$. Cuando una sucesión $\{a_n\}$ diverge a infinito lo denotaremos como $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }.$$

Propiedades de las sucesiones divergentes a infinito

Ahora sí, estamos listos para indagar las propiedades de las sucesiones que divergen a infinito. La primera propiedad que probaremos será el hecho de que si multiplicamos una sucesión divergente a infinito por una constante positiva, la sucesión resultante también diverge a infinito.

Proposición. Sea $\{a_n\}$ en $\mathbb{R}$ tal que $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty },$$ y sea $c>0$ fijo, entonces $$\underset{n\to \mathrm{\infty }}{lim}c\cdot a_n=\mathrm{\infty }.$$

Demostración.
Sea $M\in \mathbb{R}$. Consideremos $\frac{M}{c}\in \mathbb{R}$.
Como $\{a_n\}$ diverge a infinito, entonces existe $n_0$ tal que para todo $n\ge n_0$ se tiene

$$\begin{array}{cc}& \frac{M}{c}<a_n.\\ \iff & M<c\cdot a_n.\end{array}$$

$$\therefore \underset{n\to \mathrm{\infty }}{lim}c\cdot a_n=\mathrm{\infty }.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

En la demostración anterior, se da un valor arbitrario de $M$ y se debe mostrar que existe un número natural $n_0\text{,}$ tal que para todos los valores subsecuentes de la sucesión $\{c\cdot a_n\}$, son mayores que $M$. Para ello, se usa el hecho de que $\{a_n\}$ es divergente y, particularmente, para el número real $\frac{M}{c}$ existe tal número natural.

La siguiente proposición nos indica cómo se comportan la suma y la multiplicación de sucesiones divergentes que, como es de esperarse, el resultado de tales operaciones es una sucesión divergente.

Proposición. Sean $\{a_n\}$ y $\{b_n\}$ dos sucesiones en $\mathbb{R}$ tales que $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }\text{ y }\underset{n\to \mathrm{\infty }}{lim}{b}_n=\mathrm{\infty }.$$

Entonces

$i)$ $$\underset{n\to \mathrm{\infty }}{lim}(a_n+b_n)=\mathrm{\infty }.$$
$ii)$ $$\underset{n\to \mathrm{\infty }}{lim}(a_n{b}_n)=\mathrm{\infty }.$$

Demostración.

$i)$ Sea $M\in \mathbb{R}$. Como $\{a_n\}$ diverge a infinito, se tiene que
$$\mathrm{\exists }{n}_1\in \mathbb{N}\text{ tal que si }n\ge n_1\Rightarrow \frac{M}{2}<a_n.$$

Y como $\{b_n\}$ también diverge a infinito, se tiene que
$$\mathrm{\exists }{n}_2\in \mathbb{N}\text{ tal que si }n\ge n_2\Rightarrow \frac{M}{2}<b_n.$$

Consideremos $n_0=max\{n_1,n_2\}$. Si $n\ge n_0$, entonces se cumplen las dos expresiones de arriba y al sumarlas obtenemos que $M<a_n+b_n.$
$$\therefore \underset{n\to \mathrm{\infty }}{lim}(a_n+b_n)=\mathrm{\infty }.$$

$ii)$ Sea $M\in \mathbb{R}$.
Para $\{a_n\}$ consideremos el número real $\hat{M}=max\{M,0\}$. Debido a que $\{a_n\}$ diverge, existe $n_1\in \mathbb{N}$ tal que si $n\ge n_1$, entonces $\hat{M}<a_n$, lo que implica que $M<a_n$ y $0<a_n.$

Para $\{b_n\}$ consideremos el número real $1$. Debido a que $\{b_n\}$ diverge, existe $n_2\in \mathbb{N}$ tal que si $n\ge n_2$, entonces $1<b_n.$

Sea $n_0=max\{n_1,n_2\}$. Si $n\ge n_0$, entonces se cumplen las condiciones anteriores. Como $a_n$ es positivo para todo $n\ge n_0$, podemos multiplicar la expresión $1<b_n$ por $a_n$ y la desigualdad se preservará, es decir, $a_n<a_n{b}_n$ y además $M<a_n$, por transitividad concluimos que $M<a_n{b}_n.$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Después de haber revisado las propiedades anteriores y sabiendo que la sucesión $\{n\}$ generada por los números naturales diverge, es posible ampliar nuestro repertorio de sucesiones divergentes. Las siguientes sucesiones divergen por implicación directa de las proposiciones vistas: $\{5n\}$, $\{n+n^2+n^3\}$, $\{7n^2+4n\}$, etc.

La siguiente propiedad hace referencia a que si tenemos una sucesión $\{a_n\}$ divergente a infinito y otra sucesión $\{b_n\}$ para la cual existe un punto a partir del cual siempre es mayor que $\{a_n\}$, entonces $\{b_n\}$ también diverge a infinito.

Proposición. Sean $\{a_n\}$ y $\{b_n\}$ sucesiones en $\mathbb{R}$ tales que
$i$) Existe $n_1\in \mathbb{N}$ tal que para todo $n\ge n_1$ se cumple $b_n\ge a_n.$
$ii$) $\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }.$
Entonces $$\underset{n\to \mathrm{\infty }}{lim}{b}_n=\mathrm{\infty }.$$

Demostración.

Sea $M\in \mathbb{R}$. Por hipótesis, existe $n_1\in \mathbb{N}$ tal que si $n\ge n_1$, entonces $b_n\ge a_n$. Y como $\{a_n\}$ diverge a infinito, existe $n_2\in \mathbb{N}$ tal que para todo $n\ge n_2$, se tiene que $a_n>M$. Consideremos $n_0=max\{n_1,n_2\}$, entonces si $n\ge n_0$, se cumple $b_n\ge a_n$ y $a_n>M$. Se concluye que $b_n>M$ para todo $n\ge n_0.$

$$\therefore \underset{n\to \mathrm{\infty }}{lim}{b}_n=\mathrm{\infty }.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Proposición. Sea $c>1$, entonces $$\underset{n\to \mathrm{\infty }}{lim}{c}^n=\mathrm{\infty }.$$

Demostración.

Para realizar esta demostración haremos uso de la proposición anterior. Sea $n\in \mathbb{N}$. Como $c>1$, entonces $c-1>0$ y por la desigualdad de Bernoulli, tenemos

$$\begin{array}{c}{c}^n=(1+c-1{)}^n\ge 1+n(c-1)>n(c-1).\\ \therefore c^n>n(c-1).\end{array}$$

Además, sabemos que la sucesión $\{n\}$ diverge a infinito y si multiplicamos esta sucesión por una constante positiva, en este caso $c-1$, la sucesión $\{(c-1)n\}$ también diverge a infinito. Utilizando la proposición anterior, se concluye que $$\underset{n\to \mathrm{\infty }}{lim}{c}^n=\mathrm{\infty }.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Como última propiedad, revisaremos que una sucesión monótona no acotada es divergente. Probaremos que las sucesiones crecientes no acotadas divergen a infinito. Se dejará como tarea moral probar que las sucesiones decrecientes no acotadas divergen a $-\mathrm{\infty }.$

Proposición. Si $\{a_n\}$ es una sucesión creciente y no acotada, entonces $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }.$$

Demostración.
Sea $\{a_n\}$ una sucesión creciente y no acotada y sea $M\in \mathbb{R}$. Como la sucesión no está acotada, existe $n_0\in \mathbb{N}$ tal que $M<a_{n_0}$ y como la sucesión es creciente $a_n\ge a_{n_0}$ para todo $n\ge n_0.$

$$\begin{array}{c}\therefore M<a_n\text{, para todo }n\ge n_0.\\ \\ \therefore \underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }.\end{array}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

En la demostración anterior hay una sutileza que vale la pena enfatizar: usamos el hecho de que la sucesión no está acotada para probar que existe al menos un elemento específico, $a_{n_0}$, que es mayor que un real arbitrario $M$, pero para probar que diverge a infinito, hay que probar que también todos los elementos subsecuentes, $a_n$ con $n\ge n_0$, son mayores a $M$ y, en ese momento, es cuando se usa la hipótesis de monotonía.

Más adelante…

En las entradas subsecuentes revisaremos conceptos derivados de las sucesiones: el concepto de subsucesión, las sucesiones de Cauchy y culminaremos con el estudio de una de las constantes más famosas dentro de matemáticas, el número de Euler.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

• Si $\{a_n\}$ es una sucesión decreciente y no acotada, entonces $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=–\mathrm{\infty }.$$
• Sea $\{a_n\}$ una sucesión divergente a infinito tal que para todo $n\in \mathbb{N}$ se cumple que $a_n\ne 0$. Entonces $$\underset{n\to \mathrm{\infty }}{lim}\frac{1}{a_n}=0.$$
• Prueba lo siguiente:
  $i)$ $\underset{n\to \mathrm{\infty }}{lim}\frac{n^2+1}{n+1}=\mathrm{\infty }.$
  $ii)$ $\underset{n\to \mathrm{\infty }}{lim}(n–\sqrt{n})=\mathrm{\infty }.$
• Demuestra que si $$\underset{n\to \mathrm{\infty }}{lim}\frac{a_n}{n}=L,$$ donde $L>0,$ entonces $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }.$$

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral I
• Entrada anterior del curso: Propiedades de las sucesiones convergentes
• Siguiente entrada del curso: Subsucesiones
• Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»