Banach 空間 → 有界線形写像 → 全射 → Baire の範疇定理 → 近傍の像 → 開写像定理
入口
Banach 空間
目標
開写像定理
進捗
ルート設計中
完備なノルム空間を用意する
連続な線形写像を見る
目標空間すべてに届く条件を置く
完備性から像の大きさを引き出す
小さい開集合が開性を保つかを見る
Banach 空間の全射な有界線形写像は開写像になる