完備距離空間 → 縮小写像 → 反復列 → Cauchy 列 → 極限と連続性 → 不動点定理
入口
完備距離空間
目標
不動点定理
進捗
ルート設計中
収束先を取りこぼさない空間を用意する
距離を一定割合で縮める写像を見る
同じ写像をくり返し適用する
点列が互いに近づくことを示す
極限点が写像で保たれることを使う
縮小写像がただ一つの不動点をもつ