分からない問題はここに書いてね 472

James R. Munkres著『Analysis on Manifolds』

p.65 Theorem 8.2.

A を R^n の開集合とする。
f : A → R^n を C^r 級の関数とする。
B := f(A) とする。
f が A 上で1対1で det f'(x) ≠ 0 for x ∈ A ならば、 B は R^n の開集合で逆関数 g : B → A は C^r 級の関数である。