跳轉到

7.2 閉算子與閉圖定理#

本章導言#

有界算子連續⇒圖閉；反之，處處定義的閉算子必有界——這就是 Banach 的閉圖定理（1932），與開映射定理、一致有界原理並列為泛函分析的三大基石。對不處處定義的稠定算子，閉性（ \(G(A)\) 閉）是最接近有界性的良好性質：微分算子恰恰閉而不連續。本節建立閉算子理論：閉性判據、可閉化、閉圖定理及其 Baire 綱論證——並說明為什麼閉性是半群理論（第 9 章）與譜理論（無界譜定理）的最低要求。

閉算子#

定義 7.2.1：稠定算子 \(A\) 閉，若 \(x_n \in \operatorname{dom}A\) 、 \(x_n \to x\) 、 \(Ax_n \to y\) 蘊含 \(x \in \operatorname{dom}A\) 且 \(Ax = y\) 。即 \(G(A)\) 閉。

基本事實： - \(A^*\) 永遠閉（稠定時）； - \(A\) 閉 \(\iff\) \(A^*\) 稠定（且 \(A^{**} = A\) ）——閉性=「足夠對稱」； - \(A\) 閉+單射+值域閉 \(\Rightarrow\) \(A^{-1}\) 閉且處處定義於值域上有界（逆算子定理=開映射定理的推論）； - 可閉化： \(A\) 可閉 \(\iff\) \(\overline{G(A)}\) 是圖 \(\iff\) \(A^*\) 稠定。

例子： \(\frac{d}{dx}\) 以 \(H^1[0,1]\) （或 \(C^1\) 的閉包 \(H^1\) ）為域時閉；以 \(C^1\) 為域時不閉（ \(C^1\) 函數的一致極限可以是不可微函數）——閉化=取 Sobolev 定義域。 \(\frac{d^2}{dx^2}\) 在 \(H^2 \cap H^2_0\) 上閉。

開映射與閉圖定理#

定理 7.2.2（開映射定理）： \(X, Y\) Banach， \(T \in \mathcal{B}(X, Y)\) 滿射 \(\Rightarrow\) \(T\) 開（映開集為開集）。

證明思想（Baire 綱）： \(Y = \bigcup_n T(\overline{B}_n)\) ； \(Y\) 是 Baire 空間（完備度量的第二綱性），故某 \(\overline{T(\overline{B}_{n_0})}\) 有內點，平移縮放得 \(T(B_1) \supset \epsilon B_Y\) 的閉包。再用級數迭代（Neumann 級數的幾何版）把「閉包含於像的閉包」升級為「開球含於像」——這一步的迭代論證與 1.1 節 Volterra 迭代同源。∎

定理 7.2.3（閉圖定理）： \(X, Y\) Banach， \(T : X \to Y\) 線性、處處定義、圖閉 \(\Rightarrow\) \(T\) 有界。

證明： \(G(T)\) 是 \(X \times Y\) 的閉子空間⇒完備；投影 \(\pi_1 : G(T) \to X\) 是雙射連續線性映射，由逆算子定理 \(\pi_1^{-1}\) 連續；則 \(T = \pi_2\pi_1^{-1}\) 連續。∎

三大定理的統一：開映射⇒逆算子⇒閉圖；一致有界原理同樣由 Baire 綱證明（2.1 場景一）。它們的本質是完備性換來的嚴格性：Cauchy 極限的存在性強迫逐點性質升級為一致性質。這是 1920 年代 Banach 學派的黃金定理組；Nikodym、Saks、Steinhaus 等人共同打磨，Banach 1932 年成書。

例題#

例題 7.2.1：用閉圖定理證明 Hellinger–Toeplitz 定理（7.1 節）的另一條路：處處定義的對稱算子 \(A\) 圖閉，故有界。

解： \(A\) 對稱⇒ \(A \subset A^*\) 。對稱性給 \(\langle Ax, y\rangle = \langle x, Ay\rangle\) 對一切 \(x, y\) ；若 \(x_n \to x\) 、 \(Ax_n \to y\) ，則對任意 \(z\) ： \(\langle y, z\rangle = \lim\langle Ax_n, z\rangle = \lim\langle x_n, Az\rangle = \langle x, Az\rangle\) ，故 \(y = A(\ldots)\) 的關係： \(y\) 由 \(\langle y, z\rangle = \langle x, Az\rangle\) 完全決定，即 \(y \in \operatorname{dom}A\) 情形（因 \(A\) 處處定義， \(y = Ax\) 需驗證 \(A\) 的封閉性）：取 \(z\) 遍歷， \(\langle y, z\rangle = \langle x, Az\rangle = \langle Ax, z\rangle\) ，故 \(y = Ax\) 。圖閉。閉圖定理⇒有界。∎

例題 7.2.2：證明 \(\frac{d}{dx}\) 在 \(H^1[0,1] \subset L^2[0,1]\) 上是閉算子，並計算其圖範數 \(\|f\|_G^2 = \|f\|_2^2 + \|f'\|_2^2 = \|f\|_{H^1}^2\) 。

解：設 \(f_n \in H^1\) 、 \(f_n \to f\) （ \(L^2\) ）、 \(f_n' \to g\) （ \(L^2\) ）。對 \(\varphi \in C_c^\infty(0,1)\) ： \(\int g\bar\varphi = \lim\int f_n'\bar\varphi = -\lim\int f_n\bar\varphi' = -\int f\bar\varphi'\) ，故 \(g = f'\) 弱意義—— \(f \in H^1\) 、 \(f' = g\) 。閉。圖範數正是 \(H^1\) 範數——閉性=定義域在圖範數下完備；Sobolev 空間=閉算子的圖範數空間。∎

閉性是最低要求：為什麼#

譜理論與半群理論對算子的最低要求都是閉：

  • 無界譜定理（7.3、6.3 的無界版）： \(A\) 閉且 \(\overline{\operatorname{ran}}\) 條件下，預解式 \((A - \lambda)^{-1}\) 才是（有界）算子；
  • 半群生成元（9.1）： \(C_0\) 半群的生成元必閉（微分生成元： \(Ax = \lim_{t\to0}\frac{T(t)x - x}{t}\) 的定義本身是圖極限）；生成元閉+稠定+預解集條件 \(\iff\) 生成半群（Hille–Yosida）；
  • 閉值域定理（Banach 1932）：閉算子 \(A\) 滿足 \(\operatorname{ran}A\) 閉 \(\iff\) \(\operatorname{ran}A^*\) 閉 \(\iff\) \(\operatorname{ran}A = (\ker A^*)^\perp\) ——Fredholm 理論（5.3）的無界推廣的引擎。

閉值域定理值得單獨銘記：它把「值域閉性」（4.2 節譜分類的核心）變成對偶論證的定理——4.2 節的連續譜（值域稠不閉）正是此定理管轄的現象。

歷史啟示#

  • Baire 綱論證是 1920 年代的「重炮」：一次完備性+一次不可數並=驚人的嚴格性收穫。綱論證的「非構造性」（存在 \(\epsilon\) 但不給出）曾引爭議，但它證明的定理（開映射、閉圖、一致有界）都是「結構定理」而非「計算定理」。
  • 閉圖定理劃定了「有界性」的邊界：想無界，必須犧牲處處定義（7.1）；想處處定義，必須有界。無界性與全域性不相容——這是無窮維的鐵律，有限維沒有（有限維一切線性映射連續）。
  • Sobolev 空間=閉算子理論的副產品：閉化微分算子所需的圖範數空間，正是 1936 年 Sobolev 定義的空間——泛函分析的需求預言了 PDE 的語言。

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

  • 7.1 節：圖語言是本節的基礎設施； \(A^*\) 閉性給閉性判據。
  • 7.3 節：對稱算子的閉化、自伴擴張——閉性是擴張理論的舞台。
  • 6.3 節：無界譜定理（von Neumann 對無界自伴算子的版本）要求閉性。
  • 第 9 章：生成元必閉；Hille–Yosida 定理是閉圖定理時代（1932）之後半群理論（1948）的下一幕。
  • 2.1 節：一致有界原理與本節同源（Baire 綱）。
  • PDE 與偏微分算子：橢圓算子的閉性、Fredholm 理論的無界版（值域閉性=橢圓估計）、Poisson 方程的正則性理論。

練習#

  1. 證明 \(A\) 閉 \(\iff\) \(A^*\) 稠定，且此時 \(A^{**} = A\) 。
  2. 證明 \(\frac{d^2}{dx^2}\) 在 \(\operatorname{dom} = H^2[0,1]\) 上不是對稱的，在 \(H^2 \cap H^2_0\) 上對稱且閉。
  3. 用開映射定理證明：Banach 空間上兩個互逆的有界算子，逆連續（顯然）——以及更深的：單射滿射連續線性映射的自動同胚。
  4. 證明閉值域定理的一半： \(\operatorname{ran}A\) 閉 \(\Rightarrow \operatorname{ran}A = (\ker A^*)^\perp\) 。
  5. 思考題：閉圖定理在「非完備」空間失效——構造不完備賦範空間上處處定義閉圖的無界算子（提示：取 \(C[0,1]\) 配 \(L^2\) 範數， \(Tf = f'\) ？不對——想想 \(T =\) 恆等： \(\|Tf\|_\infty \le C\|f\|_2\) 不成立但圖閉嗎？）。這說明完備性是三大定理的實質條件。

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

場景一：微分算子的橢圓估計。 \(A = -\Delta\) 在 \(H^2 \cap H^1_0\) ：估計 \(\|u\|_{H^2} \le C\|\Delta u\|_{L^2}\) （Fredholm 替代+正則性）。這個「圖範數由 \(Au\) 控制」的估計正是閉性+值域閉性的定量版本，是 PDE 正則性理論的日常工具（Agmon–Douglis–Nirenberg 1959）。

場景二：閉算子的 Fredholm 理論。無界 Fredholm 算子（閉、 \(\dim\ker\) 、 \(\operatorname{codim}\operatorname{ran}\) 有限）在橢圓邊值問題中無處不在（Atiyah–Singer 對橢圓復形給出指標）。閉值域定理+橢圓估計⇒值域閉⇒Fredholm——微分算子的指標=幾何的拓撲不變量（7.1 場景二的延續）。

場景三：Krein 空間與不定度規。閉圖定理依賴範數的正定性；在 Krein 空間（不定內積，量子場論的 PT 對稱哈密頓量）中，理論需要重寫（Azizov–Iokhvidze 1980s）。閉算子理論的邊界再次顯示：完備正定度規是分析學的隱形公理。

場景四：三大定理的「非 Banach」邊界。閉圖定理需要兩個完備性；去掉任一即失效：(1) 非完備域：例題 7.2 練習 5 的情形；(2) 非局部凸拓撲： \(L^p\) （ \(0 < p < 1\) ）上處處定義的閉圖線性算子可以無界（Ovchinnikov–Ptak 理論）。更微妙的：Grothendieck 因子分解定理（1955）顯示某些「閉圖」現象在 Montel 空間仍成立（值域有界→核型分解）——三大定理的適用範圍由「Baire 性質」而非「範數完備」精確刻畫。這條線通向局部凸空間理論（Schaefer 1966），是核理論與分布論的技術基礎。

本節要點清單#

  • 閉=圖閉： \(x_n \to x\) 、 \(Ax_n \to y\) 蘊含 \(x \in \operatorname{dom}A\) 、 \(Ax = y\) 。
  • 伴隨永遠閉：稠定 \(A\) 的 \(A^*\) 閉； \(A\) 閉 \(\iff A^*\) 稠定 \(\iff A = A^{**}\) 。
  • 可閉化： \(A^*\) 稠定時 \(\bar A = A^{**}\) ；微分算子的閉化=取 Sobolev 定義域。
  • 圖範數： \(\|x\|_G^2 = \|x\|^2 + \|Ax\|^2\) ；閉性=域在圖範數下完備。
  • 三大定理：開映射→逆算子→閉圖；共同引擎是 Baire 綱（完備性）。
  • 閉值域定理：值域閉 \(\iff\) 存在先驗估計 \(\|Ax\| \ge c\,\operatorname{dist}(x, \ker A)\) 。
  • 無界 vs 全域不相容：處處定義+閉⇒有界（閉圖定理/Hellinger–Toeplitz）。

名詞速查表#

  • 閉算子： \(G(A)\) 閉；等價 \(A = A^{**}\) （稠定時）。
  • 可閉化： \(A^*\) 稠定 \(\Rightarrow\) \(\bar A = A^{**}\) 。
  • 開映射定理：滿射有界算子映開集為開集（Baire 綱）。
  • 閉圖定理：處處定義+閉圖 \(\Rightarrow\) 有界。
  • 閉值域定理： \(\operatorname{ran}A\) 閉 \(\iff \operatorname{ran}A^*\) 閉 \(\iff \operatorname{ran}A = (\ker A^*)^\perp\) 。
  • 圖範數： \(\|x\|_G^2 = \|x\|^2 + \|Ax\|^2\) ；閉性=域在圖範數下完備。

年表速查#

  • 1912：Hellinger–Toeplitz 定理（閉圖定理的前身）。
  • 1929：von Neumann 圖語言與閉算子理論。
  • 1930–1932：Banach 學派三大定理（開映射、閉圖、一致有界）。
  • 1932：Banach《線性運算學》成書。
  • 1936–1938：Sobolev 空間（閉化的系統化）。
  • 1948：Hille–Yosida 定理（閉生成元+預解條件）。
  • 1959：閉值域定理的現代形式（Banach 原版 1932 的精緻化）。

深化問答三則#

問：閉圖定理證明中「逆算子定理」再證明中「Baire 綱」——為什麼繞兩步？ 答：因為圖閉性只給「圖空間的完備性」，不直接給 \(Y\) 的綱性結構。路線：閉圖⇒ \(G(T)\) 完備⇒投影 \(\pi_1\) 是兩 Banach 空間間的雙射⇒開映射定理⇒ \(\pi_1^{-1}\) 連續⇒ \(T\) 連續。每步都是「把問題搬到已完備的空間」——泛函分析的基本戰術。

問： \(\frac{d}{dx}\) 在 \(C^1\) （配 \(L^2\) 範數）上不閉，閉化後定義域是什麼？ 答： \(H^1[0,1]\) （弱導數在 \(L^2\) 的函數）。閉化過程=把「經典可微」放寬為「極限意義可微」。物理上：能量有限+ \(L^2\) 極限的態都應該被允許——閉化=完備化=物理態空間的自然邊界。Sobolev 空間是這個觀念的紀念碑。

問：閉值域定理對譜分類有什麼直接貢獻？ 答：它把 4.2 節的連續譜（值域稠但不閉）變成可檢驗的條件：值域閉 \(\iff\) 存在先驗估計 \(\|Ax\| \ge c\operatorname{dist}(x, \ker A)\) 。橢圓算子有此估計（橢圓性）⇒譜的結構良好；雙曲/退化算子沒有⇒連續譜病態。先驗估計=值域閉性=譜的良態，這個等式是 PDE 譜理論的工作方法。

（本節完）