Hartogs tétele egy olyan állítás, amely elegendő feltételekkel rendelkezik több összetett változó függvényének elemzéséhez . Több összetett változó esetén az analitikusság elégséges feltétele az egyes változókra vonatkozó analitikusság. Valós változók függvényei esetében ez nem igaz: a függvény végtelenül differenciálható (vagy ) vonatkozásában , amikor (vagy ) rögzített, de még csak nem is folytonos az origóban.
Ha egy komplex értékű függvény egy nyitott -dimenziós komplex térben van definiálva, és minden változóban analitikus, amikor a többi változó rögzített, akkor a függvény analitikus a -dimenziós komplex térben .
A folytonosság további feltételezése mellett ezt az állítást néha Osgood-lemmának is nevezik , ezt William Osgood bizonyította [1].