4.3 有限維的啟示JORDAN標準型#

本章導言#

無窮維譜理論的許多概念，只有在與有限維對照時才顯出輪廓。有限維線性代數完成了什麼？每個方陣可化為 Jordan 標準型：對角塊+冪零尾巴。這個完美的分類在無窮維徹底失效——沒有對應的「Jordan 標準型定理」。但正因如此，它是最有價值的對照組：譜理論的每個無窮維現象（連續譜、譜不閉、無 Jordan 結構）都可以問「有限維裡這對應什麼？」。本節回顧 Jordan 理論，把它重述為算子語言，並標記無窮維的每一處斷裂。

Jordan 標準型的回顧#

定理 4.3.1（Jordan, Weierstrass 1868 先驅）：複 \(n\) 維空間上的線性算子 \(T\) 在適當基下為

關鍵概念： - 代數重數： \(\lambda\) 作為特徵多項式根的重數； - 幾何重數： \(\dim \ker(T - \lambda I)\) ； - 廣義特徵空間： \(\ker(T - \lambda I)^k\) （ \(k\) 大時穩定）， \(V = \bigoplus_\lambda V_\lambda\) ； - 可對角化 \(\iff\) 幾何重數=代數重數（對每個 \(\lambda\) ）。

歷史注意：Jordan 標準型由 Weierstrass 1868 年以初等因子理論先建立，Jordan 1870 年以置換方法獨立給出；矩陣記號（Cayley 1858 創立「矩陣代數」）普及後才成為今日形式。

算子語言的重述#

有限維的世界在算子語言中是：

1. 譜全為點譜： \(\sigma(T) = \sigma_p(T)\) ，至多 \(n\) 個點；
2. 譜完全決定結構（在廣義特徵分解意義下）： \(V = \bigoplus_{\lambda \in \sigma(T)} \ker(T-\lambda)^n\) ；
3. 逆的判據是行列式： \(\lambda \in \rho(T) \iff \det(T - \lambda I) \neq 0\) ；
4. 自伴矩陣可正交對角化（譜定理有限維版，6.1 節）：幾何重數永遠等於代數重數，且特徵子空間兩兩正交；
5. 冪零部分 \(N\) 是「不可對角化的殘餘」，滿足 \(N^k = 0\) 。

例題 4.3.1： \(T = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}\) 。求其譜、廣義特徵空間、以及 \(\|(T - I)^m\|\) 的增長。

解： \(\sigma(T) = \{1\}\) （代數重數 2）， \(\ker(T - I) = \operatorname{span}(1,0)\) （幾何重數 1）——不可對角化。廣義特徵空間 \(\ker(T-I)^2 = \mathbb{C}^2\) 。 \((T - I)^m = \begin{pmatrix} 0 & m \\ 0 & 0\end{pmatrix}\) ， \(\|(T-I)^m\| = m\) ：冪零尾巴造成多項式增長。這在有限維無害（ \(N\) 總會死），但無窮維中「Jordan 尾巴」可以永不死且指數地影響範數——2.2 節位移算子與 4.1 節偽譜現象的有限維原型。∎

無窮維的斷裂點#

有限維定理的每一條，在無窮維都有精確的失效形態：

「不變子空間問題」的細節：有限維中每個算子有特徵向量=一維不變子空間。無窮維中，是否存在 \(\mathcal{B}(H)\) 中每個算子都有非平凡不變子空間？開放至今（Enflo 1987 在 Banach 空間構造反例；Hilbert 空間情形 Read 1997 構造了無不變子空間的算子在特定空間上， \(l^1\) 情形）。唯一的一般正面結果：緊算子（Lomonosov 1973：與非零緊算子交換的算子有不變子空間）——譜理論「好」的算子類，恰好是不變子空間問題已解的類。

例題：有限維對照的計算#

例題 4.3.2： \(4 \times 4\) 矩陣 \(A = \begin{pmatrix} 2&1&0&0\\0&2&0&0\\0&0&2&1\\0&0&0&2\end{pmatrix}\) （兩個 Jordan 塊 \(J_2(2) \oplus J_2(2)\) ）與 \(B = J_2(2) \oplus J_1(2) \oplus J_1(2)\) 。兩者特徵多項式同為 \((z-2)^4\) ，最小多項式不同。求各特徵空間維數並說明哪個可對角化。

解： \(A\) ： \(\ker(A - 2I)\) 維數 = 2（每塊一個特徵向量）， \(\ker(A-2I)^2 = \mathbb{C}^4\) 。 \(B\) ： \(\ker(B - 2I)\) 維數 = 3。兩者都不可對角化（ \(N \neq 0\) ）。最小多項式： \(A\) 為 \((z-2)^2\) ， \(B\) 為 \((z-2)^2\) ——需要比對塊結構： \(A\) 最小多項式 \((z-2)^2\) 、 \(B\) 也是 \((z-2)^2\) ；區分它們需要初等因子 \(\{J_2, J_2\}\) vs \(\{J_2, J_1, J_1\}\) 。教訓：特徵值（甚至最小多項式）不夠，塊結構才完整——這種「譜+重數結構」的精細化在無窮維發展為「譜的重數理論」（Nagy 1942：自伴算子的譜重數分類，酉等價的完全不變量）。∎

歷史啟示#

• Weierstrass 的初等因子→無窮維的譜重數：有限維的「塊結構」思想在 Hilbert 空間發展為譜重數理論（Nagy 1942、Halmos 1950s 的重數理論）：正規算子由「譜測度+重數函數」完全分類。Jordan 塊=重數的先驅。
• 冪零尾巴的教訓：有限維的 \(N\) 良性（會死），無窮維的「擬冪零」可以永生（Volterra： \(\sigma=\{0\}\) 但 \(N\) 等價於無限深 Jordan 鏈）。冪零性在無窮維的推廣=擬冪零性，它不再意味著可對角化殘餘小。
• 有限維是「常識」，無窮維是「新物理」：Jordan 定理給出的確定感，正是無窮維理論必須放棄的。每個無窮維定理（譜定理、緊算子理論）都應被讀作「有限維直覺的哪一部分可以挽救」。

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

• 4.1、4.2 節：有限維譜=點譜的簡單性，襯托無窮維三分法的必要。
• 6.1 節：自伴矩陣的正交對角化是譜定理的第一個完整案例；Jordan 定理中「自伴⇒可對角化」的部分由此展開。
• 6.2 節：緊自伴算子的 Hilbert–Schmidt 定理是「無窮維 Jordan」的成功案例：特徵向量完備、譜可數趨零。
• 8.1 節：有限維中 \(\mathbb{C}^n\) 的 Gelfand 理論退化为「極大理想=座標點」——Gelfand 理論是 Jordan/對角化思想的交換代數重述。
• 微分方程：常係數 ODE 系統 \(\dot x = Ax\) 的解由 Jordan 塊決定（ \(e^{tJ_k(\lambda)}\) 有多項式因子 \(t^j e^{\lambda t}\) ）——共振現象的代數根源；9.1 節半群是它的無窮維推廣。
• 控制理論：可控性、可觀測性由 Jordan 塊結構判斷（Kalman 準則的代數形式）。

練習#

1. 求下列矩陣的 Jordan 標準型： \(\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\) 、 \(\begin{pmatrix} 1 & 1 \\ 1 & 1\end{pmatrix}\) 、冪零塊 \(\begin{pmatrix}0&1&0\\0&0&1\\0&0&0\end{pmatrix}\) 。
2. 證明： \(T\) 可對角化 \(\iff\) 最小多項式無重根。
3. 對 \(T = J_2(\lambda) \oplus J_2(\lambda)\) 計算 \(e^{tT}\) ，找出多項式因子 \(t e^{\lambda t}\) 的來源，並與 ODE 共振對照。
4. 證明有限維中 \(\sigma(T) = \sigma_{ap}(T)\) （每個譜點都有真特徵向量）。
5. 思考題：說明為什麼「不變子空間問題」在有限維顯然、在無窮維開放。哪個有限維論證（取特徵向量）在無窮維失效？

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

場景一：Nagy 的譜重數理論（1942）。Béla Szőkefalvi-Nagy 證明：自伴（正規）算子由譜測度 \(\mu\) 與重數函數 \(m(\lambda) \in \{1, 2, \ldots, \infty\}\) 在酉等價下完全分類。這是 Weierstrass 初等因子的無窮維完成：塊結構→重數函數。乘法算子 \(M_x\) 在 \(L^2(\mu, \mathbb{C}^m)\) 上的「重數」= 纖維維數。

場景二：無窮維 Jordan 理論的殘骸——不變子空間的鏈。Volterra 算子的不變子空間 \(L^2[x, 1]\) （ \(x \in [0,1]\) ）構成連續鏈——Brockhoff/Engel 關於 Volterra 算子不變子空間完全分類的結果（實質上由 Volterra 自己的計算可推）。擬冪零算子的不變子空間結構是「無窮維 Jordan 塊」的現代形態：連續的三角鏈取代離散的塊。

場景三：Jordan 結構的群論化身。矩陣的 Jordan 分類對應 \(GL(n)\) 共軛類；無窮維的 \(GL(H)\) 共軛問題被證明「狂野」：不存在可計算的分類（與表示論的 wild problem 同源）。有限維的優雅分類是維數的恩賜——無窮維中連「分類」本身都要重新定義（轉向不變量、 \(K\) 理論、代數不變量）。

名詞速查表#

• Jordan 塊： \(J_k(\lambda) = \lambda I + N\) ；冪零尾巴 \(N\) 。
• 代數/幾何重數：特徵多項式重數 / \(\dim\ker(T-\lambda)\) 。
• 廣義特徵空間： \(\ker(T - \lambda)^k\) 穩定化； \(V = \bigoplus V_\lambda\) 。
• 最小多項式：殲滅 \(T\) 的最低次多項式；可對角化 \(\iff\) 無重根。
• 擬冪零：無窮維的「冪零推廣」， \(\rho(T) = 0\) 。
• 譜重數：正規算子酉分類的完備不變量（Nagy 1942）。
• 不變子空間問題： \(\mathcal{B}(H)\) 每個算子是否有非平凡不變子空間（開放）。

年表速查#

• 1858：Cayley 矩陣代數。
• 1868：Weierstrass 初等因子理論。
• 1870：Jordan 幾何導出標準型。
• 1905–1910：Hilbert 學派在 \(l^2\) 中尋求「無窮 Jordan 理論」，發現連續譜阻礙。
• 1918：Riesz 緊算子譜理論=「帶餘項的有限維」。
• 1935：不變子空間問題提出。
• 1942：Nagy 譜重數理論。
• 1973：Lomonosov 定理（緊算子的不變子空間）。
• 1985–1997：Enflo、Read 構造無不變子空間算子（Banach 空間）。

深化問答三則#

問：為什麼自伴矩陣永遠可對角化而一般矩陣不行？ 答：對稱性殺死 Jordan 尾巴：自伴 \(A\) 的廣義特徵空間 \(\ker(A - \lambda)^k\) 是正交子空間的遞增鏈，而自伴性迫使 \(\ker(A-\lambda)^\perp\) 是不變的，鏈在第 1 步就穩定。一般地，對稱約束消除退化——這個原理的無窮維版是：自伴算子有譜定理，一般算子沒有。物理上的呼應：對稱系統的簡併可以移除，非對稱系統（如開放系統）有本質的不可對角化行為（瞬態增長）。

問：有限維譜理論「死亡」在哪一步？ 答：死於值域閉性。有限維子空間自動閉、維數論證（rank–nullity）自動成立；無窮維中值域閉性成為獨立問題（4.2），rank–nullity 失效（單射+稠值域的算子存在）。所有無窮維譜現象（連續譜、剩餘譜、Fredholm 指數）都是 rank–nullity 公式破裂的碎片。

問：Jordan 理論對無窮維還有正面遺產嗎？ 答：有兩份遺產。(1) 方法論：分「可對角化部分+殘餘」的想法存活於緊算子理論（對角化特徵部分+擬冪零殘餘，Riesz 1913 的分解）與半群理論。(2) 分類的野望：譜重數理論把「塊」變成「重數函數」，證明在正規世界裡無窮維分類依然可能——只是分類的「語言」從離散代數（多項式、塊）變成了測度論（譜測度、重數函數）。

（本節完）