微分するとどうなる？

写像の微分という概念は、可微分多様体MとNの間の写像f:M->Nがあったとき、x∈Mにおける接空間T_xMからNの接空間T_f(x)Nへの線型写像df_x: T_xM -> T_f(x)Nとして定義される。