跳轉到

2.2 BANACH代數的雛形#

本章導言#

\(\mathcal{B}(X)\) 不只是 Banach 空間：算子可以相乘（合成），且乘法與範數滿足 \(\|TS\| \le \|T\|\|S\|\) 。這種「完備賦範 + 代數相容」的結構就是 Banach 代數。1936 年 J. von Neumann 在研究算子環時已使用此結構；1941 年 Israel Gelfand 證明了驚人的譜理論（8.1 節），Banach 代數一躍成為獨立學科。本節從 \(\mathcal{B}(X)\) 的具體性質出發，建立逆算子、Neumann 級數與譜半徑的基本理論——這些是第 4 章譜理論的技術引擎。

Banach 代數的公理與基本性質#

定義 2.2.1：Banach 代數 \(\mathcal{A}\) 是複 Banach 空間，帶結合乘法，滿足 \(\|ab\| \le \|a\|\|b\|\) ；若含單位元 \(e\) 且 \(\|e\| = 1\) ，稱單位 Banach 代數。

\(\mathcal{B}(X)\) （ \(X\) Banach 空間）是單位 Banach 代數， \(e = I\) 。其他例子： \(C(K)\) （逐點乘法， \(\|fg\|_\infty \le \|f\|\|g\|\) ）、 \(L^1(\mathbb{R})\) （卷積， \(\|f*g\|_1 \le \|f\|_1\|g\|_1\) ，無單位）、 \(n \times n\) 矩陣（任何矩陣範數）。注意 \(\mathcal{B}(X)\) 一般非交換， \(C(K)\) 交換——交換性將成為 8.1 節 Gelfand 理論的主題。

可逆性開集定理：設 \(\mathcal{A}\) 為單位 Banach 代數。若 \(\|a\| < 1\) 則 \(e - a\) 可逆，且

\[ (e - a)^{-1} = \sum_{n=0}^{\infty} a^n \quad (\text{Neumann 級數}). \]

證明： \(\sum \|a^n\| \le \sum \|a\|^n < \infty\) ，故級數收斂；直接驗證 \((e-a)\sum_{n=0}^N a^n = e - a^{N+1} \to e\) 。∎

由此得：可逆元全體構成開集，且取逆運算 \(a \mapsto a^{-1}\) 連續（這是有限維「 \(\det \neq 0\) 開放」的無窮維版本，而證明完全不依賴行列式——這正是 Gelfand 理論的妙處：在沒有行列式的世界裡重建可逆性理論）。

Neumann 級數：積分方程的回報#

回到第 1 章：第二類 Fredholm 方程 \(\varphi = f + \lambda T\varphi\) 的解為 \(\varphi = (I - \lambda T)^{-1} f = \sum_n \lambda^n T^n f\) 。當 \(|\lambda| < 1/\|T\|\) 時級數收斂——這就是 Volterra 逐次代入法（1.1）的精確化。歷史的閉環：Volterra 為解方程而發明的迭代，經 Banach 代數的語言變成了「 \(e-a\) 可逆性」的定理。

更深刻的是譜半徑公式（Gelfand 1941，證明見 8.1 節）：

\[ \rho(a) := \lim_{n \to \infty} \|a^n\|^{1/n} = \max_{\lambda \in \sigma(a)} |\lambda|. \]

對 Volterra 算子（例題 1.1.2： \(\|T^n\| = 1/n!\) ）， \(\rho(T) = \lim (1/n!)^{1/n} = 0\) ——譜半徑為 \(0\) 而 \(\|T\| = 1\) 。範數衡量瞬間大小，譜半徑衡量漸近增長；兩者可以天差地遠，這是無窮維動力學的精髓。

例題#

例題 2.2.1：在 \(\mathcal{B}(l^2)\) 中，設 \(S\) 為右位移 \(S(x_1, x_2, \ldots) = (0, x_1, x_2, \ldots)\) 。證明 \(S\) 左可逆但不右可逆，並計算 \(\sigma(S)\) 。

解：左逆： \(L(x_1, x_2, \ldots) = (x_2, x_3, \ldots)\) （左位移）滿足 \(LS = I\) 。但 \(SL = I - P_1\) （ \(P_1\) 為第一座標投影） \(\neq I\) ，且若 \(SR = I\) 則 \(S\) 滿射，而 \(\operatorname{ran} S = \{x : x_1 = 0\} \neq l^2\) ，矛盾。故 \(S\) 不可逆。

譜： \(|\lambda| > 1\) 時 \((\lambda - S)^{-1} = \lambda^{-1}\sum (\tfrac{S}{\lambda})^n\) 收斂，故在預解集。 \(|\lambda| < 1\) 時向量 \(x = (1, \lambda, \lambda^2, \ldots) \in l^2\) 滿足 \(Sx = \lambda x\) ，故 \(\lambda\) 是特徵值。 \(|\lambda| = 1\) 時 \(\lambda\) 屬於譜（近似特徵向量 \(x^{(N)} = \frac{1}{\sqrt N}(1, \bar\lambda, \ldots, \bar\lambda^{N-1}, 0,\ldots)\) 使 \(\|(S-\lambda)x^{(N)}\| \to 0\) ）。故 \(\sigma(S) = \overline{\mathbb{D}}\) （閉單位圓盤）。∎

此例顯示：單側可逆 \(\neq\) 可逆（無窮維特有！），且譜可以充滿連續區域（非空、緊、但不必可數）。

例題 2.2.2：證明單位 Banach 代數中，若 \(ab = e\) 則 \(ba\) 未必 \(= e\) ；但若 \(ab = ba = e\) 中缺一，找出 \(ba = e - (\text{冪等})\) 的結構。（提示：例題 2.2.1 中 \(ba = I - P_1\) ， \(P_1^2 = P_1\) 。）

譜的初等性質#

在單位 Banach 代數中定義 \(\sigma(a) = \{\lambda : a - \lambda e \text{ 不可逆}\}\) 。基本定理：

定理 2.2.3：(1) \(\sigma(a)\) 非空且緊，含於閉圓盤 \(\overline{\mathbb{D}}_{\rho(a)}\) ；(2) 預解集 \(\mathbb{C} \setminus \sigma(a)\) 開；(3) \(\rho(ab) = \rho(ba)\) （儘管 \(\sigma(ab) \neq \sigma(ba)\) 可能）。

非空性是深刻的：證明需要 Liouville 定理——若 \(\sigma(a) = \emptyset\) ，則預解式 \(r(\lambda) = (a - \lambda e)^{-1}\) 全純且有界，Liouville 導致 \(r \equiv 0\) ，矛盾。複數性在此本質：實 Banach 代數中譜可為空（如 \(\mathbb{R}^2\) 的旋轉）。這再次呼應複變函數的主題（本書姊妹卷）：分析工具依賴代數封閉性，代數結構依賴分析完備性。

歷史啟示#

  • 乘法結構是譜理論的載體：僅有範數（Banach 空間）只能談算子的「大小」；加入乘法後才能談「可逆性」與「譜」。Gelfand 1941 年的洞察：交換 Banach 代數=連續函數空間（8.1）。
  • Neumann 級數是「幾何級數」的算子化：從 \(\frac{1}{1-x} = \sum x^n\) 到 \((e-a)^{-1} = \sum a^n\) ，分析的基本恆等式在代數層次重演。
  • ** \(\|ab\| \le \|a\|\|b\|\) 不是技術細節**：它使 \(\{ \|a^n\|^{1/n} \}\) 次可加，譜半徑極限的存在性完全依賴它——一條不等式支撐一門理論。

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

  • 2.1 節： \(\mathcal{B}(X)\) 的完備性（2.1）+ 乘法相容性（本節）= 具體 Banach 代數。
  • 2.3 節：伴隨映射 \(\mathcal{B}(X) \to \mathcal{B}(X^*)\) 是反同態（ \(（ST)^* = T^*S^*\) ），共軛空間理論接上乘法結構。
  • 第 4 章：本節的譜定義與性質（4.1）直接展開為譜分類（4.2）。
  • 第 8 章：Gelfand 理論譜半徑公式（本節引用未證）的完整證明與 \(C^*\) 代數的登場。
  • 第 9 章：半群理論中 \(e^{tA} = \sum \frac{(tA)^n}{n!}\) 是 Neumann 級數的指數版；生成元理論是「無窮小可逆性」的理論。
  • 數論/調和分析： \(L^1(\mathbb{R})\) 以卷積為乘法是 Gelfand 理論的第一個非平凡應用：其極大理想空間同構於 \(\mathbb{R}\) ，Wiener–Tauber 定理（1932）由此獲得三天證明。

練習#

  1. 證明可逆元全體 \(G(\mathcal{A})\) 是開集，且 \(a \mapsto a^{-1}\) 在 \(G(\mathcal{A})\) 上連續。
  2. 計算 \(2\times 2\) 矩陣代數中 \(a = \begin{pmatrix} 0 & 1 \\ 0 & 0\end{pmatrix}\) 的 \(\|a^n\|\) 與 \(\rho(a)\) （任何矩陣範數）。
  3. 證明 \(\rho(ab) = \rho(ba)\) 。（提示： \(\|(ab)^n\| = \|a(ba)^{n-1}b\| \le \|a\|\|b\| \|(ba)^{n-1}\|\) 。）
  4. 在 \(C(\overline{\mathbb{D}})\) （交換 Banach 代數，逐點乘法）中求 \(f(z) = z\) 的譜。
  5. 思考題：實 Banach 代數中譜可空（旋轉矩陣）。複化 \(\mathcal{A}_\mathbb{C} = \mathcal{A} \otimes \mathbb{C}\) 後譜必非空。說明「複化」與第 1 卷複變函數中「強迫複數登場」的呼應。

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

場景一：Wiener–Tauber 定理的 Banach 代數證明。Tauber 1897、Wiener 1932 證明： \(f \in L^1(\mathbb{R})\) 的平移閉線性包全部 \(L^1\) 當且僅當 \(\hat f\) 無零點。Wiener 原證 40 頁；Gelfand 1941 用交換 Banach 代數的極大理想理論三天解決：極大理想空間是 \(\mathbb{R}\) ， \(\hat f\) 無零點 \(\iff\) \(f\) 不屬於任何極大理想 \(\iff\) \(f\) 生成的理想是全空間。抽象代數擊敗硬分析的經典戰例。

場景二：無單位的處理。 \(L^1(\mathbb{R})\) 、 \(C_0(\mathbb{R})\) 無單位。標準技巧：單位化 \(\mathcal{A}^+ = \mathcal{A} \oplus \mathbb{C}\) （單位為 \((0,1)\) ）。譜論在無單位代數中仍可定義（用單位化），代數 \(C_0(X)\) 的譜=函數值域。這個「加單位」的技巧在 \(K\) 理論中發展為標準構造。

場景三：初等冪等與 K0。例題 2.2.2 的冪等元 \(p^2 = p\) 是 \(K_0(\mathcal{A})\) 理論的原子： \(K_0\) 分類「形式差 \([p] - [q]\) 」。從 Fredholm 指標（1.2 場景一）到 \(K_0\) ，Banach 代數的乘法結構最終連接到了拓撲——這是 20 世紀數學中分析與拓撲融合的主幹道之一。

場景四：賦值泛函的初等先驅——冪級數代數。絕對收斂冪級數代數 \(\mathcal{A} = \{f : \sum |a_n| < \infty\}\) （Wiener 代數的單變數版）的極大理想空間=閉單位圓盤（賦值 \(f \mapsto f(z)\) ， \(|z| \le 1\) ）——Gelfand 變換是恆等嵌入 \(W \hookrightarrow C(\overline{\mathbb{D}})\) 。冪級數的收斂半徑（姊妹卷複變函數的主題）在此獲得代數重述：** \(f\) 在 \(\overline{\mathbb{D}}\) 內無零點 \(\iff f\) 可逆**——Gelfand 理論使「零點分離代數與幾何」的經典觀察成為一般定理。這個小例子也是多複變的門口：幾個生成元的代數， \(\mathfrak{M} \subset \mathbb{C}^n\) ，聯合譜理論（8.1 場景二）的入門標本。

本節要點清單#

  • 次乘性是全部： \(\|ab\| \le \|a\|\|b\|\) ⇒ \(\{\|a^n\|^{1/n}\}\) 次可加⇒譜半徑極限存在。
  • Neumann 級數： \(\|a\| < 1\) 時 \((e - a)^{-1} = \sum a^n\) ；可逆元是開集、取逆連續。
  • 譜非空、緊：非空性本質依賴複數（Liouville）——複化的必要性。
  • ** \(\rho(ab) = \rho(ba)\) **：雖 \(\sigma(ab) \neq \sigma(ba)\) 可能——譜半徑是「循環不變量」。
  • 單側可逆≠可逆：右位移 \(LS = I\) 、 \(SL = I - P_1\) ——無窮維特有。
  • 位移算子的譜： \(\sigma(S) = \overline{\mathbb{D}}\) ，特徵值在開圓盤、圓周是連續譜。
  • Neumann 級數=幾何級數的算子化：Volterra 迭代（1.1）的公理化完成。

名詞速查表#

  • Banach 代數：完備賦範 + 次乘性 \(\|ab\|\le\|a\|\|b\|\) 。
  • Neumann 級數： \((e-a)^{-1} = \sum a^n\) ， \(\|a\|<1\) 時有效。
  • **譜 \(\sigma(a)\) **：使 \(a - \lambda e\) 不可逆的 \(\lambda\) 全體；非空、緊。
  • 譜半徑公式： \(\rho(a) = \lim\|a^n\|^{1/n} = \max_{\sigma(a)} |\lambda|\) （Gelfand 1941）。
  • 右位移算子： \(\sigma(S) = \overline{\mathbb{D}}\) ，特徵值為開圓盤，圓周屬於連續譜。
  • 單位化： \(\mathcal{A}^+ = \mathcal{A} \oplus \mathbb{C}\) ，無單位代數的標準擴張。

年表速查#

  • 1913：Hausdorff、Riesz 考慮算子合成的代數性質。
  • 1932：Wiener Tauber 定理（硬分析證明）。
  • 1935–1936：von Neumann 正規算子環理論（ \(W^*\) 代數前身）。
  • 1941：Gelfand 交換 Banach 代數理論、譜半徑公式、Wiener 定理新證。
  • 1943：Gelfand–Naimark 定理： \(C^*\) 代數同構於算子代數。
  • 1946–1948：Naimark、Segal 構造（GNS 構造）。
  • 1955：Dixmier《von Neumann 代數》教科書，學科成熟。
  • 1959–1963：Atiyah–Singer 指標定理，Fredholm 算子與 \(K\) 理論。

深化問答三則#

問： \(\|ab\| \le \|a\|\|b\|\) 可以推廣嗎？ 答：可以，且推廣有回報：若僅要求 \(\|ab\| \le C\|a\|\|b\|\) ，則等價範數下可歸化為 \(C = 1\) （重定義 \(|\!|\!|a|\!|\!| = \sup_n \sup_{\|x_i\|\le1}\|ax_1\cdots x_n\|\) ）。此外 \(C^*\) 代數要求更強的等式 \(\|a^*a\| = \|a\|^2\) （8.2），它把範數與對合鎖死，誕生了最剛性的理論。

問：為什麼 \(S\) （右位移）的譜充滿閉圓盤，而它的特徵值只在開圓盤？ 答：圓周 \(|\lambda|=1\) 上 \(S - \lambda\) 單射且值域稠密但不滿（值域= \(\{y : \sum \lambda^{2n} |y_{n+1}|^2 \text{ 條件}\}\) ）。這是連續譜的典型行為：單點不足以傾覆可逆性，但一列「幾乎特徵向量」可以。近似點譜概念（4.2 節）正是為此而生。

問：Banach 代數理論是否「包含」矩陣代數？ 答：形式上 \(M_n(\mathbb{C})\) 是有限維 Banach 代數，譜理論退化为線性代數（特徵多項式）。Banach 代數理論的價值在於無窮維與無行列式的情形：它證明譜理論的根本定理（非空、緊、 \(\rho\) 公式）只需要完備性與次乘性——行列式不是譜的本質。這個認識反過來闡明了線性代數：特徵多項式只是計算譜的幸運工具。

（本節完）