Classification of isolated singularities

Statement

Let $f$ be holomorphic on a punctured disc $0<|z-a|<R$ . Exactly one of the following occurs:

$a$ is removable, when $f$ extends holomorphically across $a$ ;
$a$ is a pole, when $|f(z)|\to\infty$ as $z\to a$ ;
$a$ is essential, when it is neither removable nor a pole.

In the Laurent expansion, these cases correspond respectively to no negative terms, finitely many negative terms, and infinitely many negative terms.

Analytic criteria

Riemann's removable singularity theorem says that local boundedness near $a$ is enough for removability. A pole of order $m$ is characterized by

f(z)=(z-a)^{-m}g(z),\qquad g(a)\ne0.

At an essential singularity, the Casorati–Weierstrass theorem makes the image of every punctured neighborhood dense in $\mathbb C$ ; the great Picard theorem is stronger.

Meromorphic functions

A function is meromorphic precisely when its isolated singularities are only poles. Essential singularities are therefore excluded from meromorphic behavior.

References

John B. Conway, Functions of One Complex Variable I, 2nd ed., Springer, 1978. Publisher record. Relevant: Chapter V, §§1–3.