资源描述：
《群论-4 三维转动群课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、物理学中的群论主讲翦知渐——三维转动群群论-三维转动群§4.1拓扑群和李群§4.2轴转动群SO(2)§4.3三维转动群SO(3)§4.4二维特殊幺正群SU(2)第四章三维转动群三维转动群及其表示群论-三维转动群-拓扑群和李群§4.1拓扑群和李群——连续群的基本概念无限群分为分立无限群和连续无限群有关有限群的理论对于分立无限群来说几乎全部成立连续群的元素个数是不可数的连续群G的元素由一组实参数a1,a2,…,an确定——该组参数对标明群的所有元素是必需的而且足够的其中至少有一个参数在某一区域上连续变化1连续群的定义该组参数中连续参数的个数l称为连续群的维数在具体的
2、群中，参数的取法可能不唯一返回群论-三维转动群-拓扑群和李群封闭律：显然单位元：T(1,0)逆元素：T-1(a,b)=T(1/a,-b/a)，结合律：易证返回例：定义线性变换T(a,b)为x'=T(a,b)x=ax+b,a,b∈(-∞,+∞),a≠0——x为实数轴上的点而两个变换的乘积为：T(a1,b1)T(a2,b2)x=T(a1a2,a1b2+b1)x——先做后一个变换，再做前一个变换所有这样的线性变换{T(a,b)}构成一个连续群{T(a,b)}构成一个二维连续群群论-三维转动群-拓扑群和李群拓扑群：群元的乘法法则和取逆法则对于群的所有元素都连续的群，称为
3、拓扑群返回由于群元素的连续性质，需要在群中引入拓扑简单地说，拓扑是一个集合以及它的子集族拓扑学研究的是某个对象在连续变形下不变的性质为简单起见，我们仅讨论其元素可与l维实内积空间的某个子集Sl有一一对应关系的群，该子集称为参数空间——如{T(a,b)}的参数空间为：去掉y轴的实平面乘法法则的连续性：对于任意x1x2=x3,则x1与x2邻域中的所有元素相乘均属于x3的邻域取逆法则的连续性：对于任意元素x，其邻域中的任何元素的逆均属于其逆x-1的邻域群论-三维转动群-拓扑群和李群简单群和混合群拓扑群G的任意两个元素x1和x2在参数空间中如果能用一条或者多条道路连接（
4、道路连通），则该群的参数空间是连通的，该群称为连通群或简单群。若群的参数空间形成不相连结的若干片，则该群称为混合群。多重连通群简单群根据其参数空间的拓扑，进一步分为单连通和多连通的。若任意群元在参数空间中的连通道路恰有k条，并且它们不能通过在参数空间内部的连续形变而重合，则称该群为k重连通。k称为连通度。返回连通群：三维转动群SO(3)混合群：三维实正交群O(3)；{T(a,b)}四连通双连通单连通群论-三维转动群-拓扑群和李群l维拓扑群G的任意两个元素x1(a1,a2,…,al)，x2(b1,b2,…,bl)的乘法运算和取逆运算为：x1x2=x3(c1,c2,
5、…,cl),x1-1=x4(d1,d2,…,dl)参数之间的关系称为组合函数：ci=ci(a1,a2,…,al；b1,b2,…,bl),di=di(a1,a2,…,al)，i=1,2,…l返回紧致群若拓扑群的参数空间是紧致空间，即闭而有界的空间，则该群称为紧致群。2李群由于李群的组合函数是解析的，微积分的整套工具都可以用来研究李群，这使得李群成为研究最成功最深入的无限群若以上组合函数均为解析函数，则该群称为李群。群论-三维转动群-拓扑群和李群群的诸多概念（子群、同态、表示、特征标……）同样是李群的基本概念返回无穷小元素决定了李群的局域性质无穷小元素与任意元素相乘
6、得到该元素邻近的一个元素把无穷多个无穷小元素相继作用到该群元上，可以得到从该群元出发的一条连续曲线李群中单位元的参数可以选择为零单位元邻域中的元素，其参数是无穷小量，称为无穷小元素李群表示的每一个矩阵元和特征标在参数空间中（测度不为零的区域内）都是群参数的单值连续函数简单李群中单位元与任意群元都是连通的，则通过无穷小元素的连续相乘可以从单位元得到任意群元无穷小元素与极限过程或微分运算有关，不一定是参数很小——如T(1,0)群论-三维转动群-拓扑群和李群对于紧致连续群的连续表示（连续群可以有不连续的表示，比如O(3)群与{1,-1}同态），有以下基本结论：任一连续
7、表示都有等价的幺正表示；任一幺正表示都是完全可约的；不可约表示都是有限维的。返回对于混合李群，在每一片参数区中都需要先确定一个特定元素，然后通过无穷小元素相乘可得到该参数区中的任意元素混合李群的性质完全由简单李群（不变子群）和每一连续片中一个代表元素的性质确定。故重点只需研究简单李群的性质混合李群中，参数空间包含单位元的那个连续片的对应元素的集合构成该混合李群的不变子群（它是一个简单李群），其他元素片对应元素的集合构成该不变子群的陪集群论-三维转动群-拓扑群和李群设李群G的单位元为e≡e(0,0,…,0)——参数均取为0其邻域的元素x(0,…εj,…,0)精确到
8、一级近似可写为：x(0,
