多様体論
地球儀に「まっすぐな座標」は貼れない。それでも微積分をしたい
地球は丸いのに、地図帳(アトラス)は平らな紙の集まりで世界を覆っています。 一枚では歪むけれど、各地域を平らな地図で表し、重なりで貼り合わせれば、球全体を扱える。 この「局所的には平らな 、でも全体は曲がっている」空間が多様体です。
なぜ必要か。微積分は の上でしか作っていませんでした(微分積分学)。 でも物理の舞台(時空、相空間)や幾何の対象(曲面、群)は曲がっている。そこで微積分を 「座標に依らない形」に書き直し、曲がった空間の上へ移植する。その総仕上げが一般ストークスの定理 ——ベクトル解析の3定理(微積分12章)が、 たった一行に統一される瞬間です。
この分野のゴール:チャートで多様体を定義し、接空間・微分形式で微積分を再建し、ストークスの定理で 全積分定理を統一し、ド・ラームコホモロジーで解析と位相を縫い合わせること。
この分野の地図
可微分多様体(1〜3章)→ 接ベクトルとテンソル(4〜7章)→ 微分形式と積分(8〜10章)→ ド・ラーム理論(11〜12章)と進みます。
可微分多様体
- 多様体とは — チャート・アトラス・可微分構造(立体射影で体感)
- 部分多様体と正則値定理 — はめ込み・埋め込み・沈め込み
- サードの定理 — ほとんどの値は正則値
接ベクトルとテンソル
- 接空間と接ベクトル — 微分作用素・接束・微分 df
- ベクトル場と流れ — 積分曲線・毛玉の定理(体感)
- リー括弧とフロベニウスの定理 — 非可換性と可積分性
- テンソル場と微分形式 — 外積代数・ウェッジ積
微分形式と積分
ド・ラーム理論
- ド・ラームコホモロジー — 微分形式で穴を検出
- 計算とド・ラームの定理 — 解析と位相の一致
前提
微分積分学(多変数・ベクトル解析)・線形代数学(双対空間・行列式)・ 集合と位相 が土台です。ド・ラーム理論で 位相幾何学(コホモロジー)と 出会い、微分方程式(ベクトル場の流れ)も使います。
準備ができたら 第1章:多様体とは へ。