Introducción

En esta entrada abordaremos de manera formal el concepto de continuidad en el sentido complejo. El concepto de continuidad en el ámbito matemático se remonta hace cientos de años atrás, aunque fue hasta mediados del siglo XIX cuando matemáticos como Augustin Louis Cauchy comienzan a dar una formulación precisa de dicho concepto. Desde entonces el concepto de continuidad ha sido refinado, abstraído y generalizado para muchas de las ramas de las matemáticas, en particular en el Cálculo y el Análisis.

En el caso real, solíamos asociar la idea intuitiva de que una función real continua era aquella cuya gráfica no tenía «huecos» o «saltos». Sin embargo, como hemos mencionado antes, en el caso complejo nos será imposible visualizar la gráfica de una función compleja, por lo que resulta interesante cuestionarnos sobre cómo podríamos pensar de forma intuitiva dicho concepto en el caso complejo.

Aunque tendremos definiciones similares a las del caso real, no debemos dar por hecho que el comportamiento de las funciones complejas será necesariamente el mismo que el de las funciones reales, de hecho veremos que las funciones complejas extienden ciertas propiedades de las funciones reales de dos variables continuas, pero veremos que en general las funciones complejas se comportan distinto a las funciones vectoriales de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, pues resultan ser más restrictivas en ciertas propiedades.

Continuidad de funciones complejas

Definición 15.1. (Continuidad de una función compleja.)
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Diremos que $f$ es continua en un punto $z_0\in S$ si para todo $\epsilon >0$ existe $\delta >0$ tal que si $z\in S$ y $|z-z_0|<\delta$, entonces $|f(z)-f(z_0)|<\epsilon$. Si $f$ es continua en todo punto $z_0\in S$, entonces diremos que $f$ es continua en $S$. Si $f$ no es continua en $z_0\in S$, entonces diremos que es discontinua en $z_0$.

Ejemplo 15.1
a) Veamos que las funciones $f(z)=\mathrm{Re}(z)$ y $g(z)=\mathrm{Im}(z)$ son continuas para todo $z_0\in \mathbb{C}$.
Solución. Sea $z_0\in \mathbb{C}$. De acuerdo con la observación 3.1 tenemos que: $$|\mathrm{Re}(z)–\mathrm{Re}(z_0)|\le |z–z_0|,$$ $$|\mathrm{Im}(z)–\mathrm{Im}(z_0)|\le |z–z_0|.$$ Por lo que para todo $\epsilon >0$ existe $\delta =\epsilon >0$ tal que si $z\in \mathbb{C}$ y $|z–z_0|<\delta$, entonces:
$$|f(z)–f(z_0)|=|\mathrm{Re}(z)–\mathrm{Re}(z_0)|<\epsilon ,$$ $$|g(z)–g(z_0)|=|\mathrm{Im}(z)–\mathrm{Im}(z_0)|<\epsilon .$$ De donde se sigue el resultado.

b) Veamos que la función $h(z)=|z|$ es continua para todo $z_0\in \mathbb{C}$.
Solución. Sean $z,z_0\in \mathbb{C}$, con $z_0$ fijo. Por la proposición 3.3 sabemos que: $$||z|–|z_0||\le |z–z_0|.$$ Entonces, para todo $\epsilon >0$ existe $\delta =\epsilon >0$ tal que si $z\in \mathbb{C}$ y $|z-z_0|<\delta$, entonces: $$|h(z)–h(z_0)|=||z|–|z_0||<\epsilon .$$ Por lo que $f$ es continua para todo $z_0\in \mathbb{C}$.

Observación 15.1.
Al igual que con el límite, podemos ver que la continuidad de una función compleja $f(z)=u(x,y)+iv(x,y)$, se puede garantizar a través de la continuidad de las funciones reales $u(x,y)$ y $v(x,y)$, correspondientes con la parte real y la parte imaginaria de $f$. Para ello recordemos la definición de continuidad para una función real de dos variables, vista en nuestros cursos de Cálculo.

Definición 15.2. (Continuidad de una función real de dos variables.)
Sean $U\subset {\mathbb{R}}^2$ y $u:U\to \mathbb{R}$ una función real de dos variables, digamos $x$ e $y$. Para $(x_0,y_0)\in U$ diremos que $u$ es contninua en $(x_0,y_0)$ si para todo $\epsilon >0$ existe $\delta >0$ tal que si $(x,y)\in U$ y $\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}<\delta$, entonces: $$|u(x,y)–u(x_0,y_0)|<\epsilon .$$

Proposición 15.1.
Toda función compleja es continua si y solo si su parte real y su parte imaginaria son continuas.

Demostración. Sean $S\subset \mathbb{C}$ y $f:S\to \mathbb{C}$ una función compleja arbitraria y sea $z=x+iy\in S$.

De acuerdo con la proposición 12.1 sabemos que toda función compleja $f$ puede escribirse de la forma:$$f(z)=u(x,y)+iv(x,y),$$ donde las funciones reales $u(x,y)$ y $v(x,y)$ son su parte real y su parte imaginaria, respectivamente.

Para $z_0=x_0+i{y}_0\in S$ fijo tenemos por la observación 3.1 que: $$|u(x,y)–u(x_0,y_0)|\le |f(z)–f(z_0)|\le |u(x,y)–u(x_0,y_0)|+|v(x,y)–v(x_0,y_0)|,$$ $$|v(x,y)–v(x_0,y_0)|\le |f(z)–f(z_0)|\le |u(x,y)–u(x_0,y_0)|+|v(x,y)–v(x_0,y_0)|,$$ por lo que considerando las definiciones 15.1, 15.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">}$

Observación 15.2.
Notemos que en la definición 15.1 se tiene implícita la condición de que:

1. existe $f(z_0)$.

De acuerdo con la proposición 9.4 de la entrada 9, sabemos que para $z_0\in S\subset \mathbb{C}$ pueden suceder dos casos:

• $z_0$ es un punto aislado de $S$, es decir que $z_0\in S\setminus S^{\prime }$,
• $z_0$ es un punto de acumulación de $S$, es decir que $z_0\in S\cap S^{\prime }$.

Debe ser claro que si $z_0$ es un punto aislado, entonces existe alguna $\delta$-vecindad de $z_0$, digamos $B(z_0,\delta )$, tal que no contiene otros puntos de $S$ aparte de $z_0$, es decir para todo $z\in S$: $$|z-z_0|<\delta ⟹z=z_0,$$ por lo que $|f(z)–f(z_0)|=0<\epsilon$. Entonces, de acuerdo con la definición 15.1, una función compleja $f$ es siempre continua en un punto aislado.

Mientras que si $z_0\in S\cap S^{\prime }$ también debe cumplirse que:

2. existe $\underset{z\to z_0}{lim}f(z)$,
3. y $\underset{z\to z_0}{lim}f(z)=f(z_0)$.

Por lo que basta con que no se cumpla alguna de estas tres condiciones para que una función $f\in \mathcal{F}(S)$ sea discontinua en $z_0\in S\subset \mathbb{C}$.

Ejemplo 15.2.
Sea $c\in \mathbb{C}$ una constante y $n\in {\mathbb{N}}^{+}$. Consideremos a la función $f(z)=c{z}^n$. Veamos que $f$ es continua en $\mathbb{C}$.

Solución. De acuerdo con la observación 14.5 de la entrada anterior, para toda $n\in {\mathbb{N}}^{+}$ tenemos que: $$\underset{z\to z_0}{lim}f(z)=c{z}_0^n.$$ Por otra parte, tenemos que $f(z_0)=c{z}_0^n$ para todo $n\in {\mathbb{N}}^{+}$, por lo que $f$ es una función continua en $\mathbb{C}$.

Ejemplo 15.3.
a) Verificar si la función $f(z)=z^2–iz+2$ es continua en $z_0=1–i\in \mathbb{C}$.
Solución. De acuerdo con la observación 15.2 para ver si la función $f$ es continua en el punto $z_0\in \mathbb{C}$ basta con ver que se cumplan las tres condiciones establecidas en dicha observación.

1. Es claro que $f$ está definida en $z_0$, y es tal que: $$f(z_0)=(1-i{)}^2–i(1-i)+2=1–3i.$$
2. Considerando la observación 14.6 tenemos que: $$\begin{array}{rl}\underset{z\to z_0}{lim}f(z)& ={\left(\underset{z\to z_0}{lim}z\right)}^2–i\left(\underset{z\to z_0}{lim}z\right)+2\\ & ={(1-i)}^2–i(1-i)+2\\ & =1-3i.\end{array}$$
3. Tenemos que: $$\underset{z\to z_0}{lim}f(z)=f(z_0).$$

Por lo tanto $f$ es continua en $z_0=1-i\in \mathbb{C}$.

b) Consideremos a la siguiente función: $$f(z)=\{\begin{array}{lcc}{z}^2& \text{si}& z\ne i,\\ 0& si& z=i.\end{array}$$ Probar que $f$ no es continua en $z_0=i$.
Solución. Notemos que:

1. $f$ está definida en $z_0$, y es tal que: $$f(z_0)=0.$$
2. De acuerdo con la observación 14.6 tenemos que: $$\begin{array}{rlr}\underset{z\to z_0}{lim}f(z)& ={\left(\underset{z\to i}{lim}z\right)}^2& =(i{)}^2=-1.\end{array}$$
3. Es claro que: $$\underset{z\to z_0}{lim}f(z)=-1\ne 0=f(z_0).$$

Por lo tanto, tenemos que $f$ no es continua en $z_0=i$.

Observación 15.3.
Dado que $\mathbb{C}$ dotado con el módulo es un espacio métrico, entonces son válidas las propiedades de continuidad para espacios métricos probadas en la entrada 9, en particular establecemos la siguiente caracterización.

Proposición 15.2.
Sean $S\subset \mathbb{C}$, $z_0\in S$ y $f\in \mathcal{F}(S)$ una función. Las siguientes condiciones son equivalentes:

1. $f$ es continua en $z_0$ de acuerdo con la definición 15.1,
2. para todo $\epsilon >0$ existe $\delta >0$ tal que: $$B(z_0,\delta )\cap S\subset f^{-1}[B(f(z_0),\epsilon )].$$
3. $\underset{n\to \mathrm{\infty }}{lim}f(z_n)=f(z_0)$, para toda sucesión $\{z_n{\}}_{n\ge 1}\subset S$ que converge a $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">}$

Proposición 15.3.
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Las siguientes condiciones son equivalentes:

1. $f$ es continua en $S$ de acuerdo con la definición 15.1,
2. si $U\subset \mathbb{C}$ es abierto en $\mathbb{C}$, entonces $f^{-1}(U)$ es también abierto en $S$,
3. si $F\subset \mathbb{C}$ es cerrado en $\mathbb{C}$, entonces $f^{-1}(F)$ es también cerrado en $S$.

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

Proposición 15.4.
Sea $H\subset \mathbb{C}$, $g\in \mathcal{F}(H)$ una función tal que $g(H)\subset S\subset \mathbb{C}$ y sea $f\in \mathcal{F}(S)$. Supongamos que $z_0$ es un punto de acumulación de $H$, que $\underset{z\to z_0}{lim}g(z)=w_0\in S$ y que $f$ es continua en $w_0$. Entonces $\underset{z\to z_0}{lim}f(g(z))=f(w_0)$, es decir: $$\underset{z\to z_0}{lim}f(g(z))=f(\underset{z\to z_0}{lim}g(z)).$$

Demostración. Dadas las hipótesis, tenemos que dado $\epsilon >0$ existe $\eta >0$ tal que si $w\in S$ y $|w–w_0|<\eta$ entonces: $$|f(w)–f(w_0)|<\epsilon .$$ Más aún, tenemos que para dicha $\eta >0$ existe un $\delta >0$ tal que si $z\in H$ y $0<|z-z_0|<\delta$ entonces: $$|g(z)–w_0|<\eta .$$ Por lo que considerando estas dos implicaciones se sigue que si $z\in H$ y $0<|z-z_0|<\delta$ entonces: $$|f(g(z))–f(w_0)|<\epsilon .$$ Por lo tanto $\underset{z\to z_0}{lim}f(g(z))=f(w_0)$.

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

Proposición 15.5.
Sean $S\subset \mathbb{C}$ y $f,g\in \mathcal{F}(S)$ dos funciones continuas en $S$, entonces:

1. $f\pm g$ es continua en $S$.
2. $fg$ es continua en $S$. Si $g$ es constante, es decir si $g(z)=c\in \mathbb{C}$ para todo $z\in S$, entonces $cf$ es continua en $S$.
3. Si $g(z)\ne 0$ para todo $z\in S$, entonces ${\displaystyle \frac{f}{g}}$ es continua en $S$.
4. Si $z_0\in S$ y $h$ es una función definida en un conjunto $U\subset f(S)$ tal que $h$ es continua en $f(z_0)$, entonces la composición $h\circ f$ es continua en $z_0$.

Demostración. Utilizando la definición 15.1 y la proposición 14.3 de la entrada anterior es fácil probar el resultado, por lo que 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">}$

Corolario 15.1.
Los polinomios son continuos en $\mathbb{C}$. Las funciones racionales son continuas en su dominio de definición.

Demostración. Sea $p(z)=c_0+c_{1}z+c_2{z}^2+\cdots +c_n{z}^n$, con $z\in \mathbb{C}$, un polinomio de coeficientes complejos, es decir $c_i\in \mathbb{C}$ para toda $i\in 0,1,\dots ,n$, con $c_n\ne 0$.

Procedemos a realizar la prueba por inducción sobre $n$. Notemos que para $n=0$ se tiene que $p(z)=c_0\ne 0$ es una función constante, entonces considerando el ejemplo 14.1(c) de la entrada anterior, tenemos que: $$\underset{z\to z_0}{lim}p(z)=\underset{z\to z_0}{lim}{c}_0=c_0=p(z_0),$$ por lo que en dicho caso $p(z)$ es continuo para todo $z_0\in \mathbb{C}$.

Para $n=1$, tenemos que $p(z)=c_0+c_{1}z$, por lo que considerando la proposición 15.5(1), al ser $c_0$ y $c_{1}z$ funciones continuas en $\mathbb{C}$, entonces $p(z)=c_0+c_{1}z$ es continuo para todo $z\in \mathbb{C}$. Supongamos que el polinomio $q(z)=c_0+\sum _{i=1}^k{c}_i{z}^i$, para algún $k\in \mathbb{N}$ fijo, es continuo para todo $z\in \mathbb{C}$.

Para $n=k+1$ tenemos que: $$\begin{array}{rl}p(z)& =c_0+\sum _{i=1}^{k+1}{c}_i{z}^i\\ & =c_0+\sum _{i=1}^k{c}_i{z}^i+c_{k+1}{z}^{k+1}\\ & =q(z)+c_{k+1}{z}^{k+1},\end{array}$$ por hipótesis de inducción tenemos que $q(z)$ es un polinomio continuo y al ser $c_{k+1}{z}^{k+1}$ una función continua, entonces por la proposición 15.5(1), es claro que para $n=k+1$ el polinomio $p(z)$ es continuo para todo $z\in \mathbb{C}$, por lo que el resultado es válido para todo $n\in \mathbb{N}$.

Por otra parte, consideremos a $f(z)={\displaystyle \frac{p(z)}{q(z)}}$, la cual es una función racional definida como el cociente de dos polinomios. De acuerdo con la proposición 15.5(3), considerando que todo polinomio es continuo en $\mathbb{C}$ se sigue que $f$ es continua en todo su dominio de definición, es decir en $S=\{z\in \mathbb{C}:q(z)\ne 0\}$.

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

Ejemplo 15.4.
Considera la siguiente función y determina dónde es continua. $$f(z)=\frac{z-i}{z^2+1}.$$

Solución. Tenemos que $z^2+1=0$ si y solo si $z=i$ o $z=-i$, por lo que el dominio natural de $f$ es el conjunto $S=\mathbb{C}\setminus \{i,-i\}$. De acuerdo con el corolario 15.1, dado que $f$ es una función racional entonces $f$ es continua en $S$.

Una pregunta que podemos hacernos es ¿se puede asignar un valor a la función $f$ de tal modo que sea continua en $z=i$?

Notemos que: $$f(z)=\frac{z-i}{z^2+1}=\frac{z-i}{(z-i)(z+i)}.$$ Para $z\ne i$ tenemos que: $$\begin{array}{rl}\underset{z\to i}{lim}f(z)& =\underset{z\to i}{lim}\frac{z-i}{z^2+1}\\ & =\underset{z\to i}{lim}\frac{z-i}{(z-i)(z+i)}\\ & =\underset{z\to i}{lim}\frac{1}{z+i}\\ & =\frac{1}{2i}=-\frac{i}{2}.\end{array}$$ Por lo que podemos definir a la función:
$$g(z)=\{\begin{array}{lcc}{\displaystyle \frac{z-i}{z^2+1}}& \text{si}& z\ne -i,\\ -{\displaystyle \frac{i}{2}}& si& z=i,\end{array}$$ la cual claramente es una función continua en $z=i$, por lo que la discontinuidad de la función $f(z)$ en el punto $z=i$ pudo removerse.

Definición. 15.3. (Discontinuidad removible.)
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función discontinua en un punto $z_0\in S$. Se dice que $f(z)$ tiene una {\bf discontinuidad removible} en $z_0$ si existe el límite de $f(z)$ en dicho punto y la función no está definida en $z_0$ o tiene asignado un valor distinto al del límite, en tal caso la función $f(z)$ puede hacerse continua definiendo el valor de la función en $z_0$ como el valor del límite.

Si un punto $z_0\in S$ no es una discontinuidad removible, diremos que es una discontinuidad irremovible.

Ejemplo 15.5.
Veamos que la función $f(z)={\displaystyle \frac{\mathrm{Re}(z)}{z}}$ tiene una discontinuidad irremovible en $z=0$.

Solución. De acuerdo con el corolario 15.1, es claro que la función $f(z)$ no es continua en $z=0$. Veamos que el límite de la función $f(z)$ cuando $z$ tiende a $0$ no existe.

Sea $z=x+iy\ne 0$. Si nos aproximamos a $0$ a lo largo del eje real, es decir si $y=0$ y $z=x$, entonces: $$\begin{array}{rl}\underset{z\to 0}{lim}f(z)& =\underset{z\to 0}{lim}\frac{\mathrm{Re}(z)}{z}\\ & =\underset{x\to 0}{lim}\frac{x}{x}\\ & =\underset{x\to 0}{lim}1\\ & =1.\end{array}$$ Por otra parte, si nos aproximamos a $0$ a lo largo del eje imaginario, es decir si $x=0$ y $z=iy$, entonces: $$\begin{array}{rl}\underset{z\to 0}{lim}f(z)& =\underset{z\to 0}{lim}\frac{\mathrm{Re}(z)}{z}\\ & =\underset{x\to 0}{lim}\frac{0}{iy}\\ & =\underset{x\to 0}{lim}0\\ & =0.\end{array}$$ Por lo que el $\underset{z\to 0}{lim}f(z)$ no existe. Entonces la función tiene una discontinuidad irremovible en $z=0$.

Ejemplo 15.6.
Veamos que la función $f(z)=\mathrm{Arg}(z)$ tiene una discontinuidad irremovible en $z=0$. Más aún, veamos que todo $z$ en el eje real negativo es una discontinuidad irremovible y por tanto que $f$ solo es continua en el dominio $\mathbb{C}\setminus (-\mathrm{\infty },0]$.

Solución. Sabemos que para $z=0$ la función argumento principal no está definida, por lo que en $z=0$ dicha función no es continua. Veamos que dicho valor es una discontinuidad irremovible mostrando que el límite en dicho punto no existe.

Sabemos que:

1. si $z=x>0$, entonces $\mathrm{Arg}(z)=0$,
2. si $z=x<0$, entonces $\mathrm{Arg}(z)=\pi$.

Por lo que:

1. para $x>0$ se tiene que $\underset{z\to 0}{lim}\mathrm{Arg}(z)=\underset{x\to 0^{+}}{lim}\mathrm{Arg}(z)=0$,
2. mientras que para $x<0$ se tiene que $\underset{z\to 0}{lim}\mathrm{Arg}(z)=\underset{x\to 0^{-}}{lim}\mathrm{Arg}(z)=\pi$.

Por la unicidad del límite concluimos que no existe $\underset{z\to 0}{lim}\mathrm{Arg}(z)$, por lo que $z=0$ es una discontinuidad irremovible.

Sea $z_0\in \mathbb{C}\setminus \{0\}$, tal que $z_0=x_0<0$, fijo, entonces $\mathrm{Arg}(z_0)=\pi$. De acuerdo con la definición de la función $\mathrm{Arg}(z)$ dada en la entrada 13, es claro que para $z=x+iy\in \mathbb{C}\setminus \{0\}$, se tiene que:

1. si $x<0$ y $y\ge 0$, entonces $\mathrm{Arg}(z)=\mathrm{arc}\tan \left(\frac{y}{x}\right)+\pi$,
2. si $x<0$ y $y<0$, entonces $\mathrm{Arg}(z)=\mathrm{arc}\tan \left(\frac{y}{x}\right)–\pi$.

Por lo que, si nos aproximamos a $z_0$ mediante $z=z_0+iy$ tenemos:
$$\begin{array}{r}\underset{z\to z_0}{lim}\mathrm{Arg}(z)=\underset{y\to 0^{+}}{lim}\mathrm{Arg}(z)=\pi ,\\ \underset{z\to z_0}{lim}\mathrm{Arg}(z)=\underset{y\to 0^{-}}{lim}\mathrm{Arg}(z)=-\pi .\end{array}$$

Entonces la función $\mathrm{Arg}(z)$ es discontinua en $z_0=x_0<0$ y desde que no existe $\underset{z\to z_0}{lim}\mathrm{Arg}(z)$ tenemos que $z_0$ es una discontinuidad irremovible. Como $z_0=x_0<0$ era arbitrario, entonces todo $z_0\in (-\mathrm{\infty },0)$ es una discontinuidad irremovible.

Procedemos a verificar que $f$ es continua en el dominio $\mathbb{C}\setminus (-\mathrm{\infty },0]$.

Por la proposición 13.1, entrada 13, sabemos que para $z\ne 0$ si $z\in \mathbb{C}\setminus (-\mathrm{\infty },0)$ entonces: $$\mathrm{Arg}(z)=2\mathrm{arc}\tan \left({\displaystyle \frac{y}{|z|+x}}\right),$$ de donde $u(x,y)=2\mathrm{arc}\tan \left({\displaystyle \frac{y}{|z|+x}}\right)$ y $v(x,y)=0$, las cuales son funciones reales continuas, entonces de la proposición 15.1 se sigue que la función $\mathrm{Arg}(z)$ es continua en $\mathbb{C}\setminus (-\mathrm{\infty },0]$.

Observación 15.4.
Debe ser claro que la función $f(z)=\mathrm{Arg}(z)={\mathrm{Arg}}_{(-\pi ,\pi ]}(z)$ corresponde con una rama de la función multivaluada $G(z)=\arg (z)$ desde que $f$ es continua en $\mathbb{C}\setminus (-\mathrm{\infty },0]=\{z\in \mathbb{C}:|z|>0,-\pi <\arg z<\pi \}$, dicha rama es llamada la rama principal del argumento.

Más aún, para $\alpha \in \mathbb{R}$ fijo e $I=(\alpha ,\alpha +2\pi ]$, tenemos por la proposición 13.3 que la función $g(z)={\mathrm{Arg}}_I(z)$ está dada por: $${\mathrm{Arg}}_I(z)=\mathrm{Arg}(-z\mathrm{cis}(-\alpha ))+\alpha +\pi ,$$ por lo que podemos verificar que $g$ será continua dónde lo sea $f$.

Veamos entonces que $g$ es continua en $\mathbb{C}\setminus L_{\alpha }$, donde $L_{\alpha }=\{r\mathrm{cis}(\alpha ):r\ge 0\}$, figura 69.

Notemos que si $z\in L_{\alpha }$, entonces $z=r\mathrm{cis}(\alpha )$, con $r=|z|$ y $\alpha =\arg z$. Claramente $r>0$ pues en $z=0$ la función $f$ no está definida. Entonces, por la prueba de la proposición 13.3 tenemos que: $$-z\mathrm{cis}(-\alpha )=-r\mathrm{cis}(\alpha )\mathrm{cis}(-\alpha )=-r\mathrm{cis}(\alpha –\alpha )=-r(1)=-r,$$ de donde $-r<0$, por lo que $-r\in (-\mathrm{\infty },0)$, pero en dicho conjunto $f$ no es continua, por lo que para $z\in L_{\alpha }$ la función $g(z)={\mathrm{Arg}}_I(z)$ no es continua.

Por otra parte, si $z\in \mathbb{C}\setminus L_{\alpha }$ tenemos que $z=\rho \mathrm{cis}(\theta )$, con $\rho =|z|>0$ y $\theta ={\mathrm{Arg}}_I(z)$, entonces: $$\alpha <\theta <\alpha +2\pi ⟺-\pi <\theta –\alpha –\pi <\pi ,$$ pues $\mathrm{cis}(\alpha +2\pi )=\mathrm{cis}(\alpha )\mathrm{cis}(2\pi )=\mathrm{cis}(\alpha )$.

Tenemos que:
$$-z\mathrm{cis}(-\alpha )=\mathrm{cis}(-\pi )\rho \mathrm{cis}(\theta )\mathrm{cis}(-\alpha )=\rho \mathrm{cis}(\theta –\alpha –\pi ),$$ por lo que $-z\mathrm{cis}(-\alpha )\in \mathbb{C}\setminus (-\mathrm{\infty },0]$, donde $f$ es continua.

Entonces la función $g(z)={\mathrm{Arg}}_I(z)$ solo es continua en $\mathbb{C}\setminus L_{\alpha }$. Por lo tanto, la función $g$ determina una rama de la función multivaluada $G(z)=\arg (z)$, siempre que se defina en el dominio, figura 69: $$D=\mathbb{C}\setminus L_{\alpha }=\{z\in \mathbb{C}:|z|>0,\alpha <\arg z<\alpha +2\pi \}.$$

Ejemplo 15.7.
Veamos que la función $f(z)=z^{1/2}$, correspondiente con la raíz cuadrada principal, definición 13.5, tiene una discontinuidad irremovible en $z=-1$. Más aún, veamos que todo $z$ en el eje real negativo es una discontinuidad irremovible, aún cuando esta función solo asigna una única raíz. Concluyamos que la raíz cuadrada principal es una rama, la rama principal de la función multivaluada $F(z)=z^{1/2}$, solo si se restringe al dominio $\mathbb{C}\setminus (-\mathrm{\infty },0]$.

Solución. Sea $z=r\mathrm{cis}(\theta )\ne 0$. De acuerdo con la definición 13.5, la raíz cuadrada principal está dada por: $$f(z)=z^{1/2}=\sqrt{r}\mathrm{cis}\left(\frac{\theta }{2}\right),$$ donde $r=|z|$ y $\theta =\mathrm{Arg}(z)$.

Sea $z_0=-1$, veamos que no existe $\underset{z\to z_0}{lim}f(z)=\underset{z\to -1}{lim}{z}^{1/2}$. Para ello consideremos a la circunferencia unitaria $C(0,1)$, es decir la circunferencia centrada en $z=0$ y de radio $1$, figura 70.

Si $z\in C(0,1)$, entonces podemos aproximarnos a $z_0=-1$ mediante la trayectoria dada por el cuarto de circunferencia en el segundo cuadrante, es decir $\pi /2<\mathrm{Arg}(z)<\pi$, con $\mathrm{Arg}(z)\to \pi$, entonces: $$\begin{array}{rl}\underset{z\to -1}{lim}{z}^{1/2}& =\underset{z\to -1}{lim}\sqrt{|z|}\mathrm{cis}\left(\frac{\mathrm{Arg}(z)}{2}\right)\\ & =\underset{\mathrm{Arg}(z)\to \pi }{lim}\sqrt{1}\mathrm{cis}\left(\frac{\mathrm{Arg}(z)}{2}\right)\\ & =\underset{\mathrm{Arg}(z)\to \pi }{lim}[\cos \left(\frac{\mathrm{Arg}(z)}{2}\right)+i\mathrm{sen}\left(\frac{\mathrm{Arg}(z)}{2}\right)]\\ & =\cos \left(\frac{\pi }{2}\right)+i\mathrm{sen}\left(\frac{\pi }{2}\right)\\ & =0+i(1)\\ & =i.\end{array}$$

Si ahora nos aproximamos a $z_0=-1$ con $z\in C(0,1)$ a través de la trayectoria dada por el cuarto de circunferencia en el tercer cuadrante, es decir $-\pi <\mathrm{Arg}(z)<-\pi /$, con $\mathrm{Arg}(z)\to -\pi$, entonces: $$\begin{array}{rl}\underset{z\to -1}{lim}{z}^{1/2}& =\underset{z\to -1}{lim}\sqrt{|z|}\mathrm{cis}\left(\frac{\mathrm{Arg}(z)}{2}\right)\\ & =\underset{\mathrm{Arg}(z)\to -\pi }{lim}\sqrt{1}\mathrm{cis}\left(\frac{\mathrm{Arg}(z)}{2}\right)\\ & =\underset{\mathrm{Arg}(z)\to -\pi }{lim}[\cos \left(\frac{\mathrm{Arg}(z)}{2}\right)+i\mathrm{sen}\left(\frac{\mathrm{Arg}(z)}{2}\right)]\\ & =\cos (-\frac{\pi }{2})+i\mathrm{sen}(-\frac{\pi }{2})\\ & =0+i(-1)\\ & =-i.\end{array}$$

Dado que estos dos límites son distintos, concluimos que $\underset{z\to -1}{lim}{z}^{1/2}$ no existe, por tanto $z_0=-1$ es una discontinuidad irremovible.

De manera similar podemos probar que cualquier punto en el eje real negativo es una discontinuidad irremovible. Sin embargo, desde que la función $\mathrm{Arg}(z)$ es discontinua en $(-\mathrm{\infty },0]$ y la función $f$ está dada en términos de dicha función, debe ser claro que $f$ será discontinua en el mismo conjunto.

Procedemos a verificar que $f$ es continua en el dominio $\mathbb{C}\setminus (-\mathrm{\infty },0]$, es decir que bajo esa restricción obtenemos una rama de la función multivaluada $F(z)=z^{1/2}$, a la cual llamamos la rama principal $f_0$, es decir: $$f_0(z)=z^{1/2}=\sqrt{r}\mathrm{cis}\left(\frac{\theta }{2}\right),$$ donde $r=|z|$ y $\theta =\mathrm{Arg}(z)$ y $z\in \mathbb{C}\setminus (-\mathrm{\infty },0]=\{w\in \mathbb{C}:|w|>0,-\pi <\mathrm{Arg}(w)<\pi \}$.

Sea $z=x+iy\in \mathbb{C}\setminus (-\mathrm{\infty },0]$. Por la proposición 13.1 tenemos que: $$\mathrm{Arg}(z)=2\mathrm{arc}\tan \left({\displaystyle \frac{y}{|z|+x}}\right).$$

Entonces, para $r=|z|$ y $\theta =\mathrm{Arg}(z)$ tenemos que: $$\begin{array}{rl}{f}_0(z)& =\sqrt{|z|}\mathrm{cis}\left(\frac{\mathrm{Arg}(z)}{2}\right)\\ & =\sqrt[4]{x^2+y^2}\mathrm{cis}\left(\frac{2\mathrm{arc}\tan \left({\displaystyle \frac{y}{\sqrt{x^2+y^2}+x}}\right)}{2}\right)\\ & =\sqrt[4]{x^2+y^2}\cos \left(\mathrm{arc}\tan \left({\displaystyle \frac{y}{\sqrt{x^2+y^2}+x}}\right)\right)+i\sqrt[4]{x^2+y^2}\mathrm{sen}\left(\mathrm{arc}\tan \left({\displaystyle \frac{y}{\sqrt{x^2+y^2}+x}}\right)\right)\\ & :=u(x,y)+iv(x,y).\end{array}$$

Como las funciones $u(x,y)$ y $v(x,y)$ son funciones reales continuas, entonces por la proposición 15.1 concluimos que la función $f_0$ es continua en $\mathbb{C}\setminus (-\mathrm{\infty },0]$ y por tanto que es una rama de la función multivaluada $F(z)=z^{1/2}$.

Observación 15.5.
Considerando la definición 14.2 y la proposición 14.4 de la entrada anterior, notemos que podemos extender el concepto de continuidad para funciones definidas sobre el plano complejo extendido, es decir, diremos que una función $f:{\mathbb{C}}_{\mathrm{\infty }}\to {\mathbb{C}}_{\mathrm{\infty }}$ es continua en $\mathrm{\infty }$ si $$f(\mathrm{\infty })=\underset{z\to \mathrm{\infty }}{lim}f(z)$$ y si $f(a)=\mathrm{\infty }$, entonces $f$ es continua en $a$ si $$f(a)=\mathrm{\infty }=\underset{z\to a}{lim}f(z).$$

Ejemplo 15.8.
Consideremos a la siguiente función:
$$f(z)=\frac{z+i}{z-i}.$$ Es claro que dicha función no está definida en $z=i$. Sin embargo, dado que: $$f(i)=\mathrm{\infty }=\underset{z\to i}{lim}f(z)$$ y $$f(\mathrm{\infty })=1=\underset{z\to \mathrm{\infty }}{lim}f(z),$$ entonces definiendo: $$g(z)=\{\begin{array}{lcc}{\displaystyle \frac{z+i}{z-i}}& \text{si}& z\ne i,\\ 1& \text{si}& z=\mathrm{\infty },\\ \mathrm{\infty }& \text{si}& z=i,\end{array}$$ es claro que $g$ es una función continua de ${\mathbb{C}}_{\mathrm{\infty }}$ en ${\mathbb{C}}_{\mathrm{\infty }}$.

De acuerdo con los resultados de la entrada 10 para funciones continuas entre espacios métricos, tenemos que son válidas las siguientes afirmaciones para funciones complejas continuas.

Proposición 15.6. (Funciones continuas sobre conjuntos conexos y compactos.)
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función continua en $S$.

1. Si $S$ es un conjunto conexo, entonces $f(S)$ es también conexo.
2. Si $S$ es un conjunto compacto, entonces $f(S)$ es también compacto.

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

Cerraremos esta entrada con el siguiente concepto.

Definición 15.4. (Continuidad uniforme.)
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Diremos que $f$ es uniformemente continua en $S$, si para todo $\epsilon >0$ existe $\delta >0$ (que depende solo de $\epsilon$) tal que si $z,w\in S$ y $|z-w|<\delta$ entonces $|f(z)–f(w)|<\epsilon$.

Ejemplo 15.9.
Sea $f(z)=\bar{z}$ definida en $\mathbb{C}$. Veamos que $f$ es uniformemente continua en $\mathbb{C}$.

Solución. Para $z,w\in \mathbb{C}$ tenemos que: $$|f(z)–f(w)|=|\bar{z}–\bar{w}|=|\overline{\stackrel{―}{z}–\stackrel{―}{w}}|=|z-w|<\epsilon ,$$ por lo que tomando $\delta =\epsilon >0$ se cumple la definición.

Observación 15.6.
De acuerdo con la definición 15.4, notamos que el concepto de continuidad uniforme es más restrictivo que el de continuidad de una función, por lo que la continuidad uniforme estará sujeta al conjunto $S$ en el que la función esté definida, para ver esto consideremos el siguiente:

Ejemplo 15.10.
a) Sea $f(z)=z^2$ definida en $S=B(0,1)$. Veamos que $f$ es uniformemente continua en $S$.

Solución. Notemos que para $z,w\in S$ se tiene que $|z|<1$ y $|w|<1$. Entonces: $$\begin{array}{rl}|f(z)–f(w)|& =|z^2–w^2|\\ & =|z–w||z+w|\\ & <(|z|+|w|)\delta \\ & <2\delta <\epsilon ,\end{array}$$ por lo que basta con tomar $\delta =\frac{\epsilon }{2}>0$ para que se cumpla la definición.

b) Sea $f(z)=z^2$ definida en $\mathbb{C}$. Veamos que $f$ no es uniformemente continua en $\mathbb{C}$.

Solución. Sea $\epsilon =1$, entonces dado $\delta >0$, por la propiedad arquimediana existe $n\in {\mathbb{N}}^{+}$ tal que $n\delta >1$. Sean $z=n$ y $w=n+\frac{\delta }{2}$, entonces se tiene que $|z-w|=\frac{\delta }{2}<\delta$, pero:
$$\begin{array}{rl}|f(z)–f(w)|& =|z^2–w^2|\\ & =n^2+n\delta +\frac{{\delta }^2}{4}–n^2\\ & =n\delta +\frac{{\delta }^2}{4}>n\delta >1=\epsilon ,\end{array}$$ por lo que $f$ no es uniformemente continua en $\mathbb{C}$.

Proposición 15.7.
Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Las siguientes afirmaciones son equivalentes.

1. $f$ es uniformemente continua en $S$,
2. $\mathrm{Re}f$ e $\mathrm{Im}f$ son uniformemente continuas en $S$,
3. para cualesquiera sucesiones $\{z_n{\}}_{n\ge 1}$ y $\{w_n{\}}_{n\ge 1}$ en $S$ tales que $\underset{n\to \mathrm{\infty }}{lim}|z_n–w_n|=0$, se cumple que $\underset{n\to \mathrm{\infty }}{lim}|f(z_n)–f(w_n)|=0$.

Dadas las hipótesis, tenemos que:
$1.\iff 2.$ Su prueba es análoga a la de la proposición 15.1, por lo que se deja como ejercicio al lector.

$1.\Rightarrow 3.$
Sean $\{z_n{\}}_{n\ge 1}$ y $\{w_n{\}}_{n\ge 1}$ dos sucesiones en $S$ tales que $\underset{n\to \mathrm{\infty }}{lim}|z_n–w_n|=0$ y supongamos que $f$ es uniformemente continua en $S$.

Sea $\epsilon >0$, entonces existe $\delta >0$ tal que si $z,w\in S$ y $|z-w|<\delta$, entonces $|f(z)–f(w)|<\epsilon$. Como $\underset{n\to \mathrm{\infty }}{lim}|z_n–w_n|=0$, entonces para el $\delta >0$ se tiene que existe $N\in {\mathbb{N}}^{+}$ tal que: $$||z_n–w_n|–0|=|z_n–w_n|<\delta ,\mathrm{\forall }n\ge N,$$ por lo que para toda $n\ge N$ se cumple que: $$||f(z_n)–f(w_n)|–0|=|f(z_n)–f(w_n)|<\epsilon ,$$ es decir que $\underset{n\to \mathrm{\infty }}{lim}|f(z_n)–f(w_n)|=0$.

$3.\Rightarrow 1.$
Sean $\{z_n{\}}_{n\ge 1}$ y $\{w_n{\}}_{n\ge 1}$ dos sucesiones en $S$ tales que si $\underset{n\to \mathrm{\infty }}{lim}|z_n–w_n|=0$, entonces $\underset{n\to \mathrm{\infty }}{lim}|f(z_n)–f(w_n)|=0$.

Por reducción al absurdo, supongamos que $f$ no es uniformemente continua en $S$, entonces existe $\epsilon >0$ tal que para todo $\delta >0$ existen $z,w\in S$ tales que $|z-w|<\delta$ y $|f(z)–f(w)|\ge \epsilon$.

Tenemos que para todo $n\in {\mathbb{N}}^{+}$ se tiene que $z_n,w_n\in S$ y $\frac{1}{n}>0$, por lo que: $$|z_n–w_n|<\frac{1}{n}\text{y}|f(z_n)–f(w_n)|\ge \epsilon ,$$ lo cual contradice nuestra hipótesis, por lo que $f$ es uniformemente convergente.

Tarea moral

1. Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Prueba que $f$ es continua en $z_0\in S$ si y solo si $\bar{f}$ es continua en $z_0\in S$.
2. Sea $S=[a,b]=\{x\in \mathbb{R}:a\le x\le b\}$. Considera a $S\subset \mathbb{C}$ y sea $f:S\to \mathbb{C}$ una función compleja de variable real. Tomando $z=x+i0$ podemos escribir $f(z)=u(x)+iv(x)$. Prueba que $f$ es continua si y solo si $u$ y $v$ son continuas.
3. Analiza la continuidad de la función: $$f(z)=\{\begin{array}{lcc}{\displaystyle \frac{z^3–1}{z-1}}& \text{si}& |z|\ne 1,\\ 3& \text{si}& |z|=1,\end{array}$$ en los puntos $z_0=1$, $z_1=-1$, $z_2=i$ y $z_3=-i$.
4. Analiza la continuidad de las siguientes funciones y determina el valor de $f(z)$ en el punto $z_0$ de tal forma que la función sea continua en dicho punto.
   a) $f(z)={\displaystyle \frac{z^3–z_0}{z–z_0}}$.
   b) $f(z)=\left({\displaystyle \frac{1}{z–z_0}}\right)\left({\displaystyle \frac{1}{z}}–{\displaystyle \frac{1}{z_0}}\right)$.
   c) $f(z)={\displaystyle \frac{\mathrm{Re}(z)\mathrm{Im}(z)}{|z{|}^2}}$.
   d) $f(z)={\displaystyle \frac{{(\mathrm{Re}(z))}^2–{(\mathrm{Im}(z))}^2}{|z{|}^2}}$.
5. Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Prueba que si $f$ es continua en $z_0\in S$, entonces $|f|$ es continua en $z_0\in S$. ¿Es cierto el recíproco?
6. Considera la siguiente función definida en ${\mathbb{C}}_{\mathrm{\infty }}$: $$f(z)=\{\begin{array}{lcc}{\displaystyle \frac{z+1}{4z+3}}& \text{si}& z\ne \frac{-3}{4},\\ \mathrm{\infty }& \text{si}& z=\frac{-3}{4}.\end{array}$$ Analiza la continuidad de $f$ en $z=-\frac{3}{4}$.
7. Sean $S\subset \mathbb{C}$ y $f\in \mathcal{F}(S)$ una función. Prueba que si $f$ es uniformemente continua en $S$, entonces $f$ es continua en $S$. ¿Es cierto el recíproco?
8. Sea $f(z)={\displaystyle \frac{1}{z^2}}$, prueba que:
   a) $f$ es uniformemente continua en $S=\{z\in \mathbb{C}:\frac{1}{2}\le |z|\le 1\}$,
   b) $f$ no es uniformemente continua en $S=\{z\in \mathbb{C}:|z|\le 1\}$.

Más adelante…

En esta entrada hemos abordado de manera formal el concepto de continuidad y continuidad uniforme para funciones complejas. Caracterizamos la continuidad (y la continuidad uniforme) de las funciones complejas a través de la continuidad (y la continuidad uniforme) de su parte real e imaginaria, en particular vimos que toda función compleja continua es de la forma $f(z)=u(x,y)+iv(x,y)$.

Aunque las definiciones que hemos dado en esta entrada son muy similares a las de las funciones reales, veremos en la siguiente entrada que al trabajar con funciones complejas algunos conceptos se vuelven más restrictivos para estas funciones, el cual es el caso de la diferenciabilidad compleja.

La siguiente entrada abordaremos la diferenciabilidad en el sentido complejo y veremos que la diferenciabilidad para ${\mathbb{R}}^2$, que hemos estudiado en nuestros cursos de Cálculo, no bastará para garantizar la diferenciabilidad en el sentido complejo.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Límites en $\mathbb{C}$.
• Siguiente entrada del curso: Diferenciabilidad en el sentido complejo.