В математике теорема Хартогса является фундаментальным результатом Фридриха Хартогса в теории многих комплексных переменных . Грубо говоря , она утверждает, что «отдельно аналитическая» функция непрерывна. Точнее, если — функция, которая аналитична по каждой переменной z i , 1 ≤ i ≤ n , а остальные переменные остаются постоянными, то F — непрерывная функция .
Следствием является то , что функция F тогда фактически является аналитической функцией в смысле n -переменной (т.е. локально она имеет разложение Тейлора ). Таким образом, «отдельная аналитичность» и «аналитичность» являются совпадающими понятиями в теории многих комплексных переменных.
Начиная с дополнительной гипотезы о том, что функция непрерывна (или ограничена), теорему гораздо легче доказать, и в этой форме она известна как лемма Осгуда .
Аналога этой теоремы для действительных переменных нет . Если предположить , что функция дифференцируема (или даже аналитична ) по каждой переменной в отдельности, то неверно, что она обязательно будет непрерывной. Контрпример в двух измерениях дается формулой
Если дополнительно определить , эта функция имеет четко определенные частные производные по и в начале координат, но она не является непрерывной в начале координат. (Действительно, пределы вдоль линий и не равны, поэтому нет способа расширить определение , включив в него начало координат и сделав функцию непрерывной там.)
В данной статье использованы материалы из теоремы Хартогса о раздельной аналитичности из PlanetMath , которая распространяется по лицензии Creative Commons Attribution/Share-Alike License .