Hilbert 空間 → 内積 → 連続線形汎関数 → 直交補空間 → 表現ベクトル → Riesz 表現定理
入口
Hilbert 空間
目標
Riesz 表現定理
進捗
ルート設計中
内積と完備性をもつ空間を扱う
ベクトル同士の角度と長さを測る
ベクトルから数を取り出す連続線形写像を見る
汎関数の核に垂直な方向を探す
汎関数を内積で表す相手を見つける
連続線形汎関数を一つのベクトルとの内積で表す