Argument principle

This article gives the statement, and possibly proof, of a basic fact in complex analysis.
View a complete list of basic facts in complex analysis

This fact is an application of the following pivotal fact/result/idea: residue theorem
View other applications of residue theorem OR Read a survey article on applying residue theorem

Statement

Suppose $U \subset C$ is an open subset and $c$ is a 0-homologous cycle in $U$ . Suppose $f$ is a meromorphic function on $U$ such that no zero or pole of $f$ lies in $U$ . Then we have:

$n (f \circ c; 0) = \sum o r d (z_{j}) n (c; z_{j})$

Where the sum is taken over all zeros/poles $z_{j}$ for $f$ and $o r d (z_{j})$ is the order of $f$ at $z_{j}$ : the unique integer $n$ such that $(z - z_{j})^{- n} f (z)$ has neither a zero nor a pole at $z_{j}$ .

Equivalently, we can write this as:

$n (f \circ c; 0) = \sum n (c; z_{j}) - \sum n (c; z_{j})$

where the first summation is for zeros, counted with multiplicity, and the second summation is for poles, counted with multiplicity.

Facts used