02.1 特徵標表：隱藏在矩陣背後的分子指紋#

1. 從 Schur 到化學課本：特徵標表的百年之旅#

1905 年，Issai Schur 在 Berlin 跟隨 Frobenius 完成表示論奠基工作時，這門學問是純代數與數論（Frobenius 1896 年引入特徵標，動機來自數論中的群行列式）。把它變成化學家書桌上的工具，靠的是兩波推力：

1929 年 Bethe：在《Termsplitting in crystal fields》中用點群的不可約表示分析原子能階在晶體場中的分裂——特徵標第一次進入光譜學。
1930 年代 Mulliken 與 Wigner：把特徵標分析標準化為處理分子光譜與分子軌域的流程，Mulliken 更直接以不可約表示的名字命名分子軌域（ $\sigma, \pi, \delta$ 與 $a_1, e, t_2$ 等符號沿用至今）。

今日任何量化計算軟體（Gaussian、ORCA、PySCF）輸出的軌域標籤，背後都是一張特徵標表。這是數學理論落地最快的案例之一：從純數論動機到化學教科書，只花了三十年。

2. 不可約表示與特徵標的定義#

定義 4.1（可約與不可約） 表示 $\rho:G\to GL(V)$ 可約，若存在真子空間 $W\subset V$ 對所有 $\rho(g)$ 不變；否則不可約（irreducible representation, irrep）。

定義 4.2（特徵標） $$ \chi(g)=\operatorname{tr}\rho(g) $$ 特徵標是跡函數，因此是類函數：共軛元素有相同特徵標（ $\operatorname{tr}(xgx^{-1})=\operatorname{tr}g$ ）。這正是共軛類在 01.2 章被定義的原因——類是特徵標的自然「取樣格」。

定理 4.1（特徵標基本性質，Frobenius–Schur） 設 $G$ 有 $c$ 個共軛類、不可約表示 $\rho_1,\dots,\rho_c$ 、維度 $d_i$ ，則： 1. 不可約表示的個數 = 類的個數 $c$ 。 2. $\sum_i d_i^2=|G|$ （Burnside）。 3. 正交關係： $\frac{1}{|G|}\sum_{g\in G}\chi_i(g)\chi_j(g)^*=\delta_{ij}$ 。

性質 1 與 2 一起把特徵標表的形狀完全鎖死： $C_{3v}$ （階 6、三類）必為 $3\times 3$ 表，且維度平方和 $1+1+4=6$ 。 先知形狀，再算內容——這是群論預測力的典範。

3. 一張完整的表： $C_{2v}$ 特徵標表#

$C_{2v}$	$E$	$C_2(z)$	$\sigma_v(xz)$	$\sigma_v'(yz)$	基函數
$A_1$	1	1	1	1	$z$ , $x^2,y^2,z^2$
$A_2$	1	1	$-1$	$-1$	$R_z$ , $xy$
$B_1$	1	$-1$	1	$-1$	$x$ , $R_y$ , $xz$
$B_2$	1	$-1$	$-1$	1	$y$ , $R_x$ , $yz$

讀表規則：

左欄 Mulliken 符號： $A/B$ 表一維對主軸對稱/反對稱；下標 1/2 表對垂直鏡面對稱/反對稱； $g/u$ 表對反演偶/奇；撇號表對水平鏡面。
右欄「基函數」告訴你哪個坐標函數按哪一列變換—— 這是把物理對象（軌域、振動、轉動）翻譯成群論語言的字典。

用 Python 生成 $C_{2v}$ 表：

import numpy as np
from itertools import product

# C2v 的四個操作矩陣（作用於 (x,y,z)）
ops = {
    "E": np.eye(3),
    "C2": np.diag([-1, -1, 1]),
    "sv(xz)": np.diag([1, -1, 1]),
    "sv'(yz)": np.diag([-1, 1, 1]),
}

# 一維表示 = 每個操作映射到 +1 或 -1 的群同態
# 窮舉所有合法同態：phi(gh)=phi(g)phi(h)
labels = {}
for vals in product([1, -1], repeat=4):
    # E 必須映射到 +1
    if vals[0] != 1:
        continue
    # 同態條件：每對操作乘積的像 = 像的乘積
    names = list(ops)
    imgs = dict(zip(names, vals))
    valid = all(
        imgs[a] * imgs[b] == imgs[
            next(n for n in names
                 if np.allclose(ops[n], ops[a] @ ops[b]))
        ]
        for a in names for b in names
    )
    if valid:
        label = ("A" if imgs["C2"] == 1 else "B") + \
                ("1" if imgs["sv(xz)"] == 1 else "2")
        labels[label] = vals

for k in sorted(labels):
    print(f"{k}: {labels[k]}")
# 輸出：
# A1: (1, 1, 1, 1)
# A2: (1, 1, -1, -1)
# B1: (1, -1, 1, -1)
# B2: (1, -1, -1, 1)

四個同態正好對應 Mulliken 標籤 $A_1,A_2,B_1,B_2$ —— 特徵標表可以被程式從群公理「長」出來，這說明它不是查表文化，而是可推導的數學結構。

4. 約化公式：把可約表示拆成指紋#

定理 4.2（約化公式） 可約表示 $\Gamma$ 的分解係數： $$ a_i=\frac{1}{|G|}\sum_{C} N_C\,\chi_\Gamma(C)\,\chi_i(C)^* $$ 其中 $C$ 跑遍共軛類、 $N_C$ 為類中元素個數。

化學實例：水分子的振動分解。 $H_2O$ 有 3 個原子，每個原子 3 個位移自由度，共 9 維表示 $\Gamma_{3N}$ 。逐類數「不動向量數」得特徵標 $(9, -1, 1, 3)$ ，代入約化公式：

# C2v 的類資料：每類一個元素（N_C = 1），階數 4
order = 4
irreps = {
    "A1": [1,  1,  1,  1],
    "A2": [1,  1, -1, -1],
    "B1": [1, -1,  1, -1],
    "B2": [1, -1, -1,  1],
}
chi_3N = [9, -1, 1, 3]     # 水分子 3N 表示的特徵標

for name, chi_i in irreps.items():
    a = sum(c * g * i for c, g, i in zip(chi_3N, irreps["A1"], chi_i)) / order
    # 注意：C2v 每類元素數為 1，且特徵標皆為實數
    a = sum(g * i for g, i in zip(chi_3N, chi_i)) / order
    print(name, int(a))
# 輸出：A1 3, A2 1, B1 2, B2 3
# Γ_3N = 3A1 + A2 + 2B1 + 3B2

扣掉平移（ $A_1+B_1+B_2$ ）與轉動（ $A_2+B_1+B_2$ ）後，振動表示為 $$ \Gamma_{vib}=2A_1+B_2 $$ 水分子恰好有三個振動模式——與實驗的三條基本振動帶（對稱伸縮 $3657\ \mathrm{cm^{-1}}$ 、彎曲 $1595\ \mathrm{cm^{-1}}$ 、反對稱伸縮 $3756\ \mathrm{cm^{-1}}$ ）完全吻合。還沒解任何微分方程，模式數目已經被一張 $4\times 4$ 表算出。

5. 特徵標表如何「指紋」分子#

特徵標表在化學中的三重角色：

分類器：軌域、振動、躍遷矩都被貼上 irrep 標籤。
選擇律計算器：兩個態的直積表示若不含 $A_1$ （全對稱表示），躍遷禁制——見 02.2 章。
軌域婚配所：只有屬於同一 irrep 的軌域可以混合——見 02.3 章。

直積是關鍵運算。定理 4.3（直積分解） $$ \chi_{\rho\otimes\sigma}(g)=\chi_\rho(g)\,\chi_\sigma(g) $$ 即直積表示的特徵標是逐項相乘，再用約化公式拆開。例如 $C_{2v}$ 中 $B_1\otimes B_2=A_2$ ：逐項 $(1)(1),( -1)(-1),(1)(-1),(-1)(1)=(1,1,-1,-1)=A_2$ 。 $A_2\otimes A_2=A_1$ 永遠成立——同一 irrep 自乘必含全對稱表示，這一行話就是所有光譜選擇律的數學核心。

6. 歷史餘響：從 Mulliken 標籤到現代計算化學#

Mulliken 在 1932 年前後的論文中，堅持用小寫 $a_1,e,t_2$ 標記單電子軌域、大寫標記多電子態——這套命名法直到今天出現在每一份量化輸出檔裡。群論進入化學的路徑並非一帆風順： 1930 年代不少化學家視之為「德國數學玄學」，直到 1950 年代電子計算機問世、1970 年代 Cotton 的《Chemical Applications of Group Theory》成為標準教材，特徵標表才徹底日常化。 理論的存活取決於它能否被例行化——特徵標表是最終活下來的形式：夠簡單（整數表）、夠有力（鎖死選擇律）、夠通用（分子與晶體皆宜）。

7. 章末小結#

特徵標是表示的跡，為類函數；不可約表示數 = 類數，維度滿足 Burnside 定理。
特徵標表的形狀可由群階與類數先行鎖定，內容可由群公理程式化生成。
約化公式把任何可約表示拆成指紋組合；水分子 $\Gamma_{vib}=2A_1+B_2$ 是零微分方程的模式計數示範。
直積特徵標逐項相乘；「自乘含 $A_1$ 」是選擇律的通用判據。
Mulliken 標籤是表示論在日常化學語言中的化石層。

下一步#

02.2 章把這套機器開到最大馬力：建立振動表示、扣除平移與轉動、查 IR 與 Raman 活性判據（ $x,y,z$ 對 IR；二次函數對 Raman）、算出相互排斥律——你將能只憑分子對稱，在動手做實驗之前寫下它的完整光譜面貌。

\(C_{2v}\)	\(E\)	\(C_2(z)\)	\(\sigma_v(xz)\)	\(\sigma_v'(yz)\)	基函數
\(A_1\)	1	1	1	1	\(z\) , \(x^2,y^2,z^2\)
\(A_2\)	1	1	\(-1\)	\(-1\)	\(R_z\) , \(xy\)
\(B_1\)	1	\(-1\)	1	\(-1\)	\(x\) , \(R_y\) , \(xz\)
\(B_2\)	1	\(-1\)	\(-1\)	1	\(y\) , \(R_x\) , \(yz\)