Introducción

Anteriormente se dio la definición de sucesión y revisamos algunos ejemplos. En esta entrada, se definirá la convergencia para una sucesión y se darán varios ejemplos de sucesiones convergentes y no convergentes.

Límite de una sucesión

A continuación daremos la definición de límite de una sucesión:

Definición. Sea $\{a_n\}$ una sucesión en $\mathbb{R}$. Sea $L\in \mathbb{R}$, decimos que $L$ es el límite de la sucesión $\{a_n\}$ si para todo $\epsilon >0$ existe un número natural $n_0$ tal que para todo $n\ge n_0$ se satisface $|a_n–L|<\epsilon$.

Si una sucesión tiene como límite a $L$, también decimos que converge a $L$ y lo denotamos como $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=L.$$

En términos más simples, la definición nos indica que una sucesión es convergente a $L$ si a partir de cierto elemento en la sucesión, $a_{n_0}$, los términos están lo suficientemente cerca, $\epsilon$, de $L$. Para ilustrar estos elementos, a continuación se presenta la gráfica de la sucesión $\{a_n\}=\{\frac{1}{n}\}$, y más adelante probaremos que converge a $L=0$.

Observación. Cada punto de la gráfica está determinado por las coordenadas $(i,a_i)$ con $i\in \mathbb{N}$, pero por simplicidad, se denotan únicamente como $a_i$.

Ejemplos de sucesiones convergentes

Ahora continuaremos con algunos ejemplos de sucesiones convergentes. Es importante recalcar que para demostrar que una sucesión converge a $L$, deberemos especificar las condiciones que $n_0$ debe cumplir tal que para un $\epsilon >0$ arbitrario dado, $|a_n–L|<\epsilon$ para todo $n\ge n_0$.

Ejemplo 1. Sea $k$ un número real y consideremos la sucesión $\{a_n\}=\{k\}$, entonces $$\underset{n\to \mathrm{\infty }}{lim}k=k.$$

Demostración.

Sea $\epsilon >0$ (establecemos el valor arbitrario de un épsilon positivo).
Para esta sucesión cualquier valor de $n_0$ sirve, en particular consideremos $n_0=1$ (en este caso se puede dar $n_0$ explícitamente).
Si $n\ge n_0=1$, entonces

$$\begin{array}{c}|a_n-k|=|k-k|=0<\epsilon .\\ \therefore \underset{n\to \mathrm{\infty }}{lim}k=k.\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">}$

El ejemplo anterior es uno sencillo, sin embargo, como lo podemos ver en los comentarios entre paréntesis, están presentes los pasos relevantes para demostrar la convergencia. En este caso, dado que nuestra sucesión era un valor constante, el valor de $n_0$ que funcionaba era cualquier número natural, pero, en la mayoría de los casos, su valor estará definido en términos de épsilon.

Ejemplo 2. Consideremos la sucesión $\{\frac{1}{n}\}$, entonces $$\underset{n\to \mathrm{\infty }}{lim}\frac{1}{n}=0.$$

Demostración.

Sea $\epsilon >0$.

Dado que el valor de $\epsilon$ es positivo, por la propiedad Arquimediana, existe $n_0\in \mathbb{N}$ tal que $1<n_0\cdot \epsilon$, es decir, $\frac{1}{n_0}<\epsilon$. Así, para cualquier $n\ge n_0$ se tiene que $\frac{1}{n}\le \frac{1}{n_0}<\epsilon$. De lo anterior se sigue que

$|\frac{1}{n}–0|=\frac{1}{n}<\epsilon .$

$\therefore |\frac{1}{n}–0|<\epsilon$ para todo $n\ge n_0.$

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

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

En este último ejemplo podemos observar cómo se establecen condiciones que $n_0$ debe cumplir en función de $\epsilon$, así como la relevancia de la propiedad Arquimediana que estará constantemente presente al momento de demostrar convergencia mediante su definición.

Ejemplo 3. Demuestra que

$$\underset{n\to \mathrm{\infty }}{lim}\frac{8n-5}{3n}=\frac{8}{3}.$$

Demostración.

Sea $\epsilon >0$.
Notemos que

$$\left|\frac{8n-5}{3n}–\frac{8}{3}\right|=\left|\frac{8n-5-8n}{3n}\right|=\left|\frac{-5}{3n}\right|=\frac{5}{3n}.$$

$$\begin{array}{}\text{(1)}& \therefore \left|\frac{8n-5}{3n}–\frac{8}{3}\right|=\frac{5}{3n}.\end{array}$$

Consideremos $n_0\cdot \epsilon >\frac{5}{3}$, que sabemos que existe gracias a la propiedad Arquimediana. De esta forma, se tiene que

$$\epsilon >\frac{5}{3n_0}.$$

Si $n\ge n_0$, entonces tenemos

$$\begin{array}{rl}\left|\frac{8n-5}{3n}–\frac{8}{3}\right|=& \frac{5}{3n},\text{ por (1)}\\ \le & \frac{5}{3n_0},\text{ pues }n\ge n_0\\ <& \epsilon .\end{array}$$

$$\therefore \left|\frac{8n-5}{3n}–\frac{8}{3}\right|<\epsilon .$$

$$\therefore \underset{n\to \mathrm{\infty }}{lim}\frac{8n-5}{3n}=\frac{8}{3}.$$

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

Ejemplo 4. $$\underset{n\to \mathrm{\infty }}{lim}(\sqrt{n+1}-\sqrt{n})=0.$$

Demostración.

Sea $\epsilon >0$. Para simplificar la expresión, multiplicaremos por un uno haciendo uso del conjugado de la expresión anterior.

$$\begin{array}{rl}\sqrt{n+1}-\sqrt{n}=& (\sqrt{n+1}-\sqrt{n})\cdot \frac{\sqrt{n+1}+\sqrt{n}}{\sqrt{n+1}+\sqrt{n}}\\ \\ =& \frac{{\sqrt{n+1}}^2–{\sqrt{n}}^2}{\sqrt{n+1}+\sqrt{n}}\\ \\ =& \frac{n+1–n}{\sqrt{n-1}+\sqrt{n}}\\ \\ =& \frac{1}{\sqrt{n-1}+\sqrt{n}}\\ \\ \le & \frac{1}{\sqrt{n}}.\end{array}$$

$$\therefore \sqrt{n-1}-\sqrt{n}\le \frac{1}{\sqrt{n}}.$$

Consideremos $n_0>\frac{1}{{\epsilon }^2}\Rightarrow \frac{1}{\sqrt{n_0}}<\epsilon$. Entonces tenemos

$$\begin{array}{rl}|\sqrt{n-1}-\sqrt{n}–0|=& \frac{1}{\sqrt{n-1}+\sqrt{n}}\text{, por la observación anterior}\\ \le & \frac{1}{\sqrt{n}}\\ \le & \frac{1}{\sqrt{n_0}},\text{pues }n\ge n_0\\ <& \epsilon .\end{array}$$

$\therefore |\sqrt{n-1}-\sqrt{n}–0|<\epsilon .$

$$\therefore \underset{n\to \mathrm{\infty }}{lim}(\sqrt{n+1}-\sqrt{n})=0.$$

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

Los dos ejemplos de arriba hacen uso de manipulaciones algebraicas que nos permiten simplificar nuestro problema; esta técnica de simplificación de expresiones, cuyo fin es llevarlas a otras más sencillas, es ampliamente usada para demostrar la convergencia de sucesiones.

Ejemplos de sucesiones no convergentes

Después de haber revisado ejemplos de sucesiones convergentes, vale la pena conocer sucesiones que no convergen, es decir, que su límite no existe.

Ejemplo 5. Consideremos la sucesión $\{a_n\}=\{(-1{)}^n\}$. Probaremos que el límite de $\{a_n\}$ no existe.

Demostración.

Procederemos a hacer esta demostración por contradicción. Supongamos que existe $L\in \mathbb{R}$ tal que $$\underset{n\to \mathrm{\infty }}{lim}(-1{)}^n=L.$$

Consideremos $\epsilon =1/2>0$. Por definición, existe $n_0\in \mathbb{N}$ tal que si $n\ge n_0$ entonces $|(-1{)}^n-L|<\frac{1}{2}.$

Como $2n_0>n_0$ y $2n_0+1>n_0$, entonces
$$\begin{array}{}\text{(1)}& |(-1{)}^{2n_0}-L|<\frac{1}{2}\Rightarrow |1-L|<\frac{1}{2}.\text{(2)}& |(-1{)}^{2n_0+1}-L|<\frac{1}{2}\Rightarrow |-1-L|=|1+L|<\frac{1}{2}.\end{array}$$

Y notemos que

$$\begin{array}{rl}2=|1+1|=& |1-L+L+1|\\ \le & |1-L|+|1+L|\\ <& \frac{1}{2}+\frac{1}{2}\text{, por (1) y (2).}\end{array}$$

Lo anterior implica que $2<1$ y esto es una contradicción.
Por tanto, podemos concluir que tal límite no existe.

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

Ahora estudiaremos una nueva definición para un tipo particular de sucesiones que no tienen como límite a un número real $L$.

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

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

Ejemplo 6. La sucesión $\{a_n\}=\{n\}$ diverge a infinito.

Demostración.

Sea $M\in \mathbb{N}$. Sabemos que $\mathbb{N}$ no está acotado superiormente, entonces existe $n_0\in \mathbb{N}$ tal que $M<n_0$, de esta forma, si $n\ge n_0$, se tiene que $M<n$.

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

Ejemplo 7. $$\underset{n\to \mathrm{\infty }}{lim}{n}^2=\mathrm{\infty }.$$

Demostración.

Procederemos a hacer la prueba por contradicción. Supongamos que para todo $n\in \mathbb{N}$ se tiene que $n^2\le M$ para algún $M\in \mathbb{R}$. Se sigue que

$\sqrt{n^2}\le \sqrt{M}.$

Es decir,

$n\le \sqrt{M}.$

Lo cual es una contradicción pues sabemos que el conjunto de los números naturales no está acotado superiormente.

$\therefore \{n^2\}$ diverge a infinito.

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

Más adelante…

Se han revisado las definiciones de convergencia y divergencia a infinito, hemos visto diversos ejemplos de ambas definiciones. En las siguientes entradas se revisarán criterios para la convergencia de sucesiones, así como sus propiedades y teoremas con lo cual podremos determinar si una sucesión es convergente o no de manera más rápida.

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.

• Prueba que el límite de una sucesión convergente $\{a_n\}$ es único.
  Sugerencia:
  1. Proceder por contradicción y asumir que existen dos números reales distintos $L$ y $L^{\prime }$ tales que
  $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=L\text{y}\underset{n\to \mathrm{\infty }}{lim}{a}_n=L^{\prime }.$$
  2. Utilizar la definición de límite de una sucesión empleando el siguiente valor de épsilon: $$\epsilon =\frac{|L-L^{\prime }|}{2}.$$
  $\epsilon >0$, ¿por qué?
• Demuestra lo siguiente:
  a) $$\underset{n\to \mathrm{\infty }}{lim}\frac{(-1{)}^n}{n}=0.$$
  b) $$\underset{n\to \mathrm{\infty }}{lim}\sqrt{n}=\mathrm{\infty }.$$
  c) $$\underset{n\to \mathrm{\infty }}{lim}\sqrt{12+\frac{1}{n}}=\sqrt{12}.$$
• Sea $\{a_n\}$ una sucesión en $\mathbb{R}$ y sea $L\in \mathbb{R}$. Prueba que $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=L\iff \underset{n\to \mathrm{\infty }}{lim}{a}_n–L=0.$$
• Una sucesión también puede ser divergente a $-\mathrm{\infty }$. Propón una definición análoga a la de divergencia a infinito y prueba que $$\underset{n\to \mathrm{\infty }}{lim}–\sqrt{n}=–\mathrm{\infty }.$$

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral I
• Entrada anterior del curso: Sucesiones de números reales
• Siguiente entrada del curso: Operaciones con sucesiones convergentes
• 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»