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