Argument principle

Statement

Suppose $U\subset \mathbb{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 ord(z_j)n(c;z_j)$

Where the sum is taken over all zeros/poles $z_j$ for $f$ and $ord(z_j)$ is 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.