入口
距離空間
目標
Baire の範疇定理
進捗
ルート設計中
ルート地図
- 1距離空間入口準備中
点同士の近さがある空間を扱う
- 2完備性中継点準備中
Cauchy 列が空間内で収束する性質を見る
- 3稠密集合中継点準備中
どこにでも近づける集合を見る
- 4疎集合中継点準備中
内部をもたない薄い集合を見る
- 5可算交叉中継点準備中
無限に多い条件を同時に満たす
- 6Baire の範疇定理目標準備中
完備空間は可算個の薄い集合だけでは覆えない
目標までの見通し
完備空間は可算個の薄い集合だけでは覆えない