23/07/05 08:13:52.98 mZfoVPvZ.net
>>384
URLﾘﾝｸ(ja.wikipedia.org)
逆関数定理 (多変数の場合) ―
U ⊂ R＾n を開集合、F : U → R＾n を C1 級関数とすると、
F の点 p ∈ U におけるヤコビ行列 JF (p) が正則であるとき、
F は p の近傍で可逆となり、この逆関数 F＾-1 もまた C1 級となる。
このとき F^-1 は次の式を満たす。ここで
[A]＾-1 は A の逆行列、
J_F(p) は F の点 p におけるヤコビ行列である。
(2)J_F^-1(F(p))=[J_F(p)]＾-1