Hartogin lause on väite riittävistä ehdoista useiden monimutkaisten muuttujien funktion analyyttisuudelle . Useiden monimutkaisten muuttujien tapauksessa riittävä ehto analyyttiselle on analyyttisyys kunkin muuttujan suhteen. Reaalimuuttujien funktioille tämä ei pidä paikkaansa: funktio on äärettömästi differentioituva suhteessa (tai ), kun (tai ) on kiinteä, mutta ei edes jatkuva origossa.
Jos kompleksiarvoinen funktio on määritelty avoimessa joukossa -ulotteista kompleksiavaruutta ja se on analyyttinen jokaisessa muuttujassa, kun muut muuttujat ovat kiinteitä, funktio on analyyttinen .
Jatkuvuuden lisäoletuksella tätä väitettä kutsutaan joskus Osgood-lemmaksi , sen todisti William Osgood [1]