跳轉到

5.1 緊算子的定義與例子#

本章導言#

1918 年，Frigyes Riesz 發表《關於無窮線性方程組》，用「完全連續」概念——今日的緊算子——重建了 Fredholm 理論。緊算子是「最接近有限維矩陣」的無窮維算子：它把有界集映為相對緊集（有收斂子列），從而繼承了有限維的大部分譜行為。本節定義緊性、建立基本性質、給出三大例子（核積分算子、對角算子、Hilbert–Schmidt 算子），並解釋為什麼緊性是積分方程理論的天然類別。

定義與基本性質#

定義 5.1.1： \(T \in \mathcal{B}(X, Y)\) 緊，若 \(T\) 映單位球為相對緊集（閉包緊），等價於每個有界序列 \(\{x_n\}\) 的像有收斂子列。記 \(\mathcal{K}(X, Y)\) 全體緊算子。

定理 5.1.2（基本代數性質）： 1. \(\mathcal{K}(X,Y)\) 是閉線性子空間（範數極限的緊算子仍緊）； 2. \(K\) 緊、 \(S\) 有界 \(\Rightarrow\) \(KS\) 、 \(SK\) 緊： \(\mathcal{K}(X)\) 是 \(\mathcal{B}(X)\) 的閉雙側理想； 3. 有限秩算子緊；有限秩算子的一致極限緊； 4. 恆等算子 \(I\) 緊 \(\iff\) \(X\) 有限維（Riesz 引理：無窮維單位球不緊）。

證明要點：(1) 對角線論證：有界列的像集有收斂子列——用單位球的全有界性（相對緊 \(\iff\) 全有界+完備環境）：對 \(\epsilon > 0\) 取有限 \(\epsilon\) -網，對角線選子列。(4) Riesz 引理：真閉子空間 \(M\) 外可取 \(\|x\| = 1\) 、 \(\operatorname{dist}(x, M) \ge 1 - \epsilon\) ；由此在無窮維中構造單位向量列兩兩距離 \(\ge 1/2\) ——單位球不緊， \(I\) 不緊。∎

Riesz 引理是無窮維與有限維的第一分水嶺：無窮維單位球永不緊，於是「緊性」從免費午餐變成稀缺資源，緊算子因此成為值得命名與研究的類。

緊算子的三大例子#

例題 5.1.1（核積分算子）： \(K : C[0,1] \to C[0,1]\) ， \((Kf)(x) = \int_0^1 k(x,t)f(t)dt\) ， \(k\) 連續。證明 \(K\) 緊。

解： \(K\) 把單位球映入一致有界、等度連續的函數族： \(|(Kf)(x)| \le \max|k|\) ； \(|(Kf)(x) - (Kf)(x')| \le \int |k(x,t) - k(x',t)|dt\) （一致地小，由 \(k\) 一致連續）。Arzelà–Ascoli 定理（1883/1889）：一致有界+等度連續 \(\iff\) 相對緊（在 \(C[0,1]\) 中）。故 \(K\) 緊。∎

Arzelà–Ascoli 是「緊性判據」的第一範本：緊性=有界性+某種光滑性/衰減性的補償。這個模式反覆出現： \(L^p\) 中用一致 \(p\) 次可積性+平移連續（Fréchet–Kolmogorov 定理）、Sobolev 嵌入的緊性（Rellich–Kondrachov）。

例題 5.1.2（對角算子）： \(D = \operatorname{diag}(d_n)\) 在 \(l^2\) ， \(d_n \to 0\) 。證明 \(D\) 緊。

解：截斷 \(D_N = \operatorname{diag}(d_1, \ldots, d_N, 0, \ldots)\) 有限秩，且 \(\|D - D_N\| = \sup_{n>N}|d_n| \to 0\) 。故 \(D\) 是有限秩算子的一致極限，緊。反之若 \(d_n \not\to 0\) ，取子列 \(|d_{n_k}| \ge \epsilon\) ，單位向量 \(e_{n_k}\) 的像兩兩距離 \(\ge \epsilon\) ——不緊。∎

**結論： \(l^2\) 上對角算子緊 \(\iff\) 對角元 \(\to 0\) **——「緊性=譜的聚點只能是 \(0\) 」的對角化版本，6.2 節 Hilbert–Schmidt 定理的具體化。

例題 5.1.3（Hilbert–Schmidt 算子）： \(H = L^2(X)\) ，核 \(k \in L^2(X \times X)\) 。證明 \(T_k f = \int k(\cdot, t)f(t)dt\) 緊且 \(\|T_k\| \le \|k\|_{L^2(X\times X)}\) 。

解： \(k\) 可被有限秩核（ \(L^2\) 中的簡單函數/退化核）按 \(L^2(X \times X)\) 範數逼近（ \(L^2\) 空間的密度），對應算子按 \(\mathcal{B}(H)\) 範數逼近（Schur 論證或直接 Fubini–Cauchy–Schwarz），故 \(T_k\) 緊。這類算子稱 Hilbert–Schmidt 類， \(\|T_k\|_{HS} = \|k\|_{L^2(X\times X)}\) 精確成立（用正交基展開）。∎

哪些算子不緊#

緊性的反面同樣有教益： - 恆等算子（無窮維）、酉算子、位移算子——都把單位球映為「太胖」的集合； - 乘法算子 \(M_x\) （ \(L^2\) ）： \(\sigma\) 連續不塌縮； - 微分算子：甚至無界，更不緊。

物理對照：積分算子（平均化）緊，微分算子（銳化）不緊。緊算子有「平滑化」效果（核積分提高正則性），這使它們的譜行為馴服；不緊性對應連續譜與散射現象。

歷史啟示#

  • Riesz 1918 的公理化勝利：Fredholm 的行列式理論（1.2）只對連續核有效；Riesz 把「使 Fredholm 理論成立」的算子性質提取為「完全連續」，證明擇一定理對此類全部成立——從計算到概念的經典案例。
  • 緊性=「有界+壓縮」的結合：單位球在無窮維不緊（Riesz 引理），緊算子把球壓到緊集。這個「壓縮」思想在偏微分方程中發展為 Sobolev 嵌入與正則化理論。
  • ** \(\mathcal{K}(X)\) 是理想**：緊性對乘法封閉（吸收有界擾動）——這個代數性質使緊算子成為 Calkin 代數（ \(\mathcal{B}/\mathcal{K}\) ，1941）的核，8.3 節展開。

與其他章節及領域的關聯#

  • 1.2 節：Fredholm 行列式理論=連續核積分算子的具體版本。
  • 1.3 節：Hilbert「完全連續」定義（弱→強）與本節定義（有界→相對緊）在自反空間等價。
  • 5.2 節：有限秩逼近——緊算子=「可被有限維任意近似」的精確刻畫（Hilbert 空間近似性質 AP）。
  • 5.3 節：Fredholm 擇一定理的現代證明。
  • 6.2 節：緊自伴算子譜定理=本節例子（對角算子、核積分）的統一。
  • 第 9 章：解析半群的緊性（ \(\{T(t)\}_{t>0}\) 緊）使發展方程解的長期行為有限維化。
  • 數學物理：束縛態的存在性（緊微擾）、Sturm–Liouville 譜的離散性（Green 函數緊性）都依賴本節的判據。

練習#

  1. 用 Riesz 引理證明無窮維 Banach 空間單位球不緊，並說明 \(I\) 不緊。
  2. 證明 \(\mathcal{K}(X)\) 是 \(\mathcal{B}(X)\) 的閉雙側理想；求商代數（Calkin 代數）中 \(I\) 的像的性質。
  3. 對 \(K\) 連續核積分算子，判斷何時它是 Hilbert–Schmidt、何時是跡類（trace class，預告 6.2）。
  4. 在 \(L^2(\mathbb{R})\) 上，證明乘法算子 \(M_x\) 不緊，且與 \(-\frac{d^2}{dx^2}\) 的函數（譜演算意義下）也不緊——說明微分算子「不緊」的譜含義（連續譜）。
  5. 思考題：Arzelà–Ascoli 中「等度連續」對應算子的什麼性質？構造一個一致有界但非等度連續的有界列，說明為什麼需要第二條件。

進階研讀：三個深化場景#

場景一：Calkin 代數與 Fredholm 指標。J. W. Calkin（1941）考慮 \(\mathcal{B}(H)/\mathcal{K}(H)\) ：Fredholm 算子=在 Calkin 代數中可逆的算子。這個定義把 Fredholm 理論變成 Banach 代數可逆性理論的應用（8.2 的 Atkinson 定理 1968）：指標 \(\operatorname{ind} T = \dim\ker T - \dim\ker T^*\) 在緊微擾與同倫下不變——指標理論（Atiyah–Singer）的算子側入口。

場景二：逼近性質（AP）與 Schauder 基。「每個緊算子可被有限秩算子一致逼近」在 Hilbert 空間永真（正交基的部分和投影）；在一般 Banach 空間不永真——Enflo（1973）構造了沒有逼近性質的 Banach 空間，解決了 Banach 1932 年提出的問題。緊算子的「有限維近似性」竟是空間的性質而非算子的性質！

場景三：緊性與 PDE 的正則化。Sobolev 嵌入 \(H^1 \hookrightarrow L^2\) 緊（有界域）是 Galerkin 法收斂的引擎（2.3 場景三）；「解的存在=緊性+先驗估計」是現代 PDE 的存在性套路。緊算子理論的價值早已溢出積分方程，成為分析學的存在性機器。

場景四：緊性的「耗散」解釋與熵。緊算子的奇異值 \(s_n \to 0\) 可以按速率分層： \(s_n = O(n^{-\alpha})\) 對應核的 Sobolev 光滑度 \(\alpha\) （Weyl 型定理，Birman–Solomyak 1970s）——核越光滑，譜/奇異值衰減越快。這把「緊性」升級為定量理論：橢圓算子的 Green 函數光滑⇒跡類；一般連續核只保證 \(s_n \to 0\) 。機器學習中 kernel 矩陣的特徵值衰減（eigenvalue decay）正是此定理的離散版，決定核方法的計算複雜度——19 世紀的積分核理論成為 21 世紀學習演算法的複雜度證書。

本節判據速查#

  • 定義的兩種等價：有界集的像相對緊 \(\iff\) 有界列的像有收斂子列。
  • ** \(C(K)\) 判據**：Arzelà–Ascoli——一致有界+等度連續（核積分算子自動滿足）。
  • ** \(l^p/L^p\) 判據**：Fréchet–Kolmogorov——有界+平移連續（衰減/光滑補償）。
  • 對角判據： \(\operatorname{diag}(d_n)\) 緊 \(\iff d_n \to 0\) （譜聚點只能是 0）。
  • 代數地位： \(\mathcal{K}(X)\) 是範數閉雙側理想；吸收一切有界乘子。
  • 不緊的標本： \(I\) （無窮維）、位移、乘法 \(M_x\) 、一切微分算子。
  • 哲學：緊=平均化/低通/熵增；不緊=保留高頻=連續譜與散射的來源。

名詞速查表#

  • 緊算子：映有界集為相對緊集； \(\iff\) 有界列的像有收斂子列。
  • Arzelà–Ascoli 定理： \(C(K)\) 中緊=一致有界+等度連續。
  • Riesz 引理：真閉子空間外有「近正交」單位向量。
  • Hilbert–Schmidt 算子： \(L^2\) 核的積分算子， \(\|T_k\|_{HS} = \|k\|_2\) 。
  • Calkin 代數： \(\mathcal{B}(H)/\mathcal{K}(H)\) ；Fredholm=其中可逆。
  • 有限秩逼近：緊算子=有限秩算子的一致極限（Hilbert 空間中）。

年表速查#

  • 1883–1889：Ascoli、Arzelà 建立函數族緊性判據。
  • 1900–1906：Hilbert「完全連續」二次型的先驅概念。
  • 1918：F. Riesz《關於無窮線性方程組》：緊算子譜理論與 Fredholm 擇一的公理化。
  • 1930：Schauder 緊算子的不動點定理（Schauder 不動點定理，1930）。
  • 1932：Banach 教科書系統化；提出逼近性質問題。
  • 1941：Calkin 代數。
  • 1968：Atkinson 定理（Fredholm=Calkin 可逆）。
  • 1973：Enflo 反例（無 AP 空間）；Lomonosov 不變子空間定理。

深化問答三則#

問：緊算子的「物理直覺」是什麼？ 答：平均化、耗散、低通濾波。積分核把輸入的高頻細節抹掉，輸出只含低頻——低頻空間近似有限維，故有收斂子列。對偶地，不緊的算子（微分、恆等、位移）保留或放大高頻。緊性=「熵增」的算子化：信息流向有限維。

問：為什麼緊算子的譜「聚點只能是 0」？ 答：若 \(\lambda_n \to \lambda \neq 0\) 都是特徵值、特徵向量 \(x_n\) 正交單位（自伴情形），則 \(Tx_n = \lambda_n x_n\) ，而 \(\{Tx_n\}\) 需有收斂子列（緊性），但 \(\|Tx_n - Tx_m\| \ge \min(|\lambda_n|, |\lambda_m|) \ge |\lambda|/2 > 0\) ——矛盾。緊性直接壓制譜的遠離原點的聚點，這個 10 行論證是整個緊算子譜理論（6.2）的細胞。

問：Schauder 不動點定理與本節的關係？ 答：Juliusz Schauder（1930）證明：緊凸集上連續映射有不動點（Brouwer 的無窮維推廣）。非線性積分方程 \(\varphi = F(\varphi)\) （ \(F\) 緊連續）的存在性由此解決——緊性再次把無窮維問題「有限維化」。Banach 壓縮原理（1922）與 Schauder 定理（1930）是非線性分析的兩大存在性引擎，前者用度量、後者用緊性。

（本節完）