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