An isolated bad point, and the question it forces
In the last guide we learned that whenever a function is holomorphic on a punctured disc — everywhere near a point z_0 except possibly at z_0 itself — it owns a Laurent series there, a two-sided expansion sum a_n (z - z_0)^n with the index n running over all integers, positive and negative. Such a point z_0 is an isolated singularity: the function may misbehave there, but it behaves perfectly in a whole ring around it, with no other trouble crowding in. The word isolated is doing real work. A point on a branch cut of log z, for instance, has bad neighbours on every side and is NOT an isolated singularity, so nothing in this guide applies to it.
So suppose z_0 really is isolated. The function looks singular there — but how singular? Compare three honest examples near z_0 = 0: the function (sin z)/z, which seems undefined at 0 but barely flinches; the function 1/z^2, which blows up; and the function e^(1/z), which does something far stranger than blowing up. All three are holomorphic on a punctured disc around 0, all three have a Laurent series there, yet they are not three shades of the same trouble. They are three DIFFERENT kinds of trouble, and the goal of this guide is to name them and tell them apart cleanly.
The principal part is the judge
The whole classification hinges on one piece of the Laurent series: the principal part, the part built from the negative-power terms, sum over n < 0 of a_n (z - z_0)^n. The remaining non-negative powers form an ordinary power series that is perfectly tame at z_0 — it contributes a finite value and nothing more. All the singular drama lives in the principal part. So the right question is never 'how big does f get?' but rather: how many negative-power terms does the Laurent series actually carry? Count them, and the verdict follows mechanically.
f(z) = ... + a_-2/(z-z_0)^2 + a_-1/(z-z_0) + a_0 + a_1(z-z_0) + ...
\______________ principal part ______________/ \__ tame part __/
no negative terms -> REMOVABLE
finitely many, lowest power -m -> POLE of order m
infinitely many -> ESSENTIALThat little chart is the entire content of the classification, and it is worth pausing on how decisive it is. The principal part has either no terms, or a finite nonzero number of them, or infinitely many — there is no fourth option for a count of terms. So every isolated singularity falls into exactly one of three boxes, with no overlap and no leftovers. This trichotomy is not a convention we chose; it is forced on us by arithmetic, the moment we accept that an isolated singularity always has a Laurent series.
Removable: the trouble that was never really there
If the principal part is empty — every negative coefficient a_n is zero — the singularity is removable. The Laurent series is then just an ordinary power series, which converges to a perfectly nice holomorphic function on the whole disc, z_0 included. The only thing wrong was that f happened to be left undefined (or carelessly defined) at the single point z_0; fill in the one value f(z_0) = a_0 and the gap heals seamlessly. Our first example was exactly this. Near 0, sin z = z - z^3/6 + ..., so (sin z)/z = 1 - z^2/6 + ..., a clean power series with no negative terms at all. The apparent singularity at 0 evaporates the moment you assign the value 1.
Pole: a clean, controllable blow-up
If the principal part is nonempty but stops — there are finitely many negative terms, and the most negative power present is -m (so a_-m is nonzero but a_n = 0 for all n < -m) — then z_0 is a pole of order m. Here the function genuinely blows up: as z approaches z_0, the term a_-m/(z - z_0)^m dominates and |f(z)| marches off to infinity. But it does so in the most disciplined way imaginable, exactly like 1/(z - z_0)^m does. Our second example, 1/z^2, is its own Laurent series; the principal part is the single term 1/z^2, the lowest power is -2, so 0 is a pole of order 2. A pole of order 1 is called a simple pole and is the most common kind you will meet.
There is a beautifully practical way to recognize and even locate a pole without expanding any series, and it is the cleanest single sign in the whole subject: near a pole of order m, multiplying f by (z - z_0)^m clears all the negative powers and leaves a holomorphic, nonzero function. Equivalently, |f(z)| tends to infinity as z tends to z_0 — and, the converse is also true, if |f(z)| tends to infinity at an isolated singularity then that singularity must be a pole. So 'tends to infinity' is the exact fingerprint of a pole: not bounded (that would be removable), but tending cleanly to infinity (not the wild oscillation we are about to meet).
- Is f bounded near z_0 (does |f| stay below some fixed number)? If yes, the singularity is removable — stop.
- Does |f(z)| tend to infinity as z tends to z_0, in every direction of approach? If yes, it is a pole; the order m is the smallest power for which (z - z_0)^m f(z) becomes bounded (in fact holomorphic and nonzero) at z_0.
- Otherwise |f| neither stays bounded nor goes to infinity — it does both and neither, depending on the approach. Then the singularity is essential.
Essential: genuine wildness
If the principal part never stops — there are infinitely many nonzero negative coefficients — the singularity is essential, and the behaviour there is not just bad, it is spectacular. Our third example, e^(1/z), shows it. Substituting 1/z into the exponential series e^w = 1 + w + w^2/2! + ... gives e^(1/z) = 1 + 1/z + 1/(2! z^2) + 1/(3! z^3) + ..., an infinite cascade of negative powers. There is no order m here, because there is no most-negative power — the principal part goes down forever. By our trichotomy, e^(1/z) has an essential singularity at 0, and no amount of multiplying by (z - 0)^m will ever tame it.
How wild is wild? The Casorati-Weierstrass theorem says that near an essential singularity the values of f come arbitrarily close to every complex number — in any tiny punctured neighbourhood, the image is dense in the whole plane. Picard's theorem (the next guide's finale) sharpens this almost beyond belief: f actually attains every complex value, infinitely often, with at most a single exception. For e^(1/z) the lone exception is 0 (the exponential is never zero, exactly as you learned earlier); every other value is hit infinitely many times in every shrinking disc around the origin. That is why no single limit exists there: depending on how you approach 0, e^(1/z) can be sent toward 0, toward infinity, or toward any number you please.
Why this matters next
This three-way sorting is the foundation the rest of the rung stands on. Once you know a singularity is a pole, its order m becomes a number you can compute with — guide 3 turns that into a clean count of zeros and poles, and the next rung's residue machinery extracts the single coefficient a_-1 to evaluate integrals. Once you know a singularity is removable, you simply erase it and move on. And once you know a singularity is essential, you accept that the function is uncontrollable there and route your contours around it with respect. The verdict you read off the principal part is not academic bookkeeping; it tells you precisely which tools will and will not work.
Keep one honest caveat in mind. Everything here required the singularity to be isolated — a lone bad point with good behaviour all around it. Functions with branch points, or with poles piling up toward a limit point, or with a dense wall of singularities, fall outside this trichotomy entirely and need different ideas. But for the vast and important family of functions that are holomorphic except at scattered isolated points — the meromorphic functions we meet two guides on — this classification is complete, and it is the lens through which the whole theory of residues comes into focus.