ハルトークスの定理

数学におけるハルトークスの定理（ハルトークスのていり、英: Hartogs' theorem）とは、フリードリヒ・ハルトークスによって証明された、多変数複素函数論において基礎となる一結果である。大雑把には、「別々に解析的」な函数は連続であるということが述べられている。正確に言うと、$F\colon {\mathbf {C} }^{n}\to {\mathbf {C} }$ が他の変数を定数として固定したときの各変数 z_i, 1 ≤ i ≤ n について解析的な函数であるなら、F は連続函数であるということが述べられている。

この結果の系として、F は実は n 変数の意味で解析函数である（すなわち、局所的にテイラー展開を持つ）というものがある。したがって、多変数複素函数論において「別々に解析的であること」と「解析性」は同一の概念となる。

さらに函数が連続（あるいは有界）であるという仮定を付け加えると、証明がはるかに容易となり、この形はオズグットの補題として知られている。

ここで実変数に対してこの定理と類似の結果は得られないことに注意されたい。すなわち、ある函数 $f\colon {\mathbf {R} }^{n}\to {\mathbf {R} }$ が各変数について微分可能（あるいは解析的）であっても、$f$ は必ずしも連続とはならない。二次元の場合のその反例として、次の函数が挙げられる。

$f(x,y)={\frac {xy}{x^{2}+y^{2}}}.$

さらに $f(0,0)=0$ と定義すると、この函数は原点において $x$ および $y$ についての well-defined な偏微分を持つが、f は原点において連続ではない。実際、直線 $x=y$ および $x=-y$ のそれぞれに沿った極限は異なる値となり、f を原点において連続となるように定義することはできない。

参考文献

• Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Hartogs's theorem on separate analyticityの本文を含む