Holomorphic function

Definition

Definition with symbols

Let $\mathrm{\Omega }$ be an open subset of $\mathbb{C}$. A function $f:U\to \mathbb{C}$ is termed a holomorphic function if it satisfies the following equivalent conditions:

1. $f$ is complex-differentiable at every point of $U$
2. $f$ is complex-differentiable at every point of $U$, and the function $f^{\prime }:U\to mathbbC$ we obtain as the derivative, is a continuous function.
3. $f$ is infinitely often complex-differentiable. In other words, we can take the $n^{th}$ derivative of $f$ for any $n$
4. For any point $z_0\in U$, and any disc centered at $z$ of radius $r$, that lies completely inside $U$, $f$ can be expressed using a power series in $(z-z_0)$

Equivalence of definitions

Definitions (1) and (2) are equivalent as a consequence of Morera's theorem.