0622132人目の素数さん垢版 | 大砲2018/11/09(金) 01:47:24.67ID:XwC4Bifi >>619 M = (Jf)^{-1}|x=0 と置くと、 F[i] = M[i,k] { f[k] - .. } より JF[i,j] = ∂F[i]/∂x[j] = M[i,k] ∂f[k]/∂x[j] = M[i,k] Jf[k,j] = (M. Jf)[i,j] = δ[i,j] (x=0) F(0) = 0, C^∞ は明らか.