1、第三节 群表示的基及群的表示一、基本概念1、 基：群元素作用的对象称为与它相应的群表示的基。基可以有各种类型，如矢量（x，y，z） ，波函数（p x， py，p z）2、群的表示：选定群表示的基以后，则分子点群中的每一个元素都与一个矩阵相对应，这些矩阵构成的矩阵群可以看作是点群的一个表示。* 群的表示不是唯一的。二、群的表示（可约与不可约表示）1、可约表示1）定理：设一组矩阵（E，A，B ，C）构成一个群的表示。若对每个矩阵进行同样的相似变换：E=X-1EXA=X-1AXB=X-1BX则（E，A，B）也是群的一个表示。证明（封闭性）：若 AB = CAB = (X-1AX)(X-1BX) =
2、X-1A(XX-1)BX = X-1(AB)X = X-1CX = C 2）可约表示：若能找到矩阵 X 可把(A、 B、C)变换成(A、B、C), 而(A、B、C)分别为划分为方块因子的矩阵。A1A2A3A= X-1AX = .若每个矩阵 A，B，C, 均按同样的方式划分成方块，则可证明，每个矩阵的对应方块可以单独地相乘：A1B1=C1A2B2=C2A3B3=C3因此各组矩阵 E1，A 1，B 1，C 1, E2，A 2，B 2，C 2, .本身都是一个群的表示。因为用矩阵 X 可以把每个矩阵变换为一个新矩阵，所有新的矩阵按照同样的方式给出两个或多个低维表示。因此我们称（E， A，B ，C,
3、）为可约表示。2、不可约表示若找不到矩阵 X，按照上述方式约化给定表示的所有矩阵，这种表示称为不可约表示。不可约表示具有特殊的重要性。三、广义正交定理 1、向量的正交 1）向量及其标积。向量的定义：向量标积： A B AB = ABcos 2）向量正交 若 AB = 0，则称 A 与 B 正交。* p 维空间中的一个向量可借助于它在该空间中的 p 个正交轴上的投影长度来定义。据此可提出向量标积的一个等价但更为有用的表示方法，在 p 维正交空间中：AB =(A1+A2+Ap)(B1+B2+Bp) = A1B1+A2B2+ +ApBp p1i ii因此在 p 维空间中两个向量的正交可表示为： p1
4、i ii 0BA推论：一个向量的长度平方可写成A2 = AAcos0 = AA p1i2i2、广义正交定理（有关构成群的不可约表示矩阵元的基本定理）1）广义正交定理：h 群的阶；l i 该群第 i 个不可约表示的维数，也是该表示中矩阵的阶；R 群中的某个操作； i(R)mn 在第 i 个不可约表示中，与操作 R 对应的矩阵中第m 行和第 n 列的元素。最后，每逢包括虚数和复数时，等式左端的一个因子取复共轭。nmijR ji*nmjmni lh(R)() st = 1（s=t）0（st ）G R1 R2 R3 a11 a12 a13 b11 b12 b13 c11 c12 c13 i a21 a
5、22 a23 b21 b22 b23 c21 c22 c23a31 a32 a33 b31 b32 b33 c31 c32 c33x11 x12 y11 y12 z11 z12 jx21 x22 y21 y22 z21 z22在一组不可约表示矩阵中，若将任意一组来自每个矩阵的对应矩阵元，看作是 h维空间中的某一向量的分量，则所有这些向量都相互正交，且这些向量长度的平方为(h/li)。2）广义正交定理的特殊形式广义正交定理可以简化为三个较简单的情况:A、若 ij，则 R *nmjmni 0(R)(R)表明，选自不同不可约表示的向量是正交的。B、若 i=j，且 mm，或 nn，或同时mm，n nR
6、 *nmimni 0(R)(R)表明，选自同一不可约表示的不同向量也是正交的。C、若 i=j， m=m，n=n，则R i*mnimni lh(R)(R)表明，任意一个这种向量的长度平方等于h/li。四、可约表示的约化及表示的直积1、不等价不可约表示1）等价表示：在点群的表示中，如果有两个表示，它们关于任何同一对称操作的两个表示矩阵 A 和 B 是共轭的，即存在一个方阵 X，使 X-1AX = B 成立，则这两个表示是等价的。* 一个表示中各矩阵的迹称为该表示的特征标。2）不等价不可约表示：如果两个不可约表示，它们每个对称操作的两个特征标不完全相等时，则这两个不可约表示是不等价不可约表示。2、群
7、表示的几条重要性质1）群的不等价不可约表示的数目，等于群中类的数目。2）群的不等价不可约表示维数的平方和等于群的阶。i 2212i h.lll3) 任一不可约表示的特征标的平方和等于群的阶。 R 2i h(R)4）以两个不等价不可约表示的特征标作为分量的向量是正交的。R ji j)(i 0(R)(R)5）在一个给定表示中，所有属于同一类操作矩阵的特征标相等。3、不可约表示特征标的求法。1) 主要利用上述规则 不可约表示的数目 = 类的数目 i 2212i h.lll R2i h(R) Rji j)(i 0(R)() 同类操作特征标相等。 每个群均有一个特征标均为 1 的一维不可约表示，叫“完全对称表示” 。2）例 1：C 2V 群E，C 2， v， v每个元素自成一类。由：有四个不等价不可约表示。
