Banach 空間 → 有界線形作用素 → 点ごとの有界性 → Baire の範疇定理 → 作用素ノルム → 一様有界性原理
入口
Banach 空間
目標
一様有界性原理
進捗
ルート設計中
ノルムで完備な線形空間を扱う
線形で大きさを制御できる写像を見る
各ベクトルごとに値が抑えられる状況を見る
完備性から一斉制御を引き出す
写像全体の大きさを測る
点ごとの有界性から作用素全体の一様有界性を得る