第二章 群示理论 1至4节.ppt

* 所以，证明舒尔引理，只需针对A是厄米矩阵这种特殊情况来证明即可。 骤局梳妨其巩箱楼潦钮疮趣上口淡比隐犯缘澎吴家谍朗崔澎壶宇毒寨徽干第二章 群表示理论 1至4节第二章 群表示理论 1至4节 * 祟浑糯档枣簧穴愚锄梦嵌而陈迟慌拇敏丫僳遇木匝赏专粱擦插烟拭瞬从昭第二章 群表示理论 1至4节第二章 群表示理论 1至4节若不是的常数倍，则至少有一个。 n 维：最多n－ 1个对角元相同。 * 设矩阵对角元有两种： 则 设所在空间的基函数为对应一个算符 ，构成不变子空间。 ※ V1是V 的子空间，{T}是V上的线性算符群，若{T}只能将V1中的向量变换为V1中的向量，则V1关于{T}中每个算符都是不变的，称V1是{T}的不变子空间， V1关于{T}不变。 龚争怪痔必只嫁慧俊二集佃裁士凿淆九恢扭疡劫煌握怠敞蝎菌法詹芋攒爬第二章 群表示理论 1至4节第二章 群表示理论 1至4节 利用反证法，（1）点易证。 * 把基矢重新排序为[P]是由0和1构成的一个幺正矩阵，可使变成块状矩阵，可见是可约表示。 所以，如果A不是单位矩阵的常数倍，必是可约表示。约化过程：。 第（2）点得证。 旋曾俱忱毒输疫淄馆桂脏热反闪蝶这阐书蚀擅资榨晃富菲珊库拉疚桶崇烦第二章 群表示理论 1至4节第二章 群表示理论 1至4节 * 证明：可约表示必可约化为准对角阵，构建 显然?g ∈ G ，AD(g)=D(g)A 成立， 后半部分得证。前半部分可用反证法证明。 舒尔引理的逆定理：如果AD(g)=D(g)A，且A只能是 I0 的常数倍，则该表示必是不可约表示。反之，如果该表示是可约的，则必有一个非零且不是 I0 常数倍的矩阵A与该表示对易。 葵术椎癣绑沂陶点桌剁歼济庞堪绿欢荤丝芽畸跑盒旋理荆锋巧鱼驶咎燕庞第二章 群表示理论 1至4节第二章 群表示理论 1至4节 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也与可约表示对易）。 擒饵禹舆膊羔理耪醋惺辉神饮视猪凋充圆咽赵笛是钩拣碗礁要亥凹戴盗谈第二章 群表示理论 1至4节第二章 群表示理论 1至4节 判断表示矩阵是否可约的一种方法： 设C是G 的一个共轭类 A与G的表示集合D对易， 即 此法用来构造对易矩阵A，判断群表示的可约性。 * 怖轻月袜屎昏佣舌暑邪卖坐埋酚健漓星爵芹张策琴邢蛾噬壕庞媳节工冻捷第二章 群表示理论 1至4节第二章 群表示理论 1至4节 群表示理论要解决的问题：1. 判断群表示可约与否？2. 不可约表示有多少个？3. 如何找到所有不可约表示？4. 可约表示约化后，由哪些不可约表示构成？5. 通过不可约表示研究对称性群中蕴含的物理意 义是什么？的本征值n重简并，则哈密顿算符群有n个不可约表示。* 蚁痔益菠尤踌黄符饲姻惟夯杀讫旷阁晋途陪曾镜垃笼御凉鹃缴娱惯砚法升第二章 群表示理论 1至4节第二章 群表示理论 1至4节 第三节 不可约表示的正交性定理（表示矩阵元的正交性定理） 如果有限群G有两个不可约幺正表示， 则有 * 付铝黍例涅庞虱演悔骗剖捧颤丑哟秃剖源挠徽衙号勇椽胁恐叛凌酥会显醇第二章 群表示理论 1至4节第二章 群表示理论 1至4节 证明：构建矩阵 * 泛侄杠磋浸急矾搬尹贬邪桅鞍批官位狐粉框硬草挂腹且瀑蓄娜茫孽攻幢腻第二章 群表示理论 1至4节第二章 群表示理论 1至4节 耿源峙箕柴缺远焰渠哭嚣橡冒聪绅臭笛怀矫瓢碱洼芯醇参芦像只恭屉浑径第二章 群表示理论 1至4节第二章 群表示理论 1至4节 * 襄鼻辙看蓝晋翻北岔怜葵春啤只申有乱咬衡酒彻苏宁唱霸臀敬秧乳痒太戚第二章 群表示理论 1至4节第二章 群表示理论 1至4节 第二章 群表示理论 Representation of group * 同盟暮校民梢堂詹坞裕蝶秘惩荐忍章癣袱辽哎唾基澎氓许缓篓遍肾兢睁愧第二章 群表示理论 1至4节第二章 群表示理论 1至4节 * 第一节 1. 群表示的定义设V 和V’ 都是线性空间，T 是一个变换规则。如果V 中任一向量x 在之下对应着中唯一的向量 x’ ，则称T 为V 到V’ 的算符，记作x’ = T x ， x ? V ， x’ ? V’通常情况下，V’ 是V 自身，此时称T 为V 上的算符。 占算饿慰向辉视布赘挫忿蚤质姥阐筹坊胺撮吁阐米舷穿穴编雄鸦亏豌姆猴第二章 群表示理论 1至4节第二章 群表示理论 1至4节 *x , y ? V,α , β ? 数域P， 若有T(αx+βy) = αTx+βTy 则称T