Category:Analytic Complex Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Analytic Complex Functions.
Definitions specific to this category can be found in Definitions/Analytic Complex Functions.

Let $U \subset \C$ be an open set.

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


Then $f$ is analytic in $U$ if and only if for every $z_0 \in U$ there exists a sequence $\sequence {a_n}: \N \to \C$ such that the series:

$\ds \sum_{n \mathop = 0}^\infty a_n \paren {z - z_0}^n$

converges to $\map f z$ in a neighborhood of $z_0$ in $U$.

This category currently contains no pages or media.