第1部分第2章群表示论1.pptVIP

第一部分 群论基础第二章 群表示论 (1) (一) 群表示的有关定义 2 一, 群的表示 representation of group [ 思考题： Z3 、d3 、D3 是同一群，用什么来表示？ ] 与群 G 的同态 ( 包括同构 ) 的 ( 方 ) 矩阵群称为群 G 的矩 阵表示, 简称为群 G 的表示. ( 如此，群乘运算简单 ） 表示 ( 方 ) 矩阵的行 ( 列 ) 数为表示的维数. 二, 确实表示 faithful representation 与群 G 同构的矩阵群称为群 G 的同构表示, 也称为确实表示. [提问：你能举出D3 群的一个表示吗？它是确实表示吗？为什么] [答案：d3 群，是确实表示，因为同构] 三, 非确实表示 unfaithful representation 与群 G 同态的矩阵群称为群 G 的同态表示, 也称非确实表示. * 四, 等价表示 equivalent representation 3 两个可通过相似变换而互相转换的表示，彼此为等价表示. [ 提问：这里“ 等价 ”的含义是什么？ ] [ 答案: 矩阵间的乘积关系不因相似变换而改变 群乘关系不变, 即群表相同 ] 即，若 D’ = S-1 D S ( D 和 D’ 的所有群元一一对应 ) D(A) D(B) = D(C) 　　 　则 D’(A) D’(B) = D’(C) 　　证明：　D’(A) D’(B) = S-1 D(A) S S-1 D(B) S = S-1 D(A) D(B) S = S-1 D(C) S = D’( C) * 4 五, 幺正表示 unitary representation 1, 定义: 由幺正矩阵构成的群为幺正矩阵群, ( 若 U–1 = U*, 则U为幺正矩阵 ) 以幺正矩阵群作为群的表示称为幺正表示. 2, 幺正表示定理 如 矩阵表示的行列式不等于零, 称为非奇异表示, 则 通过相似变换可将其变成幺正表示 ( 见“线性代数” ) 即 一切非奇异表示都与某幺正表示等价 故 可以规定所有的表示都是幺正表示 为简单起见, 以后只讨论幺正表示 * (二) 笛卡尔坐标系中对称操作的矩阵表示 (表示依赖于坐标系) 5 一, 取一由一组正交归一基矢 ( e1, e2, e3 ) 组成的正交坐标 ( 如笛 卡尔坐标系), 坐标原点位于(点)对称操作的不动点, 对称操 作 R ( 例如转 ? 角 ) 对于位矢 a 的作用 (见图) R a = a’ (1) 其中, 原位矢 a = q1 e1 + q2 e2 + q3 e3 (2)