En análisis complejo, una rama de matemáticas, el Teorema de Morera, que recibe el nombre del matemático italiano Giacinto Morera (1856-1909), proporciona un criterio importante para demostrar que una función es holomorfa.
una función continua de variable compleja definida en un conjunto abierto conexo
en el plano complejo que satisface
que sea
.La suposición del Teorema de Morera es equivalente a que
El inverso del teorema no es cierto en general.
Una función holomorfa no necesita poseer una primitiva en su dominio, a no ser que se impongan hipótesis adicionales.
El inverso se cumple, por ejemplo, si el dominio
es simplemente conexo; esto es el teorema integral de Cauchy, el cual establece que la integral de línea de una función holomorfa a lo largo de una curva cerrada es cero.
[1] El contraejemplo estándar es la función f(z) =
En cualquier entorno simplemente conexo U en
tiene una primitiva definida por L(z) = ln(r) + iθ, donde z = reiθ.
Debido a la ambigüedad de θ bajo la adición de cualquier múltiplo entero de 2π, cualquier elección continua de θ en U bastará para definir una primitiva de
Dado que la derivada de una constante aditiva es 0, se le puede sumar cualquier constante a la primitiva, y el resultado continúa siendo una primitiva de
es un contraejemplo universal: para cada función analítica que no tiene primitiva en su dominio, la razón para esto es que