第三章(2)群表示理论基础.docVIP

第三节 群表示的基及群的表示 一、基本概念 基：群元素作用的对象称为与它相应的群表示的基。 基可以有各种类型，如矢量（x，y，z），波函数（px，py，pz） 2、群的表示：选定群表示的基以后，则分子点群中的每一个元素都与一个矩阵相对应，这些矩阵构成的矩阵群可以看作是点群的一个表示。 * 群的表示不是唯一的。 二、群的表示（可约与不可约表示） 1、可约表示 1）定理：设一组矩阵（E，A，B，C…）构成一个群的表示。若对每个矩阵进行同样的相似变换： E′=X-1EX A′=X-1AX B′=X-1BX ………….. 则（E′，A′，B′……）也是群的一个表示。 证明（封闭性）：若AB = C A′B′ = (X-1AX)(X-1BX) = X-1A(XX-1)BX = X-1(AB)X = X-1CX = C′ 2）可约表示：若能找到矩阵X可把(A、B、C…)变换成(A′、B′、C′…), 而(A′、B′、C′…)分别为划分为方块因子的矩阵。 若每个矩阵A′，B′，C′, … 均按同样的方式划分成方块，则可证明，每个矩阵的对应方块可以单独地相乘： A1′B1′=C1′ A2′B2′=C2′ A3′B3′=C3′ ……….. 因此各组矩阵E1′，A1′，B1′，C1′, … E2′，A2′，B2′，C2′, … ……………………. 本身都是一个群的表示。 因为用矩阵X可以把每个矩阵变换为一个新矩阵，所有新的矩阵按照同样的方式给出两个或多个低维表示。因此我们称（E，A，B，C, …）为可约表示。 2、不可约表示 若找不到矩阵X，按照上述方式约化给定表示的所有矩阵，这种表示称为不可约表示。不可约表示具有特殊的重要性。 三、广义正交定理 1、向量的正交 1）向量及其标积。 向量的定义： 向量标积： A·B = A·Bcosθ 2）向量正交 若A·B = 0，则称A与B正交。 * p维空间中的一个向量可借助于它在该空间中的p个正交轴上的投影长度来定义。 据此可提出向量标积的一个等价但更为有用的表示方法，在p维正交空间中： A·B =(A1+A2+…+Ap)·(B1+B2+…+Bp) = A1B1+A2B2+ … +ApBp 因此在p维空间中两个向量的正交可表示为： 推论：一个向量的长度平方可写成 A2 = A·Acos0 = A·A 2、广义正交定理（有关构成群的不可约表示矩阵元的基本定理） 1）广义正交定理： h ~ 群的阶；li ~ 该群第i个不可约表示的维数，也是该表示中矩阵的阶；R ~ 群中的某个操作；Γi(R)mn ~ 在第i个不可约表示中，与操作R对应的矩阵中第m行和第n列的元素。最后，每逢包括虚数和复数时，等式左端的一个因子取复共轭。 δst = 1（s=t） 0（s≠t） 在一组不可约表示矩阵中，若将任意一组来自每个矩阵的对应矩阵元，看作是h维空间中的某一向量的分量，则所有这些向量都相互正交，且这些向量长度的平方为(h/li)。 2）广义正交定理的特殊形式 广义正交定理可以简化为三个较简单的情况: A、若i≠j，则 表明，选自不同不可约表示的向量是正交的。 B、若i=j，且m≠m′，或n≠n′，或同时m≠m′，n≠n′ 表明，选自同一不可约表示的不同向量也是正交的。 C、若i=j，m=m′，n=n′，则 表明，任意一个这种向量的长度平方等于h/li。 四、可约表示的约化及表示的直积 1、不等价不可约表示 1）等价表示：在点群的表示中，如果有两个表示，它们关于任何同一对称操作的两个表示矩阵A和B是共轭的，即存在一个方阵X，使X-1AX = B成立，则这两个表示是等价的。 * 一个表示中各矩阵的迹称为该表示的特征标。 2）不等价不可约表示：如果两个不可约表示，它们每个对称操作的两个特征标不完全相等时，则这两个不可约表示是不等价不可约表示。 2、群表示的几条重要性质 1）群的不等价不可约表示的数目，等于群中类的数目。 2）群的不等价不可约表示维数的平方和等于群的阶。 3) 任一不可约表示的特征标的平方和等于群的阶。 4）以两个不等价不可约表示的特征标作为分量的 向量是正交的。 5）在一个给定表示中，所有属于同一类操作矩 阵的特征标