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