2.7有限群群代数的不可约基.ppt

* 首先复习线性空间与线性变换的概念 2.7 有限群群代数的不可约基 ◆复习： 群空间：群元素为基(自然基)，其线性组合构成群空间 (定义了群元素的加法) 矢量：群函数 代数：线性空间上 定义矢量乘法 线性空间对矢量乘法封闭 且 满足乘法分配律 群代数：群空间上 定义矢量乘法 群元素间按群的乘积规则 数与数间按数的乘法 封闭性 分配律 正则表示：每个有限群都有的重要的真实表示 除了平庸群{E}外，有限群的正则表示都是可约的 正则表示的约化中，每个不可约表示的重数=表示的维数 因此，把正则表示进行约化也是计算有限群不等价不可约表示的一种方法 ◆有限群群代数的不可约基 把正则表示约化得到的群元素的线性组合 为什么研究： ?系统哈密顿量各简并能级的函数空间是对称群的不变空间，即群元素作为算符作用的到H的函数基上仍在H的函数空间内 ?把不可约基作用到H的本征函数上 能把H的本征函数投影成属于对称群不可约表示的函数基 ?这样就解决了按照群论方法选择哈密顿量本整函数基的计算问题（即定态波函数按不可约表示分类问题） ?有些物理问题，这种方法非常有用，如 分子振动能谱的研究 常用这种方法计算属不可约表示的函数基 一、有限群正则表示的约化 ?由群元素线性组合成一个新的基 Φjμr 称为属不可约表示Dj μ行的函数基，三个指标与上节规定相同，r 用于区分mj个Dj ?群元素S作为算符作用到新基上，得到表示Dj(S) 正则表示D(S)可约 r 区别重数 ?群元素S还可以从右作用到新基上 因 左乘、右乘群元素的运算是独立进行的 故 右乘群元素不会改变矢量基在左乘群元素作用下的性质 即 φjμr S 仍属不可约表示Dj μ行，这样mj个矢量基φjμr 构成对右乘群元素不变的子空间，对应群G的一个mj维表示 行指标μ区分重复表示 ?讨论两个表示Dj与Dj的关系 D(S) 与 D(S)分别是左乘、右乘群元素得到的两个等价表示 （即表示的基相同，只是组合方式不同） 约化后，每个不可约表示的重数仍是表示维数mj 即约化后不可约表示Dj与Dj也等价 把矢量基作适当组合，可使两个表示相同 这一过程不算证明，只是说明 为此，在有限群G的群代数中可以选择一组矢量基， 称为不可约基，满足 计算不可约基的 基本方程式 ?在正则表示约化时，属同一不可约表示的若干组基的选择有任意性，|Y|≠0即可 上式对不可约基的选择提出了合理的条件，即当Dj(S)的标准形式选定后，属同一不可约表示的所有基，除了允许乘一个只依赖j的因子外，不再有其他任意性 ?计算不可约基的时候，原则上S要取遍所有群元素，但实际操作中，只取生成元就够了，有时为了方便，可多取若干元素 ?应用到物理问题上：设哈密顿量H的能级E是m重简并，本征函ψρ(x)构成一个函数空间 ?上节介绍了群论方法将这些函数基组合成对称群G的不可约表示的基，但是，若对称群G的不可约基已知，将其中的群元素S换成变换算符PS，作为投影算符作用到函数基上，则φjμr ψρ(x)(≠0)就是属不可约表示的函数基 二、D3群群代数的不可约基 ?D3群是最简单的非阿贝尔群（6阶群） ?D3群：3个类，乘法表，特征标表前面已给出 生成元：D(?T), A(?S0) 二维表示： ?D3群群代数的不可约基φjμr 是左乘、右乘生成元A的共同本征矢量，用φ1，φ2，φ3 对应三个表示中的不可约基 一维： 对应D1(1维) 为 1 aj=mj=1 故 r=1，μ=1 即 同理： ? 二维表示：μ=1，2，重数=维数 2 1 0 0 -1 1 0 0 -1 ?因A的阶 a=2 即 A2=E，D(A2)=D(A)2=D(E)=1 本征值只能是(-1)0=1，(-1)1=-1 通常用这个幂次来表示不可约基的下标 这种情况下，D3群群代数的基φjμr 改记为Φjρλ * 首先复习线性空间与线性变换的概念 * *