<?xml version="1.0" encoding="UTF-8"?>

<record version="8" id="1146">
 <title>holomorphic</title>
 <name>Holomorphic</name>
 <created>2001-12-28 05:15:28</created>
 <modified>2004-10-04 16:52:33</modified>
 <type>Definition</type>
 <creator id="24" name="djao"/>
 <author id="24" name="djao"/>
 <author id="146" name="rmilson"/>
 <classification>
	<category scheme="msc" code="30D20"/>
	<category scheme="msc" code="32A10"/>
 </classification>
 <synonyms>
	<synonym concept="holomorphic" alias="holomorphic function"/>
	<synonym concept="holomorphic" alias="regular function"/>
	<synonym concept="holomorphic" alias="complex differentiable"/>
 </synonyms>
 <related>
	<object name="CauchyRiemannEquations"/>
	<object name="Analytic"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>Let $U \subset \mathbb{C}$ be a domain in the complex numbers. A
function $f \colon U \longrightarrow \mathbb{C}$ is \emph{holomorphic} if $f$
has a complex derivative at every point $x$ in $U$, i.e. if 
$$\lim_{z\rightarrow z_0} \frac{f(z)-f(z_0)}{z-z_0}$$
exists for all $z_0\in U$.

More generally, if $\Omega\subset \mathbb{C}^n$ is a domain, then a function $f\colon \Omega \to \mathbb{C}$ is said to be \emph{holomorphic} if $f$ is holomorphic in each of the variables. The class of all holomorphic functions on $\Omega$ is usually denoted by $\mathcal{O}(\Omega)$.</content>
</record>
