スペクトル定理
スペクトル定理はまた、スペクトル分解(spectral decomposition)や固有値分解(eigendecomposition)と呼ばれるような、作用素の定義されるベクトル空間の正準分解(英語版)を与えるものである。
オーギュスタン=ルイ・コーシーは、自己随伴行列に関するスペクトル定理を証明した。すなわち、すべての実対称行列は対角化可能であることを証明した。その定理のジョン・フォン・ノイマンによる一般化は、今日の作用素論におけるもっとも重要な結果となっている。またコーシーは、行列式に関する系統的な理論を構築した第一人者である。
この記事では主に、ヒルベルト空間上の自己共役作用素に関する、最も簡単な種類のスペクトル定理について述べる。しかし、上記のように、スペクトル定理はヒルベルト空間上の正規作用素についても成立するものである。