三群表示理论基础.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、…)变换成(A′、B′、C′…), 而(A′、B′、C′…)分别为划分为方块因子的矩阵。 A1′ A2′ A3′ A′= X-1AX = ….. …. 若每个矩阵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·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） G R1 R2 R3 … a11 a12 a13 b11 b12 b13 c11 c12 c13 Γi a21 a22 a23 b21 b22 b23 c21 c22 c23 a31 a32 a33 b31 b32 b33 c31 c32 c33 x11 x12 y11 y12 z11 z12 Γj x21 x22 y21