位相空間 → 開被覆 → 基本群 → 包含写像 → 自由積と関係式 → van Kampen の定理
入口
位相空間
目標
van Kampen の定理
進捗
ルート設計中
空間のつながり方を扱う
空間を扱いやすい部分に分ける
ループの合成で穴を読む
部分空間のループを全体へ送る
部分の基本群を貼り合わせる
空間全体の基本群を部分空間の基本群から計算する