内積空間 → 線形作用素 → 随伴作用素 → 自己随伴作用素 → 直交分解 → スペクトル定理
入口
内積空間
目標
スペクトル定理
進捗
ルート設計中
長さと直交がある空間を用意する
空間から同じ空間への線形写像を見る
内積を通して対応する作用素を作る
自分の随伴と一致する作用素を見る
固有空間を垂直に並べる
自己随伴作用素を直交固有分解する