緊算子：仍然像矩陣一樣規矩的那一類

哪裏出錯，緊性又拯救了甚麼

一般的有界算子可能拒絕擁有任何一個特徵值（移位就是其一），於是第一卷整套特徵值/對角化機器無處著力。我們需要一個子類，使其保留足夠的有限維剛性，讓特徵值得以存在並守規矩。這個子類就是緊算子。

緊算子 T 把（無窮且非緊的）單位球映成一個其閉包*確實*緊的集合——等價地說，每個有界序列 (x_n) 都有一個使 (T x_n) 收斂的子列。最乾淨的心智模型是：T 是一個有界算子，且是有限秩算子在算子範數下的極限。緊算子「近乎有限維」，這正是矩陣直覺得以回歸的原因。

緊自伴算子的譜定理

這就是讓緊性值得定義的回報。緊自伴算子的譜定理說：一個緊自伴算子 T 擁有一組帶實特徵值 {lambda_k} 的特徵向量標準正交系 {e_k}，且 T x = sum lambda_k <x, e_k> e_k。這正是第一卷的譜定理 A = Q D Q^T 幾乎逐字搬入無窮維——唯一的變化是有限和變成了無窮和。

Compact self-adjoint T:  the eigenvalue picture

  eigenvalues are real:        lambda_1, lambda_2, lambda_3, ...
  ordered by size:             |lambda_1| >= |lambda_2| >= ... 
  the ONLY accumulation point of {lambda_k} is 0:
        lambda_k -> 0  as k -> infinity.
  each nonzero lambda_k has FINITE-dimensional eigenspace.

Diagonal action (a Fourier-style expansion):
        T x = sum_k  lambda_k <x, e_k> e_k

Compare Vol I:   A x = sum_k  lambda_k <x, q_k> q_k   (finite sum)
Same formula -- the leap to infinity cost us only:
  (a) infinitely many eigenvalues, and
  (b) they must pile up at 0 (an infinite-dim necessity).

緊自伴算子的對角化與對稱矩陣如出一轍——但特徵值只能堆積於 0。

無窮維強制了一處結構細節：特徵值只能在 0 處堆積。它們可以有無窮多個，但對任意閾值，超過它的只有有限個。這與讓第一卷的奇異值分解與低秩逼近奏效的會計法則同出一轍——在最大的幾個特徵值之後截斷，便得到 T 的最佳低秩逼近。

弗雷德霍姆擇一律：求解 (T - lambda I) x = y

緊性還拯救了線性方程組的存在唯一性理論。對緊算子 T 與 lambda != 0，弗雷德霍姆擇一律恢復了你從線性方程組熟知的那個精確的有限維二分律：要麼 (T - lambda I) x = y 對每個 y 都有唯一解，要麼齊次方程 (T - lambda I) x = 0 有非平凡解。二者必居其一——絕不兩者皆成立，也絕不兩者皆不成立。