18/08/10 20:46:39.03 Hnx0B79D.net
>>90
この定理の仮定ですが、無駄が多すぎませんか？
以下で十分ではないでしょうか？
K を R または C とする。 K の二つの開集合 A, B に対し、 f を A から B への全単写
とする。もし f が一点 x ∈ A で微分可能で f'(x) ≠ 0 であり、 f^(-1) が一点 y = f(x) ∈ B で
連続であるならば、 f^(-1) は y = f(x) で微分可能で
(4.1) (f^(-1))'(y) = 1/f'(x)
が成立つ。