Holomorphic function

From Companal

Definition

Definition with symbols

Let Ω be an open subset of C. A function f:UC 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:UC we obtain as the derivative, is a continuous function.
  3. f is infinitely often complex-differentiable. In other words, we can take the nth derivative of f for any n
  4. For any point z0U, and any disc centered at z of radius r, that lies completely inside U, f can be expressed using a power series in (zz0)

Equivalence of definitions

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