Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre

un subconjunto abierto del plano complejo C y con valores en C, que además son complejo-diferenciables en cada punto. Esta condición es mucho más fuerte que la diferenciabilidad en caso real e implica que la función es infinitamente diferenciable y que puede ser descrita mediante su serie de Taylor. El término función analítica se usa a menudo en vez del de "función holomorfa", especialmente para cuando se trata de la restricción a los números reales de una función holomorfa. Una función que sea holomorfa sobre todo el plano complejo se dice función entera. La frase "holomorfa en un punto a" significa no sólo diferenciable en a, sino diferenciable en todo un disco abierto centrado en a, en el plano complejo. Definición Si U es un conjunto abierto de C (ver espacio métrico para la definición de "abierto") y es una función, se dice que f es complejo-diferenciable en el punto z0 de U si existe el siguiente límite:

Este límite se toma aquí sobre todas las sucesiones de números complejos que se aproximen a z0, y para todas esas sucesiones el cociente de diferencias tiene que dar el mismo número f '(z0). Intuitivamente, si f es complejo-diferenciable en z0 y nos aproximamos al punto z0 desde la dirección r, entonces las imágenes se acercarán al punto f(z0) desde la dirección f '(z0) r, donde el último producto es la multiplicación de números complejos. Este concepto de diferenciabilidad comparte varias propiedades con la diferenciabilidad en caso real: es lineal y obedece a las reglas de derivación del producto, del cociente y de la cadena. Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, se dice que f es holomorfa en U. Es claro que, al igual que en el caso real, si f es holomorfa e inyectiva en U — con inversa continua — entonces es holomorfa y su derivada vale:

[editar]Ejemplos Todas las funciones polinómicas en z con coeficientes complejos son holomorfas sobre C, y también lo son las funciones trigonométricas de z y la función exponencial. (Las funciones trigonométricas están de hecho relacionadas estrechamente con esta última y pueden definirse a partir de ella usando lafórmula de Euler). La rama principal de la función logaritmo es holomorfa sobre el conjunto C - {z ∈ R : z ≤ 0}. La función raíz cuadrada se puede definir como : y es por tanto allá donde lo sea la función logaritmo ln(z). La función 1/z es holomorfa sobre {z : z ≠ 0}. Las funciones trigonométricas inversas tienen cortes y son holomorfas en todos los puntos excepto en estos cortes. [editar]Propiedades Ya que la diferenciación compleja es lineal y cumple las reglas del producto, del cociente y de la cadena, se tendrá que las sumas, productos, composiciones son también holomorfas, y el cociente de dos funciones holomorfas lo será allá donde el denominador sea distinto de cero. Cada función holomorfa es infinitamente diferenciable en cada punto, y coincide con su propia serie de Taylor; esta serie convergerá sobre cada disco abierto que se encuentre dentro del dominio U. La serie de Taylor puede converger en un disco más grande; por ejemplo, la serie de Taylor para el logaritmo converge sobre cada disco que no contenga al 0, incluso en las cercanías de la línea real negativa. Ver demostración de que las funciones holomorfas son analíticas. Si se identifica C con R², entonces las funciones holomorfas son las mismas que aquellas funciones de dos variables reales diferenciables y que cumplan las ecuaciones de Cauchy-Riemann, que son un par de ecuaciones diferenciales parciales. Las funciones holomorfas son conformes cerca de los puntos con derivada distinta de cero, en el sentido de que preservan ángulos y la forma (pero no el tamaño) de las figuras pequeñas.

y se denominan funciones holomorfas. aunque ambos conjuntos tienen propiedades distintas. Función analítica En matemáticas una función analítica es aquella que puede expresarse como una serie de potencias convergente. [editar]Funciones suaves no analíticas En variable real pueden encontrarse funciones suaves que no son analíticas. en el que además su serie de Taylor: converge (y coincide con f). La noción de función analítica puede definirse para funciones reales o complejas. [editar]Varias variables La definición de función analítica puede extenderse para funciones (reales o complejas) de varias variables (definidas en Rn o Cn). sin más que considerar series de potencias de varias variables: [editar]Funciones holomorfas Artículo principal: Función holomorfa. El conjunto de todas las funciones analíticas en un cierto abierto U se denota por Cω(U). Una función analítica es suave: tiene infinitas derivadas. Definición La definición de función analítica es idéntica para los casos real y complejo: Una función real (compleja) f es analítica en un punto x0 de su dominio si existe una serie de potencias centrada enx0: que converge en un entorno U ⊆ R (U ⊆ C) de x0 y que coincide con la función en dicho entorno: De esta definición se puede demostrar la siguiente caracterización alternativa: Una función analítica en x0 es infinitamente derivable en un cierto entorno U de dicho punto. Un teorema similar se aplica en el caso de funciones complejas de varias variables que sean diferenciables: Una función compleja f : D ⊆ Cn → C diferenciable en un abierto U es analítica en U. Sin embargo. es analítica en U. Un ejemplo de ello es la función: . y que constituye uno de los rasgos fundamentales del análisis complejo: Una función compleja f : D ⊆ C → C derivable en un abierto U.La fórmula integral de Cauchy dice que los valores. dentro de un disco. de una función holomorfa. Las funciones complejas derivables en un abierto siempre son analíticas. En el caso de las funciones complejas analíticas. Una función se dice analítica en un conjunto U si es analítica en cada punto de U. quedan determinados por los valores de la función en la frontera del disco. una función real infinitamente derivable no es necesariamente analítica. existe un teorema que las caracteriza de manera mucho más sencilla.

Por tanto. y en ningún entorno de dicho punto coinciden la función y la serie de Taylor. y en particular todas sus derivadas en 0 son nulas: f(n)(0) = 0. . su serie de Taylor alrededor de 0 es identicamente nula.Esta función es infinitamente derivable para cualquier x ∈ R.