For some purposes it is convenient to introduce the *point to infinity*, denoted by $\infty$, in addition to the points $z\in \mathbb C$. We must be careful in doing so, because it can lead to confusion an abuse of the symbol $\infty$. However, with care it can be useful, if we want to be able to talk about infinite limits and limits at infinity.

In contrast to the real line, to which $+\infty$ and $-\infty$ can be added, we have only one $\infty$ for $\mathbb C$. The reason is that $\mathbb C$ has no natural ordering as $\mathbb R$ does. Formally we add a symbol $\infty$ to $\mathbb C$ to obtain the *extended complex plane*, denoted by $\mathbb C^*=\mathbb C \cup \{\infty\}$, and define operations with $\infty$ by the rules
\begin{eqnarray*}
z+\infty&=&\infty\\
z\cdot \infty&=&\infty \quad \quad \text{provided } z\neq 0\\
\infty+\infty&=&\infty\\
\infty\cdot\infty&=& \infty\\
\frac{z}{\infty}&=&0
\end{eqnarray*}
for $z\in \mathbb C$. Notice that some operations are not defined:
$$\frac{\infty}{\infty}\,,\quad 0\cdot \infty\,,\quad \infty-\infty\,,$$
and so forth are for the same reasons that they are in the calculus of real numbers.

Consider a unit sphere sitting on top of the complex plane with the south pole
of the sphere located at the origin of the $z$ plane (see applet below). The extended complex plane can be mapped onto the
surface of a sphere whose south pole corresponds to the origin and whose north
pole to the point $\infty$. All other points of the complex plane can be mapped in
a one-to-one fashion to points on the surface of the sphere by using the following
construction. Connect the point $z$ in the plane with the north pole using a
straight line. This line intersects the sphere at the point $P(z)$. In this way each
point $z= x+iy$ on the complex plane corresponds uniquely to a point $P(z)$ on the
surface of the sphere. This construction is called the *stereographic projection* and is illustrated in the following applet.

The extended complex plane is sometimes referred to as the *compactified* (closed) complex plane. It is often useful to view the complex plane in this way, and knowledge of the construction of the stereographic projection is valuable in certain advanced treatments.

Now we can introduce the following limit concepts:

- $\displaystyle \lim_{z\rightarrow \infty}f(z)=z_0$ means: For any $\epsilon>0$, there is an $R>0$ such that $\left|f(z)-z_0\right| < \epsilon$ whenever $|z|> R$.
- $\displaystyle \lim_{z\rightarrow z_0}f(z)=\infty$ means: For any $R>0$, there is an $\delta>0$ such that $|f(z)|>R$ whenever $0<|z-z_0|< \delta$.
- $\displaystyle \lim_{z\rightarrow \infty}f(z)=\infty$ means: For any $M>0$, there is an $R>0$ such that $|f(z)|>M$ whenever $|z|> R$.

**Example 1:** If $f(z)=1/z^2$, for $z\neq 0$, then
$$\lim_{z\rightarrow \infty}f(z)=0.$$
In fact, given $\epsilon>0$ we have
$$\left|\frac{1}{z^2}-0\right|=\frac{1}{\left|z^2\right|}=\frac{1}{\left|z\right|^2} <\epsilon$$
by taking $$\left|z\right|>\frac{1}{\sqrt{\epsilon}}=R.$$

**Example 2:**
Let $f(z)=1/(z-3)$, for $z\neq 3$. Then
$$\lim_{z\rightarrow 3}f(z)=\infty.$$
In fact, for any given $R>0$ the inequality
$$\frac{1}{\left|z-3\right|}>R$$
holds whenever
$$0<\left|z-3\right| < \frac{1}{R}=\delta.$$

**Example 3:**
For $f(z)=e^z$, defined on $D=\{z\,:\,\textbf{Re}(z)>0\}$, we have
$$\lim_{z\rightarrow \infty}f(z)=\infty.$$
In fact, for any given $M>0$ we have
$$\left|f(z)\right|=\left|e^z\right|=e^x>M$$
whenever
$x>\ln M.$ Hence, it suffices to take $R>\max\{0,\ln R\}$.

It is worth to mention that for $f(z)=e^z$ defined on $D_1=\{z\,:\,\textbf{Re} (z)=0\}$, i.e., for $f(iy)=e^{iy}$, there is no limit as $z=iy\rightarrow \infty $, because along the imaginary axis, $e^{iy} = \cos y+i\sin y$ is periodic and not constant.

Finally, for $f(z)=e^z$ defined on $D_2=\{z\,:\,\textbf{Re}(z)<0\}$ we have that $$\lim_{z\rightarrow \infty}f(z)=0.$$

There is an easier way to calculate the limits from Examples 1-3. The following theorem provides a very useful method.

**Theorem:** *If $z_0$ and $w_0 $ are points in the $z$ and $w$ planes, respectively, then
\begin{eqnarray*}
\lim_{z\rightarrow z_0}f(z)=\infty \quad\text{if and only if}\quad \lim_{z\rightarrow z_0}\frac{1}{f(z)}=0,\label{limiinfty01}\\
\lim_{z\rightarrow \infty }f(z)=w_0 \quad\text{if and only if}\quad \lim_{z\rightarrow 0}f\left(\frac{1}{z}\right)=w_0,\label{limiinfty02}\\
\lim_{z\rightarrow \infty }f(z)=\infty \quad\text{if and only if}\quad \lim_{z\rightarrow 0}\frac{1}{f(1/z)}=0.\label{limiinfty03}
\end{eqnarray*}
*

Using this result, we can easily find that $$\lim_{z\rightarrow -1}\frac{iz+3}{z+1}=\infty \quad \text{since}\quad \lim_{z\rightarrow -1}\frac{z+1}{iz+3}=0$$ and $$\lim_{z\rightarrow \infty}\frac{2z+i}{z+1}=2 \quad \text{since}\quad \lim_{z\rightarrow 0}\frac{(2/z)+i}{(1/z)+1}=\frac{2+iz}{1+z}=2.$$ Furthermore, $$\lim_{z\rightarrow \infty}\frac{2z^3-1}{z^2+1}=\infty \quad \text{since}\quad \lim_{z\rightarrow 0}\frac{(1/z^2)+1}{(2/z^3)-1}=\frac{z+z^3}{2-z^3}=0.$$

NEXT: Complex Differentiation