El teorema de Morera es una inversión (incompleta) del teorema integral de Cauchy, y es uno de los teoremas fundamentales en la teoría de funciones de variable compleja . Se puede formular así:
Si la función de una variable compleja en la región es continua , y la integral de la misma sobre cualquier contorno rectificable cerrado es igual a cero, eso es entonces es una función analítica en . |
La condición del teorema puede debilitarse restringiéndonos al requisito de que las integrales tomadas a lo largo del límite de cualquier triángulo perteneciente a la región se anulen .
La demostración se basa en que una función que satisfaga las condiciones del teorema tendrá una antiderivada en , es decir, existe una función tal que
Pero una función complejamente derivable una vez es analítica, por lo que su derivada también será analítica.
El teorema de Morera es la principal forma de probar la analiticidad de alguna función complejamente definida. Una de las declaraciones centrales aquí es que si una secuencia de funciones analíticas converge uniformemente a una función , entonces
por tanto, por el teorema de Morera, la función límite también será holomorfa. Así, se demuestra la holomorfía de muchas funciones definidas por series e integrales, por ejemplo, la función zeta de Riemann
y las funciones gamma de Euler
El teorema de Morera también se usa para probar la analiticidad de una función basada en el principio de simetría .
Este teorema fue obtenido por el matemático italiano Giacinto Morera en 1886 .