1943-算子代數（Gelfand–Naimark 的 C*-代數理論）#

案件摘要#

1943 年，Gelfand 與 Naimark 發表《On the embedding of normed rings into the ring of operators in Hilbert space》，奠定 C*-代數理論。他們證明：帶對合的巴拿赫代數若滿足 \(C^*\) 公理，就同構於 Hilbert 空間上的有界算子代數。這件案子把「抽象代數」與「量子力學的算子」接上了線。

前因 -- 為什麼會有這個案子#

量子力學（1925–1932）：Heisenberg 的矩陣力學中，物理量是 Hilbert 空間上的（不交換）算子，滿足 \([x, p] = i\hbar I\) 。von Neumann 在 1932 年《Mathematische Grundlagen der Quantenmechanik》把量子力學公理化為 Hilbert 空間上的算子理論。
von Neumann 代數（1930s）：von Neumann 與 Murray（1936 起）研究「算子環」（今日稱 von Neumann 代數）：Hilbert 空間上有界算子代數 \(M \subseteq B(H)\) ，滿足 \(M = M''\) （雙交換子，bicommutant）。
譜理論傳統：Hilbert（1906）、Riesz、Stone 已建立算子譜理論；矩陣 \(A\) 的「特徵值」推廣為算子的「譜」 \(\sigma(A)\) 。
Gelfand 學派：1941 年 Gelfand 建立交換巴拿赫代數的理論（極大理想空間、Gelfand 變換）。1943 年他與 Naimark 把它推廣到帶對合的非交換情形。

問題：什麼樣的抽象（帶對合的）賦範代數，恰好「就是」Hilbert 空間上的算子代數？

線索與推理 -- 數學式、程式、理論#

線索一：C*-代數的公理#

一個 *C-代數 是複數域上的 Banach 代數 \(A\) ，配備對合 \(a \mapsto a^*\) ，滿足：

\((a+b)^* = a^* + b^*\) ， \((\lambda a)^* = \bar{\lambda} a^*\) ， \((ab)^* = b^* a^*\)
\(\|a + b\| \leq \|a\| + \|b\|\) 、 \(\|\lambda a\| = |\lambda|\,\|a\|\) （賦範）
次乘性： \(\|ab\| \leq \|a\|\,\|b\|\)
完備性（Banach）
**C-恆等式（關鍵線索）*： \(\|a^* a\| = \|a\|^2\)

第 5 條看似溫和，卻是整件案子的「指紋」：它把對合與範數綁在一起，逼出所有深層結構。矩陣代數 \(M_n(\mathbb{C})\) 取共軛轉置與算子譜範數即滿足，因為 \(\|A^*A\| = \sigma_{\max}(A)^2 = \|A\|^2\) 。

線索二：Gelfand 變換 —— 交換 C*-代數 \(\cong\) 連續函數 \(C(X)\)#

若 \(A\) 是交換 C*-代數（ \(ab = ba\) ），Gelfand 譜理論告訴我們：

定理（Gelfand–Naimark，交換情形）：交換 C*-代數 \(A\) 同構於其極大理想空間（譜空間） \(X = \Delta(A)\) 上的連續函數代數 \(C(X)\) ：

\[ \Gamma : A \longrightarrow C(X), \qquad \Gamma(a)(\chi) = \hat{a}(\chi) = \chi(a) \]

其中 \(\chi\) 是 \(A\) 上的非零積性線性泛函（特徵標）。此同構是等距的： \(\|\hat{a}\|_\infty = \|a\|\) 。

代數問題化為拓撲問題： \(a\) 的譜 \(\sigma(a) = \hat{a}(\Delta(A))\) ，是緊緻集。連續函數的「零點集」對應極大理想。這是「空間由其函數環決定」思想的典範，後來啟發了非交換幾何。

線索三：Gelfand–Naimark 表現定理（非交換情形）#

定理（1943）：每個 C*-代數 \(A\) 等距 -同構於某個 Hilbert 空間 \(H\) 上有界算子代數 \(B(H)\) 的（範數閉）-子代數。證明用 GNS 構造：取正線性泛函 \(\varphi\) （ \(a^*a\) 映到非負數），定義內積 \(\langle a, b\rangle_\varphi = \varphi(b^* a)\) ，讓 \(A\) 左乘表現於 \(A/N_\varphi\) 上。

三大譜理論在一個框架下統一： - 正規元素（ \(a^*a = aa^*\) ）→ 譜定理： \(a\) 對應 \(C(\sigma(a))\) 上的乘法算子 - 自伴元素（ \(a^* = a\) ）→ 譜 \(\sigma(a) \subset \mathbb{R}\) ，對應量子力學的可觀測量（實特徵值！） - 幺正元素（ \(u^*u = uu^* = 1\) ）→ \(\sigma(u) \subset \{z : |z| = 1\}\)

線索四：Python 驗證矩陣範數性質#

用 numpy 驗證 C*-恆等式與次乘性（在 \(M_n(\mathbb{C})\) 上，範數取譜範數）：

import numpy as np

rng = np.random.default_rng(1943)

def norm(A):                      # 算子譜範數 = 最大奇異值
    return np.linalg.norm(A, 2)

for n in (2, 3, 5):
    for _ in range(5):
        A = rng.normal(size=(n, n)) + 1j * rng.normal(size=(n, n))
        B = rng.normal(size=(n, n)) + 1j * rng.normal(size=(n, n))
        Astar = A.conj().T

        # C*-恆等式: ||A*A|| = ||A||^2
        lhs = norm(Astar @ A)
        assert abs(lhs - norm(A)**2) < 1e-10

        # 次乘性: ||AB|| <= ||A|| ||B||
        assert norm(A @ B) <= norm(A) * norm(B) + 1e-12

        # 自伴元素的譜是實數
        S = (A + Astar) / 2
        eig = np.linalg.eigvalsh(S)   # eigvalsh 針對 Hermitian
        assert np.allclose(eig, eig.real)

print("C*-axioms verified on matrix algebras")

輸出：C*-axioms verified on matrix algebras —— 抽象公理在矩陣上完全成立。

結案 -- 後果與影響#

算子代數成為獨立學科：C*-代數（交換/非交換）與 von Neumann 代數（加上弱閉性）雙線發展；Connes（1970s）的分類因子理論獲 1982 菲爾茲獎。
量子力學的數學語言：可觀測量 = 自伴算子，態 = 正線性泛函（密度矩陣），測量 = 譜測度。C*-代數至今是量子場論公理化（Haag–Kastler）的基礎。
非交換幾何：Gelfand 變換的對偶思想（空間 ↔ 函數代數）被 Connes 反轉為「用非交換代數研究『非交換空間』」。
量子計算：量子位元態空間 \(\mathbb{C}^{2^n}\) 、量子閘 = 幺正矩陣（ \(u^*u=I\) ）、算子範數控制誤差傳播；量子通道的完全正映射理論就生長在 C*-代數土壤上。

關鍵人物與文獻#

I. Gelfand, M. Naimark, On the imbedding of normed rings into the ring of operators in Hilbert space, Mat. Sb. 12 (1943), 197–217.
J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Springer, 1932；Murray–von Neumann, On rings of operators, Ann. of Math. 37 (1936).
A. Connes, Noncommutative Geometry, Academic Press, 1994.
教科書：K. Davidson, C-Algebras by Example；G. Murphy, C-Algebras and Operator Theory.