18/08/15 21:18:41.86 SQV3T5wE.net
今、
A ⊂ R^n
A : open
f : A -> R^n
f : class C^1
Df(a) : non-singular
⇒
f : ある open cube C(a; ε) 上で単射
という補題の証明を読み終わりました。
18/08/15 21:18:41.86 SQV3T5wE.net
今、
A ⊂ R^n
A : open
f : A -> R^n
f : class C^1
Df(a) : non-singular
⇒
f : ある open cube C(a; ε) 上で単射
という補題の証明を読み終わりました。