考えることができます。接ベクトルや微分形式に関しては具体的な座標に依存するような定義が必要なのはいまいちではないでしょうか。多様体の外に何の過程もおかず多様体の内側だけで完結するような定義の仕方が考えられています。このような定義の仕方を内在的定義といいます。写像を接ベクトル場として定義。p-共変テンソルと呼びます。q-反変テンソルと呼ぶ。あるんで、それを外微分とする。形式の外微分が再帰的に定義される。まで気兼ねなくご連絡ください。ついて運営者について。