ゼミ第8回

多変数関数$f : \mathbb{R}^n \supset S \to \mathbb{R}$に対し，$(a_1, a_2, \dotsc, a_n)$において第$i$偏微導関数$D_i f = \dfrac{\partial f}{\partial x_i}(a_1, a_2, \dotsc, x_i, \dotsc, a_n)$が存在し，各$D_i f$が$(a_1, a_2, \dotsc, a_n)$で連続であるとき，$f$は$(a_1, a_2, \dotsc, a_n)$で全微分可能．