緊自伴算子譜定理

這是那條讓舒適的有限維圖景幾乎原封不動地存活到無窮維的定理。對稱矩陣有一組完整的標準正交特徵基和實特徵值；希爾伯特空間上的緊自伴算子本質上擁有同樣的東西——一組可數的標準正交特徵基和實特徵值——只多了一道由緊性規定的新褶皺：特徵值必須向零進軍。

精確地說：設 T 是希爾伯特空間 H 上的緊自伴算子。則 T 有至多可數個實特徵值 lambda_1, lambda_2, ...，若為無窮多個則收斂到 0，每個非零特徵值的特徵空間是有限維的。相應的特徵向量可取為標準正交的，在它們張成空間的閉包上 T 的作用為 T x = sum lambda_k <x, e_k> e_k。整個空間分解為這些特徵向量加上 T 的核。

為什麼在零處聚集是被迫的：若有無窮多個特徵值都與 0 保持距離，相應的標準正交特徵向量就會被映成長度有界卻沒有收斂子列的向量，與緊性矛盾。所以 0 是唯一允許的聚點——而 0 本身未必是特徵值，但它對無窮維空間上的緊算子而言總落在譜中。

為什麼重要：這是分離變量法、斯圖姆-劉維爾理論、數學物理中的特徵函數展開，以及推廣到算子的奇異值分解背後嚴格的引擎。先做對角化 x = sum <x,e_k> e_k 再得 T x = sum lambda_k <x,e_k> e_k，正是把對稱矩陣寫成 Q D Q^T 的精確無窮維類比。