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 $$\Complex$$) 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
 * $$\lim_{z\to z_0\atop z\in B'}f(z)=w$$

for $$B\sube\Complex,f:B\to\Complex,B'\sube B,w\in\Complex$$, and prove two lemmas about these statements.

Proof: Let $$\varepsilon>0$$ be arbitrary. Since
 * $$\lim_{z\to z_0\atop z\in B'}f(z)=w$$

there exists a $$\delta > 0$$ such that
 * $$z\in B'\cap B(z_0,\delta)\Rarr|f(z)-w|<\varepsilon$$

But since $$B\sube B'$$, we also have $$B\cap B(z_0,\delta)\sube B'\cap B(z_0,\delta)$$ , and thus
 * $$z\in B''\cap B(z_0,\delta)\Rarr z\in B'\cap B(z_0,\delta)\Rarr|f(z)-w|<\varepsilon$$

and therefore
 * $$\lim_{z\to z_0\atop z\in B''}f(z)=w$$

Let $$B'\sube B$$ such that $$z_0\in B'$$.
 * Proof

First, since $$O$$ is open, we may choose $$\delta_1>0$$ such that $$B(z_0,\delta_1)\sube O$$.

Let now $$\varepsilon>0$$ be arbitrary. As
 * $$\lim_{z\to z_0\atop z\in O}f(z)=w$$

there exists a $$\delta_2>0$$ such that:
 * $$z\in B(z_0,\delta_2)\cap U\Rarr|f(z)-f(z_0)|<\varepsilon$$

We define $$\delta:=\min\{\delta_1,\delta_2\}$$ and obtain:
 * $$z\in B(z_0,\delta)\cap B'\Rarr z\in B(z_0,\delta)\Rarr z\in B(z_0,\delta_2)\cap U\Rarr|f(z)-f(z_0)|<\varepsilon$$

Continuity of complex functions
We recall that a function
 * $$f:M\to M'$$

where $$M,M'$$ are metric spaces, is continuous if and only if
 * $$x_l\to x,l\to\infty\Rarr f(x_l)\to f(x)$$

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


 * Proof

Exercises

 * 1) Prove that if we define
 * $$f:\Complex\to\Complex,f(z)=\begin{cases}\dfrac{z^2}{|z|^2}&:z\ne0\\1&:z=0\end{cases}$$
 * 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