数学の作り方 How to make Mathematics

多様体論

地球儀に「まっすぐな座標」は貼れない。それでも微積分をしたい

地球は丸いのに、地図帳(アトラス)は平らな紙の集まりで世界を覆っています。 一枚では歪むけれど、各地域を平らな地図で表し、重なりで貼り合わせれば、球全体を扱える。 この「局所的には平らな Rn\mathbb R^n、でも全体は曲がっている」空間が多様体です。

なぜ必要か。微積分は Rn\mathbb R^n の上でしか作っていませんでした(微分積分学)。 でも物理の舞台(時空、相空間)や幾何の対象(曲面、群)は曲がっている。そこで微積分を 「座標に依らない形」に書き直し、曲がった空間の上へ移植する。その総仕上げが一般ストークスの定理 Ωω=Ωdω\int_{\partial\Omega}\omega=\int_\Omega d\omega——ベクトル解析の3定理(微積分12章)が、 たった一行に統一される瞬間です。

この分野のゴール:チャートで多様体を定義し、接空間・微分形式で微積分を再建し、ストークスの定理で 全積分定理を統一し、ド・ラームコホモロジーで解析と位相を縫い合わせること。

この分野の地図

可微分多様体(1〜3章)→ 接ベクトルとテンソル(4〜7章)→ 微分形式と積分(8〜10章)→ ド・ラーム理論(11〜12章)と進みます。

可微分多様体

  1. 多様体とは — チャート・アトラス・可微分構造(立体射影で体感)
  2. 部分多様体と正則値定理 — はめ込み・埋め込み・沈め込み
  3. サードの定理 — ほとんどの値は正則値

接ベクトルとテンソル

  1. 接空間と接ベクトル — 微分作用素・接束・微分 df
  2. ベクトル場と流れ — 積分曲線・毛玉の定理(体感)
  3. リー括弧とフロベニウスの定理 — 非可換性と可積分性
  4. テンソル場と微分形式 — 外積代数・ウェッジ積

微分形式と積分

  1. 外微分 — d²=0・grad/rot/div の統一
  2. 向き付けと積分 — 向きづけ可能性・1 の分割
  3. ストークスの定理 — 全積分定理の統一

ド・ラーム理論

  1. ド・ラームコホモロジー — 微分形式で穴を検出
  2. 計算とド・ラームの定理 — 解析と位相の一致

前提

微分積分学(多変数・ベクトル解析)・線形代数学(双対空間・行列式)・ 集合と位相 が土台です。ド・ラーム理論で 位相幾何学(コホモロジー)と 出会い、微分方程式(ベクトル場の流れ)も使います。

準備ができたら 第1章:多様体とは へ。