跳轉到

1916-Riesz緊算子#

案件檔案表#

項目 內容
案發年份 1916
主偵探 Frigyes Riesz
案發地點 Kolozsvár（後 Szeged），匈牙利學派
案件類型 算子譜論的抽象化
關鍵證物 緊算子譜定理： \(0\) 以外的譜點皆特徵值且有限重數
涉案對象 積分方程中的緊算子 \(T\) 與 \(T=I-K\)
案件地位 Fredholm 理論的公理化，泛函分析譜論的基石
後續影響 Schauder 理論（1930）、Fredholm 二擇一抽象版、von Neumann 譜論

案發現場#

1900 年 Fredholm 用行列式（無窮維版的 Cramer 法則）解決了第二類積分方程

\[ f(x)-\int_a^b K(x,y)f(y)\,dy=g(x) \]

的解的存在唯一性問題，並得到優美的二擇一。但 Fredholm 的證明高度依賴積分核 \(K\) 的具體分析性質，彷彿整座理論大廈只建立在這一種「磚塊」上。

現場的未解之謎是：Fredholm 理論中，哪些性質真正本質？ 核 \(K\) 的連續性、可積性，還是某個更深的結構性質？如果換一個空間（例如 \(L^2\) ）、換一類算子，二擇一還成立嗎？

Riesz 在 1909–1910 年間已用抽象方法重做了部分 Fredholm 理論，1916 年他完成最後一擊：辨識出「緊性」就是全部謎底的指紋。 一個把有界集映成「相對緊集」（其像有收斂子列）的線性算子——這就是積分算子的共同本質，也是 Fredholm 現象的全部來源。

偵查過程#

Riesz 的偵查策略：不要逐項模仿行列式，而是直接解剖緊算子 \(T\) 的譜。

第一步：辨識指紋——什麼樣的 \(\lambda\) 可能是非零譜點？ 若 \(\lambda\neq 0\) 在譜中，考察 \(T-\lambda I\) 。Riesz 證明：若 \(T-\lambda I\) 是雙射，則由緊性可推出它有有界逆——因此 \(\lambda\neq 0\) 落在譜中當且僅當

\[ (T-\lambda I)x=0 \quad\text{有非零解，} \]

即 \(\lambda\) 是特徵值。這是與有界算子的關鍵差異：一般有界算子的譜可以是純連續的（如乘法算子），但緊算子在 \(0\) 之外沒有藏身之處——每個非零譜點都會留下特徵向量的指紋。

第二步：清點重數——特徵空間有多大？ 對 \(\lambda\neq 0\) ，特徵空間 \(\ker(T-\lambda I)\) 是有限維的。理由：若它無窮維，則單位球上有無窮序列 \(x_n\) 使 \(Tx_n=\lambda x_n\) ；由緊性 \(Tx_n\) 有收斂子列，但 \(\|Tx_n-Tx_m\|=|\lambda|\,\|x_n-x_m\|\ge |\lambda|/2\) （Riesz 引理選取互相遠離的 \(x_n\) ），矛盾。

第三步：清點數量——特徵值能有多少？ 緊算子至多可數多個非零特徵值，且只能在 \(0\) 處積累：

\[ \sigma(T)\setminus\{0\}=\{\lambda_1,\lambda_2,\dots\},\qquad \lambda_n\to 0\ \text{（若無窮多）}. \]

證明：若存在 \(\varepsilon>0\) 與無窮多個 \(|\lambda_n|\ge\varepsilon\) 的特徵值，取正交（規範化後近似正交）的特徵向量，緊性再度導出矛盾。

第四步：回望案發現場—— \(T=I-K\) 的伏筆。 積分方程 \(f-Kf=g\) 即 \((I-K)f=g\) ，其中 \(K\) 緊。Riesz 的譜論立刻給出： \(I-K\) 可逆當且僅當 \(1\notin\sigma(K)\) ，即 \(1\) 不是 \(K\) 的特徵值。若 \(1\) 是特徵值，則齊次方程有非零解，且非齊次方程有解當且僅當 \(g\) 與伴隨算子的對應特徵空間正交——這正是 Fredholm 二擇一的抽象形式：

情形 條件 結論
第一案（可逆） \(1\notin\sigma(K)\) \((I-K)f=g\) 有唯一解 \(f=(I-K)^{-1}g\)
第二案（奇異） \(1\in\sigma(K)\) ， \(\ker(I-K)\neq\{0\}\) 解存在 \(\iff g\perp\ker(I-K^*)\) ，且解空間有限維

偵查至此，Fredholm 行列式中所有繁複的計算，都被「緊性」一詞吸收。

結案報告#

Riesz 結案：緊算子 \(T\) 的譜由 \(0\) 與一列（至多可數、只能積累於 \(0\) 的）特徵值組成；每個非零特徵值的重數有限； \(0\) 以外的譜沒有連續部分。 Fredholm 理論的本質不是核、不是行列式，而是緊性。

結案的遺產：

  1. Fredholm 二擇一的抽象化：對任意 Banach 空間上的緊算子 \(K\) ， \((I-K)\) 的可逆性判據成為標準工具，直通積分方程、橢圓邊值問題的 Fredholm 抉擇。
  2. Schauder 理論（1930）： \(T\) 緊 \(\iff T^*\) 緊； \(\sigma(T^*)=\sigma(T)\) ，補全了偵查中伴隨算子那一環。
  3. 譜論的路標：緊算子是「最像有限維矩陣」的無窮維算子；與之對照的「壞」算子（有連續譜者）的解剖，催生了 von Neumann 的譜定理（1929）與 Weyl–von Neumann 奇異擾動（1931）。
  4. 伏筆回收： \(T=I-K\) 的分解思想成為「恆等算子加緊擾動」的標準原型，直通 Fredholm 指標理論（Noether、Atiyah–Singer 的遠祖）。

證據與工具#

定理（Riesz 緊算子譜定理，1916）：設 \(X\) 為無窮維 Banach 空間， \(T:X\to X\) 緊。則

  1. \(\sigma(T)\) 非空、緊，且 \(0\in\sigma(T)\) （無窮維時 \(T\) 不可逆）；
  2. \(\sigma(T)\setminus\{0\}\) 由特徵值組成，至多可數，唯一可能的積累點是 \(0\) ；
  3. 每個 \(\lambda\neq 0\) 的特徵空間 \(\ker(T-\lambda I)\) 有限維；
  4. \(\lambda\neq 0\) 時 \(\ker(T-\lambda I)\) 與 \(\ker(T^*-\lambda I)\) 維數相等（Schauder 補全）。

證明骨架：

  1. 關鍵引理： \(\lambda\neq 0\) ，若 \(T-\lambda I\) 雙射則 \(\|(T-\lambda I)^{-1}\|<\infty\) 。反證：若有 \(x_n\) 使 \(\|x_n\|=1\) 且 \((T-\lambda I)x_n\to 0\) ，由緊性 \(Tx_n\) 有收斂子列，再由 \(\lambda x_n=Tx_n-(T-\lambda I)x_n\) 得 \(x_n\) 有收斂子列，極限非零但映到 \(0\) ，與雙射矛盾。
  2. 由此引理： \(\lambda\neq 0\) 在譜中 \(\iff\) 非單射 \(\iff\) 特徵值。
  3. 有限重數與特徵值可數：用 Riesz 引理在特徵空間中選互相分離的向量，緊性給出矛盾。
  4. 積累於 \(0\) ：若 \(|\lambda_n|\ge\varepsilon\) 無窮多，規範化特徵向量並取近似正交子列，同法得矛盾。

關鍵公式一覽：

公式 意義
\(\sigma(T)\setminus\{0\}=\{\lambda_n\}\) ， \(\lambda_n\to 0\) 緊算子的譜結構
\(\dim\ker(T-\lambda I)<\infty\) （ \(\lambda\neq 0\) ） 特徵空間有限維
\(\dim\ker(I-K)=\dim\ker(I-K^*)\) 二擇一的對稱性
\(f=(I-K)^{-1}g\) 或 \(g\perp\ker(I-K^*)\) Fredholm 二擇一抽象版

範例： \(L^2[0,1]\) 上 \((Kf)(x)=\int_0^x f(y)\,dy\) 的 Volterra 算子是緊的，且 \(\sigma(K)=\{0\}\) ——它完全沒有非零特徵值， \((I-K)\) 恆可逆，對應 1887 年 Volterra 的結論。

一句話結論：Riesz 1916 證明——緊算子是有限維矩陣在無窮維的忠實化身；它除了在 \(0\) 處留下陰影，譜的其餘部分全是特徵值的清晰指紋。