入口
ユークリッド空間
目標
Heine-Borel の定理
進捗
ルート設計中
ルート地図
- 1ユークリッド空間入口準備中
距離と座標がある空間を用意する
- 2開被覆中継点準備中
開集合で全体を覆う
- 3コンパクト性中継点準備中
有限個の開集合で覆い直せる性質を見る
- 4有界性中継点準備中
空間の中で遠くへ逃げないことを見る
- 5閉性中継点準備中
極限点を取りこぼさないことを見る
- 6Heine-Borel の定理目標準備中
ユークリッド空間では閉かつ有界とコンパクトが一致する
目標までの見通し
ユークリッド空間では閉かつ有界とコンパクトが一致する