跳轉到

2.1 有界算子與算子範數#

本章導言#

第 1 章的歷史人物都在具體空間（ \(C[a,b]\) 、 \(l^2\) 、 \(L^2\) ）中操作具體算子。Stefan Banach（1892–1945） 在 1920 年代做的是另一件事：把「空間+距離+完備」公理化，把「算子」定義為其間的有界線性映射。1932 年《線性運算學》（Théorie des opérations linéaires）出版，泛函分析的現代框架落成。本節建立本書的基本詞彙：有界算子、算子範數、收斂類型，並追溯這些概念如何在積分方程的技術需求中被迫登場。

定義：有界性=連續性#

定義 2.1.1：設 \(X, Y\) 為賦範空間， \(T : X \to Y\) 線性。 - \(T\) 有界，若存在 \(c \ge 0\) 使 \(\|Tx\|_Y \le c\|x\|_X\) 對一切 \(x \in X\) 。 - \(T\) 的算子範數為 \(\|T\| = \sup_{x \neq 0} \frac{\|Tx\|}{\|x\|} = \sup_{\|x\| \le 1} \|Tx\|\) 。

定理 2.1.2：對線性算子， \(T\) 連續 \(\iff\) \(T\) 在某一點連續 \(\iff\) \(T\) 有界。

證明：有界 \(\Rightarrow\) 連續： \(\|Tx - Ty\| = \|T(x-y)\| \le \|T\| \|x-y\|\) 。反之若 \(T\) 在 \(0\) 連續而不有界，可取 \(\|x_n\| \le 1\) 但 \(\|Tx_n\| \to \infty\) ；令 \(z_n = x_n / \|Tx_n\|\) ，則 \(z_n \to 0\) 而 \(\|Tz_n\| = 1\) ，與 \(0\) 點連續性矛盾。∎

「在某點連續即處處連續」是線性帶來的免費午餐，也是線性理論遠比非線性理論剛性的原因。注意無界線性算子存在（定義在真稠密子空間上，第 7 章），所以「線性」不保證有界——定義域的完整性是關鍵。

空間 \(\mathcal{B}(X, Y)\)#

全體有界算子 \(\mathcal{B}(X, Y)\) 賦以算子範數後自身是賦範空間；若 \(Y\) 完備則 \(\mathcal{B}(X,Y)\) 完備（證明：設 \(\{T_n\}\) 為 Cauchy 列，則對每個 \(x\) ， \(\{T_nx\}\) 是 \(Y\) 中 Cauchy 列，定義 \(Tx = \lim T_nx\) ；線性顯然，有界性由 \(\|Tx\| = \lim\|T_nx\| \le \sup_n \|T_n\| \|x\|\) 得，且 \(\|T - T_n\| \le \limsup_{m}\|T_m - T_n\| \to 0\) 。∎）

這個「Cauchy 列逐點收斂 + 一致界 → 收斂到有界算子」的論證是泛函分析的標準手筋，值得牢記。

三種收斂： - 範數收斂（一致收斂）： \(\|T_n - T\| \to 0\) ——在單位球上一致收斂； - 強收斂： \(\|T_nx - Tx\| \to 0\) 對每個 \(x\) ——逐點收斂； - 弱收斂： \(|\varphi(T_nx - Tx)| \to 0\) 對每個 \(x\) 與 \(\varphi \in Y^*\) 。

Hilbert 的「完全連續」（弱收斂→強收斂，1.3 節）正是關於這些收斂層級的陳述。三種收斂不可互換：有限秩投影 \(P_n = \operatorname{diag}(1,\ldots,1,0,\ldots)\) 在 \(l^2\) 上強收斂到 \(I\) ，但 \(\|P_n - I\| = 1\) 永不趨於 \(0\) ——無窮維中恆等算子不能被有限維算子一致逼近，這是無窮維的本質特徵。

例題#

例題 2.1.1：計算下列算子的範數。 (a) \(T : C[0,1] \to C[0,1]\) ， \((Tf)(x) = \int_0^1 k(x,t) f(t)\,dt\) ， \(k\) 連續。 (b) \(S : L^2[0,1] \to L^2[0,1]\) ， \((Sf)(x) = xf(x)\) （乘法算子）。

解： (a) \(\|Tf\|_\infty \le \sup_x \int_0^1 |k(x,t)|\,dt \cdot \|f\|_\infty\) ，故 \(\|T\| \le \max_x \int_0^1 |k(x,t)|dt\) 。等號在 \(k(x,t) \ge 0\) 時成立（取 \(f \equiv 1\) 的近似）。若 \(k\) 變號，等號一般不成立——這正是 1.2 節「Fredholm 行列式無法從核的絕對值讀出譜」的算子版。 (b) \(\|Sf\|_2^2 = \int_0^1 x^2 |f(x)|^2 dx \le \|f\|_2^2\) ，且取 \(f \approx \delta_{1}\) （集中在 \(x=1\) 的近似）得 \(\|S\| = 1\) 。乘法算子範數=乘子的本質上確界 \(\|S\| = \operatorname*{ess\,sup}|m|\) ——此公式在 8.2 節 \(C^*\) 代數中成為「交換 \(C^*\) 代數=連續函數」定理的基石。∎

例題 2.1.2：證明微分算子 \(\frac{d}{dx} : C^1[0,1] \subset (C[0,1], \|\cdot\|_\infty) \to C[0,1]\) 無界，即使定義域賦一致範數。

解：取 \(f_n(x) = \sin(nx)\) ， \(\|f_n\|_\infty = 1\) 但 \(\|f_n'\|_\infty = n \to \infty\) 。故不存在 \(c\) 使 \(\|f'\| \le c\|f\|\) 。∎

微分放大高頻、積分壓制高頻——這一對比解釋了為何積分方程（1.1）理論先於微分算子譜理論（第 7 章）誕生：積分算子天生有界（甚至緊），微分算子天生無界。物理上「微分=動量、積分=平均」也對應量子力學中動量算子的無界性。

為什麼必須公理化#

1910 年代，Riesz（ \(C[a,b]\) 上的表示定理，1911）、Hahn（1922）、Helly（1912，Hahn–Banach 定理的先驅）在各自空間中重複著類似的論證。Banach 與 Hahn、Wiener 在 1922–1923 年不約而同提出賦範空間公理——公理化的時機成熟了。驅動因素：

  1. Hilbert 空間不夠用： \(C[a,b]\) （一致範數）、 \(L^1\) 都不是內積空間，但積分方程與矩問題需要它們；
  2. 重複論證需要抽象：Hahn–Banach 延拓、開映射、閉圖等證明在不同空間逐字重複；
  3. 不動點方法需要完備性：Banach 1922 博士論文以完備度量空間的不動點定理為中心，迭代解法（1.1 節）獲得公理化身。

歷史啟示#

  • 範數是「強度」的度量，繼承了極大化傳統： \(\sup_{\|x\|\le1}\|Tx\|\) 是 Hilbert 極大化迭代（1.3）的靜態化。
  • 一致 vs 逐點收斂的鴻溝是無窮維的標誌，其測度論根源（Lebesgue 1902）使「近似」成為有精確含義的數學對象。
  • Banach 的風格是「公理最小化」：他堅持在賦範空間（而非內積空間）工作，因為他判斷內積結構太特殊——這個判斷一半正確（Banach 空間理論豐富），一半過頭（物理最終選擇了 Hilbert 空間）。

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

  • 2.2 節： \(\mathcal{B}(X)\) 對合成封閉且 \(\|TS\| \le \|T\|\|S\|\) ——Banach 代數的公理呼之欲出。
  • 2.3 節： \(Y = \mathbb{F}\) 時 \(\mathcal{B}(X, \mathbb{F}) = X^*\) ，有界泛函是共軛空間理論的起點。
  • 第 5 章：緊算子 \(\mathcal{K}(X) \subset \mathcal{B}(X)\) 是範數閉的理想——緊性是比有界性更精細的「大小」。
  • 第 7 章：無界算子不能被迴避（微分、量子力學的可觀測量），閉圖定理（7.2）劃定「處處定義+閉=有界」的邊界。
  • 第 9 章：半群 \((T(t))_{t\ge0}\) 是 \(\mathcal{B}(X)\) 中的單參數族， \(\|T(t)\| \le e^{\omega t}\) 的增長控制來自算子範數。
  • 數值分析：算子範數=條件數的第一因子；迭代法的收斂率 \(\|T^n\|^{1/n}\) 由譜半徑公式（8.1 節 Gelfand）決定。

練習#

  1. 證明 \(\|TS\| \le \|T\| \|S\|\) ，並舉例說明等號可以嚴格不成立。
  2. 計算 \(l^2\) 上加權位移算子 \(T(x_1, x_2, \ldots) = (0, a_1 x_1, a_2 x_2, \ldots)\) 的範數（ \(a_n\) 有界數列）。
  3. 在 \(C[0,1]\) 上計算 Volterra 算子 \((Tf)(x) = \int_0^x f(t)dt\) 的範數，證明 \(\|T\| = 1\) 但 \(\|T^n\| = 1/n!\) 。
  4. 證明：若 \(\sum \|T_n\| < \infty\) 則 \(\sum T_n\) 依範數收斂到一有界算子（Neumann 級數的基礎）。
  5. 思考題： \(P_n = \operatorname{diag}(1,\ldots,1,0,\ldots)\) 強收斂到 \(I\) 但不一致收斂。由此說明「Banach–Steinhaus 定理」（一致有界原理）為什麼必要：強收斂列 \(\|T_n\|\) 一定有界嗎？

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

場景一：Banach–Steinhaus 定理（1927）。強收斂的算子列必一致有界（ \(\sup_n\|T_n\| < \infty\) ），這是一致有界原理的推論，其證明用 Baire 綱論證。此定理把「逐點控制」升級為「一致控制」，是 2.3 節共軛空間理論與 Fourier 級數發散例子（du Bois-Reymond 1876 的構造在綱論語言下的重新理解）的樞紐。

場景二：範數的幾何。算子範數依賴空間範數的選擇：同一矩陣在 \(\ell^1, \ell^2, \ell^\infty\) 上的範數不同。1960 年代 Schatten 類（trace 類、Hilbert–Schmidt 類）把 \(\mathcal{B}(H)\) 上範數的多樣性系統化（6.2 節），成為非交換 \(L^p\) 理論的起點。

場景三：Riesz 的先驅工作。Frigyes Riesz 1910–1918 年間已在 \(C[a,b]\) 與 \(L^p\) 中發展了範數、線性泛函與緊性的具體理論（Riesz 表示定理 1911、 \(L^p\) 對偶 1910、緊算子譜理論 1918）。Banach 的貢獻是把這些「具體空間的技巧」統一為「公理空間的定理」。學史家常說：Riesz 是泛函分析的實質創始人，Banach 是它的立法者。

本節要點清單#

  • 有界=連續（線性時三者等價：有界、連續、某一點連續）。
  • 範數的兩個公式： \(\sup_{\|x\| \le 1}\|Tx\| = \sup_{x \neq 0}\frac{\|Tx\|}{\|x\|}\) 。
  • ** \(\mathcal{B}(X, Y)\) 完備當 \(Y\) 完備**：Cauchy 列逐點收斂+一致界→極限算子。
  • 次乘性： \(\|TS\| \le \|T\|\|S\|\) ——Banach 代數的種子。
  • 三種收斂：範數（一致）⊃強（逐點）⊃弱；無窮維中不可互換。
  • 有限秩逼近障礙： \(P_n \to I\) 強收斂但 \(\|I - P_n\| = 1\) ——無窮維的標誌。
  • 微分無界、積分有界：高頻的放大與壓制，決定了積分方程理論先行。

名詞速查表#

  • 有界算子： \(\|Tx\| \le c\|x\|\) 的線性映射；等價於連續。
  • 算子範數： \(\|T\| = \sup_{\|x\|\le1} \|Tx\|\) 。
  • 範數/強/弱收斂： \(T_n \to T\) 的三個層級，一致性遞減。
  • ** \(\mathcal{B}(X,Y)\) **：全體有界算子空間， \(Y\) 完備則完備。
  • 乘法算子： \((M_mf) = mf\) ， \(\|M_m\| = \operatorname*{ess\,sup}|m|\) 。
  • 有限秩逼近障礙：無窮維空間中 \(I\) 不可由有限秩算子一致逼近。

年表速查#

  • 1902：Lebesgue 積分， \(L^p\) 空間的基礎。
  • 1910：F. Riesz 建立 \(L^p\) 對偶理論。
  • 1911：Riesz 表示定理（ \(C[a,b]\) 上的泛函）。
  • 1912：Helly 有界變差泛函的延拓思想。
  • 1918：Riesz 緊算子譜理論。
  • 1922：Banach 博士論文：完備度量空間不動點定理。
  • 1922–1923：Hahn、Banach、Wiener 獨立提出賦範空間公理。
  • 1927：Banach–Steinhaus 一致有界原理。
  • 1932：Banach《線性運算學》出版，泛函分析框架完成。

深化問答三則#

問：為什麼用「有界」而非「連續」來命名線性算子的基本類？ 答：歷史原因加結構原因。Banach 學派關心的是估計（積分方程迭代法的核心是 \(\|T^n\|\) 的控制），「界」是可操作的量；「連續」只是等價的定性描述。此外在無界算子理論（第 7 章）中，「有界 vs 無界」的二分法承載了物理內容（可觀測量的定義域問題），「連續 vs 不連續」反而模糊。

問：算子範數的可計算性如何？ 答：一般很難。已知公式：正規算子 \(\|T\| = \max|\sigma(T)|\) （第 3、6 章）、乘法算子=ess sup、積分算子給出上界估計。一般有界算子的範數計算是 NP 難問題（矩陣情形 \(\|A\|_{2\to2}\) 的計算）。這說明：泛函分析的「精確公式」集中在結構好的類（正規、緊、正），結構理論（譜定理）本質上是為了可計算性。

問：為什麼無窮維中「逐點收斂」這麼重要而有限維中消失？ 答：有限維中所有合理拓撲等價（範數都等價），逐點與一致收斂重合。無窮維中拓撲的分裂（弱/強/一致）是本質的：不同拓撲下緊性、連續性、可測性給出不同定理（如弱緊性 vs 緊性）。物理上，「期望值的逐點收斂」對應測量的穩定性，「一致收斂」對應均匀誤差控制——兩者本來就該分開。

（本節完）