第二章群表示理论1至4节课件.pptVIP

* 所以，证明舒尔引理，只需针对A是厄米矩阵这种特殊情况来证明即可。 * 若 不是 的常数倍，则至少有一个 。 n 维：最多n－ 1个对角元相同。 * 设 矩阵对角元有两种： 则 设 所在空间的基函数为 对应一个算符 ， 构成不变子空间。 ※ V1是V 的子空间，{T}是V上的线性算符群，若{T}只能将V1中的向量变换为V1中的向量，则V1关于{T}中每个算符都是不变的，称V1是{T}的不变子空间， V1关于{T}不变。 利用反证法，（1）点易证。 * 把基矢 重新排序为 [P]是由0和1构成的一个幺正矩阵，可使 变成块状矩阵 ，可见 是可约表示。 所以，如果A不是单位矩阵的常数倍， 必是可约表示。约化过程： 。 第（2）点得证。 * 证明：可约表示必可约化为准对角阵 ，构建 显然?g ∈ G ，AD(g)=D(g)A 成立， 后半部分得证。 前半部分可用反证法证明。 舒尔引理的逆定理：如果AD(g)=D(g)A，且A只能是 I0 的常数倍，则该表示必是不可约表示。反之，如果该表示是可约的，则必有一个非零且不是 I0 常数倍的矩阵A与该表示对易。 Schur引理的理解： 群G有表示D={D(g)，?g∈G}，有一矩阵A和D对易。若所有的A都是cI0 ，则D是不可约表示。若D是不可约表示， A只能cI0 。若存在A不是cI0 ，则D必是可约的；若D是可约表示，则必能找到A ≠ cI0与D对易。 * 找到某个矩阵A时， 当A ≠ cI0 ，D可约； 当A= cI0 ，D不一定是不可约的（A也与可约表示对易）。 判断表示矩阵是否可约的一种方法： 设C是G 的一个共轭类 A与G的表示集合D对易， 即 此法用来构造对易矩阵A，判断群表示的可约性。 * 群表示理论要解决的问题： 1. 判断群表示可约与否？ 2. 不可约表示有多少个？ 3. 如何找到所有不可约表示？ 4. 可约表示约化后，由哪些不可约表示构成？ 5. 通过不可约表示研究对称性群中蕴含的物理意 义是什么？ ? 的本征值n重简并，则哈密顿算符群有n个不可约表示。 * 第三节 不可约表示的正交性定理（表示矩阵元的正交性定理） 如果有限群G有两个不可约幺正表示 ， 则有 * 证明：构建矩阵 * * * * * * 特征标定义 对于群G的任一表示D，任一元素g 的表示矩阵D(g) ，该矩阵的迹 称为群元g在表示D中的特征标。群G中所有g个群元在D中的特征标，称为表示D的特征标系（也可简称特征标）。 第j个不可约表示Dj(g)的特征标 * 第四节 特征标 (Character) (1) 等价表示的特征标系相同 * （2）同一表示中，同类元素的特征标相同 * （3）可约表示的特征标可以约化为不可约 表示的特征标 * 不可约表示特征标的正交性定理 对于两个不可约幺正表示 的特征标，有 * ※如果已知所有不可约表示，对于一个可约表示D(R)，求出其特征标系，便可约化系数。 * 对于群G： * a. 如果一个表示和某个不可约表示具有完全相同的特征标系，则该表示与此不可约表示等价。 b. 如果某一表示与任一不可约表示的特征标系不同，则该表示必是可约的。 c. 可约和不可约的判据：某一表示D，如果其特征标满足 ，则该表示必是不可约表示，否则为可约表示。 * 例1. * ？ 例2. 群在三维实空间中的表示（以前的例题）中，1、2行列的块状矩阵，是不可约表示。 * 例3. 一个六阶群，有如下表示D： * 第二章 群表示理论 Representation of group * * 第一节 1. 群表示的定义 设V 和V’ 都是线性空间，T 是一个变换规则。如果V 中任