Introducción

A lo largo de nuestros cursos de Cálculo hemos trabajado con el concepto de límite a detalle, ya que como sabemos, conceptos esenciales en la teoría de las funciones reales como el de continuidad y derivada, además de muchos otros, tienen sustento y se definen precisamente a través del límite. Intuitivamente sabemos que el límite de una función real, cuando existe, digamos $\underset{x\to x_0}{lim}f(x)=L$, nos dice que los valores de la función $f$ estarán tan cercanos al número real $L$ siempre que $x$ esté próximo a $x_0$, pero sin llegar a ser igual a dicho valor.

En esta entrada veremos que al igual que en el caso real, el concepto de límite para funciones complejas nos permitirá hablar de la continuidad y la diferenciabilidad de una función compleja. Aunque el concepto de límite para funciones complejas será idéntico a nuestra idea de proximidad en el caso real, veremos que el caso complejo es mucho más rico ya que aquí consideraremos más de dos posibles direcciones en que un número complejo se aproxime a otro.

Límite complejo

Recordemos que para $S\subset \mathbb{C}$, el conjunto $S^{\prime }$ denota al conjunto de los puntos de acumulación de $S$.

Definición 14.1. (Límite de una función compleja.)
Sea $S\subset \mathbb{C}$ y sea $z_0\in S^{\prime }$. Dada $f\in \mathcal{F}(S)$, diremos que el número complejo $L\in \mathbb{C}$ es el límite de $f(z)$ cuando z tiende a $z_0$, lo cual denotamos como $\underset{z\to z_0}{lim}f(z)=L$, si para todo $\epsilon >0$ existe un $\delta >0$ tal que si $z\in S$ y $0<|z–z_0|<\delta$ entonces $|f(z)–L|<\epsilon$.

Observación 14.1.
En caso de existir el límite, este es único. Supongamos que $\underset{z\to z_0}{lim}f(z)=L_1$ y $\underset{z\to z_0}{lim}f(z)=L_2$. Por la definición 14.1 tenemos que dado $\epsilon >0$ existen ${\delta }_1>0$ y ${\delta }_2>0$ tales que si $z\in S$ y $0<|z–z_0|<{\delta }_1$, $0<|z–z_0|<{\delta }_2$, entonces $|f(z)–L_1|<\frac{\epsilon }{2}$ y $|f(z)–L_2|<\frac{\epsilon }{2}$. Como $z_0\in S^{\prime }$, entonces para $\delta =\text{mín}\{{\delta }_1,{\delta }_2\}>0$ existe $z^{\ast }\in S$ tal que $0<|z^{\ast }–z_0|<\delta$, por lo que: $$|L_1–L_2|\le |f(z^{\ast })–L_1|+|f(z^{\ast })–L_2|<\epsilon .$$ Como se cumple para todo $\epsilon >0$, entonces $L_1=L_2$.

Observación 14.2.
Primeramente, notemos que la existencia del límite $L$ no depende de que la función $f$ esté definida en el punto $z_0$. Por otra parte, de acuerdo con la observación 14.1 tenemos que para garantizar la existencia de $\underset{z\to z_0}{lim}f(z)$, debe suceder que la función $f$ evaluada en $z$ se aproxime siempre al mismo número complejo $L$, esto sin importar la forma en que $z$ se aproxime a $z_0$, figura 68. Es decir, si $f$ se aproxima a dos números complejos distintos, digamos $L_1$ y $L_2$, cuando $z$ se aproxima a $z_0$ siguiendo dos trayectorias distintas, entonces $\underset{z\to z_0}{lim}f(z)$ no existe.

Ejemplo 14.1.
a) Consideremos la siguiente función: $$f(z)={\displaystyle \frac{z^2+4}{z-2i}}.$$ Es claro que el dominio natural de $f$ es $S=\mathbb{C}\setminus \{2i\}$. Sin embargo, veamos que $\underset{z\to 2i}{lim}f(z)=4i$.

Solución. Sea $z\in S$. Notemos que: $${\displaystyle \frac{z^2+4}{z-2i}}-4i={\displaystyle \frac{(z+2i)(z-2i)}{z-2i}}-4i=z–2i,$$ por lo que:

$$|f(z)–4i|=|z–2i|.$$ Entonces para $\epsilon >0$ definimos $\delta =\epsilon$, entonces $|f(z)–4i|<\epsilon$ si $0<|z–2i|<\delta$, es decir $\underset{z\to 2i}{lim}f(z)=4i$.

b) Consideremos a la función $f(z)={\bar{z}}^2–2$. Es claro que la función $f$ está definida en todo $\mathbb{C}$. Veamos que $\underset{z\to 1-i}{lim}f(z)=-2+2i$.

Solución. Sean $z\in \mathbb{C}$ y $\epsilon >0$. Notemos que: $$\begin{array}{rl}|{\bar{z}}^2–2-(-2+2i)|& =|{\bar{z}}^2–2i|=|\overline{{\stackrel{―}{z}}^2–2i}|=|z^2+2i|\\ & =|z-(1-i)||z+(1-i)|\\ & \le |z-(1-i)|(|z-(1-i)|+2|1-i|).\end{array}$$ Haciendo $0<|z-(1-i)|<1$ tenemos que: $$\begin{array}{rl}|{\bar{z}}^2–2-(-2+2i)|& \le |z-(1-i)|(1+2\sqrt{2})\end{array}$$ Por lo que tomando $\delta =\text{mín}\{1,{\displaystyle \frac{\epsilon }{1+2\sqrt{2}}}\}>0$, se sigue que si $0<|z-(1-i)|<\delta$ entonces: $$|f(z)–(-2+i)|=|{\bar{z}}^2–2-(-2+2i)|<\epsilon .$$ Por lo tanto $\underset{z\to 1-i}{lim}f(z)=-2+2i$.

c) Sea $c\in \mathbb{C}$ una constante. Consideremos a las funciones $f(z)=c$, $g(z)=z$ y $h(z)=\bar{z}$. Es claro que dichas funciones complejas están definidas en todo $\mathbb{C}$. Entonces para todo $z_0\in \mathbb{C}$ se cumple que para todo $\epsilon >0$ existe $\delta =\epsilon >0$ tal que: $$\begin{array}{r}\underset{z\to z_0}{lim}f(z)=c,\\ \underset{z\to z_0}{lim}g(z)=z_0,\\ \underset{z\to z_0}{lim}h(z)=\overline{z_0}.\end{array}$$

Ejemplo 14.2.
Consideremos a la función: $$f(z)={\displaystyle \frac{z}{\bar{z}}},$$ cuyo dominio es $S=\mathbb{C}\setminus \{0\}$. Veamos que $\underset{z\to 0}{lim}f(z)$ no existe.

Solución. De acuerdo con la observación 14.2, basta encontrar dos trayectorias por las que $z$ se aproxime a $0$ que nos den valores distintos para dicho límite.

Notemos que si nos acercamos a $0$ a través del eje real, es decir tomando $z=x+i0$, con $x\to 0$, entonces: $$\underset{z\to 0}{lim}f(z)=\underset{z\to 0}{lim}{\displaystyle \frac{z}{\bar{z}}}=\underset{x\to 0}{lim}{\displaystyle \frac{x+i0}{x-i0}}=\underset{x\to 0}{lim}{\displaystyle \frac{x}{x}}=1.$$

Mientras que si nos acercamos a $0$ a través del eje imaginario, es decir tomando $z=0+iy$, con $y\to 0$, entonces: $$\underset{z\to 0}{lim}f(z)=\underset{z\to 0}{lim}{\displaystyle \frac{z}{\bar{z}}}=\underset{y\to 0}{lim}{\displaystyle \frac{0+iy}{0-iy}}=\underset{y\to 0}{lim}{\displaystyle \frac{iy}{-iy}}=-1.$$

Por lo que $\underset{z\to 0}{lim}f(z)$ no existe.

Observación 14.3.
De acuerdo con la proposición 8.6 de la entrada 8, tenemos que para $z_0\in \mathbb{C}$ y $S\subset \mathbb{C}$ se cumple que $z_0$ es un punto de acumulación de $S$ si y solo si existe una sucesión $\{z_n{\}}_{n\ge 1}$ en $S$ tal que $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$ y $\underset{n\to \mathrm{\infty }}{lim}{z}_n=z_0$.

Este resultado es útil para caracterizar la existencia del límite de una función compleja a través de sucesiones complejas, para ello planteamos la siguiente:

Proposición 14.1.
Sean $S\subset \mathbb{C}$, $z_0\in S^{\prime }$, $L\in \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Entonces se cumple que $\underset{z\to z_0}{lim}f(z)=L$ si y solo si $\underset{n\to \mathrm{\infty }}{lim}f(z_n)=L$, para toda sucesión $\{z_n{\}}_{n\ge 1}\subset S$ tal que $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$ y $\underset{n\to \mathrm{\infty }}{lim}{z}_n=z_0$.

Demostración. Dadas las hipótesis tenemos:

$\Rightarrow )$
Supongamos que $\underset{z\to z_0}{lim}f(z)=L$. Veamos que $\underset{n\to \mathrm{\infty }}{lim}f(z_n)=L$, para toda sucesión $\{z_n{\}}_{n\ge 1}\subset S$ tal que $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$ y $\underset{n\to \mathrm{\infty }}{lim}{z}_n=z_0$.

Dado $\epsilon >0$ existe $\delta >0$ tal que si $z\in S$ y $0<|z-z_0|<\delta$, entonces $0<|f(z)-L|<\epsilon$.

Sea $\{z_n{\}}_{n\ge 1}\subset S$ una sucesión tal que $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$ y $\underset{n\to \mathrm{\infty }}{lim}{z}_n=z_0$. Para $\delta >0$ se cumple para toda $n\ge N$ que $0<|z_n–z_0|<\delta$. Por lo tanto: $$|f(z_n)–L|<\epsilon ,\mathrm{\forall }n\ge N,$$ es decir que $\underset{n\to \mathrm{\infty }}{lim}f(z_n)=L$.

$(\Leftarrow$
Supongamos que para toda sucesión $\{z_n{\}}_{n\ge 1}\subset S$ tal que $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$ y $\underset{n\to \mathrm{\infty }}{lim}{z}_n=z_0$, se cumple que $\underset{n\to \mathrm{\infty }}{lim}f(z_n)=L$. Veamos que $\underset{z\to z_0}{lim}f(z)=L$.

Por reducción al absurdo supongamos que $\underset{z\to z_0}{lim}f(z)\ne L$. Entonces existe $\epsilon >0$ tal que para todo $\delta >0$ existe $z_{\delta }\in S$ tal que $0<|z_{\delta }–z_0|<\delta$ y $0<|f(z_{\delta })–L|\ge \epsilon$.

Dado que para toda $n\in {\mathbb{N}}^{+}$ se cumple que $\frac{1}{n}$ es positivo, entonces existe $z_n\in S$ tal que: $$0<|z_n–z_0|<\frac{1}{n}\text{y}|f(z_n)–L|\ge \epsilon ,$$ es decir que la sucesión $\{z_n{\}}_{n\ge 1}$, con $z_n\ne z_0$ para todo $n\in {\mathbb{N}}^{+}$, converge a $z_0$, pero la sucesión $\{f(z_n){\}}_{n\ge 1}$ no converge a $L$, lo cual contradice nuestra hipótesis, por lo que $\underset{z\to z_0}{lim}f(z)=L$.

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

Observación 14.4.
De acuerdo con la proposición 12.1 de la entrada 12, sabemos que toda función compleja $f$ puede escribirse de la forma: $$f(z)=u(x,y)+iv(x,y),$$ con $u(x,y)$ y $v(x,y)$ funciones reales que corresponden con su parte real e imaginaria, respectivamente. Veamos que podemos garantizar la existencia del límite de una función compleja a través de estas funciones, para ello recordemos primeramente la definición de límite para una función real de dos variables, vista en nuestros cursos de Cálculo.

Definición 14.2. (Límite de una función real de dos variables.)
Sean $U\subset {\mathbb{R}}^2$ un conjunto abierto y $u:U\to \mathbb{R}$ una función real de dos variables, digamos $x$ e $y$. Para $(x_0,y_0)\in U^{\prime }$ y $a\in \mathbb{R}$ diremos que: $$\underset{(x,y)\to (x_0,y_0)}{lim}u(x,y)=a,$$ si para todo $\epsilon >0$ existe $\delta >0$ tal que si $(x,y)\in U$ y $0<\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}<\delta$, entonces: $$|u(x,y)–a|<\epsilon .$$

Proposición 14.2.
Sean $S\subset \mathbb{C}$, $z_0=x_0+i{y}_0\in S^{\prime }$ y $L=a+ib\in \mathbb{C}$. Entonces para toda función compleja $f(z)=u(z)+iv(z)$ definida en $S$ se cumple que: $$\underset{z\to z_0}{lim}f(z)=L\text{si y solo si}\underset{z\to z_0}{lim}u(z)=a\text{y}\underset{z\to z_0}{lim}v(z)=b.$$

Demostración. Dadas las hipótesis, de acuerdo con la observación 3.1 tenemos que para todo $z=x+iy\in S$ se cumple que: $$|u(z)–a|\le |f(z)–L|\le |u(z)–a|+|v(z)–b|,$$ $$|v(z)–b|\le |f(z)–L|\le |u(z)–a|+|v(z)–b|.$$ Considerando las definiciones 14.1, 14.2 y las desigualdades anteriores se sigue el resultado.

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

De acuerdo con la proposición 14.2, tenemos que la existencia de un límite en $\mathbb{C}$ está garantizada por la existencia de los límites de dos funciones reales, por lo que podemos utilizar los resultados que conocemos para límites de funciones reales de dos variables para verificar si dicho límite existe en $\mathbb{C}$.

Ejemplo 14.3.
Consideremos a la función $f(z)=z^2$, la cual está definida en todo $\mathbb{C}$. Veamos que para todo $z_0\in \mathbb{C}$ se cumple: $$\underset{z\to z_0}{lim}f(z)=z_0^2.$$

Solución. Procediendo por la definición 14.1 es fácil probar la existencia de dicho límite. Sin embargo, podemos hacer uso de la proposición 14.2 para probar el resultado.

Sean $z=x+iy,z_0=x_0+i{y}_0\in \mathbb{C}$ con $z_0$ fijo. Entonces tenemos que: $$f(x+iy)=u(x,y)+iv(x,y),$$ donde $\mathrm{Re}(f(z))=u(x,y)=x^2-y^2$ e $\mathrm{Im}(f(z))=v(x,y)=2xy$. Tenemos que: $$\begin{array}{r}\underset{z\to z_0}{lim}\mathrm{Re}(f(z))=\underset{\begin{array}{c}x\to x_0\\ y\to y_0\end{array}}{lim}u(x,y)=x_0^2–y_0^2,\\ \underset{z\to z_0}{lim}\mathrm{Im}(f(z))=\underset{\begin{array}{c}x\to x_0\\ y\to y_0\end{array}}{lim}v(x,y)=2x_0{y}_0.\end{array}$$ Por lo tanto $\underset{z\to z_0}{lim}f(z)=x_0^2–y_0^2+i2x_0{y}_0=z_0^2$.

Observación 14.5.
Notemos que para la función $f(z)=z^n$, con $n\in {\mathbb{N}}^{+}$ y $z\in \mathbb{C}$, se puede probar por inducción que para todo $z_0\in \mathbb{C}$: $$\underset{z\to z_0}{lim}f(z)=\underset{z\to z_0}{lim}{z}^n=z_0^n.$$

Proposición 14.3. (Álgebra de límites.)
Sean $f,g\in \mathcal{F}(S)$, sea $z_0\in S^{\prime }$ y sean $c,L_1,L_2\in \mathbb{C}$. Supongamos que $\underset{z\to z_0}{lim}f(z)=L_1$, $\underset{z\to z_0}{lim}g(z)=L_2$. Entonces:

1. $\underset{z\to z_0}{lim}[f(z)\pm cg(z)]=L_1\pm c{L}_2$.
2. $\underset{z\to z_0}{lim}[f(z)g(z)]=L_1{L}_2$.
3. Si $L_2\ne 0$, entonces $\underset{z\to z_0}{lim}\left[{\displaystyle \frac{f(z)}{g(z)}}\right]={\displaystyle \frac{L_1}{L_2}}$.

Demostración. Dadas las hipótesis, tenemos que:

1. Si $c=0$ entonces se sigue el resultado. Supongamos que $c\ne 0$ y sea $\epsilon >0$, entonces existen ${\delta }_1>0$, ${\delta }_2>0$ tales que si $z\in S$ y $0<|z-z_0|<{\delta }_1$, $0<|z-z_0|<{\delta }_2$, entonces: $$\begin{array}{r}|f(z)–L_1|<\frac{\epsilon }{2},\\ |g(z)–L_2|<\frac{\epsilon }{2|c|}.\end{array}$$ Por lo que tomando $\delta =\text{mín}\{{\delta }_1,{\delta }_2\}>0$, tenemos que si $z\in S$ y $0<|z-z_0|<\delta$, entonces: $$|f(z)\pm cg(z)–(L_1\pm c{L}_2)|\le |f(z)–L_1|+|c||g(z)–L_2|<\epsilon .$$
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.

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

Observación 14.6.
De acuerdo con la proposición 14.3 y el inciso (c) del ejemplo 14.1, podemos calcular de forma inmediata el límite de un polinomio en cualquier punto, o el límite de una función racional en un punto donde dicha función esté definida, simplemente evaluando el polinomio o la función racional en el punto dado.

Ejemplo 14.4.
Hallar cada uno de los siguientes límites:
a) $\underset{z\to 3i}{lim}{\displaystyle \frac{z^2+9}{z–3i}}$.
b) $\underset{z\to 2+3i}{lim}(z–5i{)}^2$.
c) $\underset{z\to i}{lim}3z^2+2z-1$.

Solución. Considerando la observación 14.6 y las propiedades de los límites tenemos:
a) $$\begin{array}{rl}\underset{z\to 3i}{lim}{\displaystyle \frac{z^2+9}{z–3i}}& =\underset{z\to 3i}{lim}{\displaystyle \frac{(z+3i)(z–3i)}{z–3i}}\\ & =\underset{z\to 3i}{lim}z+3i\\ & =\underset{z\to 3i}{lim}z+\underset{z\to 3i}{lim}3i\\ & =3i+3i\\ & =6i.\end{array}$$

b) $$\begin{array}{rl}\underset{z\to 2+3i}{lim}(z–5i{)}^2& =\underset{z\to 2+3i}{lim}(z–5i)(z–5i)\\ & ={\left(\underset{z\to 2+3i}{lim}z–5i\right)}^2\\ & ={\left(\underset{z\to 2+3i}{lim}z–\underset{z\to 2+3i}{lim}5i\right)}^2\\ & ={(2+3i–5i)}^2\\ & ={\left(2–2i\right)}^2\\ & =-8i.\end{array}$$

c) $$\begin{array}{rl}\underset{z\to i}{lim}3z^2+2z–1& =3\underset{z\to i}{lim}{z}^2+2\underset{z\to i}{lim}z–\underset{z\to i}{lim}1\\ & =3{\left(\underset{z\to i}{lim}z\right)}^2+2i–1\\ & =3i^2+2i–1\\ & =-4+2i.\end{array}$$

De acuerdo con la proposición 14.3, tenemos que las propiedades de los límites para funciones reales se extienden para el caso complejo. Veamos que otras propiedades de los límites para funciones reales pueden ser modificadas para el caso de funciones complejas.

Proposición 14.4. (Teorema de comparación.)
Sean $S\subset \mathbb{C}$, $f,g\in \mathcal{F}(S)$ dos funciones y $z_0\in S^{\prime }$.

1. Si $\underset{z\to z_0}{lim}f(z)=0$ y para algún $r>0$ se cumple que $|g(z)|\le |f(z)|$ para toda $z\in B(z_0,r)\setminus \{z_0\}$, entonces $\underset{z\to z_0}{lim}g(z)=0$.
2. Si $\underset{z\to z_0}{lim}f(z)=0$ y para algún $r>0$ se cumple que existe $M>0$ tal que $|g(z)|\le M$ para toda $z\in B(z_0,r)\setminus \{z_0\}$, entonces $\underset{z\to z_0}{lim}f(z)g(z)=0$.

Demostración. Dadas la hipótesis, tenemos que:

1. Para $\epsilon >0$ existe $\delta >0$ tal que si $z\in S$ y $0<|z-z_0|<\delta$, entonces $|f(z)|<\epsilon$. Sea $z\in B(z_0,\delta )\setminus \{z_0\}$, entonces $|g(z)|\le |f(z)|$, por lo que $|g(z)–0|<\epsilon$ siempre que $0<|z-z_0|<\delta$, es decir $\underset{z\to z_0}{lim}g(z)=0$.
2. Para $\epsilon >0$ existe $\delta >0$ tal que si $z\in S$ y $0<|z-z_0|<\delta$, entonces $|f(z)|<\epsilon$. Dado que para $z\in B(z_0,\delta )\setminus \{z_0\}$ se cumple que existe $M>0$ tal que $|g(z)|\le M$, entonces para $0<|z-z_0|<\delta$ tenemos que: $$0\le |f(z)g(z)|\le M|f(z)|.$$ De acuerdo con el ejercicio 3 de esta entrada y la proposición 14.3(2) tenemos que $\underset{z\to z_0}{lim}M|f(z)|=0$, entonces considerando el inciso anterior se cumple que $\underset{z\to z_0}{lim}f(z)g(z)=0$.

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

Consideremos ahora a la función $f(z)=1/z$, dada en el ejemplo 12.1(d). Al pensarla como una función compleja definida en $\mathbb{C}$, es claro que el dominio $S$ de dicha función es $S=\mathbb{C}\setminus \{0\}$. Sin embargo, considerando al plano complejo extendido tomemos $f:S\subset {\mathbb{C}}_{\mathrm{\infty }}\to {\mathbb{C}}_{\mathrm{\infty }}$, por lo que podemos definir a la imagen de $z=0$ bajo dicha función como el punto al infinito, es decir $w=f(z)=\mathrm{\infty }$. Es claro que al trabajar con ${\mathbb{C}}_{\mathrm{\infty }}$ la función f es biyectiva, por lo que podemos pensar en la inversa de $f$, es decir en $z=f^{-1}(w)=1/w$. Entonces ¿qué pasa con $\underset{w\to 0}{lim}f(f^{-1}(w))$? ¿y con $\underset{z\to \mathrm{\infty }}{lim}f(z)$? ¿Qué relación hay entre dichos límites?

Por otra parte, como vimos en la entrada 11, cuando pensamos en que un número complejo tiende a infinito, lo cual denotamos como $z\to \mathrm{\infty }$, estamos considerando que su módulo crece de manera arbitraria, es decir $|z|\to \mathrm{\infty }$. Del mismo modo al hablar de una función $f$ que tiende a infinito, lo cual denotamos como $f(z)\to \mathrm{\infty }$, estamos considerando que el módulo de dicha función crece de forma arbitraria, es decir $|f(z)|\to \mathrm{\infty }$.

Para formalizar todo lo anterior consideremos las siguientes definiciones.

Definición 14.3. ($\rho$-vecindad de $\mathrm{\infty }$.)
Sea $\rho >0$ suficientemente pequeño. En el plano complejo extendido ${\mathbb{C}}_{\mathrm{\infty }}$, una $\rho$-vecindad de $\mathrm{\infty }$ o simplemente una vecindad de $\mathrm{\infty }$, es el conjunto: $$B(\mathrm{\infty },\rho )=\{z\in \mathbb{C}:\frac{1}{\rho }<|z|\}.$$ Un conjunto $U\subset {\mathbb{C}}_{\mathrm{\infty }}$ abierto que contenga a una $\rho$-vecindad de $\mathrm{\infty }$, para algún $\rho >0$, es también una $\rho$-vecindad de $\mathrm{\infty }$.

Definición 14.4. (Límites al infinito e infinitos.)
Sea $f:S\subset \mathbb{C}\to \mathbb{C}$ una función.

1. Diremos que $\underset{z\to \mathrm{\infty }}{lim}f(z)=w_0$ si para todo $\epsilon >0$, existe $\delta >0$ tal que si $z\in S$ y $|z|>\frac{1}{\delta }$, entonces: $$|f(z)–w_0|<\epsilon .$$
2. Diremos que $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ si para todo $\epsilon >0$ existe un $\delta >0$ tal que si $z\in S$ y $0<|z-z_0|<\delta$, entonces: $$|f(z)|>\frac{1}{\epsilon }.$$
3. Diremos que $\underset{z\to \mathrm{\infty }}{lim}f(z)=\mathrm{\infty }$ si para todo $\epsilon >0$, existe $\delta >0$ tal que si $z\in S$ y $|z|>\frac{1}{\delta }$, entonces: $$|f(z)|>\frac{1}{\epsilon }.$$

Ejemplo 14.5.
a) Sea $f(z)={\displaystyle \frac{1}{z^2}}$, con $z\ne 0$, entonces: $$\underset{z\to \mathrm{\infty }}{lim}f(z)=0.$$ Solución. Sea $\epsilon >0$. Notemos que para $\delta =\sqrt{\epsilon }>0$, si $z\ne 0$ y $|z|>{\displaystyle \frac{1}{\delta }}$, entonces: $$|f(z)–0|=\left|\frac{1}{z^2}–0\right|=\frac{1}{|z^2|}=\frac{1}{|z{|}^2}<\epsilon .$$ Por lo que $\underset{z\to \mathrm{\infty }}{lim}f(z)=0$.
b) Sea $f(z)={\displaystyle \frac{1}{z-3}}$, con $z\ne 3$, entonces: $$\underset{z\to 3}{lim}f(z)=\mathrm{\infty }.$$ Solución. Sea $\epsilon >0$. Notemos que para $\delta =\epsilon >0$, si $z\ne 3$ y $0<|z-3|<\delta$, entonces: $$|f(z)|=\left|\frac{1}{z-3}\right|=\frac{1}{|z-3|}>\frac{1}{\epsilon }.$$ Por lo que $\underset{z\to 3}{lim}f(z)=\mathrm{\infty }$.

De lo anterior tenemos que los valores $z_0$ y $L$ en la definición 14.1 pueden ser sustituidos de forma indistinta por el punto al infinito, es decir en: $$\underset{z\to z_0}{lim}f(z)=L,$$ podemos remplazar a $z_0$ y/o $L$ por $\mathrm{\infty }$, para ello solo habría que remplazar apropiadamente sus vecindades por vecindades de $\mathrm{\infty }$. Para tener más claro esto y poder trabajar de manera más sencilla con estos límites tenemos el siguiente resultado.

Proposición 14.5.
Sea $f:S\subset \mathbb{C}\to \mathbb{C}$ una función y sean $z_0$ en el plano $z$, que corresponde al del dominio de $f$, y $w_0$ en el plano $w$, que corresponde al plano de la imagen de $f$, observación 12.1, entonces:

1. $$\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }\text{si y solo si}\underset{z\to z_0}{lim}\frac{1}{f(z)}=0.$$
2. $$\underset{z\to \mathrm{\infty }}{lim}f(z)=w_0\text{si y solo si}\underset{z\to 0}{lim}f\left(\frac{1}{z}\right)=w_0.$$
3. $$\underset{z\to \mathrm{\infty }}{lim}f(z)=\mathrm{\infty }\text{si y solo si}\underset{z\to 0}{lim}\frac{1}{f(1/z)}=0.$$

Demostración. Dadas las hipótesis, tenemos que:

1. Sea $z\in S$. Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ existe, entonces de la definición 14.4(2) tenemos que para todo $\epsilon >0$, existe $\delta >0$ tal que: $$|f(z)|>\frac{1}{\epsilon }\text{si}0<|z-z_0|<\delta .$$ Notemos que para el punto $w=f(z)$ se tiene que $|w|>1/\epsilon$, es decir $w$ pertenece a un $\epsilon$-vecindario de $\mathrm{\infty }$, siempre que $0<|z-z_0|<\delta$. De lo anterior tenemos que: $$\left|\frac{1}{f(z)}–0\right|=\left|\frac{1}{f(z)}\right|=\frac{1}{|f(z)|}<\epsilon \text{si}0<|z-z_0|<\delta .$$ Por lo que $\underset{z\to z_0}{lim}{\displaystyle \frac{1}{f(z)}}=0$.
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.

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

La proposición 14.5 es de gran utilidad al trabajar con el punto al infinito. La idea de dicha proposición es representar al punto al infinito y su entorno mediante sus imágenes en la función $w=f(z)=1/z$. Esto es, el punto $z=\mathrm{\infty }$ corresponde con el punto $w=0$ y un $\epsilon$-vecindario de $\mathrm{\infty }$ corresponde con un $\epsilon$-vecindario de $0$. Por lo que la existencia de un límite de una función $f(z)$ que considere al punto $z=\mathrm{\infty }$ dependerá de la existencia de un límite que considere al punto $w=0$.

Ejemplo 14.6.
a) Consideremos a la función $f(z)={\displaystyle \frac{2z^3-1}{z^2+1}}$ definida en $S=\mathbb{C}\setminus \{i,-i\}$. Veamos que: $$\underset{z\to \mathrm{\infty }}{lim}f(z)=\mathrm{\infty }.$$ Solución. Notemos que: $$f(1/z)=\frac{(2/z^3)-1}{(1/z^2)+1},\frac{1}{f(1/z)}=\frac{(1/z^2)+1}{(2/z^3)-1}.$$ De acuerdo con la proposición 14.5 como: $$\underset{z\to 0}{lim}\frac{1}{f(1/z)}=\underset{z\to 0}{lim}\frac{(1/z^2)+1}{(2/z^3)-1}=\underset{z\to 0}{lim}\frac{z^3[(1/z^2)+1]}{z^3[(2/z^3)-1]}=\underset{z\to 0}{lim}\frac{z^3+z}{2–z^3}=0.$$ Entonces $\underset{z\to \mathrm{\infty }}{lim}f(z)=\mathrm{\infty }$.
b) Consideremos a la función $g(z)={\displaystyle \frac{iz+3}{z+1}}$ con dominio $S=\mathbb{C}\setminus \{-1\}$. Veamos que: $$\underset{z\to -1}{lim}g(z)=\mathrm{\infty }.$$ Solución. Notemos que: $$\underset{z\to -1}{lim}\frac{1}{g(z)}=\underset{z\to -1}{lim}\frac{z+1}{iz+3}=0.$$ Por lo que se sigue de la proposición 14.5 que $\underset{z\to \mathrm{\infty }}{lim}g(z)=\mathrm{\infty }$.
c) Sea $h(z)={\displaystyle \frac{2z+i}{z+1}}$ una función definida en $S=\mathbb{C}\setminus \{-1\}$. Veamos que: $$\underset{z\to \mathrm{\infty }}{lim}h(z)=2.$$ Solución. De acuerdo con la proposición 14.5 como: $$\underset{z\to 0}{lim}h(1/z)=\underset{z\to 0}{lim}\frac{(2/z)+i}{(1/z)+1}=\underset{z\to 0}{lim}\frac{2+iz}{1+z}=2.$$ Entonces $\underset{z\to \mathrm{\infty }}{lim}h(z)=2$.

Tarea moral

1. Completa la demostración de las proposiciones 14.3 y 14.5.
2. Considera a la función $f(z)={\displaystyle \frac{zi}{2}}$ definida en el disco abierto $B(0,1)$. Prueba usando la definición que: $$\underset{z\to 1}{lim}f(z)=\frac{i}{2}.$$
3. Usando la definición de límite prueba que si: $$\underset{z\to z_0}{lim}f(z)=w_0,$$ entonces: $$\underset{z\to z_0}{lim}|f(z)|=|w_0|.$$ ¿Es cierto el recíproco?
4. Considera la función $T:S\subset \mathbb{C}\to \mathbb{C}$ dada por: $$T(z)=\frac{az+b}{cz+b},\text{con}ad–bc\ne 0.$$ Usando la definición, prueba que:
   a) Si $c=0$, entonces: $$\underset{z\to \mathrm{\infty }}{lim}T(z)=\mathrm{\infty }.$$ b) Si $c\ne 0$, entonces: $$\begin{array}{r}\underset{z\to \mathrm{\infty }}{lim}T(z)=\frac{a}{c},\\ \underset{z\to -\frac{d}{c}}{lim}T(z)=\mathrm{\infty }.\end{array}$$
5. Sean $a\in \mathbb{C}$ y $f,g\in \mathcal{F}(S)$ dos funciones. Considerando la definición 14.4 prueba las siguientes reglas para límites que consideran al punto al infinito.
   a) Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ y $\underset{z\to z_0}{lim}g(z)=a$, entonces $\underset{z\to z_0}{lim}[f(z)+g(z)]=\mathrm{\infty }$.
   b) Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ y $\underset{z\to z_0}{lim}g(z)=a\ne 0$, entonces $\underset{z\to z_0}{lim}[f(z)\cdot g(z)]=\mathrm{\infty }$.
   c) Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }=\underset{z\to z_0}{lim}g(z)$, entonces $\underset{z\to z_0}{lim}[f(z)\cdot g(z)]=\mathrm{\infty }$.
   d) Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ y $\underset{z\to z_0}{lim}g(z)=a$, entonces $\underset{z\to z_0}{lim}{\displaystyle \frac{g(z)}{f(z)}}=0$.
   e) Si $\underset{z\to z_0}{lim}f(z)=\mathrm{\infty }$ y $\underset{z\to z_0}{lim}g(z)=a\ne 0$, entonces $\underset{z\to z_0}{lim}{\displaystyle \frac{g(z)}{f(z)}}=\mathrm{\infty }$.

Más adelante…

En esta entrada hemos abordado de manera formal la definición de límite desde el enfoque de la variable compleja. Mediante una serie de resultados hemos caracterizado el límite complejo a través del estudio de la parte real e imaginaria de una función compleja, ya que dichas funciones reales las hemos estudiado a detalle en nuestros cursos de Cálculo, por lo que los resultados que conocemos para dichas funciones pueden emplearse al trabajar con funciones complejas.

Aunque las definiciones que hemos dado en esta entrada son idénticas a las de las funciones reales de variable real, veremos en las siguientes entradas que al trabajar con funciones complejas algunos conceptos se vuelven más restrictivos para estas funciones.

La siguiente entrada abordaremos un concepto fundamental en el estudio de las funciones complejas, el de continuidad, el cual estará ligado al concepto de límite, por lo que los resultados de esta entrada nos serán de utilidad.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Funciones multivaludas.
• Siguiente entrada del curso: Continuidad en $\mathbb{C}$.