関数解析学
スペクトル分解 (関数解析学)