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