El teorema de Hartogs es un enunciado sobre las condiciones suficientes para la analiticidad de una función de varias variables complejas . En el caso de varias variables complejas, una condición suficiente para la analiticidad es la analiticidad con respecto a cada variable. Para funciones de variables reales, esto no es cierto: la función es infinitamente diferenciable con respecto a (o ) cuando (o ) es fijo, pero ni siquiera es continua en el origen.
Si una función de valor complejo se define en un conjunto abierto de espacio complejo bidimensional y es analítica en cada variable cuando las otras variables son fijas, entonces la función es analítica en .
Bajo el supuesto adicional de continuidad, esta declaración a veces se llama el lema de Osgood , fue demostrado por William Osgood [1]