Complex Analysis/Complex Functions/Continuous Functions

In this section, we

• introduce a 'broader class of limits' than known from real analysis (namely limits with respect to a subset of $ℂ$) and
• characterise continuity of functions mapping from a subset of the complex numbers to the complex numbers using this 'class of limits'.

Limits of complex functions with respect to subsets of the preimage

We shall now define and deal with statements of the form

$\underset{\genfrac{}{}{0ex}{}{z\to z_0}{z\in B^{\prime }}}{\lim }f(z)=w$

for $B\subseteq ℂ,f:B\to ℂ,B^{\prime }\subseteq B,w\in ℂ$ , and prove two lemmas about these statements.

Proof: Let $\epsilon >0$ be arbitrary. Since

$\underset{\genfrac{}{}{0ex}{}{z\to z_0}{z\in B^{\prime }}}{\lim }f(z)=w$

there exists a $\delta >0$ such that

$z\in B^{\prime }\cap B(z_0,\delta )\Rightarrow |f(z)-w|<\epsilon$

But since $B^{″}\subseteq B^{\prime }$ , we also have $B^{″}\cap B(z_0,\delta )\subseteq B^{\prime }\cap B(z_0,\delta )$ , and thus

$z\in B^{″}\cap B(z_0,\delta )\Rightarrow z\in B^{\prime }\cap B(z_0,\delta )\Rightarrow |f(z)-w|<\epsilon$

and therefore

$\underset{\genfrac{}{}{0ex}{}{z\to z_0}{z\in B^{″}}}{\lim }f(z)=w$$◻$

Proof

Let $B^{\prime }\subseteq B$ such that $z_0\in B^{\prime }$ .

First, since $O$ is open, we may choose ${\delta }_1>0$ such that $B(z_0,{\delta }_1)\subseteq O$ .

Let now $\epsilon >0$ be arbitrary. As

$\underset{\genfrac{}{}{0ex}{}{z\to z_0}{z\in O}}{\lim }f(z)=w$

there exists a ${\delta }_2>0$ such that:

$z\in B(z_0,{\delta }_2)\cap U\Rightarrow |f(z)-f(z_0)|<\epsilon$

We define $\delta :=\min \{{\delta }_1,{\delta }_2\}$ and obtain:

$z\in B(z_0,\delta )\cap B^{\prime }\Rightarrow z\in B(z_0,\delta )\Rightarrow z\in B(z_0,{\delta }_2)\cap U\Rightarrow |f(z)-f(z_0)|<\epsilon$$◻$

Continuity of complex functions

We recall that a function

$f:M\to M^{\prime }$

where $M,M^{\prime }$ are metric spaces, is continuous if and only if

$x_l\to x,l\to \mathrm{\infty }\Rightarrow f(x_l)\to f(x)$

for all convergent sequences $(x_l{)}_{l\in \mathbb{N}}$ in $M$ .

Proof

Exercises

1. Prove that if we define

   $f:ℂ\to ℂ,f(z)=\{\begin{array}{cc}\frac{z^2}{|z{|}^2}& :z\ne 0\\ 1& :z=0\end{array}$

   then $f$ is not continuous at $0$ . Hint: Consider the limit with respect to different lines through $0$ and use theorem 2.2.4.

Next