第二章 群表示理论5-7 彩色.ppt

《第二章 群表示理论5-7 彩色.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第五节群元空间1.群元空间（Groupelementspace)12正交归一性的证明：3个表示矢量，线性独立。所有不可约表示的维数平方和可见，C3v群无3维不可约表示。2.类空间(Classspace)定义类矢量：群G的元素按类区分：｛C1｝,｛C2｝,…｛Cc｝c个类矢量，彼此线性独立：4以c个类矢量为基矢，组成c维线性空间，即类空间。（群元空间的子空间）5对每个不可约表示，在类空间确定一组线性独立的矢量：※综上：群G：群乘，内积，加法，数乘6※群元素在群元空间中既是矢量，又是算符。群元算符t：◎群元空间是群元算符的封闭空间正规表

2、示（regularrepresentation)群元空间作为表示空间，群元本身作为算符，算符（群元）作用在此空间的基矢上的矩阵，构成群的一个表示，称为群的正规表示。7类似于函数空间：正规表示特点：1.表示矩阵每一行、每一列只有一个元素=1，其余=0；2.表示矩阵维数=g；3.除了单位元，其他群元的表示矩阵的对角元都=0。习题：构造D3群的正规表示。8在正规表示中→不可约表示的维数定理：（勃恩赛特(Burnside)定理）9一个群的全部不可约表示的维数的平方和等于群阶。C3v群的不可约表示：3个，1维、1维、2维10不可约表示矩阵元的

3、完全（备）性定理11不可约表示特征标的完备性定理：12不可约表示特征标的正交性定理：证明：13li维，Cl类中所有群元的第i个不可约表示矩阵之和。M(il)与不可约表示Di对易，∴M(il)必为I0常数倍。类似有1415特征标表：将一个群的所有不等价不可约表示的特征标系一行一行地排列起来形成的表。16类特征标表：以类的名称为群元标志给出的特征标表。例1.确定C2群的特征标表。17C2ec2χ(1)11χ(2)1‒1有2个类，∴l1=1,l2=1确定有限群的特征标表的一般方法：1.确定不可约表示的个数和相应维数；2.必有单位表示；3.

4、单位元表示的特征标等于表示的维度；4.利用特征标的正交性、完备性定理；5.利用某些群元的特殊性质；6.利用商群。18例2.C3v群有几个不可约表示？各自维数是多少？求出特征标和表示矩阵。解：1111219一维表示时，特征标就是表示矩阵。有：20以x,y为基矢时，C3v的不可约表示矩阵D(3)如下：21C3v的一个三维表示D（丁培柱p53:{x2,y2,2xy}下的表示）2223根据不可约表示的判据：所以此表示为可约表示。241.有限的Abel群，其所有不可约表示都是一维的；252.除单位表示外，有限群的任一不可约表示的特征标对所有群

5、元求和等于零。由令为单位表示，有例3.确定C4v群的所有不可约表示的特征标系。26myσvσumx1234111111(1)1(-1)(-1)1(-1)1(1)(-1)1(-1)1(-1)(1)2x1(0)x2(-2)x3(0)x4(0)27281和3列对应相乘再加=0，∴x2=–2；类推…留作习题对于有限群，需要做以下工作：①不可约表示的数目及其维度。②不可约表示的特征标表。③不可约表示的矩阵形式。④判定一个矩阵表示是否可约。⑤把一个可约表示化成不可约表示的直和。（寻找可约表示空间的约化基矢）29第六节可约表示的约化：投影算符法有

6、限群G在某线性空间V中有可约表示D，30其实，D(R)的约化计算并不容易。按新基矢分类：j-不可约表示，i-出现次数，k-第k列基矢。31准对角化过程，相当于基矢做了变换32即，用旧基矢的线性组合来表达新基矢；由已知的可约表示的基矢确定不可约表示的基矢。可见，构成一个不可约表示的不变子空间。如何确定这些基矢呢？33投影算符Pj的涵义（1）：从N个不可约表示基矢中，投影出基矢。i任意，有aj个。j固定，令（i=1…aj）构成一个aj维空间（Ej子空间）V中任一函数：用Pj作用：投影算符Pj的涵义（2）：Pj是V到Ej上的投影算符。34

7、定理1.f1…fN是空间V的基矢，N个矢量中必有且仅有aj个线性独立的矢量，这aj个矢量可作为Ej子空间的基矢。证明：欲证中有aj个线性独立的矢量，只需证：任意属于Ej的矢量均可用N个矢量线性组合表示。35定理2.Ej子空间中有一个归一化的矢量，必可由该矢量生成lj个正交归一矢量，构成不可约表示Dj的基矢。3637可作为第j个不可约表示的正交归一基矢，生成不可约表示Dj的一个不变子空间。证毕。※这组矢量就是不可约表示Dj的约化基矢。38类似地，共可构造aj个不同的基矢组：生成aj个按Dj变换的不变子空间，它们彼此正交。39即可由一个

8、得到，进而可由一个得到。定义位移算符：40例1.{f1=x2,f2=y2,f3=2xy}，D3群，表示矩阵如下。D3群的不可约表示的特征标表：e2c311111-12-1041该表示的特征标系：{3，0，0，1，1，1}.①构造投影算