Holomorphic functions are beautiful precisely because they are so rigid: once you know a holomorphic function on an open set, you essentially know it everywhere. But this rigidity comes at a cost. The function $f(z) = 1/z$ cannot be holomorphic on any open set containing the origin — there is simply no way to assign a finite complex value at $z = 0$ that respects the analytic structure. Yet $1/z$ is one of the most natural and important functions in complex analysis. It arises in partial fractions, it appears in Cauchy's integral formula, and its residue drives the entire theory of contour integration.
The solution is not to give up on such functions but to understand the nature of their failure at isolated points. When a function blows up at a point $z_0$ like $(z - z_0)^{-k}$ for some positive integer $k$, its singularity is of a very specific, controlled type — a **pole**. Functions that are holomorphic away from a discrete set of poles are called **meromorphic**, and they turn out to be nearly as well-behaved as holomorphic functions. They can be differentiated, integrated via residues, composed, and analyzed using many of the same tools. The theory of meromorphic functions is in many ways the theory of holomorphic functions freed from the constraint of everywhere-finiteness.
A first example clarifies why this extension is not merely permissive but genuinely natural.
[example: The Function $1/\sin z$]
Consider the function $f(z) = 1/\sin(z)$, defined wherever $\sin(z) \neq 0$. The zeros of $\sin(z)$ occur at $z = n\pi$ for $n \in \mathbb{Z}$. Near each such point, say $z_0 = n\pi$, we have
\begin{align*}
\sin(z) &= \sin(z_0 + (z - z_0)) = (-1)^n (z - z_0) - \frac{(-1)^n}{6}(z - z_0)^3 + \cdots
\end{align*}
so $\sin(z) = (-1)^n(z - z_0)(1 + O((z-z_0)^2))$ near $z_0$. Therefore
\begin{align*}
f(z) = \frac{1}{\sin(z)} = \frac{(-1)^n}{z - z_0} \cdot \frac{1}{1 + O((z-z_0)^2)} = \frac{(-1)^n}{z - z_0} + \text{(holomorphic terms)}.
\end{align*}
The function $f$ blows up at each $z_0 = n\pi$ like $(-1)^n/(z - z_0)$, but only to first order. The set of singularities $\{n\pi : n \in \mathbb{Z}\}$ is discrete — no accumulation point lies in $\mathbb{C}$. The function is holomorphic on the complement of this set. This is the structure of a meromorphic function: isolated poles in an otherwise holomorphic landscape.
[/example]
## Definition
The central distinction in the theory of isolated singularities is between singularities that can be removed, singularities that are poles, and singularities that are neither. The first two classes are well-behaved; the third — essential singularities — are not. Before defining meromorphic functions, we recall what it means for an isolated singularity to be a pole.
Suppose $f: \Omega \setminus \{z_0\} \to \mathbb{C}$ is holomorphic on a punctured neighborhood of $z_0 \in \Omega$. By the theory of Laurent series, there exists a unique expansion
\begin{align*}
f(z) &= \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n
\end{align*}
valid in some punctured disk $0 < |z - z_0| < r$. The **principal part** of this expansion is the portion with negative powers: $\sum_{n < 0} a_n (z - z_0)^n$.
[definition: Pole]
Let $\Omega \subset \mathbb{C}$ be open, $z_0 \in \Omega$, and let $f: \Omega \setminus \{z_0\} \to \mathbb{C}$ be holomorphic. We say $z_0$ is a **pole** of $f$ if there exists a positive integer $m \in \mathbb{N}$ such that
\begin{align*}
a_n &= 0 \quad \text{for all } n < -m, \quad \text{and} \quad a_{-m} \neq 0,
\end{align*}
where $\sum_{n=-\infty}^{\infty} a_n (z - z_0)^n$ is the Laurent expansion of $f$ near $z_0$. The integer $m$ is called the **order** of the pole. A pole of order $1$ is called a **simple pole**.
[/definition]
Equivalently, $z_0$ is a pole of order $m$ if and only if $|f(z)| \to \infty$ as $z \to z_0$, and the function $(z - z_0)^m f(z)$ extends to a holomorphic function at $z_0$ with nonzero value at $z_0$. This gives a cleaner geometric picture: a pole is exactly the place where $f$ blows up, and the order measures how fast.
[remark: Poles vs Essential Singularities]
If the Laurent principal part is infinite — that is, $a_n \neq 0$ for infinitely many $n < 0$ — then $z_0$ is an **essential singularity**. The Casorati–Weierstrass theorem tells us that near an essential singularity, $f$ takes values dense in $\mathbb{C}$. Essential singularities are pathological and excluded from the meromorphic setting. Poles are structured: they are just zeros of $1/f$.
[/remark]
The concept of a meromorphic function now captures exactly the class of functions holomorphic everywhere except for poles. To make that class usable, we must exclude singularities that accumulate inside the domain. If singularities could accumulate to a limit point in $\Omega$, then every neighborhood of that limit would contain infinitely many singularities, no Laurent expansion could isolate a single local obstruction, and the function would no longer behave like a holomorphic function with controlled exceptional points.
[definition: Meromorphic Function]
Let $\Omega \subset \mathbb{C}$ be a connected open set. A function $f: \Omega \to \mathbb{C} \cup \{\infty\}$ is **meromorphic on $\Omega$** if there exists a discrete closed subset $P \subset \Omega$ such that:
1. $f$ is holomorphic on $\Omega \setminus P$,
2. every point of $P$ is a pole of $f$.
The set $P$ is called the **pole set** of $f$. We write $f \in \mathcal{M}(\Omega)$ for the class of meromorphic functions on $\Omega$.
[/definition]
The condition that $P$ be discrete and closed in $\Omega$ is the key structural hypothesis. It means that the poles have no accumulation point inside $\Omega$ — they may accumulate on the boundary $\partial \Omega$ or at infinity, but not within $\Omega$ itself. This ensures that on any compact subset of $\Omega$, only finitely many poles appear.
[remark: Meromorphic as Ratios of Holomorphic Functions]
Write $\mathcal{O}(\Omega)$ for the holomorphic functions on $\Omega$. On a simply connected domain $\Omega$, every meromorphic function $f \in \mathcal{M}(\Omega)$ can be written locally as a ratio $f = g/h$ where $g, h \in \mathcal{O}(\Omega)$ and $h \not\equiv 0$. This ratio representation makes precise the analogy between meromorphic functions and rational functions over the complex numbers. Globally, this factorization always holds locally but may require a more subtle globalization argument using the Mittag–Leffler theorem.
[/remark]
[example: Rational Functions Are Meromorphic on the Plane]
Every rational function $R(z) = P(z)/Q(z)$, where $P, Q \in \mathbb{C}[z]$ are polynomials with $Q \not\equiv 0$, defines a meromorphic function on $\mathbb{C}$. The pole set is exactly the zero set of $Q$, which is finite (by the fundamental theorem of algebra). The order of a pole at $z_0$ equals the multiplicity of $z_0$ as a zero of $Q$ (assuming $z_0$ is not also a zero of $P$ of at least equal multiplicity). More is true: computing the full Laurent expansion around a higher-order pole reveals how the poles and zeros interact through the partial fraction decomposition. Consider
\begin{align*}
R(z) &= \frac{z^2 + 1}{(z-1)^2(z+2)}.
\end{align*}
This has a pole of order $2$ at $z = 1$ and a simple pole at $z = -2$. To find the complete Laurent expansion near $z = 1$, write $z = 1 + w$ and expand in powers of $w$:
\begin{align*}
z^2 + 1 &= (1+w)^2 + 1 = 2 + 2w + w^2, \\
(z-1)^2 &= w^2, \\
z + 2 &= 3 + w,
\end{align*}
so
\begin{align*}
R(z) &= \frac{2 + 2w + w^2}{w^2(3 + w)} = \frac{1}{w^2} \cdot \frac{2 + 2w + w^2}{3(1 + w/3)}.
\end{align*}
Expanding $(1 + w/3)^{-1} = 1 - w/3 + w^2/9 - \cdots$ and multiplying out:
\begin{align*}
\frac{2 + 2w + w^2}{3} \cdot \left(1 - \frac{w}{3} + \frac{w^2}{9} - \cdots\right) &= \frac{2}{3} + \left(\frac{2}{3} - \frac{2}{9}\right)w + \cdots = \frac{2}{3} + \frac{4}{9}w + \cdots
\end{align*}
Therefore near $z = 1$:
\begin{align*}
R(z) &= \frac{2/3}{(z-1)^2} + \frac{4/9}{z - 1} + \text{(holomorphic terms)}.
\end{align*}
This reveals both Laurent coefficients: $a_{-2} = 2/3$ and $a_{-1} = \operatorname{Res}(R, 1) = 4/9$. We can verify $a_{-1}$ independently by the residue formula: since $R = g/h$ with $g(z) = (z^2+1)/(z+2)$ and $h(z) = (z-1)^2$, one differentiates $(z-1)^2 R(z) = (z^2+1)/(z+2)$ and evaluates at $z = 1$:
\begin{align*}
\frac{d}{dz}\frac{z^2+1}{z+2}\bigg|_{z=1} &= \frac{2z(z+2) - (z^2+1)}{(z+2)^2}\bigg|_{z=1} = \frac{2(3) - 2}{9} = \frac{4}{9},
\end{align*}
consistent with the Laurent computation. The simple pole at $z = -2$ contributes residue $\operatorname{Res}(R, -2) = ((-2)^2+1)/((-2-1)^2) = 5/9$.
[/example]
## Poles and Zeros
The relation between poles and zeros of a meromorphic function is one of the deepest and most useful structural facts in complex analysis. A holomorphic function $g$ has a zero of order $m$ at $z_0$ if $(z - z_0)^m \mid g$ in the ring of germs of holomorphic functions, meaning $g(z) = (z - z_0)^m h(z)$ for some holomorphic $h$ with $h(z_0) \neq 0$. The relationship between poles and zeros of meromorphic functions is simply: a pole of $f$ of order $m$ is a zero of $1/f$ of order $m$.
This symmetry is not just aesthetic — it has computational force through the argument principle. To make it precise, we first need to say exactly what it means for a zero to have a definite order. The naive condition $g(z_0) = 0$ tells us only that $g$ vanishes; it says nothing about whether $g$ vanishes weakly, like $z - z_0$, or strongly, like $(z - z_0)^5$. The order of a zero captures this distinction: it is the exact degree to which the factor $(z - z_0)$ divides $g$ near $z_0$.
[definition: Zero of Order $m$]
Let $\Omega \subset \mathbb{C}$ be open and $g \in \mathcal{O}(\Omega)$. A point $z_0 \in \Omega$ with $g(z_0) = 0$ is called a **zero of order $m$** if there exists a holomorphic function $h: \Omega \to \mathbb{C}$ with $h(z_0) \neq 0$ such that
\begin{align*}
g(z) &= (z - z_0)^m h(z)
\end{align*}
for all $z \in \Omega$.
[/definition]
The order of a zero of $g$ is also the smallest $m$ such that $g^{(m)}(z_0) \neq 0$, since the Taylor expansion of $g$ begins at the $m$-th term.
Now comes the key theorem connecting the logarithmic derivative of a meromorphic function to its poles and zeros. The logarithmic derivative $f'/f$ of a meromorphic function encodes everything about where $f$ vanishes and where it blows up, and it does so in a way that is amenable to contour integration.
[quotetheorem:3368]
The theorem says that $f'/f$ is a local detector for zeros and poles. A zero contributes positively according to its multiplicity, while a pole contributes negatively according to its order. The next question is global: what happens when we integrate around a contour enclosing many such points? The answer is the Argument Principle, which turns the integral of $f'/f$ into a signed count of zeros and poles.
[quotetheorem:356]
The left-hand side is also the winding number of the image curve $f \circ \gamma$ around the origin in $\mathbb{C}$. As $z$ traverses $\gamma$, the image $f(z)$ winds once for each zero and unwinds once for each pole, with multiplicity. This is why the theorem is called the argument principle: it measures the total change in the argument of $f(z)$ along the contour.
[illustration:argument-principle]
[example: Counting Zeros of a Polynomial via the Argument Principle]
Let $f(z) = z^4 + z + 1$ and let $\gamma$ be the circle $|z| = 2$. We want to count the zeros of $f$ inside $|z| < 2$. On $|z| = 2$, write $f(z) = z^4(1 + z^{-3} + z^{-4})$. For $|z| = 2$:
\begin{align*}
|z^{-3} + z^{-4}| &\le |z|^{-3} + |z|^{-4} = \frac{1}{8} + \frac{1}{16} = \frac{3}{16} < 1,
\end{align*}
so by Rouché's theorem (which follows from the argument principle), $f(z)$ and $z^4$ have the same number of zeros inside $|z| < 2$. Since $z^4$ has a zero of order $4$ at the origin, $f$ has exactly $4$ zeros (counted with multiplicity) inside $|z| < 2$.
Since $\deg f = 4$, these account for all zeros of $f$ in $\mathbb{C}$ — consistent with the fundamental theorem of algebra.
[/example]
## Residues and the Residue Theorem
The most powerful computational tool that meromorphic functions provide is residue calculus. The residue at a pole measures the coefficient of $(z - z_0)^{-1}$ in the Laurent expansion — a single number that encodes how the function behaves near the singularity and, remarkably, determines the value of every contour integral enclosing the pole.
Why is the $(-1)$-st Laurent coefficient special? Because $\oint_\gamma (z - z_0)^n dz = 0$ for all integers $n \neq -1$ (where $\gamma$ is a small circle around $z_0$), while $\oint_\gamma (z - z_0)^{-1} dz = 2\pi i$. When you integrate $f$ over a contour, every Laurent term vanishes except the $(-1)$-st, which contributes $2\pi i a_{-1}$.
[definition: Residue]
Let $\Omega \subset \mathbb{C}$ be open, $z_0 \in \Omega$, and $f \in \mathcal{M}(\Omega)$ with a pole at $z_0$. The **residue** of $f$ at $z_0$ is the coefficient $a_{-1}$ in the Laurent expansion
\begin{align*}
f(z) &= \sum_{n=-m}^{\infty} a_n (z - z_0)^n
\end{align*}
of $f$ in a punctured neighborhood of $z_0$. We write $\operatorname{Res}(f, z_0) = a_{-1}$.
[/definition]
For a simple pole, the residue has a particularly convenient formula: $\operatorname{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z)$. For a pole of order $m$, the residue is
\begin{align*}
\operatorname{Res}(f, z_0) &= \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[(z - z_0)^m f(z)\right].
\end{align*}
When $f = g/h$ with $g, h$ holomorphic and $h$ having a simple zero at $z_0$ with $g(z_0) \neq 0$, the formula simplifies further:
\begin{align*}
\operatorname{Res}(f, z_0) &= \frac{g(z_0)}{h'(z_0)}.
\end{align*}
These formulas reduce residue computation to differentiation and evaluation — no Laurent expansion required. The next step is the global payoff: residues are not just local coefficients, but exactly the data that determine contour integrals of meromorphic functions. The residue theorem is the result that turns local pole information into a contour integral.
[quotetheorem:352]
The Residue Theorem transforms contour integrals — which might seem to require detailed knowledge of $f$ along the entire curve — into a finite algebraic computation: just find the poles and compute their residues. This is the engine behind a vast array of computations in analysis.
[example: Evaluating a Real Integral via Residues]
We compute
\begin{align*}
I &= \int_{-\infty}^{\infty} \frac{1}{1 + x^4}\, dx.
\end{align*}
Consider $f(z) = 1/(1 + z^4)$. The poles of $f$ are the fourth roots of $-1$:
\begin{align*}
z_k &= e^{i\pi(2k+1)/4}, \quad k = 0, 1, 2, 3,
\end{align*}
which gives $z_0 = e^{i\pi/4}$, $z_1 = e^{3i\pi/4}$, $z_2 = e^{5i\pi/4}$, $z_3 = e^{7i\pi/4}$.
Let $\gamma_R$ be the contour consisting of the segment $[-R, R]$ on the real axis and the upper semicircle of radius $R$. For large $R$, the semicircular arc contributes $O(R^{-3})$ and vanishes as $R \to \infty$. The poles inside $\gamma_R$ are $z_0$ and $z_1$ (those in the upper half-plane).
Since each pole is simple (as the four roots are distinct), we use $\operatorname{Res}(f, z_k) = 1/(4z_k^3)$. Indeed, if $h(z) = 1 + z^4$, then $h'(z) = 4z^3$, so
\begin{align*}
\operatorname{Res}(f, z_0) &= \frac{1}{4z_0^3} = \frac{1}{4 e^{3i\pi/4}} = \frac{e^{-3i\pi/4}}{4}, \\
\operatorname{Res}(f, z_1) &= \frac{1}{4z_1^3} = \frac{1}{4 e^{9i\pi/4}} = \frac{e^{-9i\pi/4}}{4} = \frac{e^{-i\pi/4}}{4}.
\end{align*}
Therefore
\begin{align*}
I &= 2\pi i \left(\frac{e^{-3i\pi/4}}{4} + \frac{e^{-i\pi/4}}{4}\right) = \frac{\pi i}{2}\left(e^{-3i\pi/4} + e^{-i\pi/4}\right).
\end{align*}
Now $e^{-i\pi/4} = \frac{1}{\sqrt{2}} - \frac{i}{\sqrt{2}}$ and $e^{-3i\pi/4} = -\frac{1}{\sqrt{2}} - \frac{i}{\sqrt{2}}$, so
\begin{align*}
e^{-3i\pi/4} + e^{-i\pi/4} &= -\frac{2i}{\sqrt{2}} = -i\sqrt{2}.
\end{align*}
Thus
\begin{align*}
I &= \frac{\pi i}{2} \cdot (-i\sqrt{2}) = \frac{\pi \sqrt{2}}{2} = \frac{\pi}{\sqrt{2}}.
\end{align*}
[/example]
## Meromorphic Functions on the Riemann Sphere
So far we have treated meromorphic functions as maps to $\mathbb{C} \cup \{\infty\}$, treating infinity somewhat informally. The natural framework that makes $\infty$ a genuine point — on equal footing with every other point — is the Riemann sphere $\widehat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}$.
The Riemann sphere is the one-point compactification of $\mathbb{C}$. Geometrically, it is a sphere $S^2$ with the complex plane tangent at the south pole; stereographic projection identifies $\mathbb{C}$ with $S^2 \setminus \{\text{north pole}\}$, and the north pole becomes the point at infinity. The coordinate near infinity is $w = 1/z$.
Why is this the right setting for meromorphic functions? Because a function that has a pole at infinity — meaning $f(1/w)$ has a pole at $w = 0$ — is just as well-behaved as one with a pole at a finite point. On the Riemann sphere, there is no distinction between "pole at $a \in \mathbb{C}$" and "pole at $\infty$." The theory becomes symmetric.
[definition: Behavior at Infinity]
Let $f \in \mathcal{M}(\mathbb{C})$. The behavior of $f$ at infinity is defined by examining the function
\begin{align*}
g: \dot{\mathbb{C}} &\to \mathbb{C} \cup \{\infty\} \\
w &\mapsto f(1/w)
\end{align*}
(where $\dot{\mathbb{C}} = \mathbb{C} \setminus \{0\}$) near $w = 0$. If $g$ has a removable singularity at $0$, we say $f$ has a **removable singularity at $\infty$**. If $g$ has a pole of order $m$ at $0$, we say $f$ has a **pole of order $m$ at $\infty$**. If $g$ has an essential singularity at $0$, then $f$ has an **essential singularity at $\infty$**.
[/definition]
With the behavior at infinity now precisely defined, we can state what it means for a function to be meromorphic on the full Riemann sphere. The condition is simply that infinity is treated on equal footing with every finite point: the function must be meromorphic at $\infty$ in the same sense that it is meromorphic at any point of $\mathbb{C}$.
[definition: Meromorphic Function on the Riemann Sphere]
A function $f: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ is **meromorphic on $\widehat{\mathbb{C}}$** if:
1. $f$ is meromorphic on $\mathbb{C}$ (in the sense of the previous definition),
2. $f$ has either a removable singularity or a pole at $\infty$ — that is, the function $g(w) = f(1/w)$ has at most a pole at $w = 0$.
[/definition]
The remarkable fact is that the only meromorphic functions on the entire Riemann sphere are the rational functions. Compactness is the decisive constraint: a meromorphic function on the sphere can have only finitely many poles, so its singular behavior can be captured by finitely many principal parts. The classification theorem below says that this finite principal-part data is exactly the same thing as a rational function.
[quotetheorem:3369]
This theorem is the compact counterpart of partial fractions. On the sphere, there is no room for infinitely many poles accumulating toward a boundary, because the sphere has no boundary. The result is a rigid algebraic description: every globally meromorphic function is built from polynomials and quotients of polynomials.
[example: The Weierstrass Factorization and Partial Fractions]
The rational function
\begin{align*}
f(z) &= \frac{z^2}{(z-1)(z+2)}
\end{align*}
is meromorphic on $\widehat{\mathbb{C}}$ with simple poles at $z = 1$ and $z = -2$. The partial fraction decomposition is
\begin{align*}
f(z) &= 1 + \frac{A}{z - 1} + \frac{B}{z + 2}
\end{align*}
where the leading $1$ accounts for the behavior at $\infty$: since $\deg(\text{numerator}) = \deg(\text{denominator}) = 2$, $f(z) \to 1$ as $z \to \infty$. The residues are:
\begin{align*}
A &= \operatorname{Res}(f, 1) = \frac{1^2}{(1+2)} = \frac{1}{3}, \\
B &= \operatorname{Res}(f, -2) = \frac{(-2)^2}{(-2-1)} = \frac{4}{-3} = -\frac{4}{3}.
\end{align*}
The partial fraction decomposition $f(z) = 1 + \frac{1/3}{z-1} - \frac{4/3}{z+2}$ is the explicit realization of $f$ as a sum of its principal parts plus a constant — exactly the structure guaranteed by the theorem above.
[/example]
## The Mittag-Leffler Theorem and Global Representation
Having classified meromorphic functions on $\widehat{\mathbb{C}}$ as rational functions, one might ask what replaces partial fractions on the noncompact plane $\mathbb{C}$. If the prescribed poles escape to infinity, can we build a meromorphic function with exactly those principal parts?
For domains that are not compact, the poles may be infinite in number, and summing infinitely many principal parts requires convergence. A finite sum of principal parts is always a rational function — but an infinite sum might diverge. The Mittag–Leffler theorem resolves this by showing that convergence can always be arranged, at the cost of adding holomorphic correction terms.
The need for correction terms arises from a fundamental obstruction: if we naively sum $\sum_n P_n(z)$ where $P_n$ is the principal part at the $n$-th pole, the sum may diverge at points far from the poles. The Mittag-Leffler theorem below gives the plane version: for poles tending to infinity, one can arrange convergence while preserving each prescribed principal part.
[quotetheorem:3367]
In other words, on $\mathbb{C}$ one can prescribe a discrete set of poles escaping to infinity together with their principal parts, and some meromorphic function realizes exactly that data. The remaining freedom is an arbitrary entire function: two solutions with the same principal parts differ by a holomorphic function on all of $\mathbb{C}$.
[example: Partial Fraction Expansion of the Cotangent]
The function $\pi \cot(\pi z)$ is meromorphic on $\mathbb{C}$ with simple poles at every integer $n \in \mathbb{Z}$ and residue $1$ at each. The Mittag–Leffler theorem, applied with principal parts $P_n(z) = 1/(z - n)$, gives
\begin{align*}
\pi \cot(\pi z) &= \frac{1}{z} + \sum_{n=1}^{\infty} \left(\frac{1}{z - n} + \frac{1}{z + n}\right),
\end{align*}
where the sum is over $n \in \mathbb{N}$. The correction terms $1/n$ that would appear in the naive sum are combined with $1/(z+n)$ to produce the convergent expression $1/(z-n) + 1/(z+n) = 2z/(z^2 - n^2)$, so equivalently
\begin{align*}
\pi \cot(\pi z) &= \frac{1}{z} + \sum_{n=1}^{\infty} \frac{2z}{z^2 - n^2}.
\end{align*}
This partial fraction expansion is the global analogue — for $\pi \cot(\pi z)$ on $\mathbb{C}$ — of what the partial fraction decomposition does for a rational function.
[/example]
## Meromorphic Functions and Conformal Mapping
One of the most striking applications of meromorphic functions — and one that reveals their geometric nature — is in the theory of conformal maps. A holomorphic function $f: \Omega \to \mathbb{C}$ with $f'(z_0) \neq 0$ is locally angle-preserving at $z_0$. Meromorphic functions, including those with poles, fit naturally into this framework once we work on the Riemann sphere.
A meromorphic function $f: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ that is not identically constant defines a map between Riemann spheres. The degree of $f$ is the number of preimages of a generic point in $\widehat{\mathbb{C}}$, counted with multiplicity. If $f=P/Q$ is written in lowest terms, then
\begin{align*}
\deg(f) &= \max(\deg P,\deg Q).
\end{align*}
Finite poles alone do not always show the full degree unless the behavior at $\infty$ is included.
The simplest nontrivial meromorphic maps of $\widehat{\mathbb{C}}$ to itself are the **Möbius transformations**, which are the rational functions of degree $1$.
Why single out degree $1$? The answer is that degree $1$ is the threshold at which a meromorphic map of $\widehat{\mathbb{C}}$ can be bijective. A meromorphic map of degree $d$ has exactly $d$ preimages for every generic point — so degree $1$ is exactly the condition that the map is one-to-one. Every conformal automorphism of $\widehat{\mathbb{C}}$ (a biholomorphic bijection of the Riemann sphere to itself) must be a Möbius transformation. This solves a concrete classification problem: if you want to find all ways to reparametrize $\widehat{\mathbb{C}}$ by a meromorphic bijection, the Möbius transformations are the complete answer. They are the symmetry group of the Riemann sphere, and understanding them is the key to unlocking the geometry of conformal maps between regions of $\mathbb{C}$.
[definition: Mobius Transformation]
A **Möbius transformation** (also called a **linear fractional transformation**) is a function $f: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ of the form
\begin{align*}
f(z) &= \frac{az + b}{cz + d},
\end{align*}
where $a, b, c, d \in \mathbb{C}$ and $ad - bc \neq 0$.
[/definition]
Möbius transformations are not merely algebraic symmetries of the Riemann sphere. The next geometric question is what shapes they preserve. In the following theorem, $\mathcal{M}$ denotes the Möbius group, not the earlier notation $\mathcal{M}(\Omega)$ for meromorphic functions on a domain. Since lines become circles through $\infty$ on the Riemann sphere, the natural class to test is the class of generalized circles: ordinary Euclidean circles together with straight lines plus the point at infinity.
[quotetheorem:813]
This circle-preservation property is one reason Möbius transformations are the natural geometry of the Riemann sphere. They move points by rational formulas, but they also carry the visible circular geometry of the plane into itself, with lines included as circles passing through infinity.
[example: Essential Singularity: The Function $e^{1/z}$]
Not every isolated singularity is a pole. The function $f(z) = e^{1/z}$, defined on $\mathbb{C} \setminus \{0\}$, illustrates the pathology of an **essential singularity** at $z = 0$ and shows precisely why essential singularities are excluded from the meromorphic setting.
The Laurent expansion of $e^{1/z}$ around $z = 0$ is
\begin{align*}
e^{1/z} &= \sum_{n=0}^{\infty} \frac{1}{n!\, z^n} = 1 + \frac{1}{z} + \frac{1}{2z^2} + \frac{1}{6z^3} + \cdots
\end{align*}
The principal part $\sum_{n=1}^{\infty} \frac{1}{n!\, z^n}$ is an infinite series — there is no largest negative power, so the singularity is not a pole of any finite order. The Casorati–Weierstrass theorem confirms the pathology: for any $w_0 \in \mathbb{C}$ and any punctured disk $0 < |z| < \delta$, there exists $z$ in that disk with $|e^{1/z} - w_0| < \varepsilon$. In particular, on the positive real axis approaching $0$, $e^{1/z} \to +\infty$; on the negative real axis, $e^{1/z} \to 0$; along the imaginary axis $z = it$, $e^{1/(it)} = e^{-i/t}$ oscillates on the unit circle without settling anywhere.
This function is not meromorphic near $0$: no choice of pole order accounts for its behavior. The function $f(z) = e^{1/z}$ is the canonical example of what meromorphic functions are designed to exclude.
[/example]
[example: Mapping the Upper Half-Plane to the Disk]
The Möbius transformation
\begin{align*}
f(z) &= \frac{z - i}{z + i}
\end{align*}
maps the upper half-plane $\mathbb{H} = \{z \in \mathbb{C} : \operatorname{Im}(z) > 0\}$ conformally onto the open unit disk $\mathbb{D} = \{w \in \mathbb{C} : |w| < 1\}$.
To verify: for $z = x$ real (on the real axis), $|f(x)| = |x - i|/|x + i| = \sqrt{x^2 + 1}/\sqrt{x^2 + 1} = 1$, so $f$ maps $\mathbb{R}$ to the unit circle. For $z = i$ (in the interior of $\mathbb{H}$), $f(i) = 0 \in \mathbb{D}$. By the open mapping theorem, $f$ maps the upper half-plane into $\mathbb{D}$. Since $f$ is bijective on $\widehat{\mathbb{C}}$ (being a Möbius transformation with $ad - bc = -i - i = -2i \neq 0$), it maps $\mathbb{H}$ bijectively onto $\mathbb{D}$.
The inverse is
\begin{align*}
f^{-1}(w) &= i\frac{1 + w}{1 - w},
\end{align*}
which maps $w = 0$ to $i \in \mathbb{H}$ and the unit circle to $\mathbb{R} \cup \{\infty\}$.
[/example]
[illustration:mobius-half-plane-to-disk]
[remark: Weierstrass Products and Divisors]
The Mittag–Leffler theorem controls the poles of a meromorphic function; the Weierstrass product theorem is its counterpart for zeros. Given any discrete sequence of points $\{z_n\}$ in $\Omega \subset \mathbb{C}$ with no accumulation point in $\Omega$, the Weierstrass product theorem guarantees the existence of a holomorphic function $g \in \mathcal{O}(\Omega)$ whose zero set is exactly $\{z_n\}$ with prescribed multiplicities. Combining the two theorems: every meromorphic function can be written as $g/h$ where $g, h \in \mathcal{O}(\Omega)$ are constructed via Weierstrass products from the prescribed zeros and poles. This is made precise by the language of **divisors**: a divisor $D = \sum_{z} n_z [z]$ on $\Omega$ is a formal integer-valued combination of points (with $n_z \neq 0$ for only discretely many $z$), where $n_z > 0$ records zeros of order $n_z$ and $n_z < 0$ records poles of order $|n_z|$. A meromorphic function $f$ defines its divisor $(f)$ by reading off the order of every zero and pole. The Weierstrass–Mittag–Leffler theory says that every divisor on $\mathbb{C}$ (or on any simply connected domain) is the divisor of some meromorphic function — the obstruction to solving the analogous problem on a general Riemann surface is a central theme in the theory of line bundles and the Riemann–Roch theorem.
[/remark]
[remark: Meromorphic Functions and Function Fields]
When $X$ is a compact Riemann surface, the set $\mathcal{M}(X)$ of globally defined meromorphic functions on $X$ acquires a rich algebraic structure: it is a **field**, called the **function field** of $X$. Addition and multiplication of meromorphic functions are pointwise, and every nonzero meromorphic function has a meromorphic inverse ($1/f$ is meromorphic wherever $f$ is holomorphic and nonzero, and has poles where $f$ has zeros). For the Riemann sphere $\widehat{\mathbb{C}}$, we have already seen that $\mathcal{M}(\widehat{\mathbb{C}}) = \mathbb{C}(z)$, the field of rational functions. For a compact Riemann surface $X$ of genus $g$, the function field $\mathcal{M}(X)$ is a finitely generated extension of $\mathbb{C}$ of transcendence degree $1$ — and conversely, every such field arises from a unique compact Riemann surface. This correspondence between compact Riemann surfaces and function fields is the bridge to algebraic geometry: smooth projective algebraic curves over $\mathbb{C}$ and compact Riemann surfaces are the same objects, and the meromorphic functions on either side are identified under this equivalence.
[/remark]
## References
Lars Ahlfors, *Complex Analysis* (3rd ed., 1979).
Elias M. Stein and Rami Shakarchi, *Complex Analysis* (Princeton Lectures in Analysis II, 2003).
Walter Rudin, *Real and Complex Analysis* (3rd ed., 1987).
Henri Cartan, *Elementary Theory of Analytic Functions of One or Several Complex Variables* (1963).
John B. Conway, *Functions of One Complex Variable I* (2nd ed., 1978).