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