群表达和特性标系.pptVIP

（3）不可约表示中，某一指定的不可约表示的特征标的平方和等于群的阶数h。就是说： i(R)]2=h，这里的脚标i指不可约表示，求和按对称操作进 行。如果考虑到R组成类，R所属类的阶为CR，则上述公式可改写成： R[?i(R)]2=h，这里的R代表一个类，求和按类进行。特征标 的平方和就是特征标系矢量的自乘积，而矢量的自乘积也就是矢量长度的平方，本性质肯定了特征标系矢量是归一化的，归一化系数等于1/。 （4）各个特征标系矢量互相正交，就是说由两个不同的不可约表示的特征标作为分量的向量正交。即 R?i(R)?j(R)=0（i?j），这里的i和j指两个不同的不可 约表示。当i=j，就是性质（3）所述的情况。结合这两个性质，可以写出下式：R?i(R)?j(R)=h?ij，这里的?是克罗内克符号，这一公式常被称为特征标系正交定理。由特征标系正交定理可知，群空间是由N个正交归一的N维特征标系矢量撑起来的。 （5）群的不可约表示的维数平方和等于群的阶。 可以证明，组成任意可约表示的每个矩阵，都可以通过相似变换对角化成方块矩阵，这时，每个方块都属于群的不可约表示。因此，对特征标来说，总可以写出下式：?(R)= i?i(R)，这里的?(R)是可约表示的特征标，?i(R)是不可约表 示i的特征标，ni是可约表示中包含的不可约表示i的数目。用?j(R)去乘上式的