Category:Residues (Complex Analysis)

From ProofWiki
Jump to navigation Jump to search

This category contains results about residues in the context of complex analysis.
Definitions specific to this category can be found in Definitions/Residues (Complex Analysis).


Let $f: \C \to \C$ be a complex function.

Let $z_0 \in U \subset \C$ such that $f$ is analytic in $U \setminus \set {z_0}$.


Then by Existence of Laurent Series, there is a Laurent series:

$\ds \sum_{j \mathop = -\infty}^\infty a_j \paren {z - z_0}^j$

such that the sum converges to $f$ in $U - \set {z_0}$.


The residue at a point $z = z_0$ of $f$ is defined as $a_{-1}$ in that Laurent series.

It is denoted $\Res f {z_0}$ or just $\map {\mathrm {Res} } {z_0}$ when $f$ is understood.

This category currently contains no pages or media.