1. Hua 引理的歷史
在 1949年發表的短文
Hua 引理: 設 $\mathfrak{A}$, $\mathfrak{B}$ 是兩個具有分配律的代數系(algebra) (未必可結合的環, non-associative ring), $J$ 是$\mathfrak{A}$ 到 $\mathfrak{B}$ 的一個保持加法的映射, 使得對任意的 $a, b\in \mathfrak{A}$, 有 $(ab)^J=a^Jb^J$ 或 $(ab)^J=b^Ja^J$, 則 $J$ 是一個同態 (homomorphism) 或反同態 (anti-homomorphism) 。
定理 1: 設 $\sigma$ 是除環 (division ring) $K$ 到自身的一個滿射 (surjective map), 滿足 $$ \sigma(a+b) = \sigma(a) + \sigma (b), \qquad \sigma(aba) = \sigma(a) \sigma(b) \sigma(a),\qquad \sigma(1) = 1. $$ 則 $\sigma$ 或者是一個自同構 (automorphism) 或者是一個反自同構 (anti-automorphism)。
1951年, Jacobson 的 Lectures in Abstract Algebra 第一卷
1953年, E. Artin 在對 Bourbaki 的代數學書評
定理 2: 設 $\sigma$ 是除環 $D$ 到 $D'$ 之間的一個映射, 滿足 $\sigma(a+b)=\sigma(a)+\sigma(b)$, $\sigma(1)=1'$, 而且對 $a\neq 0$ 有 $\sigma(a)\neq 0$ 且 ${\sigma(a)}^{-1}=\sigma(a^{-1})$, 則 $\sigma$ 是一個同態或反同態。
Artin 緊接著指出了這個定理與華羅庚的結果之間的聯繫, 即這裏有一個 神奇的" (amazing) 非交換恒等式$^1$ $$ a - (a^{-1}+(b^{-1}-a)^{-1})^{-1} = aba $$
上述恒等式一般稱為 Hua 恒等式, 它甚至在 Jordan 代數中也成立。 應該公正地指出, 上述恒等式以及定理 2是 Artin 首先指出的。 就筆者所知, 華羅庚已發表的論文中並沒有出現這個恒等式 (雖然他擅長發現並應用一些恒等式, 如他對 Cartan-Brauer-Hua 定理以及華不等式的證明)。
未及 Bourbaki 代數學出版第二版, Artin 的幾何代數
定理 3: 凡廣義射影變換將調和點列變到調和點列。 反之, 凡使得調和點列仍變為調和點列的變換必定是某個廣義射影變換。
Artin 在他的這本專著中證明了一個形式略微不同 (可視為上述定理的仿射形式) 的結果, 即下述
定理 4: 一條直線 $K$ 到其自身的保持 (有限) 調和點列的雙射 $\sigma$ 具有下面的形式 $$ \sigma(x) = ax^\tau + b $$ 這裏 $a\neq 0$ 且 $\tau$ 是 $K$ 的一個自同構或反自同構。
在 $K=\mathbb{R}$ 為實數域的情形, 這個結果曾為德國數學家 von Staudt (1798-1867) 得到, 於是這個幾何定理又稱為 von Staudt-Hua 定理。 在 $K=\mathbb{C}$ 的情形, 華羅庚對此定理是極為瞭解的。 把這個定理從複數域推廣到各種類型的複矩陣空間是華羅庚 1940年代研究矩陣幾何的主要動機。
1974年 Jacobson 的 Basic Algebra 第一卷
2. 線性代數中的 Hua 引理及其應用
我們的目標是證明下述
定理 5: 設 $B$ 是域 $F$ 上向量空間 $V$ 上的雙線性型, 使得由 $B(x, y)=0$ 定義的正交關係是對稱的, 即 $B(x, y)=0\Leftrightarrow B(y, x)=0$, 則 $B$ 是對稱的或者反對稱的。
這個結果首先出現在 Artin 的專著
引理 1: 設 $B$ 是域 $F$ 上向量空間 $V$ 上的雙線性型, 使得對任意的 $x, y\in V$ 或者有 $B(x, y)=B(y, x)$ 或者有 $B(x, y)=-B(y, x)$, 則 $B$ 是對稱的或反對稱的。
證明: 對固定的 $x\in V$, 使得 $B(x, y)=B(y, x)$ 成立的 $y\in V$ 構成一個子空間$U_x$, 使得 $B(x, y)=-B(y, x)$ 成立的 $y\in V$ 也構成一個子空間 $W_x$。 由條件有 $V=U_x\cup W_x$。由於 $V$ 不能寫成兩個真子空間的並, 於是 $U_x=V$ 或 $W_x=V$。 現在變動 $x$, 令 $V_1=\{x\in V|U_x=V\}$, $V_2=\{x\in V|W_x=V\}$, 再用一次上述事實, 得到 $V_1=V$ 或 $V_2=V$。 按照 $V_1$, $V_2$ 的定義, 這分別對應 $B(x, y)=B(y, x)$ 一致成立或 $B(x, y)=-B(y, x)$ 一致成立, 即 $B$ 對稱或反對稱。
定理 5的證明: 對任意的 $x,y\in V$, 令 $$ z = B(x, x)y - B(y, x)x $$ 則 $$ B(z, x) = B(x, x) B(y, x) - B(y, x) B(x, x) = 0 $$ 從而 $$ B(x, z) = B(x, x) B(x, y) - B(y, x) B(x, x) = 0 $$ 也就是 \begin{equation} %(1) B(x, x) (B(x, y) - B(y, x)) = 0 \end{equation} 在上式中互換 $x$, $y$ 有 \begin{equation} %(2) B(y, y) (B(x, y) - B(y, x)) = 0 \end{equation} 又在 (1) 中用 $x+y$ 代替 $x$, 有 \begin{equation} %(3) B(x+y, x+y)(B(x, y) - B(y, x)) = 0 \end{equation} 又由極化恒等式 $$ B(x, y) + B(y, x) = B(x+y, x+y) - B(x, x) - B(y, y) $$ 聯合 (1), (2), (3) 就有 \begin{equation} %(4) (B(x, y) + B(y, x))(B(x, y) - B(y, x)) = 0 \end{equation} 從而 $B(x, y)=B(y, x)$ 或 $B(x, y)=-B(y, x)$, 由引理 1 1 Artin 的這個恒等式可以從 Jacobson 的一個有意思的環論結果得到。 Jacobson 注意到, 在一個環中, 如果 $1-ba$ 可逆, 則 $1-ab$ 可逆, 事實上有 $$ (1-ab)^{-1} = 1 + a(1-ba)^{-1}b. $$ 特別的, 在一個除環中, 若 $a\neq b^{-1}$, 則上式成立。在上式兩邊同時左乘 $a^{-1}$ 得到 $$ a^{-1} (1-ab)^{-1} = a^{-1} + (1-ba)^{-1}b $$ 這就是 $$ (a-aba)^{-1} = a^{-1} + (b^{-1}-a)^{-1} $$ 兩邊取逆再移項就得到神奇的恒等式。 即得結論。
我們這裏對定理 5的表述與 Artin
讀者或許要問: 令 $z=B(x, x)y-B(y, x)x$ 這一步是如何來的? 任何一個熟悉 Schmidt 正交化過程的人都應該能想到這一點。 即為了利用正交的假定, 我們自然應該想到將一個向量沿著另一個向量做正交投影。 用同樣的辦法, 我們可以證明線性代數中的一個基本結果, 在歐氏空間中, 保持正交關係不變的線性變換一定是某個正交變換的常數倍2 2 一個更簡單的證明是利用平形四邊形為棱形當且僅當對角線互相垂直的這一幾何事實的代數表達 $(x+y)\perp (x-y)\iff(x, x)=(y, y)$ 構造兩個互相正交的向量 $\|y\|x+\|x\|y$ 與 $\|y\|x-\|x\|y$。。 在某種程度上, 下面將要敘述的 Wigner 定理就是這個結果在酉空間上的類似。
其實, 引理 1的證明只用到 $V$ 的加法群結構 (甚至群的交換性也是不需要的),
因此定理 5可以直接推廣到任意交換整環上的雙線性型, 但對除環上的半線性型不成立 (見Artin
3. Hua 引理在量子力學中的應用
利用類似的推導, 我們可以證明下述 Hua-Wigner 引理:
引理 2: 設 $T$ 是酉空間 $V$ 到自身的一個變換, 使得對任意的 $x, y\in V$ 有 $|(Tx, Ty)|=|(x, y)|$, 且 ${\rm Re}(Tx, Ty)={\rm Re}(x, y)$, 則 $T$ 保持加性, 即對任意的 $x, y\in V$ 有 $T(x+y)=Tx+Ty$。 事實上, $T$ 是酉變換或反酉變換, 也就是說, $T$ 是保持內積並且是線性的, 或者使內積共軛並且是共軛線性的。
證明略去, 基本思路如引理 1。 $T$ 是保持加性的提示: 要證 $z=T(x+y)\!-\!Tx\!-\!Ty=0$。 在內積空間中為證明一個向量 $v$ 為 $0$, 只要證 $(v, v)=0$, 再注意到 ${\rm Re}(v, v)=(v, v)$ 與 $T$ 保實部的條件3 3 有另一個稍微不同的證明, 基於 Hermite 型的極化恒等式。。
利用引理 2, 可以證明量子力學中關於對稱的基本定理 Wigner 定理。 為敘述這個定理, 我們先給出量子力學的一些基本數學框架。
量子力學中, 一個物理系統的狀態由某個酉空間 (通常假定是一個可分的 Hilbert 空間)的一條直線 $\langle v\rangle$ 給出,
更確切地說, 其相空間是射影空間 $\mathbb{P}(V):=V-\{0\}/{\mathbb{C}^*}$, 其元素 (點) 是非零向量的等價類,
兩個非零向量 $x$, $y$ 等價當且僅當 $x$, $y$ 線性相關, 我們把 $x$ 所在的等價類記為 $[x]$。
於是關於物理系統的任何有意義的斷言從數學上講都是關於射影空間的點的。
特別的, 兩個狀態之間的躍遷機率由內積在對應直線上誘導給出 (下面有確切定義)。
一個基本的問題是, 決定相空間內這種保持躍遷機率的變換。 Wigner 1930年代解決了這個問題,
得到結論說這類變換只能是由酉空間上的酉變換或反酉變換誘導的射影變換,
這個結果就告訴我們酉變換在量子力學中的重要性, 特別地, 它肯定了酉表示在量子力學中的重要性,
Sternberg
為敘述定理, 我們需要指出一些基本的事實。 首先, $V$ 上的線性變換或共軛線性變換 $U$ 可以誘導出 $\mathbb{P}(V)$ 上的一個變換 $[U]$, 原因是這兩類變換保持線性相關性。 用運算式把這個誘導變換 $[U]$ 寫出來就是 $$ [U] : [x] \mapsto [Ux] $$ 其次, $V$ 上的酉內積在 $\mathbb{P}(V)\times \mathbb{P}(V)$ 上可以誘導出一個函數, 即 $$ ([x], [y]) \mapsto \Big |\frac{(x, y)^2}{(x, x)(y, y)}\Big | $$ 它代表著躍遷機率 4 4 在幾何上可以看成$\mathbb{P}(V)$上的一個度量, 這一點可以有更準確的說明, 例如參考 C. A. Faure and A. Frölicher 著 Modern Projective Geometry, Kluwer Academic Publishers, 2000. , 由 Cauchy 不等式, 它介於 0和 1之間。
為便於討論, 我們引進一個定義, 向量空間 $V$ 到自身的兩個映射 $U_1$, $U_2$ 稱為射影等價的, 如果它們能在 $\mathbb{P}(V)$ 上誘導出相同的射影變換。
定理 6 (Wigner 定理): 設 $T$ 是射影酉空間 $\mathbb{P}(V)$ 到自身的一個映射, 且保持躍遷機率不變, 則 $T$ 是 $V$ 上某個酉變換或反酉變換 $U$ 誘導的, 即 $T=[U]$ 對某個酉變換或反酉變換。
說明: 通常酉變換是指酉空間中滿足 $U^*U=UU^*=I$ 的線性變換。 這裏我們簡單地稱 $V$ 上的保持酉內積的線性變換為酉變換, 而反酉變換是指 $V$ 到自身的一個滿足以下條件的映射 $U$: $$ U(x+y) = Ux + Uy, \qquad U(\lambda x) = \bar{\lambda}Ux, \qquad (Ux, Uy) = \overline{(x, y}) $$
Wigner 定理的證明: 對每個一維子空間 $\langle v\rangle$, 選取其中一個單位向量 $v$ 並指定一個單位向量 $v'\in T\langle v\rangle$ 與之對應, 對其他的單位向量 $w\in\langle v\rangle$, 令 $Tw=\lambda v'$, 其中 $\lambda$ 是 $w$ 關於 $v$ 的 Fourier 係數, 事實上 $\lambda=\displaystyle\frac{(w, v)}{(v, v)}$。 我們以公式 $Tx=\|x\|T\Big (\displaystyle\frac{x}{\|x\|}\Big )$ 將 $T$ 擴張到整個空間 $V$ 上去(令 $T0=0$)。
現在立即可以驗證這個擴充了的變換(仍記為 $T$) 保持任意兩個向量的內積的模長不變。 由此可以推出 $T$ 保持向量之間的線性相關性, 特別地, 有下面的結果: 若非零向量 $x$, $y$ 互相正交, 則存在模長為 1的兩個複數 $\alpha_{x, y}$, $\beta_{x, y}$ 使得 $T(x+y)=\alpha_{x, y}Tx+\beta_{x, y}Ty$。 為看出這一點, 首先注意到, 當 $x\perp y$ 時 $Tx\perp Ty$。 我們知道 5 5 例如, 參見 Halmos, Finite-Dimensional Vector Spaces, $\S64$, Theorem 1。 , 為證明某向量 $z$ 在兩個單位正交向量 $\displaystyle\frac{Tx}{\|Tx\|}$, $\displaystyle\frac{Ty}{\|Ty\|}$ 生成的子空間上, 只需要驗證 Parseval 等式 $$ \|z\|^2 = \bigg \|\Big (z, \frac{Tx}{\|Tx\|}\Big )\bigg \|^2 + \bigg \|\Big (z, \frac{Ty}{\|Ty\|}\Big )\bigg \|^2 $$ 成立。特別地, 可以驗證這個等式對 $z=T(x+y)$成立。 而且可以算出 $T(x+y)$ 關於 $Tx$, $Ty$ 的 Fourier 係數分別是 \begin{equation} %(5) \alpha_{x, y} = \frac{(T(x+y), Tx)}{\|Tx\|^2}, \qquad \beta_{x, y} = \frac{(T(x+y), Ty)}{\|Ty\|^2} \end{equation} 由此易見它們的模長是 1。
下面從這條性質出發構造一個與 $T$ 射影等價的加性變換 $U$。 思路是這樣的, 由於 $T$ 的上述性質依賴于兩個向量正交的條件, 我們先固定一個向量 $x_0$ 並考慮其正交補 $V_0=\langle x_0\rangle^\perp$。 在 $V_0$ 上構造出 $U$ 之後再將它延拓到整個空間 $V$, 因此不妨假定 $V$ 的維數 $\dim V\geq 2$。
假定 $\lambda: V\mapsto\mathbb{C}$ 是一個使得由 $U(x)=\lambda(x)T(x)$ 定義的變換在 $V$ 上是加性的。 對某固定的單位向量 $x_0$, 考慮 $y\in V_0=\langle x_0\rangle^\perp$, 則由前面的結果有 \begin{equation} %(6) U(x_0+y) = \lambda(x_0+y) T(x_0+y) = \lambda(x_0+y)(\alpha_{x_0, y}Tx_0 + \beta_{x_0, y}Ty) \end{equation} 因為 $U$ 是加性的, 所以 \begin{equation} %(7) U(x_0+y) = Ux_0 + Uy = \lambda(x_0)Tx_0 + \lambda(y)Ty \end{equation} 比較 (6) 、 (7) 兩式的右邊就有 \begin{equation} %(8) \lambda(x_0+y) = \frac{\lambda(x_0)}{\alpha_{x_0, y}}, \qquad \lambda(y) = \frac{\lambda(x_0)}{\alpha_{x_0, y}} \beta_{x_0, y} \end{equation} 這就是說 $\lambda$ 在 $V_0$ 和 $V_0$ 關於 $x_0$ 的平移空間 $\{x_0\}+V_0$ 的值由 $\lambda(x_0)$ 完全確定。
下面我們取定 $\lambda(x_0)=1$ 並用 (7), (8) 定義 $U$ 在 $V_0$ 以及 $\{x_0\}+V_0$ 上的作用,
那麼容易看到 $U$ 在已定義的集合上與 $T$ 射影等價 (由公式 (5) 可見, $\alpha_{x_0, y}$, $\beta_{x_0, y}$ 模長為 1)。
由 Hua-Wigner 引理, 為證明 $U$ 在 $V_0$ 上是加性的, 只要證明 ${\rm Re}(Ux, Uy)={\rm Re}(x, y)$。
這一點已經由 Bargmann
由於 $V=\langle x_0\rangle\perp V_0$, 很明顯有唯一的方式將 $U$ 線性地或共軛線性地延拓到 $V$: 對任意的 $x\in V$, 寫 $x=\gamma x_0+y$, 並按照 $U$ 在 $V_0$ 上是酉變換還是反酉變換, 分別令$Ux=\gamma Ux_0+Uy$ 或 $Ux=\overline{\gamma}Ux_0+Uy$。 容易驗證, 如此得到的 $U$ 在整個 $V$ 上與 $T$ 射影等價, 而且在整個空間上都是加性的。 再一次利用 Hua-Wigner 引理, 知 $U$ 是 $V$ 上的酉變換或反酉變換。證畢。
上述證明主要參考了 Bargmann 的文章, 他在文章中還把 Wigner 定理推廣到四元數除環 $\mathbb{H}$ 上的 Hermite 空間上去。
引理 2曾出現在 Sharma 和 Almeida 1990年發表的同一主題的論文
文獻
小結: 量子力學中的 Wigner 定理相當於一維射影幾何的 von-Staudt-Hua 定理; Hua-Wigner 引理相當於 Hua 同態反同態引理。
B. Simon
最後的評述: 據說, Dieudonné 習慣說:「數學家希望因為他們最難的定理而被人們記住, 但是大多數時候, 正是他們最簡單的結果在後人中流傳。」 作者期望, 華羅庚先生的名字至少能因為這個漂亮的引理特別是它的思想及其最簡單的應用而被人們記住。
據華羅庚先生的弟子徐利治先生說, 華羅庚將研究成果按照被引用的層次和程度的不同分為三個等級: 在綜述性或介紹性文章中被引用是一般引用, 第三等; 在學術專著中被引用並且具體結果被錄出是第二等; 作為正文被寫進教科書是最高級的引用, 是第一等。 今天筆者在這裏將華先生的這個小結果介紹給讀者是一般引用, 鑒於這個思想方法的簡單性和美學價值, 筆者期望, 在不多久的明天, 這些內容可以寫進本科生線性代數和量子力學的教材中。 我相信, 華先生與 Wigner 先生一定會含笑九泉的。
參考文獻
---本文作者為中國大陸首都師範大學研究生---