Función holomorfa

right|miniatura|Malla rectangular (arriba) e a súa imaxe mediante unha aplicación conforme *f* (abaixo)
En matemáticas, unha **función holomorfa** é unha función complexa dunha ou máis variables complexas que é diferenciable nunha veciñanza en cada punto do seu dominio. A existencia dunha derivada complexa á unha condición moi forte, xa que implica que calquera función holomorfa é realmente infinitamente diferenciable e igual á súa propia serie de Taylor. As funcións holomorfas son o obxecto fundamental da análise complexa.

Aínda que o vocábulo *función analítica* adoita empregarse de xeito intercambiable con "función holomorfa", a palabra "analítica" defínese nun sentido amplo para denotar calquera función (real, complexa ou máis xeral) que pode ser escrita como serie de potencias converxentes nunha veciñanza de cada punto do seu dominio. O feito de que toda función holomorfa é unha función analítica complexa e viceversa, é un teorema fundamental da análise complexa.

As funcións holomorfas ás veces son denominadas *funcións regulares*. Unha función holomorfa cun dominio que é o plano complexo chámase función enteira. A expresión "holomorfa nun punto *z*0" significa non só diferenciable *z*0, senón diferenciable dentro dunha veciñanza de *z*0 no plano complexo.

## Definition 
miniatura|A función f(z) = \bar{z} é non complexa-diferenciable no cero, porque como se amosa arriba, o valor de  f(z)-f(0) \over z-0 varía dependendo da dirección á que se achega ao cero. Ao longo do eixe real, *f* equivale á función *g*(*z*)&nbsp;=&nbsp;*z* e o límite é 1, mentres que ao longo do eixe imaxinario, *f* equivale a *h*(*z*)&nbsp;=&nbsp;−*z* e o límite é −1. Outras direccións dan lugar a outros límites.
Dada unha función complexa *f* dunha variable complexa, a **derivada** de *f* nun punto *z*0 no seu dominio está definida polo límite

:f'(z_0) = \lim_{z \to z_0} {f(z) - f(z_0) \over z - z_0 }. 

Isto é o mesmo que a definición de derivada para funcións reais, agás que todas as cantidades son complexas. En particular, o límite tómase cando o número complexo *z* se aproxima a *z*0, e debe de ter o mesmo valor para cada sucesión de valores complexos para *z* que se aproxime a *z*0 no plano complexo. Se o límite existe, dise que *f* é **complexa-diferenciable** en *z*0. Este concepto comparte varias propiedades coa diferenciabilidade real: é linear e segue a regra do produto, do cociente e da cadea.

Se *f* é *complexa diferenciable* en *cada* punto *z*0 nun conxunto aberto *U*, dise que *f* é '*holomorfa en *U'''*. Dise que *f* é *'holomorfa no punto *z*0'* se é holomorfa nalgunha veciñanza de *z*0. Dise que *f* é holomorfa nalgún conxunto non aberto *A* se é holomorfa nun conxunto aberto que contén *A*.

A relación entre diferenciabilidade real e complexa é a seguinte: se unha función complexa  é holomorfa, entón *u* e *v* teñen derivadas primeiras parciais con respecto a *x* e *y*, e satisfai as ecuacións de Cauchy-Riemann:

:\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \mbox{and} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,

ou, equivalentemetne, a derivada de Wirtinger de *f* con respecto ao conxugado complexo de *z* é cero:

:\frac{\partial f}{\partial\overline{z}} = 0,

que equivale a dicir que *f* é independente funcionalmente do conxugado complexo de *z*.

Se non se dá a continuidade o contrario non é necesariamente certo. Pola contra, se *u* e *v* teñen primeira derivada parcial *continua* e satisfai as ecuacións de Cauchy-Riemann entón *f* é holomorfa. Un contrario máis satisfactorio, máis complicado de comprobar é o teorema de Looman-Menchoff: se *f* é continua, *u* e *v* teñen derivadas parciais primeiras (non necesariamente continuas), e satisfán as ecuacións de Cauchy-Riemann, entón *f* é holomorfa.

## Terminoloxía 
A palabra "holomorfa" foi introducido por dous estudantes de Cauchy, Briot (1817–1882) e Bouquet (1819–1895), e deriva do grego ὅλος (*holos*) que quere dicir "enteiro", e μορφή (*morphē*) que significa "forma" ou "aparencia".

## Propiedades 
Como a diferenciación complexa é linear e segue as regras do produto, do cociente e da cadea, as sumas, produtos e composicións de funcións holomorfas é holomorfa, e o cociente de dúas funcións holomorfas é holomorfa se o denominador non é cero.

Se se identifica **C** con **R**2, entón as funcións holomorfas coinciden coas funcións en dúas variables con derivadas primeiras continuas que solucionan as ecuacións de Cauchy-Riemann, un conxunto de dúas ecuacións en derivadas parciais.

O teorema integral de Cauchy implica que a integral de liña de cada función holomorfa ao longo dun lazo desaparece:

:\oint_\gamma f(z)\,dz = 0. 

Aquí *γ* é un camiño rectificable nun subconxunto aberto simplemente conexo *U* do plano complexo **C** cun punto inicial que é igual ao punto final e  é unha función holomorfa.

A fórmula integral de Cauchy afirma que toda función holomorfa nun disco está completamente determinado polos seus valores na fronteira do disco.

Todas as funcións holomorfas son analíticas. É dicir, unha función holomorfa *f* ten derivadas de calquera orde en cada punto *a* do seu dominio, e coincide coa súa propia serie de Taylor en *a* nunha veciñanza de *a*. De feito, *f* coincide coa súa serie de Taylor en *a* en calquera disco centrado nese punto dentro do dominio da función.

Dende un punto de vista alxébrico, o conxunto de funcións holomorfas dun conxunto aberto é un anel conmutativo e un espazo vectorial complexo.  Defínese *f* como holomorfas se é analítica en cada punto do seu dominio. O lema de Osgood demostra que para unha función continua *f*, isto é equivalente a que *f* sexa holomorfa en cada variable separadamente (significando que se algunha  coordenadas son fixas, entón a restrición de *f* é unha función holomorfa para o resto das coordenadas). O teorema de Hartog, moito máis profundo demostra que a hipótese do continuo é innecesaria: *f'' é holomorfa se e só se é holomorfa para cada variable separadamente.

Máis xeralmente, unha función de varias variables complexas que é cadrada integrable sobre todos os subconxuntos compactos do seu dominio é analítica se e só se satisfai as ecuacións de Cauchy-Riemann no sentido das distribucións.

As funcións de varias variables complexas son en certas formas básicas máis complicadas que as funcións dunha variables complexa. Por exemplo, a rexión de converxencia dunha serie de potencias non é necesariamente unha bóla aberta; estas rexións son os dominios de Reinhardt, os exemplos máis simples dos cales é o polidisco. Porén, tamén teñen algunhas restricións fundamentais. A diferenza das funcións dunha variables complexa, os dominios posibles sobre os que hai funcións holomorfas que non poden ser estendidas a dominios máis grandes son altamente limitados. Estes conxuntos chámanse dominios de holomorfía]].

## Extensión a análise funcional 
O concepto dunha función holomorfa pode estenderse a espazos infinitodimensionais da análise funcional. Por exemplo, a derivada Fréchet ou a Gâteaux poden empregarse para definir a noción de función holomorfa sobre un espazo de Banach sobre o campo dos números complexos.

## Notas 
## Véxase tamén 
### Ligazóns externas 
* Hazewinkel, Michiel, ed. (2001), "Analytic function ", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4