群论群的线性表示基础.ppt

第二章有限群的表示理论 2 1群的线性表示2 2等价表示 表示的幺正性和不可约表示2 3有限群的表示理论2 4有限群不可约表示的特征标表2 5新表示的构成2 6物理应用 2 1群的线性表示 一 线性空间与线性变换 1 线性空间 矢 向 量空间 是定义在数域K 如实数域R或复数域C 上的矢量集合 x y z V 在V中可以定义加法和数乘两种运算 设 矢量加法和数乘具有封闭性 且满足 加法 x y y x交换律x y z x y z结合律x 0 x有唯一零元素对任一x 有唯一 x x x 0数乘 1 x x ab x a bx a x y ax ay a b x ax bx 若将加法运算看成群的 乘法 则线性空间V构成一个阿贝尔的加法群 恒元 逆元 线性空间是定义在数域上的矢量集合 且定义了矢量加法和数乘 2 线性变换 设V是数域K上的线性空间 线性变换A是将V映入V的线性映射 即 对x y V a K有 A V V A x V对V中矢量x进行A变换仍属于V A ax y aA x A y 线性 线性变换的运算 设A和B是从V到V的线性变换 则可定义线性变换的数乘 加法和乘法为 aA x a A x A B x A x B x AB x A B x 逆线性变换的运算 若线性变换是把V映入V的一一对应满映射 则存在A的逆线性变换A 1 3 n维线性空间 若线性空间V中最多有n个线性独立 线性无关 的矢量 则称V是n维线性空间 基 矢 e1 e2 en 矢量 坐标系 基 e1 e2 en 也称为坐标系 坐标 有序数组 x1 x2 xn 也称为x的坐标 矩阵表示形式 基 矢 线性变换 矢量 非奇异线性变换 当detA 0时 存在A的逆矩阵A 1 它对应于变换A的逆变换 这是称A是非奇异的 4 复一般线性群 设V为n维复矢量空间 即数域K为复数域C V上全部线性变换当定义乘法为连续两次线性变换时构成一个群 称为n维复一般线性群 记为GL n C 有时也记为GL V C 线性变换群 V上非奇异线性变换构成的群 称为线性变换群 记为L V C 显然L V C 属于GL VC 若在V中选一组基 e1 en 则 若找到与给定群同构的矩阵群 则矩阵群性质完全反映给定群的性质 若找到与给定群同态的矩阵群 则矩阵群性质反映给定群的部分性质 同态核以外 二 线性表示 1 定义 若行列式不为零的m m矩阵集合构成的群D G 与给定群G同构或同态 则D G 称为群G的一个m维线性表示 简称表示 representation 表示矩阵 在D G 中 与G中元素R对应的矩阵D R 称为元素R在表示D G 中的表示矩阵 特征标 表示矩阵D R 的迹 R TrD R 称为元素R在表示D G 中的特征标 character 恒元 表示矩阵D R I 互逆元素 表示矩阵为互逆矩阵D R 1 D R 1 2 分类 1 真实表示 忠实表示 D G G 非真 忠 实表示 D G G 若D G G 且G G则D G G 2 恒等表示 平庸 单位 显然表示 让群中所有元素都对应1 D R 1 得到的表示任何群都有恒等表示 自身表示 任何矩阵群本身就是自己的表示 幺正表示 表示矩阵是幺正矩阵D R D R I 实正交表示 表示矩阵是实正交矩阵D R D R I D R TD R I detD R 1 群的表示不唯一 练习 设G是一个非阿贝尔群 D G 是群G的一个真实表示 元素R的表示矩阵为D R 现让群G元素R分别于下列矩阵对应问 此矩阵的结合是否分别构成群G的表示 1 D R 2 D R T 3 D R 1 4 D R 5 D R 1 6 detD R 7 TrD R 三 群代数和有限群的正则表示 1 群函数 函数关系 自变量和因变量之间的一种确定关系y f x 定义 若对于群G的每一个元素R 都有一个确定的数F R 与之对应 这样以群元素作为自变量的函数称为群函数记为F G 可以是矢量函数 矩阵函数等 1 有限群 群函数自变量有g个取值 g是群的阶 则有限群线性无关的群函数数目等于群的阶g 2 群G的每一个线性表示D G 都是群G的一个矩阵函数 3 表示矩阵的每一个元素D G 都是群G的一个群函数 数值 4 特征标 R Tr R 也是群G的一个群函数 数值 5 共轭元素特征标相同 因此特征标也是类的函数 证明作为练习 2 群空间 1 群元素的加法 R S c1R c2S c2S c1R交换律c1 c2 K R S G c1R c2R c1 c2 R c3 c1R c2S c3c1R c3c2S 2 群空间 取有限群的群元素R作为基 它们的所有复线性组合构成一个线性空间 称为群空间 维数 群的阶g 自然基 以群元素作为基 矢量 群元素的任何线性组合都是群空间的矢量如 矢量矢量分量基 3 群代数 若在线性空间引入矢量乘法 则要求线性空间关于乘法是封闭的 且满足分配律 即 1 线性代数 若V是数域K上的线性空间 在V中可以定义乘法 对X Y Z V a K满足 XY V封闭性 Z X Y ZX ZY分配律 X Y Z XZ XY a XY aX Y X aY 数与矢量可对易 这样的线性空间V称为线性代数或代数 可 结合代数 满足 XY Z X YZ 的代数 线性 代数是在线性空间上定义矢量乘法 现在群空间上定义矢量乘法 2 群代数 规则 数与数 普通数的乘法 群元素与群元素 群元素的乘积规则 即 以上定义的乘法满足分配律 且群空间关于此乘法封闭 这样的群空间称为群代数 记为 4 正则表示 正规表示 算符 描写变换的一种数学符号 1 正则表示 任何群都有的一个重要的真实表示 线性算符 满足R x c1 1 x c2 2 x c1R x 1 x c2R x 2 x 群代数中 群元素左乘或右乘到群代数矢量上 使矢量按一定规则变成群代数中另一矢量 因此 群代数中 群元素既是矢量 基 又是线性算符 把作为算符的S左乘到作为矢量基的R上 可得到群代数中一个矢量 写成矢量基的线性组合 组合系数排列起来 构成算符S在矢量基R中的矩阵形式D S 从另一角度看S左乘到R上得到另一群元素T 上式求和结果实际上只有一项 即元素T对应的项 由重排定理 S与G中所有元素相乘 群元素只出现一次 则矩阵D S 的每一行也只有一个矩阵元素不为0 给出了D S 与S间一一对应关系 按惯例算符乘积定义为两个算符的相继作用 矩阵之间按照矩阵乘积规则相乘 则 算符乘积和矩阵乘积仍按照上式一一对应 这种算符与其矩阵形式一一对应或多一对应关系在乘积中保持不变的性质 在群论中会经常遇到 只给出这一次证明 证明 算符与其矩阵形式一一对应关系对它们乘积保持不变 则 因此 由第一章定理 二 则D G 称为群G的正则表示 是G的一个真实表示 注 1 每个有限群都有一个正则表示 维数是有限群的阶g 2 除恒元外 元素S在正则表示中特征标都为零 2 由乘法表写出群的正则表示 方法 群元素S的正则表示中 矩阵形式由乘法表中S所在行的乘积元素决定 表示矩阵中第R列不为零的矩阵元素所在行就是乘法表S行中R列的乘积元素标记的行 按列写 5 内禀群 1 定义 群代数中 作为算符的群元素不仅可以从左面作用到矢量R上 还可以从右面作用到矢量R上 对阿贝尔群 二者相同 但对非阿贝尔群 左乘群元素与右乘群元素结果是不同的 且两个算符的乘积也不同如 先左乘S 再左乘T 结果 左乘TS先右乘S 再右乘T 结果 右乘ST 左乘算符集合与右乘算符集合 根据不同的乘积规则分别构成群 分别记为 中相同元素一一对应 元素乘积不再按原规则一一对应 但若G中元素R与中元素R 1一一对应 则元素乘积仍按原规则一一对应 群称为G的内禀群 1 群的内禀表示 为了使右乘算符的矩阵形式的集合也构成原群G的线性表示 可把算符的矩阵形式取转置 即按列求和 给出群元素S与矩阵间一一对应关系 也使群元素乘积按同一规则一一对应 即 给出了与S间一一对应关系 2 由乘法表写出群的内禀正则表