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