Teorema lui Hartogs este o afirmație despre condiții suficiente pentru analiticitatea unei funcții a mai multor variabile complexe . În cazul mai multor variabile complexe, o condiție suficientă pentru analiticitate este analiticitatea față de fiecare variabilă. Pentru funcțiile variabilelor reale, acest lucru nu este adevărat: funcția este infinit diferențiabilă în raport cu (sau ) când (sau ) este fix, dar nu este nici măcar continuă la origine.
Dacă o funcție cu valori complexe este definită într- un set deschis de spațiu complex -dimensional și este analitică în fiecare variabilă atunci când celelalte variabile sunt fixe, atunci funcția este analitică în .
Sub ipoteza suplimentară a continuității, această afirmație este uneori numită lema Osgood , a fost demonstrată de William Osgood [1]