滑らかな多様体 → 微分形式 → 外微分 → 閉形式と完全形式 → de Rham コホモロジー → de Rham の定理
入口
滑らかな多様体
目標
de Rham の定理
進捗
ルート設計中
局所的に座標で見える空間を扱う
多様体上で積分される量を用意する
微分形式の変化を測る
消える変化と微分から来る形を分ける
微分形式で穴の情報を記録する
微分形式のコホモロジーと位相的なコホモロジーを結ぶ