# Definition:Holomorphic Function/Complex Plane

## Definition

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

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

Then $f$ is **holomorphic in $U$** if and only if $f$ is differentiable at each point of $U$.

We also say that $f$ is **complex-differentiable in $U$**.

This page has been identified as a candidate for refactoring.In particular: Emphasise the fact that a holomorphic function is more properly defined as one which satifies the Cauchy-Riemann equationsUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Also defined as

A **holomorphic function** is sometimes defined as continuously differentiable on the open set $U$.

By Holomorphic Function is Continuously Differentiable, the two definitions are equivalent.

## Also known as

Some authors refer to a **holomorphic function** on an open set of $\C$ as an **analytic (complex) function**.

This is because, by Holomorphic Function is Analytic, they are equivalent.

This theorem requires a proof.In particular: holomorphic iff analyticYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

Sometimes the term **regular function** can be seen, which means the same thing.

## Also see

- Results about
**holomorphic functions**can be found**here**.

## Sources

- 1964: Murray R. Spiegel:
*Theory and Problems of Complex Variables*... (next): Chapter $3$: Complex Differentiation and The Cauchy-Riemann Equations: Analytic Functions - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next):**holomorphic** - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next):**holomorphic function** - 2001: Christian Berg:
*Kompleks funktionsteori*: $\S 1.1$ - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next):**holomorphic function** - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next):**holomorphic** - 2021: Richard Earl and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(6th ed.) ... (previous) ... (next):**holomorphic**