第二篇 群表示理论.ppt

§2.2 舒尔引理 一、 舒尔引理的内容 有一非零矩阵 A 与某群的某一表示 D ( R )的所有矩阵对易, 即 D ( R ) A = A D ( R ) (1) 那么, （1） 若D ( R ) 是不可约表示, 则A 必为常数矩阵; （常数矩阵即单位矩阵的常数倍 ） （2） 若 A 不是常数矩阵, 则 D ( R ) 必可约, 并若 A 是厄米矩阵, 则 D ( R ) 的约化矩阵就是使 A 对角化的矩阵. [ 厄米矩阵都可 (完全) 对角化 ] 二、 舒尔引理的证明 (a) 由(1)式+ (2)式 和 (1)式-(2)式可得, D(R) (A + A+) = (A + A+) D(R), D(R) (A - A+) = (A - A+) D(R) 再由(3)式可知, 舒尔引理中的前提 D ( R ) A = A D ( R ) 等价于 D ( R ) H = H D ( R ), D ( R ) J = J D ( R ) (b) 从 (3) 式亦可知, A 也可由 H 和 J 线性组合而成, 即, 若 H 和 J 是常数矩阵, 则 A 必也是常数矩阵. (c) 从 (3) 式还可知, 若 A 不是常数矩阵 ( 即为非常数矩阵 ) 则 H 和 J 中至少有一个不是常数矩阵 [为什么? ] [ 答案: 否则便不能线性组合成非常数矩阵 ] 由上述分析可知: (a) 对舒尔引理而言, ( H, J ) 与 A 是等价的; (b) H和J是厄米矩阵, 故可将 A 视为厄米矩阵; (c) A 可 (完全) 对角化. [ 厄米矩阵皆可对角化 ] * 2, 求证舒尔引理的第二步: 若用 S 可 将 A (完全) 对角化 S-1 A S = a ( a 为对角矩阵 ) 并用 S 对 D( R) 作相似变换, 得 D’( R ) D’( R) = S-1 D ( R) S (下面寻求的矩阵元 {D’( R)}ij 是否为零与ai 和 aj 是否相等的关系) 根据 (1) 式, 即 D (R ) A = A D ( R) 两边左乘 S-1, 右乘 S, 中间插入 S S-1, 得 S-1 D (Ｒ) S S-1A S = S-1A S S-1 D ( R) S S-1 D(R) S a = a S-1 D( R) S 写成矩阵元形式, 为 ?k {S-1D( R)S}ik akj = ?k aik {S-1D( R)S}kj (4) 因 a 为对角矩阵 故 akj = aj ?kj , aik= ai ?ik 则(4)式可写成 ?k {S-1D( R)S}ik aj ?kj = ?k ai ?ik {S-1D( R)S}kj 求和中只有当 k = j 或 i 时才有值 故得 {S-1 D( R) S}ij aj = ai {S-1 D( R) S}ij 即 {S-1D( R)S}ij ( ai - aj ) = 0 {D’( R)}ij ( ai - aj ) = 0