第一章分子对称性与群论基础3.ppt

可以支撑起一个 维的函数空间，它是对称操作的不变空间。 以全部乘积函数为基： 2、直积表示 且可以证明： 一维表示的自身直积是全对称表示。 例： 定理4 直积表示的特征标等于直因子表示的特征标的普通乘积。即： 证：由可约表示分解定理，第k个不可约表示出现的次数： 定理5：只有当不可约表示 与 等价时，直积表示 才含有全对称表示。 全对称表示出现的次数: 只有当不可约表示 时，直积表示 才含有全对称表示。 推论4：只有不可约表示的直积 包含不可约表示 时， 才包含全对称表示。 很多时候，只涉及实表示，此时，定理和推论可表述为： 只有不可约表示的直积 包含不可约表示 时， 才包含全对称表示。 一、?群的表示 §1-5 群表示及其性质 定义：若矩阵群 是抽象群 的一个同态映像，则 G 称为G的一个矩阵表示。 [说明]： * 矩阵群的元素是同阶方阵； * 矩阵群的运算规则：矩阵乘法； * 矩阵群的单位元为：单位矩阵； * 由数字 1 构成的矩阵群是任何群G的一个同态映像，称全对称表示。任何标量函数是全对称表示的基函数； * 一个抽象群可以有无穷多个矩阵表示。 1、?群的表示的定义 2、? 等价表示 P 是一个非奇异方阵 （ ） ，但不一定是群表示的矩阵。 定义：如果群的表示 G 与 G’ 的矩阵，以同一相似变换相关联，则 G 与 G’ 为等价表示。 即： 两者等价，是指满足下列关系： 上节中，选取基函数为： 可以得到 C3V 点群6个对称操作的矩阵表示 （G1 ）： 等价表示示例 如选取基函数为： 则可以得到C3V点群6个对称操作的矩阵表示如下 （G2） ： 两组基函数有变换关系： 即： 这两个表示是等价表示。等价表示本质上是“相同”的表示，它们都表达了一个对称操作（算符）在同一个函数空间（x,y的二次齐次函数）的作用效果，只是基函数的选取是不同的。 容易证明两组对称操作矩阵有变换关系： 例如： 由于相似变换不改变矩阵的迹（对角元素之和），因此： 先证： 证明： 故有： 矩阵的迹（对角元之和）： 等价表示的相应矩阵的迹相同。即： 若： 则： 2、特征标 群表示中矩阵的迹称特征标： 两个表示等价的充要条件是特征标相同。 群的一个表示一定有无穷多个表示与之等价，且这些表示相互等价。 定理：同一共轭类的群元素，其特征标相同。 [证] 设： 所以： （相似变换不改变矩阵的迹 ） 相应的矩阵 ： 且： 则由群表示的定义： 且： 例：考虑C3V点群各对称操作的矩阵表示。选基函数为： 则： 可见： 二、可约与不可约表示 例： 矩阵的直和 ： 可分解为两个子方阵： 1、矩阵的直和 由矩阵的乘法规则可知：对角方块化的矩阵的乘法为方块对方块的乘法。每组小方块矩阵服从同样的乘法次序。因此，一组子方块矩阵也构成群的一个表示。 子方块矩阵分别构成C3V点群的二维和一维表示： 有： 2、可约与不可约表示 例如： C3V点群的三维表示 G： 记为： 定义：群的一个表示，如果它的所有矩阵可以借助于某一个相似变换变成相同形式的对角方块化矩阵，则此表示是可约的，否则是不可约的。 例如： --- 可约表示 --- 可约表示 一个群可以有无穷多个矩阵表示，但其中很多是等价表示，对于相互等价的表示，我们只需研究其中的一个。 一个群可以有很多个不等价表示，但其中很多是可约的，对于可约表示，我们可以将其约化为不可约表示的直和。 因此研究群的性质，只需研究其不等价的不可约表示的性质。对于有限阶的群，其不等价的不可约表示是有限的。 群的所有不等价的不可约表示就完全代表了群的性质。 三、不可约表示的特征标表 群的重要性质被概括在各种表格中，其中使用最频繁的是不可约表示的的特征标表。 A —— B —— 下标1 —— 下标2 —— 上标′ —— 上标〞 —— 下标g —— 下标u —— 不可约表示的慕利肯记号 一维表示: A 或 B 二维表示: E 三维表示: T (F) 一、广义正交定理（矩阵元正交定理） §1-6 不可约表示的性质 群的表示的矩阵元的记号： 第i个不可约表示、对称操作 （群的元素）的 m 行 n列 定理1 （广义正交定理