《群论群的等价表》PPT课件.ppt

1 2 2等价表示 表示的幺正性和不可约表示 一 标量函数的变换算符 2 标量场 指标量的空间分布 一些物理量 如质量 温度等在转动变换中保持不变 是标量 标量用一个数字就可以完全描述 1 标量 标量的概念是与变换相联系的 物理中常说的标量是对三维空间的转动变换保持不变的量 用标量函数 x 来描写 它是空间坐标的函数 2 两种观点 互为逆变换 主动观点 坐标系不动 系统转动 被动观点 系统不动 坐标系转动 如 要描述N个粒子的系统 需要3N个坐标来描写为了书写方便 用一个字母x描写N粒子系统的全部坐标用标量函数 x 和 x 描写变换前后标量场的分布变换记为R 则 经过R变换后 在x点的场变到了x 点因标量场在变换前后保持不变变换后的标量场在x 点的值应等于变换前的场在x点的值 3 3 标量函数的变换算符PR 定义 PR是一个算符 把变换前的标量函数 变成新的标量函数 则 因为自变量要取遍定义域上所有的值 符号上用x 或x都一样 则有 说明 1 变换算符PR对任意函数 x 的作用规则所有的标量函数都满足上式 即先把原来的函数 x 的自变量换成R 1x再把它看成x的函数 就得到新的函数形式PR 4 2 PR显然是线性算符 3 与PR 是两种不同的函数形式上式给出了这两个函数值上的联系PR作用在 上变成新的函数 再做S变换时 PS作用在 上 即 而不是 4 PR构成群PG 称为群G的线性实现 对称变换群算符PR与变换R间一一对应它们的乘积仍按同一规则一一对应即变换R集合构成的群G与算符PR构成的群PG同构 5 练习 由函数基 1 x y x2 2 x y xy 3 x y y2 架设的三维函数空间对下列二维空间转动变换R保持不变 试计算变换R对应的标量函数算符PR在此函数基中的矩阵形式D R 6 二 等价表示 1 表示空间 表示所作用的线性空间 正则表示空间 即是群代数 基 表示空间中基的选择不唯一 如 在给定的不变函数空间中 线性变换群PG作用在 x 上 得到一个线性表示 这个线性函数空间就是表示空间 而对m维方矩阵构成的矩阵群 群元素描写m维空间的线性变换 则这m维空间就是矩阵群自身表示的表示空间 当一组基做线性组合时 PR的矩阵形式做相似变换 7 8 2 等价表示定义 两个等价表示维数相同 相似变换矩阵X也是同维非奇异矩阵等价于同一表示的两个表示互相等价 传递性 等价表示无实质上的区别 只是表现形式不同 则这样的两个表示称为等价表示 记作 说明 9 3 判断两个表示是否等价的充要条件 对有限群 每个元素在两个表示中的特征标对应相等 即 注 特征标是类的函数 同类中的元素表示矩阵的特征标相等 这样 只需从每类元素中选出一个元素 检验它们在两个表示中的特征标是否相等即可 三 表示的幺正性 定理一 有限群的线性表示等价于幺正表示 而且两个等价的幺正表示一定可以通过幺正的相似变换相联系 推论 有限群的实表示等价于实正交表示 而且两个等价的实正交表示一定可以通过实正交的相似变换相联系 10 四 不可约表示 1 准备知识 两个子空间直和 n维线性空间中 m个矢量及其所有线性组合构成m维线性空间 称为n维线性空间的子空间 子空间 零空间 m 0 全空间 m n 两个平庸子空间 子空间的矢量关于线性算符不变PRR S V子 不变 真 子空间 11 2 不可约表示定义 若群G的表示D G 的每一个表示矩阵D R 都能通过一个相似变换X化成同一形式的阶梯矩阵 则此表示称为可约表示 否则称为不可约表示 说明 上式中两个子矩阵D 1 R 和D 2 R 的集合分别构成群G的线性表示元素在可约表示中的特征标等于子表示中的特征标之和可约表示的表示空间存在非平庸不变子空间在表示空间中存在非平庸不变子空间的表示称为可约表示否则是不可约表示 12 3 完全可约表示 若D G 的表示空间存在两个互补的不变子空间 可在两个子空间分别取一组基 构成整个空间的一组完备基 在这组基下 D R 都取同一形式的方块矩阵该表示称为完全可约表示 表示的这种形式成为已约表示 可约且完全可约 有时表示空间虽存在非平庸不变子空间 但无论如何选择 其相补子空间都不是不变的 这样的表示仍然可约 但称为不能完全约化的可约表示 可约却不完全可约 有限群的可约表示一定是完全可约的 13