Let S⊆C, let f:S→C be a function, and let z0 be a limit point of S, so every deleted neighborhood of z0 contains at least 1 point of S. For ω0∈C,
z→z0limf(z)=ω0
iff, for each ϵ>0, there exists δ>0 such that, for each z∈S,
0<∣z−z0∣<δ⟹∣f(z)−ω0∣<ϵ
f(z) can be made arbitrarily close to ω0 by choosing z sufficiently close to, but distinct from, z0.
Uniqueness of Limits
If a limit of f:S→C exists at a limit point of S, the limit is unique.
Limits via Real and Imaginary Parts
Let f(z)=u(x,y)+iv(x,y), z0=x0+iy0, ω0=u0+iv0. Then
z→z0limf(z)=ω0
iff
(x,y)→(x0,y0)limu(x,y)=u0and(x,y)→(x0,y0)limv(x,y)=v0
Limit Laws
Suppose z→z0limf(z)=ω0 and z→z0limg(z)=Ω0. Then:
- z→z0lim(f(z)+g(z))=ω0+Ω0
- z→z0lim(f(z)g(z))=ω0Ω0
- z→z0limg(z)f(z)=Ω0ω0, provided Ω0=0
Limit of a Composition
Let f:B→C and g:A→B be functions. Suppose
ω→ω0limg(ω)=z0andz→z0limf(z)=L
and g(ω)=z0 for all ω sufficiently close to ω0, ω=ω0. Then
ω→ω0limf(g(ω))=L
Limits Involving Infinity
Let z0,ω0∈C.
- z→z0limf(z)=∞ iff z→z0limf(z)1=0, where f(z)=0 for all z sufficiently close to z0 with z=z0
- z→∞limf(z)=ω0 iff z→0limf(z1)=ω0
- z→∞limf(z)=∞ iff z→0limf(1/z)1=0