微分幾何学

「曲がっている」を、数で言う

紙は平ら、ボールは曲がっている——誰でも感じます。でも「どれくらい曲がっているか」を 数で言えますか？ 道路のカーブのきつさ、山の斜面の反り、レンズの膨らみ。 これらを微分で正確に測るのが微分幾何学です。

曲線なら「どれだけ急に向きを変えるか」が曲率、「どれだけ平面から捻れて浮くか」が捩率。 曲面なら方向ごとに曲がりが違うので、それをまとめてガウス曲率・平均曲率で捉えます。 ハイライトはガウスの驚異の定理：曲面の曲がり具合は、外の空間を一切見ずに、 面の上の距離を測るだけで分かる——地図の測量だけで、その面が球かドーナツか見抜ける。 この「内在的な幾何」の発見が、のちのリーマン幾何学と一般相対論を生みます。

曲がりを微分で数値化する。ガウスの驚異の定理が「面の内側だけで曲率が分かる」と告げる。

この分野の地図

曲線 → 曲面 → 大域・接続、と「曲がり」を測る道具を積み上げます。順番に読むのがおすすめです。

曲線論 — 曲がりと捻れを数にする

1. 曲線と弧長 — パラメータ表示・速度・弧長パラメータ
2. 曲率と捩率・フルネ–セレの公式 — 接触円で曲率を体感・TNB標構
3. 曲線論の基本定理と平面曲線 — $\kappa,\tau$ が曲線を決める・回転数

曲面論 — 面の曲がりと内在幾何

4. 曲面と第一基本形式 — 接平面・計量・長さと面積
5. ガウス写像と第二基本形式 — 法線の動き・法曲率
6. 主曲率・ガウス曲率・平均曲率 — 固有値としての曲率・点の分類
7. ガウスの驚異の定理 — $K$ は内在的（面の内側だけで分かる）
8. 測地線 — 面上の「まっすぐな道」

大域・接続 — 局所から大域、そして一般化へ

9. ガウス–ボンネの定理 — 曲率の総和＝オイラー標数（測地三角形で体感）
10. アフィン接続と共変微分 — 平行移動・道依存性
11. 曲率テンソルと断面曲率 — 微分の非可換性・$K$ の一般化
12. 総括 — 内在幾何とリーマン幾何・相対論へ — レヴィ–チヴィタ接続・次への橋

前提

微分積分学（多変数）と 線形代数学（固有値・内積）が土台。基本定理・測地線で 微分方程式（存在一意性）、ガウス–ボンネで 位相幾何学（オイラー標数）を使います。 発展は 多様体論 と リーマン幾何学 へ。

準備ができたら 第1章：曲線と弧長 へ。