群论-4三维转动群.ppt

物理学中的群论,主讲 翦知渐, 三维转动群,4.1 拓扑群和李群,4.2 轴转动群SO(2),4.3 三维转动群SO(3),4.4 二维特殊幺正群SU(2),第四章 三维转动群,三维转动群及其表示,群论-三维转动群-拓扑群和李群,4.1 拓扑群和李群,连续群的基本概念,无限群分为分立无限群和连续无限群 有关有限群的理论对于分立无限群来说几乎全部成立 连续群的元素个数是不可数的,连续群G的元素由一组实参数a1, a2, , an 确定 该组参数对标明群的所有元素是必需的而且足够的 其中至少有一个参数在某一区域上连续变化,1 连续群的定义,该组参数中连续参数的个数 l 称为连续群的维数,在具体的群中，参数的取法可能不唯一,返回,群论-三维转动群-拓扑群和李群,封闭律：显然 单位元：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)构成一个二维连续群,群论-三维转动群-拓扑群和李群,拓扑群：群元的乘法法则和取逆法则对于群的所有元素都连续的群，称为拓扑群,返回,由于群元素的连续性质，需要在群中引入拓扑,简单地说，拓扑是一个集合以及它的子集族 拓扑学研究的是某个对象在连续变形下不变的性质,为简单起见，我们仅讨论其元素可与l 维实内积空间的某个子集 Sl 有一一对应关系的群，该子集称为参数空间,如T(a, b)的参数空间为：去掉y轴的实平面,乘法法则的连续性：对于任意x1 x2= x3, 则x1与x2邻域中的所有元素相乘均属于x3的邻域,取逆法则的连续性：对于任意元素x，其邻域中的任何元素的逆均属于其逆x-1的邻域,群论-三维转动群-拓扑群和李群,简单群和混合群 拓扑群G的任意两个元素x1和x2在参数空间中如果能用一条或者多条道路连接（道路连通），则该群的参数空间是连通的，该群称为连通群或简单群。 若群的参数空间形成不相连结的若干片，则该群称为混合群。,多重连通群 简单群根据其参数空间的拓扑，进一步分为单连通和多连通的。若任意群元在参数空间中的连通道路恰有k条，并且它们不能通过在参数空间内部的连续形变而重合，则称该群为k重连通。k称为连通度。,返回,连通群：三维转动群SO(3) 混合群：三维实正交群O(3) ；T(a, b),四连通,双连通,单连通,群论-三维转动群-拓扑群和李群,l 维拓扑群G的任意两个元素x1(a1, a2, , al)，x2(b1,b2,bl)的乘法运算和取逆运算为： x1x2=x3(c1, c2, , 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 李群,由于李群的组合函数是解析的，微积分的整套工具都可以用来研究李群，这使得李群成为研究最成功最深入的无限群,若以上组合函数均为解析函数，则该群称为李群。,群论-三维转动群-拓扑群和李群,群的诸多概念（子群、同态、表示、特征标）同样是李群的基本概念,返回,无穷小元素决定了李群的局域性质 无穷小元素与任意元素相乘得到该元素邻近的一个元素 把无穷多个无穷小元素相继作用到该群元上，可以得到从该群元出发的一条连续曲线,李群中单位元的参数可以选择为零 单位元邻域中的元素，其参数是无穷小量，称为无穷小元素,李群表示的每一个矩阵元和特征标在参数空间中（测度不为零的区域内）都是群参数的单值连续函数,简单李群中单位元与任意群元都是连通的，则通过无穷小元素的连续相乘可以从单位元得到任意群元,无穷小元素与极限过程或微分运算有关，不一定是参数很小 如 T(1,0),群论-三维转动群-拓扑群和李群,对于紧致连续群的连续表示（连续群可以有不连续的表示，比如O(3)群与1,-1同态），有以下基本结论： 任一连续表示都有等价的幺正表示； 任一幺正表示都是完全可约的； 不可约表示都是有限维的。,返回,对于混合李群，在每一片参数区中都需要先确定一个特定元素，然后通过无穷小元素相乘可得到该参数区中的任意元素,混合李群的性质完全由简单李群（不变子群）和每一连续片中一个代表元素的性质确定。 故重点只需研究简单李群的性质,混合李群中，参数空间包含单位元的那个连续片的对应元素的集合构成该混合李群的不变子群（它是一个简单李群），其他元素片对应元素的集合构成该不变子群的陪集,群论-三维转动群-拓扑群和李群,设李群G的单位元为e e( 0, 0,0 )参数均取为0 其邻域的元素x(0,j,0)精确到一级近似可写为： x(0,j,0) e(0,0) + i j Ij (0,0)， Ij 称为微分微量算符，可由求极限得到：,返回,3 李群的生成元,这l 个算符 Ij (1 j l) 只需定义在单位元附近，它们决定了李群的全部性质 称为李群的生成元,引入虚数i 的原因：使得 Ij 是厄密算符,如T(a, b)的生成元：,所以：Ia = -i Ib 是什么？,群论-三维转动群-拓扑群和李群,为了得到群元x(0,aj,0)，把 aj 写为aj = Nj，N是一个大整数，使得j是一个小量。忽略2次以上高阶项，有等式,返回,对于简单李群，任意群元可以由生成元相继运用乘法得到,把上述结果推广到群的一般元素有,形式上有：,让N趋向无穷并利用代数恒等式,于是有,群论-三维转动群-轴转动群SO(2),4.2 轴转动群SO(2),最简单的连续群,SO(2)群是绕固定轴的转动形成的集合。该集合元素只用一个参数标记，可以选定区间 0, 2 上取值的转动角，而转动记为T()。乘法规则：,1 SO(2)群的初始定义,若选择整个实数轴为参数，则每个群元对应无穷多参数，对应无穷多个区间：0, 2，2, 4,单位元为T(0)，逆元T()-1 = T(2-)。该群为单参数、连续、连通、阿贝尔、紧致李群,此时群是无穷多重连通的，有无穷多条道路连接任意两个元素，这些道路不能经由变形互相转换 绕n圈和n+1 圈不一样,返回,群论-三维转动群-轴转动群SO(2),1) 平面内的笛卡尔坐标系(x, y)在SO(2)群的旋转下的变换，可以生成群的一个表示：,2 SO(2)群的表示,每一个固定的m对应一个不可约表示,所以它的不可约表示为： T()=exp(im),满足该群乘法的数值（11矩阵）应为： T()=exp(c)， c为复数。因为T(2) = e（单位元），可求出c = im，m为整数,2) 轴转动群是阿贝尔群，其所有不可约表示都是一维的，也就是说它的表示矩阵本身就是其特征标,返回,群论-三维转动群-轴转动群SO(2),3) 若选择整个实数轴为参数空间，此时该群为无穷多重连通。此时该群有多值表示： T()=exp(im/k)， k为任意整数，称为SO(2)群的k值表示,1) 固定m，复数集 T()=exp(im), 0, 2与SO(2)同构,SO(2)是单参数李群，它只有一个生成元。生成元的具体形式依赖于SO(2)群的具体形式。不同的SO(2)都是同构的,3 SO(2)群的生成元,一般而言，k重连通的李群G会有单值、双值、，k值表示。对于物理上真实的系统，一般只有单值表示和双值表示,它对应的生成元为：,返回,群论-三维转动群-轴转动群SO(2),2) 所有行列式为1的2阶正交矩阵构成SO(2)群，群元为：,T()=exp(-iy),与泡利矩阵相差一个负号,生成元为：,所以这个群的一般群元可以写为：,返回,群论-三维转动群-轴转动群SO(2),一半径为a的圆，x为沿圆周的长度，f(x)为定义在圆周上的函数。T()为绕通过圆心与圆平面垂直的轴转动角的变换， 即T()f(x) = f(x a) T()构成SO(2)群,它实际上是标量函数的变换算符,它正比于量子力学中的动量算符 px。故此时SO(2)的一般群元可表示为： T()= exp(-i apx/),即生成元为,因此,返回,群论-三维转动群-轴转动群SO(2),4) T()是一个作用在函数f(x, y)上的转动变换，函数f(x, y)定义于(x, y)平面上，而转动轴为z轴：,转动角度的元素表示为： T()= exp(-i Lz/),由定义易求得生成元： I = - Lz/， Lz为垂直于x y平面的角动量分量算符,T() f(x, y) = f(xcos + ysin, -xsin + ycos),T()构成SO(2)群,平面上的标量函数的变换算符,返回,群论-三维转动群-三维转动群SO(3),4.3 三维转动群SO(3),量子力学中应用最广泛的对称群,球对称是物理学中最常见的对称性，即SO(3)对称性 中心力场问题总是最基本的研究课题，也相对容易解决 很多真实物理系统都具有近似的球对称性,三维转动群SO(3)由三维实空间中的所有转动构成 SO(3)是三维实正交群O(3) （又称为转动反演群）的子群 有 O(3) = SO(3)e, I,1 SO(3)群的元素,O(3)群是不连通的连续紧致李群，其参数空间分为两片：其中一片对应SO(3)群，由真转动构成，另一片对应非真转动（转动反演）,SO(3)群有三个参量，是一个双联通的连续群,返回,群论-三维转动群-三维转动群SO(3),SO(3)群的参数有多种选择 常用的是在笛卡尔坐标系中用R(n, ) 表示一般群元,先通过一个转动使得n与 z 轴重合； 然后绕 z 轴转动角； 最后把 z 轴通过转动回到原n位置 结果为绕n轴转动角,R(n, )的操作可以通过三个连续的转动实现：,设将 z 轴转到n轴的转动记为S，则将n转到 z 轴的转动为S-1： 故有 R(n, ) = SR(z, )S-1,而转动S可以通过两个相继的转动操作实现：,S = R(z, ) R(y, ),返回,群论-三维转动群-三维转动群SO(3),故可以求出转动元素R(n, )以(, , ) 为参数的矩阵形式，对应生成元也能够求出 不过形式极为复杂 牵涉到求逆矩阵，没有简单的解析形式,因此ni = Si3，i = 1,2,3 ，后面求R(n, )对应的变换算符时要用,另一种表示转动的方法用欧拉角来描,S矩阵将 (0,0,1) （z轴）变换到与(n1, n2, n3)（n轴）的方向重合，因而有,2 SO(3)群的函数变换算符群及其生成元,1) 与操作R(n, )相应的标量函数变换算符为P(n, ) 它具有微分算符形式,由关系式R(n, ) = SR(z, )S-1，相应地有P(n, ) = PSP(z, )PS-1,返回,群论-三维转动群-三维转动群SO(3),因为 P(z, ) = exp(-iLz/),故可以得到,求 的具体形式将其作用于任意函数F(r)上：,（令r= Sr，而算符与矢量一样变换）,返回,群论-三维转动群-三维转动群SO(3),所以有：,可得变换算符为：,由此得到了SO(3)的变换算符群 P(n, ),2) SO(3)为三参数李群，故有三个生成元 Ix , Iy , Iz 分别对应于n 取 x, y, z 轴方向的单位矢,即：,类似有：,返回,群论-三维转动群-三维转动群SO(3),3) 生成元Ix , Iy , Iz 的线性组合仍然可以看成是群的生成元，故以Ix , Iy , Iz 为基实际上可以构成一个线性空间L,李代数的一个矩阵表示，就能生成李群的一个表示 与李群的所有生成元对易的算子称为Casimir算子，用其本征值可以标志李群的不可约表示,其中的系数 称为该李群的结构常数,并且其向量满足李代数的二元乘法法则： xi , xj L xi , xj = -xj , xi xi , xj , xk + xj , xk , xi + xk , xi , xj = 0,因而它们生成了李代数。生成元之间的对易子为,SO(3)群的Casimir算子为 ，其本征值为l(l+1)，用l 可以标记SO(3)群的不可约表示,返回,群论-三维转动群-三维转动群SO(3),SO(3)中具有相同转角的元素形成共轭类 SO(3)群具有无穷多个共轭类，因而具有无穷多个不可约表示寻找适当的基函数从而得到转动群的不可约表示,3 SO(3)群的表示,对于确定的l，它具有2l + 1重简并,球谐函数是量子力学中角动量平方算符L2 = Lx2 + Ly2 + Lz2的本征函数,式中 是伴随（又称缔合）勒让德多项式,1) 球谐函数正是这样的基函数：,返回,群论-三维转动群-三维转动群SO(3),因为每个基函数在旋转下变成所有2l1个基函数的线性组合，所以这个表示空间没有不变子空间不可约表示,因 ，而与转动R(n, )对应的函数变换算符为,给出了P(n, ) 的表示,故 也是L2的本征函数 可以写为2l + 1个简并本征函数的线性组合：,因为,2l1个球谐函数张成了SO(3)算符群的表示空间 它们构成了表示空间的基矢组,这样得到的都是奇数维的表示，且表示矩阵求起来比较麻烦,返回,群论-三维转动群-三维转动群SO(3),于是：,故： R(z, )-1(, ) = (, ),显然，选取绕z轴转角的转动 R(z, ) 最为方便 由于 R(z, )(, ) = (, +)，(, )代表n轴，是n轴的方向角),对于SO(3)群，特征标是转角的函数 只要找出一个类中一个特殊元素的表示矩阵，就可以求出该类的特征标,2) 计算这些不可约表示的特征标,返回,群论-三维转动群-三维转动群SO(3),故得到表示矩阵 Dl(z,) 的形式为,因此，在第l个表示中，转角为的类的特征标 l() 为,返回,群论-三维转动群-三维转动群SO(3),如右图： Oxyz(蓝色)固定全局坐标系 OXYZ (红色)可转动局部坐标系,1) 蓝色轴绿色轴：先绕z轴转动角，以x, y, z 来标记。此时z轴不动(z= z)，而 y 轴转至ON方向（也称为节轴）,4 欧拉角,R(n, )：直观，物理意义明确,欧拉角, , 表示：计算更为方便，表达式简便R(, , ),R(, , )为以下三个转动的合成：,3) 最后在黑色轴坐标系中绕 z 轴转动角，至图中红线所标示的坐标系OXYZ,2) 绿色轴黑色轴：再将 xyz 绕y 轴（也就是ON轴）转动角，各轴用x, y (y), z表示，此时y 轴不变,返回,群论-三维转动群-三维转动群SO(3),这样用欧拉角表示的任意转动可表示为：,最后我们可以得到：,做类似处理，可得,它是先把 y 转到y，再绕y转动角，最后把y转回y，总效果相当于绕 y 转动角,这种绕可转动坐标系的转动可以转化为对固定坐标轴的转动来表示：,利用共轭元的概念容易证明R(, , )可表示为绕固定轴的转动的联合作用，因为：,返回,群论-三维转动群-三维转动群SO(3),因此可得R(, , )的矩阵形式,用欧拉角表示的转动R(, , )，与用绕轴转动一个角度表示的转动R(n, )之间可以互相转换：,欧拉角表示的转动应用非常广泛，在量子力学中经常用到,设, , 为转轴n的方向余弦，, , , 与 , , 的关系为,返回,群论-三维转动群-二维特殊幺正群SU(2),1) 若二维矩阵u 为幺正矩阵，即 uu = E（E为单位矩阵） 且其模为1，即 detu = 1， 则称u为二维幺模幺正矩阵 所有这样的矩阵构成二维特殊幺正群，记为SU(2),其中a，b为复数，各由两个实参量确定，它们满足 aa* + bb* = 1故SU(2)的每个群元由三个独立参量确定,4.4 二维特殊幺正群SU(2),SU(2)是SO(3)群的覆盖群,1 SU(2)群,二维幺模幺正矩阵的一般形式为,由所有二维幺正矩阵构成的群称为二维幺正群，记为U(2)，其元素满足det u = ei,2) U(n)群和SU(n)群的生成元 所有n阶幺正矩阵构成U(n)群 所有行列式为1的n阶幺正矩阵构成特殊幺正群SU(n),返回,群论-三维转动群-二维特殊幺正群SU(2),而所有n阶厄密矩阵构成一个n2维的实矢量空间 任何厄密矩阵都可以表示为n2个独立厄密矩阵hi ( i = 1, n2)的实系数的线性组合，即：,U(n)群的n2个生成元： 对于幺正矩阵u，总可以通过厄密矩阵 h 表示为u = eih的形式,SU(n)群的元素还需满足行列式为1的条件，故SU(n)群是连续、连通的n21个参数的紧致李群,一个酉矩阵有n2个独立元素，故U(n)群是连续、连通的n2个参数的紧致李群,故对任意酉矩阵有：,返回,群论-三维转动群-二维特殊幺正群SU(2),所有迹为零的厄密矩阵构成一个(n21)维的实矢量空间,对于SU(n)群，其元素的行列式为1，由det u = exp(ia) 可知，与幺模幺正矩阵对应的厄密矩阵的迹为零,由于厄密矩阵的对角元为实数（厄密矩阵总是可以对角化的），故得到行列式： det u = expiTr(h) = exp(ia) ， a为厄密矩阵h的迹，是实数，故幺正矩阵的行列式的模为1,因此任意n2个线性无关的厄密矩阵hi ( i = 1, n2)都可以构成U(n)群的生成元,这个空间的任意(n21)个线性无关的0迹厄密矩阵都可以构成SU(n)群的生成元,故一般可以先确定SU(n)的(n21)个生成元； 再加一个单位元就可以构成U(n)群的n2个生成元（单位元迹不为0）,返回,群论-三维转动群-二维特殊幺正群SU(2),U(2)群的生成元可以选(E, x, y, z)为生成元,其中E为二阶单位矩阵,对于SU(2)群，通常选取三个泡利矩阵为生成元：,2 SU(2)与SO(3)的同态,SU(2)和SO(3)的每个群元都由三个独立参量确定，两者实际上构成同态关系我们会发现SU(2)与SO(3)是2：1的同态,厄密矩阵到R3中矢量的映射： h r,h = xx + yy + zz , x, y, z R,泡利矩阵是线性无关的零迹厄密矩阵，任意一个二维的零迹厄密矩阵h都可以表示成三个泡利矩阵的线性组合，组合系数为实数，即：,返回,群论-三维转动群-二维特殊幺正群SU(2),由此可见，任意一个2维零迹厄密矩阵 h 都对应三维实空间R3中的一个矢量r：h r 并且有 det h = -| r |2 = -(x2 + y2 + z2),其中 r = (x, y, z)， = (x, y ,z),h = xx + yy + zz = r =,形式上可写为矢量的点乘：,用任意元素 SU(2)，对零迹厄密矩阵h作相似 变换，可以定义与u对应的R3中的一个变换Ru：,2) 幺正矩阵到R3中变换的映射： u Ru,即： r = Rur， 这里 r r ； u Ru,返回,3) Ru的性质：,群论-三维转动群-二维特殊幺正群SU(2),其中,Ru是一个实矩阵：因为r= Rur，而r与r均为实数，故Ru的矩阵元都是实数（也可直接计算得出结论）,Ru是一个真转动：由于相似变换不改变行列式，即， det(u(r)u-1) = det(r) 于是有 -(x2 + y2 + z2)= -(x2 + y2 + z2) 即Ru保持矢量长度不变Ru一个实正交变换,而实正交变换的行列式只能是1或者1,返回,群论-三维转动群-二维特殊幺正群SU(2),Ru是一个真转动 所以SU(2)群的任意元素u对应于真转动Ru,当a = 1, b = 0时的矩阵u为单位矩阵，对应的Ru为恒等变换，其行列式值为1 由于Ru连续依赖于参数a和b，当a, b连续变化时，detRu不可能从1突然跳到 -1，因此对于所有参量a, b，detRu只能取1,4) u Ru的映射是一个同态： 这个映射保持群的乘法规则不变,即,这个映射还是一个满映射 任意一个转动都可以找到SU(2)群的元素与之对应,返回,群论-三维转动群-二维特殊幺正群SU(2),将任意转动表示为R(, , )，寻找与之对应的幺模幺正矩阵,首先，确定由欧拉角(,0,0),(0,0),(0,0,) 表示的转动所对应的SU(2)群元（由Ru的表达式得到(a,b)）：,返回,可以得到： u(, , ) = u()u()u(),也就是说，在映射中，参数(a, b)对应的与(, , )的关系为,可见任一个转动R(, , )都有一个SU(2)矩阵与之对应 故SU(2)群到SO(3)群的映射为同态满映射： SU(2) SO(3),群论-三维转动群-二维特殊幺正群SU(2),因此：R(, , ) = Rz()Ry()Rz() u(, , ) = u()u()u(),返回,5) SU(2)与SO(3)是 2:1的同态,通过Ru与u(a,b)的参数a, b的依赖关系可以找到与SO(3)群单位元对应的幺模酉矩阵u，即SU(2) 到SO(3)的同态核,反解出参参数a，b为： a = 1, b = 0 ，（ = 0, 和 = 0或2） 故同态核由以下两个元素构成,实际上，R(, , )与R(+2, , )在几何上是一样的，但却有u(, , ) = - u(+2, , )它们对应的SU(2)群元不同,群论-三维转动群-二维特殊幺正群SU(2),所以SU(2)SO(3)是一个2：1的同态，每一个转动元素Ru都有两个SU(2)群元u和-u与之对应,返回,SU(2)群是矩阵群，它本身就是自己的一个2维忠实表示,所以，为了求得SU(2)群的其他表示，我们可以选取x1, x2的齐次单项式作为SU(2)群表示的基函数，例如： 3维表示基函数：x12, x1x2, x22； n+1维表示：x1n, x1n-1x2, , x1x2n-1, x2n 这些齐次单项式在SU(2)的作用下仍旧是齐次单项式的组合,群论-三维转动群-二维特殊幺正群SU(2),3 SU(2)的不可约表示,所以,1) 基函数 为了找到其他的表示，必须找到合适的基函数,考虑基函数为x1, x2，它在SU(2)的群元作用下变换为x1, x2, 即：,x1, x2在SU(2)的群元作用下的变换式是线性齐次的,返回,基函数的一般形式为x1n-ax2a,群论-三维转动群-二维特殊幺正群SU(2),为了使所求表示具有幺正性，将上述基函数增加一个因子，即,对于n次齐次函数，j=n/2 （n为奇数时j取半整数） 相应地m有n1（或2j1）个取值：m = j, j-1, -j+1, -j 对应一个n1维表示的基函数,为了物理上应用的方便，可以将齐次单项式的幂指数改写为：n=2j, a=j-m 基函数的一般形式写为：x1j+mx2j-m,以 2j1个 2j 次齐次函数为基构成的线性空间在SU(2)群元素的作用下具有不变性，而且是线性无关的,它们构成SU(2)群的表示空间,返回,2) 表示矩阵元 n维（即2j1维）表示的矩阵Dj(u)由下式确定,群论-三维转动群-二维特殊幺正群SU(2),代入 ，有：,又因,将,利用二项式定理，上式可以化为：,返回,令m= j - r- r，对上式做整理可得,所以可以得到SU(2)群第 j 个 2j1维表示的矩阵元为,群论-三维转动群-二维特殊幺正群SU(2),由于负整数的阶乘是无限的，上式求和中只须遍及所有分母为有限的那些 r 值即可,返回,只对满足r 0, r m-m; 或r j+m, r j-m的r 求和 例如有,当j为整数时，Dj(u) = Dj(-u)，称为偶表示； 当j为半整数时候，Dj(u) = -Dj(-u)，称为奇表示,(第一列，m=-j),(最后一行，m=j),群论-三维转动群-二维特殊幺正群SU(2),容易验证： j=0对应的一维表示为恒等表示； j=1/2对应的二维表示的矩阵为（即其自身）,返回,j1的三维表示的矩阵为：,群论-三维转动群-二维特殊幺正群SU(2),可以证明，以 ，m = j, j-1, -j+1, -j 为基得到的表示是SU(2)群的全部不等价不可约幺正表示，j 是任意的不小于0的整数和半整数,3) Dj(u)的性质,a) Dj(u) 是幺正表示：,保持向量内积不变 故为幺正表示,返回,b) Dj(u)是不可约表示,群论-三维转动群-二维特殊幺正群SU(2),所对应的表示矩阵Dj(u)也是对易的,设矩阵Y与全体 Dj(u) 可交换，则 Y 与群元,首先证明，与SU(2)群的表示 Dj(u)的所有矩阵可以对易的矩阵一定是单位矩阵乘上一常数,根据以下两个结果以及舒尔引理二可以证明Dj(u)是不可约表示,A. 若矩阵A是对角元互不相同的对角矩阵，而A与矩阵B可以对易，则B也是对角矩阵； B. 若对角矩阵A与矩阵B对易，且B中有一列元素皆不为0，则矩阵A是单位矩阵的常数倍，即A = E,因为 即Dj(u)为对角元互不相同的对角矩阵 由A可知知 Y 为对角矩阵,返回,根据前面的结果，表示矩阵第一列的元素Djm, -j (u)为：,群论-三维转动群-二维特殊幺正群SU(2),由此可见，不存在 Y E的矩阵与全体Dj(u)对易，由舒尔引理可知，Dj(u)为不可约表示,它仅当ab0时为0，所以第一列皆不为0,对角矩阵Y与之对易，根据 B可知，Y必为单位矩阵的常数倍：Y = E,c) Dj(u)是SU(2)群的非忠实表示 Dj(u)的表达式满足：Dj(u) = (-1)2j Dj(-u),而当Dj(u)取半整数时，表示矩阵与群元一一对应，此时称Dj(u)为奇表示,当 j 取正整数时，两个不同的群元u, -u对应于同一个表示矩阵 可见Dj(u) 不是忠实表示，此时称之为偶表示,返回,d) Dj(u)包括了SU(2)群的所有不等价不可约表示,群论-三维转动群-二维特殊幺正群SU(2),任意幺正矩阵可以通过幺正变换对角化，因此任意SU(2)群元u总与对角元 共轭 故SU(2)群的共轭类可用u()(02) 来标志,u ()在表示Dj(u)中的特征标为：,如 j =0, 1/2时的特征标为：,由类函数的全体( j = 0, 1/2, 1, 3/2, )可以组成类函数空间的完备系,由连续群的特征标理论，当 j 取遍所有非负整数和半整数时，Dj(u)包含了SU(2)群的所有不等价不可约表示,返回,1) SU(2)群与SO(3)群是2：1的同态，所以由SO(3)群的任意一个表示可以得到SU(2)群的一个表示 反过来，SU(2)群的一个表示并不一定是SO(3)群的表示,群论-三维转动群-二维特殊幺正群SU(2),4 双值表示,a) 所有SU(2)的偶表示正好构成SO(3)群的全部不可约表示 与R(, , )对应的幺模幺正矩阵u(a,b)的参数为,因为：任意转动R(, , )对应两个二维幺模