群表示理论基础..doc

第三节 群表示的基及群的表示 一、基本概念 基（Base）：群元素作用的对象称为与它相应的群表示的基。 基可以有各种类型，如矢量（x，y，z），波函数（px，py，pz） 群的表示（Representation）：选定群表示的基以后，则分子点群中的每一个元素都与一个矩阵相对应，这些矩阵构成的矩阵群可以看作是点群的一个表示。 * 群的表示不是唯一的，一个群原则上有无限多种表示。 二、群的表示（可约与不可约表示） 1、可约表示（Reducible Representation） 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、不可约表示（Irreducible Representation） 若找不到矩阵X，按照上述方式约化给定表示的所有矩阵，这种表示称为不可约表示。不可约表示具有特殊的重要性。 三、广义正交定理（great orthogonality theorem） 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、广义正交定理（great orthogonality theorem有关构成群的不可约表示矩阵元的基本定理） 1）广义正交定理： h ~ 群的阶；li ~ 该群第i个不可约表示的维数，也是该表示中矩阵的阶；R ~ 群中的某个操作；Γi(R)mn ~ 在第i个不可约表示中，与操作R对应的矩阵中第m行和第n列的元素。最后，每逢包括虚数和复数时，等式左端的一个因子取复共轭。 向量1的分量：a11, b11, c11, …… 向量2的分量：a22, b22, c22, …… 向量3的分量：x11, y11, z11, …… 向量4的分量：x21, y21, z21, …… 在一组不可约表示矩阵中，若将任意一组来自每个矩阵的对应矩阵元，看作是h维空间中的某一向量的分量，则所有这些向量都相互正交，且这些向量长度的平方为(h/li)。 2）广义正交定理的特殊形式 广义正交定理可以简化为三个较简单的情况: A、若i≠j，则 表明，选自不同不可约表示