Limits

Work in progress. This note is still being written and incomplete.

2 min read Last updated Tue Aug 18 2026 03:09:13 GMT+0000 (Coordinated Universal Time)

Let SCS \subseteq \mathbb{C}, let f:SCf: S \to \mathbb{C} be a function, and let z0z_0 be a limit point of SS, so every deleted neighborhood of z0z_0 contains at least 1 point of SS. For ω0C\omega_0 \in \mathbb{C},

limzz0f(z)=ω0\lim_{z \to z_0} f(z) = \omega_0

iff, for each ϵ>0\epsilon > 0, there exists δ>0\delta > 0 such that, for each zSz \in S,

0<zz0<δ    f(z)ω0<ϵ0 < |z-z_0| < \delta \implies |f(z)-\omega_0| < \epsilon

f(z)f(z) can be made arbitrarily close to ω0\omega_0 by choosing zz sufficiently close to, but distinct from, z0z_0.

Uniqueness of Limits

If a limit of f:SCf: S \to \mathbb{C} exists at a limit point of SS, the limit is unique.

Limits via Real and Imaginary Parts

Let f(z)=u(x,y)+iv(x,y)f(z) = u(x,y)+iv(x,y), z0=x0+iy0z_0 = x_0+iy_0, ω0=u0+iv0\omega_0 = u_0+iv_0. Then

limzz0f(z)=ω0\lim_{z \to z_0} f(z) = \omega_0

iff

lim(x,y)(x0,y0)u(x,y)=u0andlim(x,y)(x0,y0)v(x,y)=v0\lim_{(x,y) \to (x_0,y_0)} u(x,y) = u_0 \quad \text{and} \quad \lim_{(x,y) \to (x_0,y_0)} v(x,y) = v_0

Limit Laws

Suppose limzz0f(z)=ω0\displaystyle\lim_{z \to z_0} f(z) = \omega_0 and limzz0g(z)=Ω0\displaystyle\lim_{z \to z_0} g(z) = \Omega_0. Then:

  • limzz0(f(z)+g(z))=ω0+Ω0\displaystyle\lim_{z \to z_0} (f(z)+g(z)) = \omega_0+\Omega_0
  • limzz0(f(z)g(z))=ω0Ω0\displaystyle\lim_{z \to z_0} (f(z)g(z)) = \omega_0\Omega_0
  • limzz0f(z)g(z)=ω0Ω0\displaystyle\lim_{z \to z_0} \frac{f(z)}{g(z)} = \frac{\omega_0}{\Omega_0}, provided Ω00\Omega_0 \ne 0

Limit of a Composition

Let f:BCf: B \to \mathbb{C} and g:ABg: A \to B be functions. Suppose

limωω0g(ω)=z0andlimzz0f(z)=L\lim_{\omega \to \omega_0} g(\omega) = z_0 \quad \text{and} \quad \lim_{z \to z_0} f(z) = L

and g(ω)z0g(\omega) \ne z_0 for all ω\omega sufficiently close to ω0\omega_0, ωω0\omega \ne \omega_0. Then

limωω0f(g(ω))=L\lim_{\omega \to \omega_0} f(g(\omega)) = L

Limits Involving Infinity

Let z0,ω0Cz_0, \omega_0 \in \mathbb{C}.

  • limzz0f(z)=\displaystyle\lim_{z \to z_0} f(z) = \infty iff limzz01f(z)=0\displaystyle\lim_{z \to z_0} \frac{1}{f(z)} = 0, where f(z)0f(z) \ne 0 for all zz sufficiently close to z0z_0 with zz0z \ne z_0
  • limzf(z)=ω0\displaystyle\lim_{z \to \infty} f(z) = \omega_0 iff limz0f(1z)=ω0\displaystyle\lim_{z \to 0} f\left(\frac{1}{z}\right) = \omega_0
  • limzf(z)=\displaystyle\lim_{z \to \infty} f(z) = \infty iff limz01f(1/z)=0\displaystyle\lim_{z \to 0} \frac{1}{f(1/z)} = 0
Was this helpful?