参考文献 動機とやりたいこと ∇の場合 状況設定 主張 証明 外微分の場合 状況設定 結論 証明 参考文献 深谷，解析力学と微分形式 (現代数学への入門) あと，まだ読んでないけど以下も役立ちそう：http://www.sci.osaka-cu.ac.jp/~ohnita/exercise/16Manifold…