>>601

訂正します：

杉浦光夫さんの『解析入門1』のp.139定理6.10に似た以下の事実を証明してください：

A ⊂ R^n を開集合とする。
f : A → R^n を単射かつ C^r 級とする。
行列 Df(x) は A 上で正則であるとする。

このとき、 f(A) ⊂ R^n は開集合であり、逆関数 g : f(A) → A は C^r 級である。