Hartogsova věta je tvrzení o dostatečných podmínkách pro analytičnost funkce několika komplexních proměnných . V případě více komplexních proměnných je postačující podmínkou analytičnosti analyticita vzhledem ke každé proměnné. Pro funkce reálných proměnných to neplatí: funkce je nekonečně diferencovatelná vzhledem k (nebo ), když je (nebo ) pevné, ale není ani spojitá na počátku.
Pokud je funkce s komplexní hodnotou definována v otevřené sadě -rozměrného komplexního prostoru a je analytická v každé proměnné , když jsou ostatní proměnné pevné, pak je funkce analytická v .
Za dodatečného předpokladu kontinuity se toto tvrzení někdy nazývá Osgoodovo lemma , což dokázal William Osgood [1]