ユークリッド球 → 連続写像 → 不動点 → レトラクション → 穴の不変性 → Brouwer の不動点定理
入口
ユークリッド球
目標
Brouwer の不動点定理
進捗
ルート設計中
閉じた丸い領域を舞台にする
領域を自分自身へ連続に写す
写しても動かない点を見る
内部から境界へ連続に押し出す写像を考える
境界の構造が潰せないことを使う
球から自分自身への連続写像は不動点をもつ