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