入口
数列
目標
Bolzano-Weierstrass の定理
進捗
ルート設計中
ルート地図
- 1数列入口準備中
順番に並ぶ点を扱う
- 2有界列中継点準備中
値が一定範囲に収まる列を見る
- 3部分列中継点準備中
元の列から順序を保って抜き出す
- 4区間分割中継点準備中
逃げ場を狭めながら点を追う
- 5収束中継点準備中
ある点へ近づくことを確認する
- 6Bolzano-Weierstrass の定理目標準備中
有界列から収束部分列を取り出す
目標までの見通し
有界列から収束部分列を取り出す
入口
数列
目標
Bolzano-Weierstrass の定理
進捗
ルート設計中
順番に並ぶ点を扱う
値が一定範囲に収まる列を見る
元の列から順序を保って抜き出す
逃げ場を狭めながら点を追う
ある点へ近づくことを確認する
有界列から収束部分列を取り出す
有界列から収束部分列を取り出す