Hurwitz-Radon定理.pdf

數學傳播 36 卷 1期, pp. 48-63 Hurwitz-Radon 矩陣方程 林 開亮 一. 記號約定 本文中考慮的域 F 的特徵不等於 2。 M (n, F ) 表示係數在 F 中的 n 階方陣的集合, GL(n, F ) 表示 M (n, F ) 中的可逆方陣 的集合。 R 和 C 分別表示實數域和複數域。 A 表示矩陣 A 的轉置。 tr (A) 表示矩陣 A 的跡。 E 表示單位陣。 i = 1 是虛數單位, 不引起混淆時也作指標使用。 二. 內容簡介 接下來我們將簡單介紹一下本文討論的主要問題和正文的框架結構。 所謂 Hurwitz 矩陣問題, 就是對給定的域 F 以及正整數 n, 求 M (n, F ) 中滿足兩兩反 交換並且每個矩陣的平方為 1 的反對稱矩陣集的最大基數。 借助於 Kronecker 符號 δij , 這 個問題可以表述如下。 設 F 是一個域, 如果 A , . . . , A M (n, F ) 滿足以下 Hurwitz 矩陣方程 1 k A A + A A = 2δ ; A = A (1) i j j i ij i i 則稱它們是 M (n, F ) 中的一 Hurwitz 矩陣。 著名的 Hurwitz 矩陣問題, 就是對給定的 F 以及 n, 求 M (n, F ) 中的一 Hurwitz 矩 陣 A , . . . , A 的所含的矩陣個數 k 的最大值 K (n)。 1 k F 首先我們指出, 這個問題是有意義的。 實際上, 我們有下述 48 Hurwitz-Radon 矩陣方程 49 引理1. 設 A , . . . , A M (n, F ) 滿足方程 1 k A A + A A = 2δ (2) i j j i ij 則它們是 F 線性無關的。 證明: 假定 c , . . . , c F 使得 1 k c A + + c A = 0 1 1 k k 對每一個 i = 1, . . . , k, 等式兩邊分別左右乘以 A , 並將得到的兩個式子相加, 利用 (2) 得到 i ci = 0。 即 A , . . . , A 線性無關。 1 k 對於 F = C 及 R 的情形, Hurwitz [6] 和 Radon [13] 分別在 1920年代前後給出 Hur- witz 矩陣問題解答, 這就是 Hurwitz-Radon 定理。 定理1. 2q q 0 (mod 4)