4.2 譜的分類點譜連續譜剩餘譜#
本章導言#
「 \(T - \lambda I\) 不可逆」是三種失敗的並集。Hilbert 1906 年已經隱約感到譜有不同「質地」；現代三分法——點譜、連續譜、剩餘譜——按可逆性失敗的方式分類，每個類對應一種物理與分析現象：束縛態（點譜）、電離態（連續譜）、以及較隱蔽的剩餘譜。本節給出精確定義、完整分類法（用對偶語言）、經典例子，並說明為什麼剩餘譜在「好」算子（自伴、正規）中消失。
三分法定義#
定義 4.2.1： \(\lambda \in \sigma(T)\) 恰屬於以下之一： - 點譜 \(\sigma_p\) ： \(T - \lambda\) 非單射（有真特徵向量）； - 連續譜 \(\sigma_c\) ： \(T - \lambda\) 單射， \(\operatorname{ran}(T-\lambda)\) 稠密但不閉（故非滿射）； - 剩餘譜 \(\sigma_r\) ： \(T - \lambda\) 單射， \(\operatorname{ran}(T-\lambda)\) 不稠密。
判據的對偶形式（用 2.3 節伴隨理論）：
（對 Banach 空間，值域稠 \(\iff\) 伴隨零空間平凡）。因此：
- \(\lambda \in \sigma_p(T) \iff \ker(T - \lambda) \neq 0\) ；
- \(\lambda \in \sigma_r(T) \iff \ker(T^* - \bar\lambda) \neq 0\) 但 \(\ker(T - \lambda) = 0\) ；
- \(\lambda \in \sigma_c(T) \iff\) 兩核都平凡，但 \(T - \lambda\) 仍不可逆（值域不閉）。
定理 4.2.2：正規算子（ \(TT^\dagger = T^\dagger T\) ，特別是自伴與酉）沒有剩餘譜。
證明：正規算子滿足 \(\|(T - \lambda)x\| = \|(T^\dagger - \bar\lambda)x\|\) （直接展開用 \(TT^\dagger = T^\dagger T\) ）。若 \(\ker(T^* - \bar\lambda) \neq 0\) 取 \(y \neq 0\) ，則 \(0 = \|(T^\dagger - \bar\lambda)y\| = \|(T - \lambda)y\|\) ，即 \(\ker(T-\lambda) \neq 0\) ——矛盾於 \(\lambda \in \sigma_r\) 的定義。∎
這個定理的意義：對稱性消滅了「單側幽靈」。剩餘譜只在非正規算子中出現，而且總是「伴隨的點譜在鏡像位置」——它是對稱性缺失的會計科目。
例題#
例題 4.2.1：在 \(l^2\) 上對右位移 \(S\) 與左位移 \(L = S^\dagger\) 做完整譜分類。
解： \(S\) ： \(\sigma(S) = \overline{\mathbb{D}}\) （2.2 例題）。 - \(|\lambda| < 1\) ： \(x = (1, \lambda, \lambda^2, \ldots)\) 是特徵向量（ \(\sum|\lambda|^{2n} < \infty\) ），故 \(\mathbb{D}\) （開圓盤） \(\subset \sigma_p(S)\) 。 - \(|\lambda| = 1\) ： \(S - \lambda\) 單射；值域 \(= \{y : \sum_n \bar\lambda^{2n}|y_{n+1}|^2\) 收斂條件 \(\}\) 稠密但不閉，故單位圓 \(\subset \sigma_c(S)\) 。無剩餘譜（ \(S\) 的伴隨 \(L\) 的特徵值是 \(|\lambda| < 1\) 開圓盤，由 \(\ker(S^* - \bar\lambda) = \ker(L - \bar\lambda)\) ）。 - 總結： \(\sigma_p(S) = \mathbb{D}\) ， \(\sigma_c(S) = \partial\mathbb{D}\) ， \(\sigma_r(S) = \emptyset\) 。
\(L = S^\dagger\) ：特徵值 \(|\mu| < 1\) 對應 \(Lx = \mu x\) 的解 \(x = (0, x_1 \text{ 型?})\) ——實際 \(Lx = (x_2, x_3, \ldots) = \mu x\) 給 \(x_n = \mu^{n-1}x_1\) ，同樣 \(\mathbb{D} \subset \sigma_p(L)\) ；單位圓屬於 \(\sigma_r(L)\) ： \(L - \mu\) 值域 \(= \{y : y_1 = 0\) 的條件 \(\}\) ？具體： \(\operatorname{ran}(L - \mu)\) 不稠密因為 \(\ker(S - \bar\mu) \neq 0\) 。伴隨對 \(S, L\) 把連續譜與剩餘譜互換——剩餘譜是「伴隨的連續譜在鏡像」的現象。∎
例題 4.2.2：分類 \(L^2[0,1]\) 上乘法算子 \(M_x\) （ \((M_xf)(x) = xf(x)\) ）的譜。
解： \(\sigma(M_x) = [0,1]\) （例題 4.1.1）。每個 \(\lambda \in [0,1]\) ： \(\{x : x = \lambda\}\) 零測度，故單射；值域 \(= \{(x - \lambda) f : f \in L^2\}\) 稠密（含 \(C_c\) 型函數逼近）但不閉（ \(1/(x - \lambda)\) 的 \(L^2\) 發散），故 \(\sigma(M_x) = \sigma_c(M_x) = [0,1]\) ，純連續譜、無特徵值。物理對照：位置算子 \(\hat x\) 的譜是連續的——位置測量可以有任意實值（區間內），沒有「量子化的位置」。∎
譜的「質地」與物理對照#
| 譜類型 | 算子條件 | 物理對應 | 典型例子 |
|---|---|---|---|
| 點譜 | 非單射 | 束縛態、離散能級 | \(-\frac{d^2}{dx^2}\) 有 Dirichlet 邊條： \(\{n^2\pi^2\}\) |
| 連續譜 | 值域稠不閉 | 電離態、散射 | 自由 Hamilton 算子 \(-\frac{d^2}{dx^2}\) （全 \(\mathbb{R}\) ） |
| 剩餘譜 | 值域不稠 | 無直接物理（非正規系統） | 左位移的單位圓 |
氫原子算子 \(H = -\Delta - \frac{1}{r}\) 是教科書式的混合譜： \([-\infty, 0)\) 上純點譜（Balmer 系列的能級 \(-1/(2n^2)\) ）， \([0, \infty)\) 上純連續譜（電離）。譜的分類直接對應光譜的分類——Hilbert 1906 年的命名在此獲得完全的物理兌現。
歷史啟示#
- 分類的動力來自「不可逆的三種死法」：可逆=單射+滿射+逆有界。無窮維中這三件事獨立失效，於是譜有了「內部結構」。有限維中值域自動閉（有限維子空間皆閉），連續譜與剩餘譜消失——無窮維譜的分類本質上是值域閉性問題。
- 伴隨語言使分類可計算： \(\sigma_r(T)\) 由 \(\sigma_p(T^*)\) 的鏡像控制（一般： \(\sigma_r(T) \subset \overline{\sigma_p(T^*)}\) 的共軛）。對偶理論（2.3）不是抽象裝飾，是譜分類的工具。
- 正規性的特權：正規算子譜=近似點譜=「有幾乎特徵向量的點」；非正規算子可以有大片「什麼都不是」的譜。譜理論的可計算性與對稱性成正比。
與其他章節及領域的關聯#
- 4.1 節：本節細分 4.1 的整體譜。
- 4.3 節：有限維對照——Jordan 標準型中點譜的重數與廣義特徵空間。
- 第 5 章：緊算子非零譜全是點譜（Fredholm 擇一），剩餘譜只能在 \(0\) 。
- 6.3 節：正規算子的譜定理用投影值測度統一三種譜：點譜對應原子測度、連續譜對應非原子部分——分類成為測度論的問題。
- 第 7 章：微分算子（無界）的譜分類是 Sturm–Liouville 理論與 Weyl 極限點/極限圓分類（1910）的現代語言。
- 散射理論（第 10 章）：連續譜上的「波算子」理論（Kato、Birman 1960s）研究 \(H = H_0 + V\) 中連續譜的穩定性——譜分類是散射理論的第一概念。
練習#
- 證明 \(\overline{\operatorname{ran}(T - \lambda)} = X \iff \ker(T^* - \bar\lambda) = \{0\}\) 。
- 完整分類 \(l^2\) 上對角算子 \(D = \operatorname{diag}(1, \frac12, \frac13, \ldots)\) 的譜（含 \(0\) 的歸類）。
- 證明正規算子 \(\sigma(T) = \sigma_{ap}(T)\) ，即譜由近似點譜組成。
- 在 \(C[0,1]\) 上分類 \(M_x\) 的譜（與 \(L^2\) 情形對比：這裡每點都是特徵值， \(f = (x - \lambda)^k\) ？——注意連續函數的支撐性質）。
- 思考題：為什麼剩餘譜沒有好的物理對應？從「值域不稠=存在與值域正交的向量=伴隨的特徵向量」出發，論證剩餘譜總是「鏡像世界的點譜」。
進階研讀：三個深化場景#
場景一：Weyl 極限點/極限圓分類（1910）。對 Sturm–Liouville 微分表達式 \(-y'' + qy\) 在半直線 \([0, \infty)\) 上，Weyl 按「齊次方程解屬於 \(L^2\) 的線性獨立解個數（0 或 1 = 極限點型；2 = 極限圓型）」分類算子的自伴擴張（7.3 節）。這是譜分類思想進入微分方程的第一個系統理論，氫原子、諧振子、Morse 勢都在此框架中被完整分類。
場景二：本質譜與微擾穩定性。本質譜 \(\sigma_{ess}(T)\) （有多種等價定義：非 Fredholm 點、聚點等）在緊微擾下不變（Weyl 定理 1909）： \(\sigma_{ess}(T + K) = \sigma_{ess}(T)\) ， \(K\) 緊。物理意義：短程位勢不改變電離閾值。第 5 章緊算子理論的這個應用是數學物理的主幹定理之一。
場景三：譜的維數理論。連續譜可以有分形維數：譜測度、密度 of states、Weyl 定律 \(\#\{\lambda_n \le \Lambda\} \sim C\Lambda^{d/2}\) （1911）給出「譜的漸近密度」。譜幾何（「能聽出鼓的形狀嗎？」Kac 1966）問：譜的分類數據能反推幾何嗎？答案部分否定（Milnor 1964 同譜不同構流形）——譜分類是幾何的投影而非完整描述。
名詞速查表#
- **點譜 \(\sigma_p\) **：真特徵向量存在。
- **連續譜 \(\sigma_c\) **：單射、值域稠不閉。
- **剩餘譜 \(\sigma_r\) **：單射、值域不稠； \(\sigma_r(T) \subset \overline{\sigma_p(T^*)}^{\,\text{conj}}\) 。
- 正規算子： \(\sigma_r = \emptyset\) 、 \(\sigma = \sigma_{ap}\) 。
- 本質譜：緊微擾不變的譜部分（Weyl 定理）。
- Weyl 定律：特徵值計數的漸近公式。
- 譜映射： \(M_x\) 的譜=[0,1]，純連續（ \(L^2\) ）或全點譜（ \(C[0,1]\) ）。
年表速查#
- 1903–1906：Fredholm 擇一與 Hilbert 譜分類的萌芽。
- 1909–1910：Weyl 定理（本質譜穩定性）與極限點/圓分類。
- 1911：Weyl 定律（特徵值漸近）。
- 1918：Riesz 緊算子譜理論中點譜的主導地位。
- 1929–1932：von Neumann 譜定理統一點譜與連續譜。
- 1930s：剩餘譜概念在 Banach 空間理論中定型。
- 1957–1960：Kato 微擾論、Birman 波算子。
- 1966：Kac「能聽出鼓的形狀」；譜幾何誕生。
深化問答三則#
問：連續譜的「連續」指什麼？ 答：指譜在該處像區間而非孤立點——Hilbert 的原始直覺是「漸近特徵值」：存在特徵向量列 \(x_n\) （不同特徵值 \(\lambda_n \to \lambda\) ）。現代定義（值域稠不閉）在正規算子情況與之等價（正規算子的譜聚點必是連續譜或點譜聚點）。物理上「能級密集到連續」對應大量子態的電離帶。
問：為什麼自伴算子「沒有剩餘譜」這麼重要？ 答：因為量子力學的可觀測量必須有完備的譜分解（譜定理）才能定義測量的機率。剩餘譜點「既無特徵向量、值域又有正交補」，投影值測度在其上無原子也無連續部分可言——譜定理的機率詮釋崩潰。自伴性是譜測度存在的準確邊界（7.3 節 Naimark 定理：對稱算子只有廣義譜測度）。
問：能給一個「全譜=單點但完全非平凡」的例子嗎？ 答：Volterra 算子： \(\sigma = \{0\}\) 、 \(0\) 連續譜、無特徵值。它證明「譜塌縮」不等於「算子平凡」： \(\|T^n\| = 1/n!\) 的深超壓縮性把譜壓成一點，但算子本身仍有豐富的結構（不變子空間鏈 \(L^2[x, 1]\) ）。擬冪零算子是譜理論的「暗物質」——譜看不見，作用力實在。
（本節完）