Existence of Laurent Series
From ProofWiki
Theorem
Let $f: \C \to \C$ be a function and $z_0 \in U \subset \C$ such that $f$ is analytic in $U - \left\{{z_0}\right\}$.
Then there is a Laurent series
- $\displaystyle \sum_{j=-\infty}^\infty a_j \left({z - z_0}\right)^j$
such that the sum converges to $f$ in $U - \left\{{z_0}\right\}$.
Proof
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
