跳轉到

8.2 C*代數的公理與連續函數演算#

本章導言#

Gelfand 理論把交換 Banach 代數變成函數空間；但 \(\mathcal{B}(H)\) 非交換，且其範數滿足一個神奇的恆等式 \(\|T^\dagger T\| = \|T\|^2\) 。Gelfand–Naimark（1943） 把這個恆等式提為公理，定義 ** \(C^*\) 代數——Banach 代數+對合+ \(C^*\) 恆等式。公理看起來小，回報巨大：交換 \(C^*\) 代數=連續函數空間（等距同構）**、正元有譜刻畫、連續函數演算存在且唯一。本節沿此路線，並以 \(C_0(\mathbb{R})\) 的正則表示（GNS 構造）收尾——通往 8.3 節 von Neumann 代數的大門。

公理與第一組定理#

定義 8.2.1：** \(C^*\) 代數** \(\mathcal{A}\) ：複 Banach 代數+對合 \(a \mapsto a^*\) （反線性、反自同構、 \((a^*)^* = a\) ），滿足

\[ \|a^*a\| = \|a\|^2 \quad (C^*\text{ 恆等式}). \]

\(\mathcal{B}(H)\) （ \(\dagger\) 為對合）是典範例子； \(C_0(X)\) （ \(f^* = \bar f\) ）是交換例子。** \(C^*\) 恆等式的推論**（幾乎免費）：

  1. \(\|a^*\| = \|a\|\) （ \(\|a^*\|^2 = \|a^*a\|\) 與 \(\|aa^*\|\) 比較）；
  2. \(\|a^2\| = \|a\|^2\) （ \(a\) 自伴時）；一般 \(\|a^{2^n}\| = \|a\|^{2^n}\) 對自伴 \(a\) ⇒ \(\rho(a) = \|a\|\) （自伴情形！一般正規也成立）；
  3. \(a^*a = 0 \Rightarrow a = 0\) 。

譜的正則化：自伴 \(a\) 的譜 \(\subset \mathbb{R}\) （由 \(\rho = \|a\|\) 與 \(\|(a - (\operatorname{Re}\lambda + iM))\|\) 估計，7.3 節式估計的代數版）；正元（ \(a = b^*b\) ）譜 \(\subset [0, \infty)\) 。

定理 8.2.2（Gelfand–Naimark，交換情形 1943）：交換 \(C^*\) 代數 \(\mathcal{A}\) 的 Gelfand 變換是等距 \(\ast\) -同構 \(\mathcal{A} \cong C_0(\mathfrak{M})\) 。

證明要點：等距性由 \(\|\hat a\|_\infty = \rho(a) = \|a\|\) （交換 \(C^*\) 中 \(\|a^2\| = \|a\|^2\) 傳遞到 \(\rho\) 公式）； \(\ast\) -保持由 \(\hat{a^*} = \overline{\hat a}\) （自伴元的譜實⇒ \(\chi(a^*) = \overline{\chi(a)}\) ）。∎

** \(C^*\) 公理的哲學：它把範數與對合「鎖死」，使代數的範數幾何完全由譜決定——範數不再是選擇，而是譜的函數**。這就是 \(C^*\) 代數剛性的來源：同構問題（分類）因此變得深刻而有意義。

連續函數演算#

定理 8.2.3： \(\mathcal{A}\) 單位 \(C^*\) 代數， \(a = a^*\) （或正規）。則存在唯一等距 \(\ast\) -同構

\[ C(\sigma(a)) \ni f \mapsto f(a) \in C^*(a, e) \]

使 \(f(a)\) 在 \(f\) 為多項式時與多項式演算一致。且 \(\sigma(f(a)) = f(\sigma(a))\) 。

證明思想：Stone–Weierstrass 用多項式稠密於 \(C(\sigma(a))\) （ \(\sigma(a)\) 緊實集）；多項式演算有等距性 \(\|p(a)\| = \sup_{\sigma}|p|\) （自伴：由 \(\rho(a) = \|a\|\) 與譜映射 4.1），故 Cauchy 列→極限，良定義唯一。∎

正算子的平方根（3.2 節的圓滿）： \(a \ge 0\) 時 \(f(t) = \sqrt t \in C(\sigma(a))\) ， \(a^{1/2}\) 存在唯一且正——第 3 章用迭代構造的結果，現在是演算的三行推論。這就是公理化的回報：演算一旦建立，所有「函數操作」免費。

GNS 構造與抽象→具體#

定理 8.2.4（Gelfand–Naimark，一般情形 1943；GNS 構造）：每個 \(C^*\) 代數 \(\ast\) -等距同構於某 \(\mathcal{B}(H)\) 的範數閉 \(\ast\) -子代數。

證明思想（GNS）：取正線性泛函 \(\varphi \ge 0\) （ \(\varphi(a^*a) \ge 0\) ），定義半內積 \(\langle a, b\rangle = \varphi(b^*a)\) 、商掉零空間、完備化得 \(H_\varphi\) ；表示 \(\pi_\varphi(a)[b] = [ab]\) 滿足 \(\|\pi_\varphi(a)\| \le \|a\|\) 。取足夠多 \(\varphi\) （狀態空間分離元素，Hahn–Banach），直和表示等距。∎

GNS 構造把「抽象代數」重新「具體化」為算子——但這不是倒退：表示的選擇=「表象」的選擇，8.3 節 von Neumann 代數正是研究「所有表示的公共結構」。

例題#

例題 8.2.1： \(\mathcal{A} = C([0,1])\) ， \(a(t) = t\) 。描述 \(C^*(a)\) 、 \(\sigma(a)\) 、演算 \(f \mapsto f(a)\) ，並計算 \(a^{1/2}\) 與 \(\mathbf{1}_{[0,1/2]}(a)\) 的情況（後者為何不在連續演算內？）。

解： \(C^*(a) = C([0,1])\) 自身（ \(t\) 生成）， \(\sigma(a) = [0,1]\) （值域，例題 4.1.1）。演算 \(f \mapsto f(a) = f(t)\) （逐點合成）。 \(a^{1/2} = \sqrt t\) ✓。 \(\mathbf{1}_{[0,1/2]}\) 不連續——不在連續演算中；需要 Borel 演算（6.3 節譜測度的語言）：在 \(C^*\) 代數層面， \(\mathbf{1}_{[0,1/2]}(a)\) 不存在於 \(C([0,1])\) ，但存在於其雙對偶= von Neumann 代數 \(L^\infty[0,1]\) （8.3 節）——Borel 演算需要 von Neumann 代數，這正是 8.2 與 8.3 的分界線。∎

例題 8.2.2：證明 \(C^*\) 代數中 \(a\) 正規 \(\Rightarrow\) \(\|a\| = \rho(a)\) ，並用於證明 \(\mathcal{B}(H)\) 中 \(T\) 正規時 \(\|T\| = \sup_{\sigma(T)}|\lambda|\) （6.3 節範數公式的代數證明）。

解： \(T\) 正規⇒ \(C^*(T)\) 交換⇒Gelfand 變換等距： \(\|T\| = \|\hat T\|_\infty = \sup_{\mathfrak{M}}|\hat T| = \max_\sigma|\lambda|\) （ \(\sigma = \hat T(\mathfrak{M})\) ）。∎

歷史啟示#

  • 公理來自觀察： \(\|T^\dagger T\| = \|T\|^2\) 在 \(\mathcal{B}(H)\) 中是 Riesz 表示定理（3.1）的 \(C^*\) 恆等式的具體表現；Gelfand–Naimark 1943 年的洞見是把它「提升為公理」會捕捉全部幾何。好的公理是現象的結晶。
  • 演算的統一：6.1 節（多項式）、6.3 節（Borel/譜積分）、本節（連續）三層演算在 \(C^*\) 語言中是一個連續譜：連續演算屬於 \(C^*\) 代數、Borel 演算屬於 von Neumann 代數——代數層次=演算的精細度。
  • 物理的第二次綜合：1932 年 von Neumann 用 Hilbert 空間綜合矩陣力學與波動力學；1943 年 Gelfand–Naimark 用 \(C^*\) 代數綜合「所有 Hilbert 空間表示」——可觀測量代數獨立於表象，正是量子場論（1940s–60s，Haag）需要的框架。

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

  • 2.2、8.1 節：Banach 代數的逆與譜理論是本節的地基；Gelfand 變換被升級為等距。
  • 3.2 節：正算子、平方根在演算下獲得最終形式。
  • 6.3 節：連續演算的 \(\|f(T)\| = \sup|f|\) 是本節定理 8.2.3 的特例。
  • 8.3 節：von Neumann 代數= \(C^*\) 代數的「Borel 完備化」；雙對偶構造。
  • 第 10 章：量子力學的可觀測量代數； \(C^*\) 代數的狀態=量子態；自由概率（Voiculescu 1990s）以 \(C^*\) / \(W^*\) 代數為隨機變量。
  • 拓撲學：向量叢的連續截面代數是 \(C^*\) 代數；Serre–Swan 定理（1962）：叢=投影模—— \(K\) 理論是 \(C^*\) 代數的拓撲不變量。

練習#

  1. 證明 \(C^*\) 恆等式⇒ \(\|a^*\| = \|a\|\) 與 \(a^*a = 0 \Rightarrow a = 0\) 。
  2. 證明自伴元譜 \(\subset \mathbb{R}\) （用 \(\rho(a) = \|a\|\) 與虚部估計）。
  3. 對 \(a \ge 0\) ，用演算證明： \(\lambda \notin [0, \infty) \Rightarrow a - \lambda e\) 可逆，且 \(\sigma(a^{1/2}) = \sqrt{\sigma(a)}\) 。
  4. 在 \(\mathcal{B}(\ell^2)\) 中，求對角算子 \(D = \operatorname{diag}(1, \frac12, \ldots)\) 生成的 \(C^*\) 代數，並描述其譜空間。
  5. 思考題：為什麼連續演算「止步」於 \(C^*\) 代數而 Borel 演算需要更大代數？用例題 8.2.1 的 \(\mathbf{1}_{[0,1/2]}\) 說明：投影是 Borel 對象，而 \(C^*\) 代數可能不含非平凡投影（ \(C([0,1])\) 的投影只有 \(0, I\) ！）。

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

場景一：Borel 演算的代數語言。von Neumann 雙對偶定理（8.3）： \(\mathcal{A}^{**}\) 是 von Neumann 代數， \(C^*\) 代數 \(\mathcal{A} \subset \mathcal{A}^{**}\) ；Borel 演算= \(\mathcal{A}^{**}\) 中的演算。「更大的代數容納更野的函數」是 8.2→8.3 的主題句。

場景二：非交換拓撲（Gelfand 對偶）。Gelfand–Naimark：交換 \(C^*\) 代數↔局部緊空間（完全的字典）。Connes 的非交換幾何（1980s）：把「非交換 \(C^*\) 代數」當作「非交換空間」，譜三元組、循環上同調重寫微分幾何——Minkowski 時空的量子版本、標準模型幾何化的嘗試。Gelfand 的字典成為新幾何的語法。

場景三： \(C^*\) 代數的分類計劃。Elliott 綱領（1990s）：用 \(K\) 理論與跡空間分類「良好」 \(C^*\) 代數（單、核、跡）。2000 年代的突破（Kirchberg–Phillips）與 2015 年的挫折（Tikuisis–White–Winter 修正到 quasidiagonal 情形）展示：公理的剛性使分類深刻但也極難——與 4.3 節「有限維分類優雅、無窮維狂野」的主題再次呼應。

名詞速查表#

  • ** \(C^*\) 恆等式**： \(\|a^*a\| = \|a\|^2\) ；範數由譜鎖定。
  • Gelfand–Naimark 定理：交換 \(C^*\) 代數≅ \(C_0(X)\) ；一般 \(C^*\) 代數≅ \(\mathcal{B}(H)\) 子代數。
  • 連續函數演算： \(C(\sigma(a)) \cong C^*(a)\) ，唯一等距 \(\ast\) -同構。
  • 正元： \(a = b^*b\) ；譜 \(\subset [0, \infty)\) ；序結構的原子。
  • GNS 構造：正泛函→表示；狀態=物理的純態。
  • 投影： \(p = p^* = p^2\) ； \(C([0,1])\) 無非平凡投影——Borel 演算的缺席證據。

年表速查#

  • 1943：Gelfand–Naimark 定理；GNS 構造（Gelfand–Naimark–Segal，Segal 1947）。
  • 1947：Segal 的不可約表示理論。
  • 1950s：Kadison 的代數泛函分析（Kadison 環函數、不可約刻畫）。
  • 1960s：Dixmier《 \(C^*\) 代數》；Dixmier–Douady 連續跡。
  • 1962：Serre–Swan 定理。
  • 1970s：Glimm 定理、 \(C^*\) 代數分類的開端。
  • 1980s：Connes 非交換幾何；Kasparov KK 理論。
  • 1990s–2015：Elliott 分類綱領。

深化問答三則#

問： \(C^*\) 恆等式為什麼是「正確」的公理？ 答：候選公理很多（ \(\|a^*a\| \ge \|a\|^2\) 等弱形式），但等式版本同時做到：(1) 範數唯一（同構的 \(C^*\) 範數唯一——Bohnenblust–Karlin）；(2) 自伴元的 \(\rho = \|a\|\) ；(3) 正元理論與演算。弱形式做不到剛性——「剛性=可分類性」的經驗在數學中反覆出現（Riemann 流形 vs 度量空間）。

問：GNS 表示的「自由度」象徵什麼？ 答：狀態 \(\varphi\) =「觀察者的準備」。同一個代數在不同狀態下得到不同的 Hilbert 空間表示——量子場論中「超選擇區」（superselection sectors）正是不可等價表示的物理名稱（Haag 1950s–60s）。代數是本體、表示是現象：8.3 節的 von Neumann 代數將把「現象的共同層」抽象出來。

問：連續演算的唯一性為什麼重要？ 答：因為它使 \(f(T)\) 有唯一意義——數學與物理（矩陣函數、觀測量函數）都要求唯一性。多項式逼近+等距性給出唯一性；若範數不滿足 \(C^*\) 恆等式（一般 Banach \(\ast\) -代數），演算可以多值或不存在（ \(\ast\) -代數可以有「病態」表示）——公理的等式強度=演算的唯一性。

（本節完）