8.3 VONNEUMANN代數與雙對偶#

本章導言#

\(C^*\) 代數止步於連續演算；但譜定理（6.3）需要 Borel 演算、投影、譜測度。von Neumann 代數（1930 年代 von Neumann 與 Murray 稱「算子環」）是 \(C^*\) 代數的完備化層次：在弱算子拓撲下封閉的 \(\mathcal{B}(H)\) 的 \(\ast\) -子代數。它自帶豐富的投影格與跡理論，Murray–von Neumann（1936–1943）的因子分類是其第一座豐碑。本節用雙對偶構造（ \(\mathcal{A} \subset \mathcal{A}^{**}\) ）把 \(C^*\) 與 \(W^*\) 代數統一，並解釋「非交換測度論」的含義。

定義與雙換位元定理#

定義 8.3.1： \(\mathcal{M} \subset \mathcal{B}(H)\) 是 von Neumann 代數（ \(W^*\) 代數），若 \(\ast\) -子代數含 \(I\) 且等價條件：

定理 8.3.2（雙換位元定理，von Neumann 1929）： \(\ast\) -子代數 \(\mathcal{M} \subset \mathcal{B}(H)\) 下列等價： (1) \(\mathcal{M} = (\mathcal{M}')'\) ；(2) \(\mathcal{M}\) 強（或弱）算子拓撲閉；(3) \(\mathcal{M}\) 對投影封閉（含每個不變子空間的投影）。

證明要點：核心是「投影生成」：對 \(x \in H\) 、 \(S \in \mathcal{M}\) ， \(\overline{\mathcal{M}x}\) 的投影 \(P_{\overline{\mathcal{M}x}}\) 屬於 \(\mathcal{M}'\) （ \(\mathcal{M}\) 不變該子空間⇒換位元含其投影）。由 Kaplansky 密度與逼近論證，強閉包= \((\mathcal{M}')'\) 。∎

等價性的深意：代數性質（換位元）、拓撲性質（強閉）、幾何性質（投影封閉）三者同一——von Neumann 代數是代數、拓撲、幾何的三重對象，這解釋了它的理論豐富性。

例子： \(\mathcal{B}(H)\) （型 \(I\) ）、 \(L^\infty[0,1]\) 作用於 \(L^2\) （交換，型 \(I\) 的乘法形式）、Toeplitz 算子的 von Neumann 代數、群 von Neumann 代數 \(\mathcal{L}(G)\) 。

雙對偶構造#

定理 8.3.3： \(C^*\) 代數 \(\mathcal{A}\) 的 Banach 雙對偶 \(\mathcal{A}^{**}\) 有唯一 \(C^*\) 代數結構使典範嵌入 \(\mathcal{A} \subset \mathcal{A}^{**}\) 是 \(\ast\) -同構； \(\mathcal{A}^{**}\) 是 von Neumann 代數（有預對偶 \(\mathcal{A}^*\) ）。

意義： - \(\mathcal{A}^{**} \supset \mathcal{A}\) 容納一切 Borel 演算： \(C([0,1])^{**} \cong\) 極大理想空間上的 \(L^\infty\) 型代數（ \(L^\infty[0,1] \subset C[0,1]^{**}\) ）； - 表示的公共層： \(\mathcal{A}\) 的任何表示 \(\pi\) 延拓到 \(\pi^{**} : \mathcal{A}^{**} \to \pi(\mathcal{A})''\) （超弱連續）——** \(\mathcal{A}^{**}\) 是「所有表示」的萬能收容器**； - 超選擇區： \(\mathcal{A}^{**}\) 的中心分解=不可約表示的分類（物理的「純相」）。

因子與維數#

Murray–von Neumann 分類（1936–1943）：中心 \(\mathcal{Z}(\mathcal{M}) = \mathcal{M} \cap \mathcal{M}'\) ； \(\mathcal{Z} = \mathbb{C}I\) 時稱因子。以投影的酉等價定義維數函數 \(d(P)\) ，取值於：

** \(II_1\) 因子的震撼**：存在「維數連續」的空間——投影可以「一半大小」（非整數秩），跡 \(\tau : \mathcal{M} \to \mathbb{C}\) 滿足 \(\tau(ab) = \tau(ba)\) 。Murray–von Neumann 的原始例子來自群表示與自由群；Connes（1973）完成 \(III\) 因子的分類（週期/流型），1976 年證明 \(II_1\) 因子的剛性定理。

例題#

例題 8.3.1： \(\mathcal{M} = L^\infty[0,1]\) 作用於 \(H = L^2[0,1]\) （乘法）。證明 \(\mathcal{M}' = \mathcal{M}\) （極大交換），並描述其投影格與跡。

解：若 \(T\) 與一切 \(M_g\) 交換，則與 \(M_\mathbf{1}_E\) （ \(E\) 可測）交換，即 \(T(\mathbf{1}_E f) = \mathbf{1}_E Tf\) —— \(T\) 保持每個 \(L^2(E)\) ，於是 \(T\) 「局部化」：取 \(E \ni x\) 縮小，得 \(Tf(x) = \tau(x)f(x)\) 型（存在可測乘子 \(\tau\) ， \(\|T\| = \operatorname*{ess\,sup}|\tau|\) ——用 Lebesgue 微分定理或簡單測度論論證）。故 \(T = M_\tau \in \mathcal{M}\) 。投影=示性函數，格=測度集的格（模測度零），跡 \(\tau(E)\) = Lebesgue 測度——交換 von Neumann 代數=測度空間（經典機率論的幾何化身）。∎

例題 8.3.2：在 \(II_1\) 因子 \(R\) （超有限）中，構造投影 \(P\) 使 \(\tau(P) = 1/2\) ，並證明 \(P \sim I - P\) （酉等價）。

解： \(R \cong \bigotimes_n M_2(\mathbb{C})\) （無窮張量積，von Neumann 無窮直積構造 1938）。取 \(P = \bigotimes_n p\) ， \(p = \operatorname{diag}(1, 0)\) ， \(\tau(P) = \prod \tau(p) = (1/2)^\infty\) ——非此法；正確做法： \(\tau(\bigotimes p_n)\) 型論證中取 \(p_1 = p\) 、其餘 \(= I\) ，得 \(\tau(P) = 1/2\) 。酉等價： \(R\) 的超有限性（性質 \(\Gamma\) ，Murray–von Neumann 1943）給出半經典論證： \(P \sim I - P\) 因兩者跡相等且 \(R\) 中「跡相等⇒酉等價」（ \(II_1\) 因子的維數理論）。∎

歷史啟示#

• 「弱封閉」取代「範數封閉」：Borel 演算需要極限（ \(\mathbf{1}_{[0,1/2]}(M_x) =\) 乘 \(\mathbf{1}_{[0,1/2]}\) ，是強極限而非範數極限）——von Neumann 選擇弱/強拓撲正是為了容納譜測度。拓撲的選擇=理論的層次。
• 維數的革命：Murray–von Neumann 發現「維數」不必離散—— \(II_1\) 因子是第一個「連續維數」的數學對象，預告了現代幾何（von Neumann 代數的葉狀結構測度、Connes 的非交換幾何）。
• 預對偶的獨特性： \(W^*\) 代數=有預對偶的 \(C^*\) 代數（Sakai 1956 證明唯一性）；預對偶使「測度」「期望值」「積分」在非交換世界有意義——非交換測度論的立足點。

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

• 8.1、8.2 節：Gelfand 理論與 \(C^*\) 公理是本節的底座；雙對偶是「Gelfand 變換的非交換替代」。
• 6.3 節：Borel 演算與譜測度住在 von Neumann 代數——譜定理的最終歸宿。
• 3.3 節：投影格的正交模結構在因子分類中發揮維數理論的作用。
• 第 7 章：無界自伴算子生成的 von Neumann 代數（ \(\{e^{itA}\}''\) ）是「量子動力學的代數」。
• 第 10 章：量子力學的可觀測量代數（Haag 的代數量子場論：時空區域↔von Neumann 代數）；量子資訊的糾纏熵= von Neumann 熵 \(-\tau(\rho\log\rho)\) 。
• 遍歷理論：保測變換的 von Neumann 代數（交叉積 \(L^\infty \rtimes \mathbb{Z}\) ）連接動力系統與因子分類（Connes 的遍歷分類）。

練習#

1. 證明 \(\mathcal{M}'\) 總是 von Neumann 代數（弱閉 \(\ast\) -代數）。
2. 對 \(\mathcal{M} = \mathcal{B}(H)\) ：求 \(\mathcal{M}'\) ，並驗證雙換位元定理。
3. 描述 \(L^\infty(\mathbb{T})\) 的投影格與其 \(L^2\) 表示中的強閉性（ \(\mathbf{1}_E\) 是示性函數列的強極限）。
4. 證明： \(II_1\) 因子中 \(\tau(ab) = \tau(ba)\) （從跡的正性+ \(II_1\) 公理推導），並由此證明 \(\tau\) 在酉共軛下不變。
5. 思考題：為什麼 \(C([0,1])^{**}\) 比 \(L^\infty[0,1]\) 更大？（前者包含「純有限可加」的幽靈投影——2.3 節場景二的 \(L^\infty\) 對偶問題的重現。）

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

場景一：Tomita–Takesaki 理論（1967–1970）。每個 von Neumann 代數有模自同構群 \(\sigma_t^\varphi\) （由跡/狀態 \(\varphi\) 定義）與模算子 \(\Delta\) ——每個代數內建「時間流」。Connes 用它分類 \(III\) 因子（ \(III_\lambda\) 、 \(III_0\) 、 \(III_1\) ），並定義非交換幾何的「譜三元組」——1970 年代算子代數的第二次大綜合。

場景二：代數量子場論（AQFT）。Haag–Kastler 公理（1964）：時空區域 \(O \mapsto \mathcal{M}(O)\) （局部 von Neumann 代數），同倫、微觀因果性 \(\mathcal{M}(O) \subset \mathcal{M}(O')'\) 。自由場與相互作用場（Wightman 1956）的代數化；超選擇區與 DHR 理論（Doplicher–Haag–Roberts 1970s）用因子分類描述粒子——von Neumann 代數成為量子場論的數學語言。

場景三：自由機率與隨機矩陣。Voiculescu（1991）：大隨機矩陣的極限服從「自由獨立」——自由卷積的 \(R\) -變換。 \(II_1\) 因子的自由熵（Voiculescu 1990s）、隨機矩陣模型構造因子（至今問題： \(\mathcal{L}(\mathbb{F}_n)\) 是否單射、是否同構於 \(R\) ——自由因子問題是本世紀的開放難題）。

名詞速查表#

• von Neumann 代數： \(\mathcal{M} = \mathcal{M}''\) ；=強閉 \(\ast\) -代數；有預對偶。
• 換位元 \(\mathcal{M}'\) ：與 \(\mathcal{M}\) 交換的算子全體。
• 雙對偶 \(\mathcal{A}^{**}\) ： \(C^*\) 代數的 von Neumann 完備化。
• 因子： \(\mathcal{Z} = \mathbb{C}I\) ；型 \(I_n, I_\infty, II_1, II_\infty, III\) 。
• 跡： \(\tau(ab) = \tau(ba)\) 、 \(\tau \ge 0\) ； \(II_1\) 因子的維數函數。
• Tomita–Takesaki 模理論：代數內建的時間流與 \(III\) 分類。
• von Neumann 熵： \(-\operatorname{tr}(\rho\log\rho)\) ；量子資訊的基本量。

年表速查#

• 1929：von Neumann 雙換位元定理。
• 1936–1943：Murray–von Neumann 因子分類（五篇《論算子環》）。
• 1938：von Neumann 無窮張量積。
• 1949–1950：Dixmier 跡的推廣、 \(II_1\) 理論系統化。
• 1956：Sakai 預對偶唯一性。
• 1964：Haag–Kastler AQFT 公理。
• 1967–1970：Tomita–Takesaki 模理論；Connes \(III\) 分類（1973）。
• 1980s：Connes 非交換幾何。
• 1991：Voiculescu 自由機率。

深化問答三則#

問：von Neumann 代數與 \(C^*\) 代數的實質差別是什麼？ 答：拓撲與演算的層次。 \(C^*\) ：範數閉、連續演算、投影可以稀缺（ \(C([0,1])\) 無非平凡投影）。 \(W^*\) ：弱閉、Borel 演算、投影俯拾皆是（生成一切）、有預對偶（可積分）。類比： \(C([0,1])\) 之於 \(L^\infty[0,1]\) =拓撲空間之於測度空間——** \(C^*\) =非交換拓撲學， \(W^*\) =非交換測度論**。

問：雙對偶 \(\mathcal{A}^{**}\) 為什麼是「表示的萬能收容器」？ 答：每個表示 \(\pi : \mathcal{A} \to \mathcal{B}(H_\pi)\) 的雙對偶 \(\pi^{**}\) 把 \(\mathcal{A}^{**}\) 映上到 \(\pi(\mathcal{A})''\) 。反之 \(\mathcal{A}^{**}\) 的超弱連續表示與 \(\mathcal{A}\) 的表示一一對應。所以研究 \(\mathcal{A}\) 的「所有表示」=研究 \(\mathcal{A}^{**}\) 的代數結構（中心分解=超選擇區）。GNS+雙對偶=「所有表象的聯邦」。

問： \(II_1\) 因子對數學基礎有什麼哲學衝擊？ 答：「維數」原是離散直覺（向量空間的基數）， \(II_1\) 因子證明存在連續維數的自洽理論（ \(\tau(P) \in [0,1]\) 、可加、酉不變）。Murray–von Neumann 的原始動機之一正是量子力學的觀測量（連續譜=連續維數的直覺來源）。更深： \(\mathcal{L}(\mathbb{F}_n)\) 因子的不可分類性（自由群因子問題）意味著「非交換空間」的世界遠比經典拓撲豐富。

（本節完）