- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
群论2-1课件.ppt
群表示理论 一.群的矩阵表示 1.矩阵表示:群G的矩阵表示就是一个与G同态的方矩阵群.即群G的每一个元A对应着方矩阵群的一个方矩阵D(A),并且有 D(A)D(B)=D(AB) 对于每一个A及B都成立.群G的表示记作 . .(I为单位矩阵) 2.确实表示:若矩阵群与群G是同构关系,那么这个表示就称作确实表示. 3.不确实表示:群G与矩阵群是同态关系,且群G的阶大于矩阵群中矩阵的个数,即群G中几个元对应一个相同的矩阵,则这种表示称作不确实表示. 4. 中矩阵元的维数称为表示的维数,用l表示. 群表示理论 5.恒等表示:群G中所有元素都只对应一个相同的一维矩阵. 即 . 任何一个群都有一个这样的恒等表示. 6.相似变换:有以下关系的两个方矩阵 和 ,则称他们为相似矩阵,这种变换称为相似变换. ,S为与M有相同维数的非奇异方矩阵. 7.等价表示:两个以相似变换联系起来的表示称为等价表示. 与 等价. 8.幺正表示:如果一个矩阵U的逆 等于U的复共轭 ,则U就称为幺正矩阵.即 . 若群G的一个矩阵表示中,所有的矩阵都是幺正的,那么这个表示就成为群G的一个幺正表示,且有: 群表示理论 9.幺正表示的性质: (1)有限群的任何非奇异的矩阵表示,都可以通过相似变换变成幺正的矩阵表示. (2)若群G的两个幺正表示 和 是等价的,那么必然存在一个幺正矩阵U,使 10.可约表示:若群G的一个表示 中所有矩阵元D(A)按照相同的相似变换能够约化成相同结构的块状对角矩阵,则这个表示是一个可约表示. ,且 仍成立. 11.不可约表示: 中的矩阵元不能通过相同的相似变换约化为相同结构的块状矩阵.即它们不能约化为维数更低的块状矩阵. 群表示理论 二.舒尔引理 1.舒尔引理:若有一非零矩阵A同一个群的某一表示中所有矩阵对易, (1)若此表示是不可约表示,则A必为单位矩阵的常数倍; (2)若A不是单位矩阵的常数倍,则表示必为可约表示. 当A是厄米矩阵时,约化矩阵就是使A对角化的矩阵. 2.逆定理: (1)若除单位矩阵的常数倍外,没有任何非零矩阵能与群G的某一表示的所有矩阵对易,则这个表示是不可约的; (2)若群G的表示是可约的,那么必存在至少一个非零的、不是单位矩阵的常数倍的矩阵与所有表示矩阵对易. 用舒尔引理能够判断一个表示是否可约. 群表示理论 三.表示矩阵元的正交性定理 其中i,j:不同的不可约表示; , :R对应矩阵的矩阵元; :第j个不可约矩阵的维数; g:群G的阶. 群表示理论 四.表示的构造 1.对称操作:三维空间中对物体做变换,变换前后物体与自身重合,则这个操作称为对称操作.记为R. 2.函数的变换: 函数的变换与坐标上点的变换是逆变换. 是对应于函数的变换,R是对应于坐标的变换. 3.群表示的确立: (1)取一组基函数: 群表示理论 (2)以 作用在基函数上: 每一个R对应一个矩阵D(R). 所有D(R)的集合构成G的一个表示. 群表示理论 五.基函数的性质(5个定理1个逆定理) 1.函数 称为群G的第j个不可约表示 的基函数的充要条件是 其中, 表示第j个不可约表示的第 个基函数. 表示第j个不可约表示R对应的矩阵中的矩阵元的复共轭. 表示作用在函数上的对称变换算符. 表示第j个不可约表示矩阵的维数. g 表示群G的阶. 只有满足这个式子的函数才可以作为不可约表示 的基函数. 群表示理论 作用在某个本征子空间的一个函数上,得到的函数仍然是这个子空间中的函数,不会得到其他空间里的函数. 2.属于两个不等价不可约幺正表示的两组基函数,以及同一个不可约幺正表示的不同的基函数是互相正交的.即 其中, 表示第i个不可约表示的第 个基函数. 表示第j个不可约表示的第 个基函数. 群表示理论 是一个与 、 无关的常数. (1)不可约幺正表示中的
文档评论(0)