-
譜定理
鎖定
數學上，特別是線性代數和泛函分析中，譜定理是關於線性算子或者矩陣的一些結果。泛泛來講，譜定理給出了算子或者矩陣可以對角化的條件（也就是可以在某個基底中用對角矩陣來表示）。對角化的概念在有限維空間中比較直接，但是對於無窮維空間中的算子需要作一些修改。通常，譜定理辨認出一族可以用乘法算子來代表的線性算子，這是可以找到的最簡單的情況了。用更抽象的語言來講，譜定理是關於交換C*-代數的命題。參看譜分析中的歷史觀點。
可以應用譜定理的例子有希爾伯特空間上的自伴算子或者更一般的正規算子。
譜定理也提供了一個算子所作用的向量空間的標準分解，稱為譜分解，特徵值分解，或者特徵分解。
本條目中，主要考慮譜定理的簡單情況，也就是希爾伯特空間上的自伴算子。但是，如上文所述，譜定理也對希爾伯特空間上的正規算子成立。
- 中文名
- 譜定理
- 外文名
- Spectral theorem
- 所屬學科
- 泛函分析
- 情 況
- 有限維
譜定理定義
譜定理緊自伴算子
譜定理正規算子
可分希爾伯特空間上的正規算子為可對角化算子。
[3]
譜定理無界自伴算子
（形式1）設A為可分復希爾伯特空間H上的自伴算子，則存在唯一定義於σ(A)取值於B(H)的投射測度μA滿足
。
（形式2）設A為可分復希爾伯特空間H上的自伴算子，則存在σ有限測度μ，積分直和
，與酉映射U:H→L2(X,μ)，滿足U(Dom(A))={
|
}以及對任何s∈U(Dom(A))，UAU-1(s)(λ)=λs(λ)。
（形式3）設A為可分復希爾伯特空間H上的自伴算子，則存在σ有限測度空間(X,μ)，X的可測實值函數h，與酉映射U:H→L2(X,μ)，滿足U(Dom(A))={ψ∈L2(X,μ)|hψ∈L2(X,μ)}以及對任何ψ∈U(Dom(A))，UAU-1(ψ)(x)=h(x)ψ(x)。
[5]
譜定理基本概念
埃爾米特矩陣
從在具有標準埃爾米特內積的有限維實或者復內積空間V上的埃爾米特矩陣A開始；埃爾米特條件意味着
對於所有V的元素x, y成立。
一個等價的條件是A = A，其中A是A的共軛轉置。若A為實矩陣，這等價於A = A（也即，A是對稱矩陣）。埃爾米特矩陣的特徵值是實數。
先回顧一下線性算子A的特徵向量是（非零）向量x使得對於某個標量λ成立。值λ是相應的特徵值。
定理：存在V的標準正交基，由A的特徵向量組成。每個特徵值都是實數。
證明
這裏給出複數情況的證明概要。
根據代數基本定理，任何方形虛數項矩陣存在至少一個特徵值。若A為埃爾米特矩陣，有特徵向量e1，考慮子空間K = span{e1}，也即e1的正交補空間。根據埃爾米特性，K為A的不變子空間。在K上採用同樣的論證表明A有特徵向量e2 ∈ K。通過有限歸納法可以完成證明。
譜定理對於 n 維歐幾里得空間上的對稱矩陣也成立，但是特徵向量的存在性更難一些。實對稱矩陣有實特徵值，因此特徵向量有實項。
若取A的特徵向量為標準正交基，A在這個基上的表示是對角的。等價地，A可以寫作互相正交的投影的線性組合，稱為它的譜分解。令
為對應於特徵值λ的特徵空間。注意該定義不依賴於特定特徵向量的選擇。V是空間Vλ的直積，其中下標取遍特徵值。令Pλ為到Vλ上的正交投影，而λ1,..., λm 為A的特徵值，譜分解可以寫作：
譜分解是舒爾分解的特例。也是奇異值分解的特例。
正規矩陣
譜定理可以推廣到更為一般的矩陣。令A為有限維內積空間上的算子。A稱為正規算子若A A = A A.可以證明A正規當且僅當它可以酉對角化：根據舒爾分解，A= U T U，其中U是酉矩陣而T是上三角陣。 因為A正規，T T = T T.所以T必定是對角的。反過來也是顯然的。
換言之，A正規當且僅當存在酉矩陣U使得
其中Λ是對角矩陣，其各項為A的特徵值。U的列向量是A的特徵向量，而且他們是單位正交的。和埃爾米特的情況不同，Λ的對角項未必為實數。
譜定理正規自同態
設E為歐幾里得或埃爾米特向量空間. E的自同態f稱為正規的，如果它有伴隨f，且二者是可交換的： ff=f* 。
當E是歐幾里得向量空間時，對稱自同態、反對稱自同態、正交自同構皆是正規自同態。
同樣，當E是埃爾米特向量空間時，埃爾米特自同態、反埃爾米特自同態、酉自同構皆是正規自同態.設E為非零有限維的埃爾米特向量空間.為使E的自同態f是正規的，必須且只須存在E的由f的特徵向量構成的標準正交基. 換言之，任一正規自同態在標準正交基下是可對角化的(譜定理)。
[1]
譜定理緊自伴算子
一般來講，希爾伯特空間中的關於緊自伴算子的譜定理和有限維的基本一樣。
定理：設A為希爾伯特空間V上的緊自伴算子。存在V的標準正交基，由A的特徵向量構成。每個特徵值都是實數。
對於埃爾米特矩陣，關鍵在於存在至少一個非零向量。要證明這一點，不能靠行列式來表明特徵值的存在，而是要使用極大化論證，類似於特徵值的變分表述。上述譜定理對於實或虛希爾伯特空間都成立。
如果緊性假設被取消，則未必每個自伴算子都有特徵。
譜定理有界自伴算子
接下來的推廣是希爾伯特空間V上的有界自伴算子A。這樣的算子可能沒有特徵值：例如令A為L[0, 1]上乘以t的算子，也即
定理：令A為希爾伯特空間H上有界自伴算子。則存在測度空間(X, Σ, μ)和X上實值可測函數f，以及酉算子U:H → Lμ(X)使得
其中T是乘法算子：
這是稱為算子理論的泛函分析這個巨大的研究領域的起點。
對於希爾伯特空間上的有界正規算子也有一個類似的譜定理。結論中唯一的區別在於可能是復值的。
譜定理的另一個表述形式將算子表達為在算子譜上的座標函數關於投影值測度的積分。當該正規算子是緊的，這個版本的譜定理退化為上面的有限維譜定理，只是算子表達為可能為無限多的投影的線性組合。
