線形空間 → 線形汎関数 → 半ノルム → 部分空間 → 拡張 → Hahn-Banach の定理
入口
線形空間
目標
Hahn-Banach の定理
進捗
ルート設計中
足し算とスカラー倍だけをもつ空間を見る
ベクトルから数を取り出す線形写像を扱う
汎関数を押さえる上限の役割を用意する
まず小さい空間上で定義された汎関数を見る
値の制約を保ったまま定義域を広げる
線形汎関数を全空間へ拡張する