19/03/30 04:19:12.93 7NXcGK9K.net
U⊂R^kとV⊂R^lはともに開集合
(定義)f:U→Vが滑らか
⇔すべての偏導関数が存在して連続
より一般に滑らかとは
X⊂R^k、Y⊂R^l は任意の部分集合
(定義)f:X→Yが滑らか
⇔各点x∈Xに対してxを含む開集合U⊂R^kとU∩X全体でfと一致する滑らかな写像F:U→R^lが存在する
とありますが一般に滑らか の方の定義だと、んなわけないはずなんですが、どんな写像も滑らかになるような気がしてなりません
例えばf(x)=|x|も x=0のところで開集合をU=(-ε,ε)、滑らかな写像をF(x)=x^2でとれば、U∩X={0}上で確かにF(0)=f(0)=0になり、x=0以外では普通に滑らかなので
結果として滑らかな写像といえる気がします。
絶対どこかおかしいはずなのですが、教えて頂けませんか。