位相幾何学

ドーナツとコーヒーカップは、なぜ「同じ」なのか

トポロジーの有名な冗談に「位相幾何学者はドーナツとマグカップを区別できない」があります。どちらも穴が1つ。粘土のように連続変形すれば移り合うから、位相的には同じ、というわけです。逆に球には穴が無いので、ドーナツとは決して移り合わない。「穴の数」こそが、伸ばしたり縮めたりしても変わらない本質なのです。

でも「穴」を目で数えるのは高次元では不可能。そこで位相幾何学は、空間から代数的な指紋 （群や環）を取り出します。基本群は「ループが引っかかる穴」を、ホモロジーは各次元の穴の数を群として捉える。連続変形で不変な代数を作れば、「形が違う」を「代数が違う」で証明できる。幾何の問題を代数の計算に翻訳する——これがトポロジーの戦略です。

この分野のゴール：幾何を代数に翻訳する不変量（基本群・ホモロジー・コホモロジー）を組み立て、被覆と基本群のガロア対応、ポアンカレ双対性、そして曲面の完全分類まで到達すること。

この分野の地図

ホモトピー論（1〜5章）→ ホモロジー論（6〜9章）→ コホモロジー（10〜12章）と進みます。順番に読むのがおすすめです。

ホモトピー論

ホモトピーと位相不変量 — 連続変形・可縮空間
基本群 — ループを群にする
円周の基本群と応用 — π₁(S¹)=ℤ・不動点定理（巻き数を体感）
ファン・カンペンの定理 — 空間を貼り合わせて計算
被覆空間とガロア対応 — 部分群との対応

ホモロジー論

特異ホモロジー — 各次元の穴・∂²=0
ホモトピー不変性と長完全系列 — 計算のエンジン
切除とマイヤー–ヴィートリス — 球面のホモロジー
CWホモロジーとオイラー標数 — 手で計算・χ=V−E+F（体感）

コホモロジー

コホモロジーとカップ積 — 環構造・ド・ラーム
ポアンカレ双対性 — 多様体の鏡映対称
不変量の全体像と曲面の分類 — 到達点と広がり

前提

集合と位相が必須。群論（自由積・正規部分群・アーベル群の構造）・加群論（完全系列・蛇の補題）の言葉を使います。体論・ガロア理論のガロア対応と響き合います。

準備ができたら第1章：ホモトピーへ。