第三章 群表示论（考试是ppt原题或稍微改一下的作业题（加号变减号等），必须多自己算几次，考试才能默写出来）

标量、矢量：都是从某种坐标变换下的性质来说的。 一般我们说的标量矢量都是三维空间来说的，这里我们说的矢量、标量都是三维空间的矢量、标量。 标量：只用一个数字描述。 标量场：标量的空间分布，比如温度场。 标量函数：描述标量场的函数。 变换有两种观点： 主动变换（系统变换）：坐标系不变，物理系统在变。 被动变换：坐标系在变，物理系统不变。 比如转动可以采用物理系统在变，坐标系不变，也可以看成坐标系不变，物理系统在变。 在后面的内容中都采用系统变换的观点。

（背）

是线性算符

证明：由上面公式知，将函数的自变量变成，故 ，又因为，故，得证。

在有些情况是一一对应的。（比如平移的情况确实，但普遍情况是否成立我未证，没时间，算了。）但在后面，我们都考虑一一对应时的情况。

证：反证法：若多个算符对应一个R，则说明当令，即进行了变换之后，得到的新可能等于也可能等于，这与我们的常识不符，故不可能多对一。 普遍情况比如，ψ关于xoy面对称时，是否成立？没时间。 老师也是这么说，比如当ψ是一个常数函数，则，也可以不一一对应，老师也没说其他情况。

也按同一规则一一对应

证明： （） 故得证。

由于元素对应，元素乘积也对应，又由群论第二章1.3节3.集合G‘与群G的同构或同态知，若变 换 R 的集合构成 群 G ， 则 PR的集合一定构成群，且是与 G 同构的 群，称为群PG ；有时 把 群PG 称为 群 G 的线性实现

对称变换群：一般地，线性算符群PG 与群G并不严格区分，都称为对称变换群。 前面说的标量函数，下面开始说算符：

得证。

注意pR也是线性算符，代入上面公式，发现也成立。 ppt中的那些符号是错误的，因为

对称变换：在与变换R对应的算符pR的作用下，哈密顿算符不变。设pR为对称变换算符

对称变换是保持物理系统不变的变换，而物理系统是用哈密顿量描述，故哈密顿算符不变。

与华中师范量子力学283页对称变换的性质一样：对称变换一定满足对称变换算符与H对易。

故也是哈密顿算符同一能级的本征函数，由于E有m个线性无关的本征函数，故可以用这个m个线性无关的本征函数展开： 矩阵形式： 注意这个矩阵形式与李新征书34~37页内容一样，是基矢量！，注意李书特别这几页线代写得好，必须学，才能懂这个矩阵形式。

答：不一定，因为基矢组不一定是正交归一的，见第一章线代复习。

由于，。 。可以一多对应，但不可以多一对应，因为如果多一对应的话就不知新的函数是什么了（与之前几点的一个类似证明一样） 注意PR更多。

若算符乘积对应的变换，定义为相继作两算符对应的变换；矩阵按矩阵乘积规则相乘。则知，元素是对应的，元素的乘积也是对应的，故： 故若R的集合构成群，则矩 阵 D(R) 的集合一定构成一个群 D(G) ， 它同构或同态 于对称变换 群 G 和PG ： D(G) ~ PG ≈ G

矩阵群D(G)称为群G的一个m维线性表示，它描写了哈密顿量本征函数在对称变换中的变换规律 一般地，系统的对称变换群G同构于线性对称变换算符群PG，而PG中每个元素作用在不变函数空间的基上，得到群G的线性表示，即矩阵群D(G) 量子理论中，线性表示（即矩阵群D(G)）描写不变函数空间中函数的变换规律

★请体会下面两式的区别： 第二个式子因为它表示的意思就是：PG中的任何一个算符作用在任何一个基矢上，得到的是ψμ架设的函数空间中的一个矢量。 注意第二个式子中是基矢ψμ。 没有跑出去就是不变函数空间。

（1）量子理论中，线性表示（即矩阵群D(G)）描写不变函数空间中函数的变换规律。（背）注意描述函数变化规律时，矩阵是放在后面，因为ψμ是基矢 （2）二维或三维空间点的坐标变换（或称线性变换）：线性表示描写二维或三维空间点的坐标变换规律。（背） 注意描述坐标变换规律时，矩阵放在前面。 要理解这个矩阵为什么代表线性变换的规律必须见“线性代数的本质”，必须学，必须复习！

在 D(G) 中 ， 与 G 中元 素 R 对应的矩 阵 D(R) ， 称为元 素 R 在表 示 D(G) 中的表示矩阵

表示矩 阵 D(R) 的迹 称为 元 素 R 在表 示 D(G) 中的特征标； 共轭元素的特征标相同，即同类元素的特征标相同。（背）

证：互相共轭的元素在一个类中，而求迹有轮换不变性，故SRS−1和R的特征标相同。

由于同构或同态，故恒元的表示矩阵乘以任意元素的表示矩阵应该等于这个元素的表示矩阵，得证。

就因为这个性质，所以其实并不需要在定义中强调行列式不为0，只要一个矩阵群与之前的群G同构或同态，则矩阵的行列式必然不为0，因为矩阵群中包含任意一个矩阵的逆，由于能求逆，则行列式不为0.

若G'同构于G，则D(G）也同构于G‘.(因为元素一一对应，元素乘积也对应），故由表示的定义知，D(G）群也是G'的表示。 其实这个就是G,PG，D(G）之间的关系。

也称平庸表示、显然表示、单位表示

证：

一般会认为复共轭表示等于原来的表示则是自共轭表示，但不对，要将条件变为：即使复共轭表示不等于原来的表示D(G)，但求了复共轭后，复共轭表示与原来的表示等价，则称表示D(G)是自共轭表示。

自共轭表示D(G)的另一个定义：一个表示D(G)的表示矩阵都取复共轭后得到的复共轭表示与原来的表示D(G)等价，则称表示D(G)为自共轭表示。 自共轭表示与其复共轭表示等价。 自共轭表示与复共轭表示等价，则说明这个自共轭表示的特征标是实数。

证明：

故： 自共轭表示：特征标都是实数的表示

故实表示的表示矩阵不一定要求是实矩阵，只要和表示矩阵都是实矩阵的表示等价即可。

由于实表示的特征标是实数 ，故实表示是自共轭表示；但自共轭表示不一定是实表示，因为自共轭表示虽然与其复共轭表示等价，但不一定存在相似变换使所有表示矩阵都变成实矩阵（因为实表示是在等价的意义上定义的），故自共轭表示不一定是实表示。

背：判断是否构成表示就是要判断是否同构或同态，就是要判断元素对应，在这种对应规则下，元素乘积也对应，即判断 =

由线性表示的第二个物理意义，线性表示描写二维或三维空间中点的变化规律。代入几个点可以求出矩阵。（背） 这个例子说明：在同构的意义上，二阶群只有一个，就是C2群，故 由于“若G和G'同构，D(G）是G的表示，则D(G）也是G‘的表示。(背）”，故同一个群，它的表示矩阵是很多的。

求一维非恒等表示：

四个函数基，求出来的矩阵就是四维的，故是四维表示： 以函数为基，求矩阵群：（背） 5*只要知道生成元的表示矩阵就可以求出矩阵群，故可以得到矩阵群。 特别记住2中应先求R的矩阵表示的逆（考试不要忘）

注释： 1.在1中，函数基有几个，就是求R的几维矩阵表示 2.特别记住2中应先求R的矩阵表示的逆（考试不要忘），考试就考二阶三阶，求逆矩阵：待定系数法凑，很简单。 3.这样求出的矩阵群D(G)是群G（即D3群）的线性表示的原因： 4.D和A是生成元 5.一个群G可以有任何维的表示。同一维的话也可以有很多种表示。

根据以上求出的表示，就可以写出特征标表：横为元素的类，纵为表示的分类

第五种和第六种表示的特征标相等。后面会讲，如果两个表示的特征标相等，则它们等价。

给定一不变函数空间，线性算符群PG作用在基ψμ(x)上，得到一个线性表示，该线性不变函数空间称为表示空间。（不好理解，不用记）

三维空间中并不需要、、ex、ey、ez作为基矢，可以是其他线性无关的基矢 函数空间也类似，前面的例题中，第六、七种表示就是取的两种不同的基矢。 这里“新基取为原来的基的线性组合”类似为知“线性代数本质”中的线性变换，线性变换中新基也是原来的基的线性组合。故相似变换类似线性代数中的线性变换。

原来的基ψv，新基φμ 新基和旧基的变换关系确定，则相似变换矩阵X也确定。（重要，背） 由表示的含义知，中括号中的就是表示矩阵 新的表示矩阵和原表示矩阵通过相似变换矩阵X联系起来：

这两个表示D(G)和D¯(G)，对应同一个线性变换群PG，有相同的表示空间； 表示矩阵D(R)和D¯(R)是同一个变换PR在同一个表示空间中的表示矩阵，只是因为函数基选取的不同而不同，它们通过同一相似变换X联系起来；这样的两个表示本质上是一样的（因为代表相同的PG），故这样两个表示称为等价表示。 等价表示：若（群G所有元素R）（在两个表示D(G)和D¯(G)中的表示矩阵）存在同一相似变换关系（背），这两个表示称为等价表示，记为D(G)≅D¯(G)

前面说了，新基和旧基的变换关系确定，则相似变换矩阵X也确定。故“同一”。

因为维数不同无法相似变换

非奇异是因为非奇异则行列式不为零，则相似变换矩阵X有逆，上面的公式推导过程才成立

因为本质上一样，因为物理上是对应同一个线性变换群PG，在同一个表示空间。仅仅是因为表示空间中基的选取不同而不同。

见前面自共轭表示、实表示

必要性证明：即从两个表示等价证明特征标对应相等。由于求迹有轮换不变性，故：，得证。 充分性以后再证明

同一类的元素特征标相同，故检验两表示是否等价时，只需在每个类中选一个元素，检验它在两表示中的特征标是否相等（背）

由两表示等价的充要条件知，后两个三维表示等价，它们与第一个三维表示不等价，当然与其它非三维表示也不等价

定理：有限群的线性表示会等价于幺正表示；两个等价的幺正表示一定可以通过幺正的相似变换相联系。

幺正表示：表示矩阵都是幺正矩阵。 证明： 先证第一部分。对给定的表示D(G)，要找出相似变换X使下式成立： 就是要证明D¯(R)是幺正的。 （1） 先定 义 H 矩阵：给一个表示D(G)就可以求出这样一个矩阵H： 这个矩阵也可以写成H=∑SR∈GD(SR)†D(SR)=∑S∈GD(SR)†D(SR) 后一个等号是因为对S求和与对SR求和是一样的，因为重排定理GR=G（G是群，R是元素），当R固定，S跑遍G时，SR也就跑遍了G中所有元素，故上面求和号确实成立。 =（2） （1）与（2）对比知，只要证明存在X使得，即证明了（1）。 下面开始证：

补充：第一章线性代数复习中： X会满足本征值方程：RX=Xdiag⁡{λ1,λ2,⋯,λm}。（3） 在正交归一基的情况下，X†是先转置再取复共轭，故由于已经归一化，所以可以验证，故X矩阵是幺正的。 由（3）得：X−1RX=diag⁡{λ1,λ2,⋯,λm}，其中R是厄米矩阵，X是幺正的，故得证：厄米矩阵一定可以通过幺正的相似变换对角化。 不正交归一基的情况下是否成立，我不知道。 由此证明过程知道，将厄米矩阵R的m个正交归一本征列矢量按列排列成一个矩阵，就是幺正的相似变换矩阵X。而相似变换后的矩阵，对角元是本征值。 补充结束。下面接着证： 故H矩阵是正定的厄米矩阵，可通过幺正相似变换U对角化： 数学补充中说了将厄米矩阵R的m个正交归一本征列矢量按列排列成一个矩阵，就是幺正的相似变换矩阵X。而相似变换后的矩阵是对角矩阵，对角元是本征值。由于这里正定，故对角元大于零。 定义，由于U和都可以求出来，构造，则X也可以求出来，可以验证： 第一部分得证。 再证第二部分：两个等价的幺正表示一定可以通过幺正的相似变换相联系。 由于等价，故已知： 可以通过非幺正相似变换X相联系： 需要找相似变换Y，使，此时XY就是要找的幺正相似变换矩阵。 下面就是要证明Y满足上面所说的两个关系。 Y确实满足，故得证。 证明结束。

证：由有限群的线性表示会等价于幺正表示，故对有限群，只需要研究幺正表示。 因为只研究幺正表示，而两个幺正表示可以通过幺正的相似变换相联系，虽然已知的是一个非幺正的相似变换X，但可以找到一个Y，使得凑一下，得到幺正的相似变换矩阵XY（这就是上面的证明过程），这样两个幺正表示就通过幺正的相似变换联系了。

证明： 由于 故： 幺正矩阵的定义中有D\diag(R)D(R)=I，故上面的公式说明满足幺正矩阵的定义，故D(R）是幺正矩阵，故矩阵群D(G）是幺正表示。 注意是矩阵D(R)的矩阵元。

证：由于有限群的表示等价于幺正表示，且实表示：表示矩阵都是实数；故有限群的实表示等价于实的幺正表示，又由于在正交归一的基的情况下，共轭算符是先转置再取复共轭，故有限群的实表示等价于实正交表示。 第二部分的证明省略，和前面证明定理的第二部分类似。

或X−1D(R)X=(D(1)(R)0M(R)D(2)(R)) 则此表示D(G)称为可约表示，否则称为不可约表示。

证明：由于对任何一个R，故对RS也成立，即有： 又因为D(G)是表示，元素对应，元素的乘积也对应，故D(RS)=D(R)D(S)。 又因为

证明：

对这个定义中“存在”二字的理解：在这个表示空间中，可能对于表示D(G)（即当取基ψμ时），表示矩阵不是阶梯型，则[只由基矢构成的子空间]不是非平庸不变子空间，但这个表示空间还是存在不变子空间，因为可以取向量（注意此时还不是基矢）、、φ1、φ2、φ3构成的一个空间，当算符PR作用时，仍在这个空间中，所以是不变子空间，只不过不是由基矢ψμ构成的空间（这里需要仔细思考才能理解）。但是当取原基线性组合得到新基φμ时（即对于表示D¯(G)），若是阶梯型的表示矩阵，则由基矢、、φ1、φ2、φ3构成的子空间是非平庸的不变子空间。此时，表示D(G)称为可约表示。（其实对于D¯(G)，也能称为可约表示，因为满足可约表示的定义）。

如果D(G)的表示空间存在两个互补的不变子空间，可在两个子空间中分别取一组基（在前面的例子中，一个子空间基是、、φ1、φ2、φ3，另一个子空间的基是、、、φ4、φ5、φ6、φ7），构成整个表示空间的一组完备基（、、、、、、φ1、φ2、φ3、φ4、φ5、φ6、φ7），在这组基下 该表示D(G)称为完全可约表示，表示的这种形式D¯(G)称为已约表示。

直和是什么，没时间，以后再说

以上内容在1）中都说明了。

可约表示说的是“每一个表示矩阵D(R)都能通过同一相似变换X化成同一形式的阶梯矩阵（左下角为0或右上角为0等）”. 这个定理的含义：对有限群来说，对于表示D(G），如果它是可约的（即可以通过相似变换矩阵X约化为阶梯型，即D(G)是可约表示），则存在相似变换矩阵XY，使得表示D(G)的每一个表示矩阵D(R)都能通过同一相似变换XY化成同一形式的对角阶梯矩阵（左下角和右上角都为0）: 。 从表示空间来说，如果这个表示空间中能够存在非平庸的不变子空间（即可约），则这个表示空间中存在两个相补的非平庸不变子空间。（也可以存在一个是不变子空间，另一个相补的空间不是不变子空间的情况，这是对应相似变换X的情况）

以上的含义是从下面定理证明中得知的。

定理证明： 这个证明过程具体见老师讲课，省略

把若干个不可约表示直和起来，就构成一个已完全约化的可约表示。该可约表示没有给出任何新的性质：它的表示空间是若干个不可约表示的表示空间的直和，空间中的矢量可唯一地分解为分属各子空间的矢量之和，分别按各不可约表示变换。 可约表示不会给出任何新的东西。所以我们应该把它的范围缩小:寻找群的所有表示—>寻找所有不等价表示—>寻找所有不等价不可约表示. 对于有限群来说，只需要研究不等价不可约幺正表示，因为前面有一个定理的相关结论中说了，对有限群，只需研究幺正表示。

比如若D(1)(G)和D(2)(G)相同，则a1为2. D(j)(G)：第j个不可约表示。 这等价于，有限群的表示空间L可以约化为一系列不变子空间L(j)的直和：

不重要，前面都背了。

线性空间：矢量空间，定义了加法数乘，和一些性质。 线性代数：在线性空间中定义矢量的乘法，并且对乘法封闭，则就是线性代数。 内积空间：如果在线性空间中引入长度、内积的概念，就是内积空间，比如欧式空间，闵氏空间，希尔伯特空间。

老师说，不用再问这个加法是说什么。这是定义，规定。

“群空间只有g个线性无关的矢量”这是规定吧。

证：

D(T)D(S) 与 TS 按同一规则一一对应

证：即要证

元素对应，元素乘积对应，故由第二章中集合与群同构的定理知，矩 阵 D(S) 的集合构成 群 D(G) ， 且是与群 G 同构的群 。得证。

由表示空间的定义知。

真实表示：同构。正则表示是一一对应的，同构。

证：根据正则表示的定义，显然。

证明：

证：正则表示中，表示矩阵中矩阵元是1或0，故是实的；由于表示矩阵中每一行只有一个是1，其他是0，故 知是正交矩阵。得证。

求正则表示就是要求出正则表示的表示矩阵中哪些系数为1： 根据乘法表和 就可以求出正则表示的表示矩阵；先求出生成元的表示矩阵，根据矩阵乘法就能求出正则表示的所有表示矩阵。（背，重要，这个“根据”在前面倒数第二个性质中证明了）

设 D(1)(G) 和 D(2)(G) 是群 G 的两个不等价不可约表示，维数分别为 m1 和 m2,X 是一个 m1×m2 矩阵，如果对每一个元素 R 都有 D(1)(R)X=XD(2)(R)这样一个关系, 则 X=0.

1.D(1)(G) 和 D(2)(G) 是群 G 的两个不等价不可约表示：比如前面完全可约表示一节中，X−1D(R)X=(D(1)(R)00D(2)(R))，其对角线的两个矩阵分别是G的两个不等价不可约表示的表示矩阵，此时，D(1)(G)表示空间是、、φ1、φ2、φ3为基矢的空间 ，D(2)(G)的表示空间是、、、φ4、φ5、φ6、φ7为基矢的空间，这两个表示空间互补。 2.定理证明： 证明：因为不可约表示的表示空间不存在非平庸的不变子空间，故如果找到低于表示维数的不变子空间，它必是零空间。下面对不同情况证明X矩阵的行（列）矩阵构成的空间是零空间。 (2) 此时是方阵，m1=m2:此时X是方阵， 若 det⁡X≠0, 则存在逆矩阵 X−1,X−1D(1)(R)X=D(2)(R) 表明两表示等价，与假设矛盾; 若 det X=0, 则 X 的列矩阵线性相关，它只能架 起维数低于 m1 的空间，该空间对 D(1)(G) 保持不变，只能是零空间。 在线性代数中，如果列矩阵线性相关，其秩一定比维数低，它应该有一个维数低于m1的空间。 具体见群论13第20分钟。没时间。

设 D(1)(G) 和 D(2)(G) 是群 G 的两个不可约表示，如 果对每一个元素 R 都有 D(1)(R)X=XD(2)(R) 这个关系, 则 (1) 若 D(1)(G) 和 D(2)(G) 不等价, , 则 X=0

这就是前面说的舒尔定理的内容。

(2) 若 X≠0, 则 D(1)(G) 和 D(2)(G) 必等价

因为在X≠0,时，如果不等价的话，D(1)(R)X=XD(2)(R) 这个关系是不可能成立的，故D(1)(G) 和 D(2)(G) 必等价。

推论一：与不可约表示 D(G) 的所有表示矩阵 D(R) 都对易的矩阵必为常数 矩阵，即若 D(R)X=XD(R), 则 X=λI,λ 为常数

证明: 取 X 的任一本征值 λ, 令 Y=X−λI, 由于X−λI=0是本征方程，故 det Y=0, 这说明 Y 的列矩 阵是线性相关的，能架起维数更低的子空间，由于D(R)X=XD(R) ,故D(R)Y=YD(R), 故该 子空间对 D(G) 保持不变，由于D(G)是不可约表示，因而此子空间只能是零空间，即 Y=0, 即得 X=λI.得证。

推论二：有限群表示不可约的充要条件是不可能找到非常数矩阵与所有表示矩阵对易。 这是判断有限群表示可约和不可约的一个方法，不过不方便。

证明：对不可约表示，由推论一知，一定找不到非常数矩阵与所有表示矩阵对易。 对可约表示，由于完全可约，可约化为方块矩阵，由于 故总能找到非常数矩阵与之对易。得证。 方块矩阵总能找到非常数矩阵与之对易

在群空间一节说过，群空间中一个矢量的坐标对应一个群函数F(G）的g个函数值。（背） ，其坐标：

定义了内积，其实就是进入了”内积空间“

群 G 的不可约表示 Di(G) 的表示矩阵的某行某列的矩阵元 Dμvi(R) 是群 G 的一 个群函数。 群空间中以群元素为基的一个矢量X=∑RF(R)R的坐标可以取为不可约表示 Di(G) 的表示矩阵的某行某列的矩阵元这个群函数F(G)的g个函数值，即这个群函数F(G)对应群空间中以群元素为基的一个矢量。 m维表示矩阵给出m2个这样的群函数，故对一个不可约表示 Di(G) ，共有mi2个这样的矢量。对不可约表示 Dj(G) ，共有mj2个这样的矢量。 正交定理讨论有限群群空间中这些矢量间的正交关系。

1.表示矩阵的某行某列的矩阵元也是一个群函数，是数值函数，比如对D3群的二维表示，输入R，输出D(R）的第一行第一列的元素，输入S，输出D(S）的第一行第一列的元素。m维表示矩阵给出m2个这样的群函数。 2.特别注意，当群空间中一个矢量X=∑RF(R)R的坐标取为表示D(G)的表示矩阵的某行某列的矩阵元这个群函数F(G)的g个函数值时，表示D(G)所在的表示空间与群空间（群元素为基（自然基）构成的线性空间）没有任何关系。坐标的这种取法只是一种构造矢量的方法。

证明: 取 mi×mj 矩阵 Y(μv), 它只有第 μ 行第 v 列元素不为零

对一个不可约幺正表示 Di(G) ，共有mi2个这样的矢量。对不可约幺正表示 Dj(G) ，共有mj2个这样的矢量。正交定理说，这mi2个矢量和mj2个矢量，它们之间是互相正交的，这mi2个矢量它们自己和自己也是正交的，只有当这两个矢量是同一个矢量时，模方（长度）是g/m（群G的阶数除以表示矩阵的维数），m是这个矢量所对应的不可约幺正表示的维数.

(1)可以去掉幺正性条件的限制：设有限群 G 两个不同的不等价不可约表示，其各自某行某列的矩阵元，作为群空间的矢量互相正交。（背，与例题有关） 根据正交定理知，设有限群 G 两个不同的不等价不可约幺正表示，其各自某行某列的矩阵元，作为群空间的矢量互相正交. 有限群的任一表示总可以由幺正表示通过相似变换得到。

因为有限群的表示等价于幺正表示，任何一个表示的表示矩阵可以通过相似变换化为幺正表示，则幺正表示也可以通过相似变换化为有限群的一个非幺正表示。

相似变换把表示矩阵的元素作线性组合，得到对应同一个群元素的 另一表示矩阵。 既然两个不同的不等价不可约幺正表示，其各自的某行某列的矩阵元素（即矩阵的矩阵元），作为群空间的矢量都互相 正交，则这些矩阵元素作线性组合后仍然正交。

因此在上面的表述中可以去掉幺正性条件的限制：设有限群 G 两个不同的不等价不可约表示，其各自某行某列的矩阵元，作为群空间的矢量互相正交。 (2) 有限群 G同一不可约幺正表示，其 m2 个某行某列的矩阵元，作为群空间的矢量也互相正交，且它们的模方都等于群G的阶数除以表示矩阵的维数，即g/m，m是这个矢量所对应的不可约幺正表示的维数.（背，与例题有关） 注意这里不能去掉幺正性的限制，因为

虽然根据正交定理的含义（2）知，“群 G 每个不可约表示提供 mj2 个线性无关的矢量”这句话的前提是同一不可约幺正表示，但是“正交定理含义(2) 有限群 G同一不可约幺正表示，其 m2 个某行某列的矩阵元，作为群空间的矢量也互相正交，且它们的模方都等于群G的阶数除以表示矩阵的维数”说的是 m2 个某行某列的矩阵元，作为群空间的矢量也互相正交。对于不可约表示，当它不是幺正表示时，根据正交定理含义(2) 一节中的解释可以知道，m2 个某行某列的矩阵元，作为群空间的矢量确实不正交，但是还是可以证明推论一这个结论成立。PPT中的这个证明少写了一些内容，其正确证明应该是：

推论一证明：正交的矢量必定线性无关; 群 G 每个不可约幺正表示提供 mj2 个线性无关的矢量，对于群G的不可约不幺正表示，可以相似变换，它会等价于一个幺正表示，先证明一个引理：这个幺正表示一定是不可约幺正表示。 引理证明：因为不知道这个幺正表示是否是可约的，故假设它是可约的幺正表示，由之前几节中 知道，此可约幺正表示还可以通过相似变换化为一系列不可约幺正表示直和。因为等价的传递性，故不可约不幺正表示等价于”一系列不可约幺正表示直和“，即此不可约不幺正表示一定可以通过相似变换化为”一系列不可约幺正表示直和“，这就说明这个不可约不幺正表示是”可约的“，这与不可约不幺正表示是不可约的这个前提矛盾。故对于群G的不可约不幺正表示，可以相似变换，它会等价于一个幺正表示，这个幺正表示一定是不可约幺正表示。引理得证。 而不可约幺正表示提供 mj2 （维数的平方）个线性无关的群空间的矢量，设这些矢量构成某一个”空间“，因为不可约不幺正表示可以相似变换化为这个不可约幺正表示，由正交定理含义(2) 中的解释 的（1）式知，m2 个某行某列的矩阵元，作为群空间的矢量确实不正交，但这些矢量是原来不可约幺正表示矩阵元矢量的线性组合，故不可约不幺正表示对应的这些矢量构成的”空间“与原来矢量构成的”空间“相同，维数相同，这个不可约不幺正表示对应的这些矢量构成的”空间“也是有 mj2 （相似变换联系起来的两个矩阵的维数相同，故这是不可约不幺正表示的表示矩阵的维数的平方）个线性无关的矢量，即群 G 每个不可约不幺正表示提供 mj2 （不可约不幺正表示的表示矩阵的维数的平方）个线性无关的矢量。 综上，群 G 每个不可约幺正表示提供 mj2 个线性无关的矢量，但有限群群空间最多只能有 g 个线性无关的矢量，故推论一得证。

证明: 将正交关系式两边取 μ=ρ,v=λ, 并对 ρ 和 λ 求和，根据特征标的含义：对角线之和，知

特别注意，虽然上面图中的证明过程是使用了正交定理的公式，正交定理在i=j时成立的前提是幺正表示。但是 特别注意， 是一个关于特征标的公式，只需要是有限群不等价不可约表示即可，它并不需要在i=j时成立的前提是幺正表示这个前提条件，此公式在i≠j时也不需要幺正表示这个前提。

1.先证明公式 在i≠j时，不需要幺正表示的条件：在i≠j时，若没有幺正表示这个前提，由上面的证明过程再走一遍，知，确实等于0，故此公式在i≠j时不需要幺正表示这个前提。 2.再证明不需要在i=j时成立的前提是幺正表示这个前提条件: 因为根据推论一的证明过程知，群G的不可约不幺正表示，可以相似变换，它会等价于一个同维的不可约幺正表示。（相似变换不改变维数） 因为等价，故此不可约不幺正表示与相似变换后得到的同维的不可约幺正表示的特征标对应相等，故当i=j时，对于不可约不幺正表示，将其相似变换化为同维不可约幺正表示，此幺正表示在会满足(2)∑R∈Gχi(R)∗χi(R)=g，因为特征标对应相等，故对不可约不幺正表示，（2）也成立，故得证： 并不需要在i=j时成立的前提是幺正表示这个前提条件。

群 G 每个不等价不可约表示的特征标提供类空 间 1 个线性无关的矢量：类空间正交归一矢量: (3)n(α)/gχαi，根据线性代数中正交向量组必定是线性无关的，知，这些矢量线性无关，但有限群类空间最多只能有 gc 个线性无关的矢量。得证。 因为公式(1)不需要幺正表示这个前提，故公式（3）也不需要。

证明: 充分性性证明：有限群 G 的可约表示 D(G) 可约化为若干个不可约表示 Dj(G) 的直和

∑R∈G|χ(R)|2≥g：若 D(R) 是可约表示, 则取 ⟩, 若是不可约表示, 则取 =.

证明： 得证。

可约的等价定义是说表示空间有一个更小的非平庸不变子空间，故一维表示是不可约的。也可以通过有限群表示为不可约表示的充要条件是：特征标模方对群元素求和等于g： ∑R∈G|χ(R)|2=g .（背）来判断。

（1）根据 求出重数aj，对任何一个可约表示，相当于是知道了约化之后右边的矩阵。 （2）根据 求出相似变换矩阵X（因为和已知） （3）根据 求出荷载不可约表示的基。 因为是，而荷载是基，故有几个是和有关的，称这几个荷载Dj(G)。

复习：

根据完备性定理一节得到的两条： （1）有限群不等价不可约表示维数的平方和等于群的阶数：∑jmj2=g. （2）有限群不等价不可约表示的个数等于群的类数：∑j1=gc. 可以求出低阶群的不等价不可约表示。（背） 这给群的不可约表示很多限制。故一个群的不等价不可约表示是很有限的，可以通过这两条求出低阶群的不等价不可约表示，比如D3群，因为不等价不可约表示的个数等于类的个数，D3群有3个类，故它只有3个不可约表示，这三个表示的维数的平方和等于群的阶数6，三个数的平方和等于6，故这3个数只能为1，1，2.故D3群的不等价不可约表示是两个是一维的，一个是二维的。其它低阶群也类似。

（2）根据 求出相似变换矩阵X（因为和已知） 可以写出： 注意等式右边先写谁后写谁没有关系，也可以写成，没关系。只是因为这里D的表示矩阵 ，故二维表示写在左上角，一维表示写在右下角时计算更简单。 根据前面例题已经求出的一维非恒等表示和二维表示，知： 对元素D： 对元素A： 根据以上两个公式可以解得

（3）根据 求出荷载不可约表示的基。 因为是，而荷载是基，故有几个是和有关的，称这几个荷载Dj(G)。

根据表示的计算过程：（这里R就相当于PR)知，荷载之前的可约表示的基ψμ为、、ex、ey、ez，根据求出，从而知道荷载二维表示的是ϕ1、ϕ2，荷载一维非恒等表示的是ϕ3=ez。

（1）根据 求出重数aj，对任何一个可约表示，相当于是知道了约化之后右边的矩阵。 （2）根据 求出相似变换矩阵X（因为和已知） （3）根据 求出荷载不可约表示的基。 因为是，而荷载是基，故有几个是和有关的，称这几个荷载Dj(G)。 根据和可以求出 。 根据此顺序知，荷载二维表示的是ϕ1、ϕ2，荷载一维恒等表示的是ϕ3.

计算得：ϕ3=x2+y2，其是荷载一维恒等表示的物理原因：若此三角形在二维平面中，x2+y2是点到原点的距离，它在E,D,F,A,B,C变换下是不变的，故它荷载恒等表示。

ϕ3=x2+y2，在这题中它还是荷载一维恒等表示，其是荷载一维恒等表示的物理原因：若此三角形在二维平面中，x2+y2是点到原点的距离，它在E,D,F,A,B,C变换下是不变的，故它荷载恒等表示。

有限群的正则表示约化后，其所有不等价不可约表示都将出现，每个不等价不可约表示出现的次数等于其维数。因为没有零维的，故根据知道所有的不可约表示都会出现。 老师说这个证明当时他学时，他一直怀疑为什么对所有不可约表示都是成立的。说明老师也不是什么都聪明。这个问题是因为维数的平方和就是一个客观的数，不会依赖于取不取正则表示来推导。

展开系数： 任何群函数F(G)对应的矢量可以由这组正交完备基展开：

1.推论一证明：根据正交定理知道有限群不等价不可约幺正表示的矩阵元素 Dμνi(G) , 作为群空间的矢量互相正交。而这些矢量的个数是维数的平方和：∑imi2，根据完备性定理知其等于g。根据线性代数中正交向量组必定是线性无关的，知，这些矢量线性无关，但有限群群空间只能有 g 个线性无关的矢量，故这些矢量还是完备的，故这些矢量构成群空间的正交完备基。得证。 2.及展开系数的证明：

群空间正交完备基 Dμνi(G) 完备性的数学描述： 将上面的第二个公式代入上面的第一个公式，得 对比等式两边，因为对任意的R都成立，故 此式就是完备性定理的数学描述。 其正交性由正交定理给出：

群空间正交完备基 Dμνi(G) 的正交完备性 把群空间的正交完备基 Dμνi(G) 归一化，构造一个g×g 的U矩阵（背）: （1）背

行指标iμν的个数：∑imi2，其等于g 列指标R的个数：g 故矩阵（1）的含义：（1）是一个g×g 矩阵，其行矩阵就是矢量坐标（这些矢量取为Dμνi(G) 的g个函数值），对应（矩阵元素 Dμνi(G)作为群空间的）矢量。 行矩阵的正交归一给出基的正交性: （2） （3）

证明行矩阵的正交归一给出基的正交性：因为（3）是正交定理，故（3）成立，故（2）成立，即得证。

列矩阵的正交归一给出基的完备性：

证明同前面行矩阵正交归一。

例 :D3 群不可约表示矩阵元作为群空间矢量的正交、完备性 根据U矩阵的公式（1）就能写出下面这个表格，这个表格就是U矩阵。

（5） 展开系数：（6）

注意同类元素特征标相等。 任何类函数F(β)对应的矢量可以由这组正交完备基展开“的矩阵形式我没写，没时间。 类空间：类作为基

R和SRS−1在同一个类中，因为是类函数，故F(R)=F(SRS−1)。 根据正交定理推论二⟨X∣Y⟩=∑R∈Gχi(R)∗χj(R)=gδij可以从（5）得到（6）。

推论二证明： 正交可以从正交定理推论二知： 正交定理推论二：有限群两个不同的不等价不可约表示的特征标，作为群空间的矢量互相正交，满足：⟨X∣Y⟩=∑R∈Gχi(R)∗χj(R)=gδij（背） 下面证明完备，即证明为什么任何类函数可以按它们展开，即（5）为什么成立： 因为这证明了任何一个类函数都可以用这些特征标展开，故它们就是完备的。 推论二得证。

类空间正交完备基 χj(G) 完备性的数学描述： 因为此式对任何类都成立，故 此式就是类空间正交完备基 χj(G) 完备性的数学描述。 其正交性由正交定理推论二 给出 ：

类空间正交完备基 χαj 的正交完备性： 把类空间的正交完备基 χαj 归一化，构造一个 gc×gc 的V矩阵 : gc 为有限群中类的个数 n(α) 为 α 类中群元素的个数 行矩阵的正交归一给出基的正交性： 列矩阵的正交归一给出基的完备性：

证明：因为完备性定理推论二：有限群不等价不可约表示的特征标 χj(G) 构成类空间的正交完备基，因为正交，故这些矢量是类空间线性无关矢量，因为完备，且类空间只有 gc 个线性无关的矢量（这些矢量是完备的，可以展开任何一个其他矢量），故正交完备基这些矢量的个数等于gc ；还可以从另一个方法计算这些正交完备基的个数：根据完备性定理推论二知，个数为∑j1。故∑j1=gc。故推论三得证，有限群不等价不可约表示的个数等于群的类数,∑j1=gc。