群论第三章B.ppt

1、3.3关于有限群表示的基本定理3.3.1么正化定理,定义：若一个群G的表示矩阵都是么正矩阵，则这个表示称为G的么正表示。定理1：群的任何一个表示都可以经过适当的相似变换，而变为与原表示等价的么正表示。,证：对于给定的表示D(G)，要找出相似变换x，使得：（假定D非么正）和经过相似变换后，仍为G的表示称等价表示。,（重排定理）,显然，H矩阵是厄来矩阵，总可通过么正的相似变换U使其对角化：若令；代入(xx+)-1,而，定理得证。以后的所有表示均看成么正表示。,定理2：若群GA1,A2,Ak,Ah有两组等价的么正表示：D(1)(A1),D(1)(A2),D(1)(Ak),D(1)(Ah)D(2)(A

2、1),D(2)(A2),D(2)(Ak),D(2)(Ah)且有矩阵M(或CM，C为常数)使得MD(1)(Ak)M-1=D(2)(Ak)(AkG)则D(1)(G)和D(2)(G)之间相似变换可以借助于一个么正矩阵来实现。（证明时用定理：与矩阵元各不相同的对角矩阵可对易的矩阵必为对角矩阵）,3.3.2正交定理,Schur引理1：与群的某一不可约表示的所有矩阵可对易的矩阵（M）必为常数矩阵。（此引理对所有群均成立）,证：若两个矩阵对易AB=BA，则经过相似变换后仍可对易，所以若表示矩阵不是么正，可用一相似变换使它么正，而对易性不变。,所以下面就认为D(R)为么正矩阵。,：若对M加上厄密条件，也不影响

3、结论：设群G，表示若，对此式两边取转置共轭：两边乘即：么正，故上式即为：即：只要M和D(R)对易，必有M+和D(R)对易，则都可对易。,H1和H2均为厄密，因此，只要证明D(R)和厄密矩阵H1,H2可对易，则D(R)必和M对易。所以下面就认为M为厄密矩阵。,V-1()V,:对厄密矩阵M，总有么正矩阵V，使d为对角矩阵么正矩阵之积仍为么正矩阵，故仍为么正矩阵得：,证明：,设对角矩阵d有p个对角矩阵元相等，其他n-p个对角元互不相等，作这样的x一定存在这时，上式变为：即，其中（当）即：,相等,若对角矩阵元在ijp时，且i和j不相等，则或当i和j一个大于p，一个小于p时，而这个矩阵是可约的，同我们假

4、设它不可约矛盾，要使此矩阵不可约，则必有，即d为常数矩阵。又由于。d也为常数矩阵，也为常数矩阵。,Schur引理1直接应用：Abel群的表示矩阵一定是一维的（即常数矩阵），因为它的任何一个元素的表示矩阵必与其它所有矩阵对易。如某个不是比例于单位矩阵的矩阵(常矩阵），与表示的所有矩阵对易，则此表示是可约的。,Schur引理1：与群的某一不可约表示的所有矩阵可对易的矩阵（M）必为常数矩阵。（此引理对所有群均成立）,m1m2,Schur引理2：设D(1)(G)和D(2)(G)是群G的两个不等价不可约表示，维数分别为m1和m2，x是一个m1m2矩阵，如果对所有元素RG有：D(1)(R)x=xD(2)(

5、R)（*）则必有x=0。,证明：不妨假设D(1)和D(2)均为么正矩阵，它们不可再约化对（*）两边取厄来共轭：D(1)和D(2)么正，故有即,m1m1,m2m2,D(1)(R)x=xD(2)(R),R是取遍整个群G，故上式可写成：,相当于ij,左乘x得：D(1)(R)x=xD(2)(R)，上式为：据Schur引理1，xx+必为常数矩阵：（*）,（）当m1=m2时，此时x必为奇异的，即detx=0，否则据（*）有D(1)(R)x=xD(2)(R)即D(1)(R)和D(2)(R)等价，与假设矛盾，故x是奇异的对（*）两端求行列式：=0又x的所有矩阵元均为零（i,j均可变）,（ii）当m1m2时,设

6、m1m2可对矩阵x添上m1-m2列零使得x变为x：且：显然：但重复(i)的证明可得x=0，（x=0）结论：不同的不可约表示不可能彼此有联系（除非用零矩阵）,定义：群G的m维线性表示可以看成G的一个矩阵函数，它的每一个矩阵元都是G的一个函数，称为群函数，共有m2个群函数。,正交定理：有限群G的不等价不可约么正表示的矩阵元素，作为群函数，满足正交关系：（）其中h是群G的阶，mj是表示D(j)(G)的维数。,则：,（）,（）,这就是式左边,么正,证明：设有一mimj矩阵Y，它只有第行第列元素不为零即：定义mimj矩阵X：,另一方面,重排定理,当ij时，据schur引理2，（S是任取的）当i=j时，据

7、schur引理1，（C常数同Y有关，故同有关）对（）两边取i=j，=并对求和：,E=I(单位矩阵),例:两种原子组成的四方晶体的对称操作所组成的群的表示,为方块对角矩阵，为右下角元素组成的1-维不可约表示D(1)及左上角元素组成的2-维不可约表示D(2)，则3-维不可约表示可写成直和的形式：,所以用(x,y,z)为基矢求得的表示是可约化的。,一维显然表示,正三角形C3v的不可约表示：,正交定理：有限群G的不等价不可约么正表示的矩阵元素，作为群函数，满足正交关系：（）,（）左边为两个群函数的内积，内积为零为正交，同一函数的内积称为该函数的模平方。,正交定理指出：作为群函数，群G的不等价不可约表示

8、的矩阵元互相正交，同一不可约么正表示的mj2个矩阵元也互相正交，这些群函数模的平方等于1/mj。,Burnside定理：有限群不等价不可约表示维数平方和不大于群的阶数：,意为：群G有C套表示：m1维,m2,mj,mc则（G的阶）,因为有限群的群函数只有h个取值，所以只有h个线性无关的群函数，因此得：,Burnside定理的意义为：mj维的表示中可有mj2个独立的变量，可承担独立的群函数的任务，但它的空间不会大于G的空间，否则必为等价或可约的。,即：mj维表示中线性独立（互相正交）的矢量个数最多只有mj2个，所有表示的线性独立的矢量个数不会超过群空间(无量空间)的维数。,当时，变为：即每个矢量的

9、长度都为,例有表示：,显然这套矩阵是不可约的，因为假若是可约的，则这套矩阵必定对易，而现在是不可约的。,正三角形C3v的不可约表示：,正交定理：有限群G的不等价不可约么正表示的矩阵元素，作为群函数，满足正交关系：（）,可以看出：有限群所以不等价不可约表示的矩阵元素D(i)(G)构成群函数的正交完备函数系。任何群函数F(G)都可以按D(i)(G)展开,1）第二正交关系正交定理取=和=，并对和求和得：即第二正交关系,3.3.3特征标的性质和第二正交关系,特征标这是群元素RG在第j套表示中的特征标。,mj,正三角形C3v的不可约表示：,2）特征标是相似变换下的不变量，故有：）等价表示具有相同的特征标

10、）同一共轭元素类中诸元素具有相同的特征标（实际上，特征标是类的函数）证：若S同R共轭，则S=T-1RT，T，S，RG则设群G有S个类，第类含b个元素（群元素个数），则第二正交关系改写为：第二正交关系（也称第一正交关系）,定理：当群G有S个类时（b1,b2,bs），G共有S个独立的类函数f1,f2,fs,，它们是类函数空间的完备基。而G的不等价不可约表示特征标1,2,s在类函数空间是完备的，故S=S，故：*有限群的所有不等价不可约表示的特征标，在类函数空间是完备。*有限群的不等价不可约表示的个数，等于群的类的个数。*有限群两表示等价的充要条件是所有元素在两表示中的特征标对应相等。,同类元素对应的函数值相同称为类函数。F(R)=F(SRS-1)对任意S，RG,例如：上面例举的C3v群有三组表示，它也只有三个类。,1,1