群论课件chap.pptVIP

4.不可约表示的维数定理 一个群的全部不可约表示的维数的平方和，等于群G的阶g，即 5 一个群的不等价不可约表示总个数等于群元类数 * 第六节 特征标表的构造 依据的基本公式 1.不可约表示的个数等于群元的类数 2.所有不可约表示的维数的平方和等于群元数。（维数定理） 3.单位元E的特征标等于不可约表示的维数 X(E)=ni 4.每一个群都有一个恒等表示。D(R)=1,X(R)=1, 通常将它们写在第一行。 * 6.每一列都与另一列正交并归一化到个/Cp 若选取P类为单位元E类，则对所有其他列有 5.每一行都带权重因子Cp与其它行正交并归一到g 其中，c是群元类总数，p表示第p类，Cp表示第p类中群元个数。 * 以D3群为例。 D3群有三个共轭类：{E}{D,F}{A,B,C}, 不可约表示的个数为3，群元数为6。 由维数定理得： 可取n1=1,n2=1,n3=2 * 利用正交性定理，求出未知数 第一、二行：1×1×1+ 2×1×a+ 3×1×b=0 第二行： 1×1×1+ 2×a×a+ 3×b×b=6 求得a=1，b=-1 利用一、二列和一、三列正交求出c,d。 * 第七节 函数空间的基函数和投影算符 1 矢量空间 1) 标量域 设有一个标量元素的集合F≡{a,b,c,d,…},并定义F中的元素满足如下的加法操作和乘法操作，则此数字体系集合在数学上叫做一个数域。 (1)在加法集合下，F是一个Abel群，恒等元是0. (2)除0以外，在乘法结合下，此集合也形成Abel群，单位元是1。 2) 线性矢量空间 设有一组数学对象的集合 满足下面定义的矢量加法和标量域F中的数与矢量的数乘法，则此矢量集合形成一个抽象矢量空间。 * (2)数乘 (1)加法 * 2 函数空间 (1)定义 若矢量空间中的矢量是一些定义在某个区间上的连续、平方可积函数，则它们构成函数的矢量空间。 内积 任意两函数的内积定义为 函数的正交归一化 基矢 函数矢量空间中正交归一化的集合，形 成该空间的基矢。 维数 基矢的个数 * (2)函数空间中的算符 由三维欧矢空间中的线性变换R，诱导出的函数空间中的算符PR.设有函数 Wigner约定 等价 式(1)表示算符PR对函数f(x)的作用是在函数形 式不变的条件下，把自变量变为R-1x 式(2)表示将函数f(x)的自变量x改为Rx=x’所引 起的偏差，可以通过算符PR对f(x’)的作用 来补偿（纠正） * ①算符表示 一个对称性群诱导出的一组算符{PR}，是该群的一个算符表示 ②矩阵表示 PR作用于某一基函数得到一个新的函数 D(R)就是{PR}的表示矩阵 * 3 不可约表示的基函数的性质 (1)基函数的正交性定理 属于两个不等价不可约幺正表示的基函数，以及同一不可约幺正表示的不同列的基函数是正交的。即 其中， 是不可约表示 的第a列基函数， 是不可约表示 的第β列基函数；f是与a、β无关的常数 * (2)若 是群G的第j个幺正表示的基函数，则 其平方和在群G的所有元的诱导算符下保持 不变，即 * 4.投影算符 (1)基矢投影算符 定义 以 作用与第j个不可约表示的基函数上，得 当i≠j时，结果为0 当i=j,但a≠v时，结果仍为0 当i=j,但a=v时，有 上式表明，投影算符 作用在第j个不可约表示的第 v例基函数上，得到同一个不可约表示的第u列基函数 * (2)特征标投影算符 定义 投影算符即为满足下式的算符 作用于 ，得 即 作用于第i个不可约表示的第a列基函数上， 仍然得到这个基函数。 * 第八节 直积群的表示 1.直积群的表示 定义 两个可对易的群的表示的直积是直积群 的表示，即 若Da是Ga的表示，Db是Gb的表示，则群G的表示 为D，即 * 例 两个矩阵的直积矩阵 当A和B都是方阵（并不要求同阶）时，有以下性质： tr(A×B)=tr(B×A)=tr(A)tr(B) 一般不遵循 交换律 * 2.直积群的表示的特征标 直积群的表示的特征标是可对易群的表示的特征标的乘积，即 则有 * 例 C2={E,c2}, Ci={E,I}, C2h={E,c2,I,δh} 其中 C2群的特征标表 Ci群的特征标表 C2h有四个不可约表示， 相应的特征标是 C2h群的特征标表 * 3 若Da及Db分别是群Ga及Gb的不可约表示，则 是群 的不可约表示. 4 若 则G的所有不可约表示是Ga及Gb的所有不可约表示的直积