元素群运算求矩阵内积 matlab,北京大学群论-第四章_点群.doc

PAGE

－ PAGE 133 －

点群

点群是物理学中有限群的重要例子，在分子物理、固体物理、化学等领域中有广泛应用。

§4.1 三维实正交群O(3)本节讨论三维欧氏空间R3中的正交变换。【定义4.1】 (三维欧氏空间R3)定义了内积的实数域上的三维线性空间，记为R3。·系1 选定一组正交归一基()， ， ，·系2 内积(点乘)：，，·系3 向量长度：，·系4 向量和的夹角满足【定义4.2】 (实正交变换)保持R3中向量长度不变的线性变换称为实正交变换，记为O，即，有。·系1 实正交变换是幺正变换。 ， 故有=E，E为恒等变换。故，，有故O保持内积不变。 故det O = ±1, O-1 = O+·系2 实正交变换保持R3中矢量夹角不变。

·系3 对于任意与处于以原点为球心以为半径的球面上。【定义4.3】 三维实正交群O(3) R3中所有实正交变换构成一个群，称为实正交变换群，记为O(3,R)或O(3)，其中群元的乘法O1O2定义为先实行O2变换后实行O1变换。·系1 构成群: ，有

(利用)故·系2 O(3)群中全部行列式取值为+1的实正交变换，构成O(3)的一个不变子群，称为三维实特殊正交群，记为SO(3,R)或SO(3):SO(3)=① SO(3)是群，，.,故② SO(3)是不变子群：，

故·系3 ，E为恒等变换，I为空间反演。证明：由于 故 O(3) ~同态，由SO(3)的定义知，同态核为SO(3)。O(3)的陪集分割：O(3) = SO(3)∪I SO(3)SO(3)→1，ISO(3)→－1故O(3)中元素可以唯一分解为SO(3)中元素与Z2中元素的的乘积；而显然,有可交换，满足直积分解条件，故， 。◆定理4.1◆ 对任意，可在R3中找到向量，使g=。该称为g的转动轴。证明：即证方程(g - E)=0有非零解，而方程有非零解的条件为det (g - E)=0。由于对任何实方阵A有det A = det A+,故 det (g-E)= det (g-E)+ = det (g+-E) = det (g-1-E) = det (g-1(E-g)) = det g-1 det (E-g) =-det (g-E)故必有 det (g-E)=0，即(g-E)=0恒有非零解。·系1 取归一化后的转轴为Z轴的基矢，则，g有矩阵形式(即SO(3)自身表示的表示矩阵)：, 记为为绕轴沿逆时针方向的转角，它同转轴的方位角θ、共同确定SO(3)群的一个元素。故SO(3)群又称转动群，其元素的迹仅与转角有关。· 系2 SO(3)中所有具有相同转角的转动元素构成一个共轭类。，考虑其共轭元素：，有 共轭元的转轴为，而由于SO(3)中元素的迹在不同坐标系下相同，相当于相似变换，仅与转角有关，故与其共轭元有相同转角。故：=，即相互共轭转动有相同转角；反过来，具有相同转角的元素一定共轭： 对于任意(为任意单位矢)，显然存在转动元素g，使得，于是可通过g元素共轭。因此SO(3)中所有相同转角的转动属于同一共轭类。(注意：此结论对于SO(3)的有限子群不成立)

◆定理4.2◆ O(3)群中，所有具有相同转角的转动元素是一类，所有具有相同转角的转动反演元素是一类。(此结论对于O(3)的有限子群不成立)证：(一)考察转动元素的共轭元，由O(3) = SO(3)∪I SO(3), 故，有或：①若，则②若，则有O = I Os，则: =(利用了I与任意元素可对易)

(－I = E)

综合①，②有：， ，,即O(3)中所有具有相同转角的转动元素是一类。(二)考察转动反演元素的共轭元，任何转动反演元素可以表示为，有:，故O(3)中所有具有相同转角的转动反演元素属于同一共轭类。

§4.2 点群

【定义4.4】 (点群)三维实正交群O(3)的有限子群称为点群，只含转动元素的点群称为第一类点群，第一类点群也是SO(3)群的子群。含转动且含转动反演的点群称为第二类点群。

◆定理4.3◆ 设群G是绕固定轴k转动所生成的n阶第一类点群，则G由转动元素生成(即为群G的生成元)。证明：假设, 其中0 = 0，为单位元。设中的最小正角度为，则所有可写为如下形式：，其中mi = mod ，0≤＜于是有：=故 由于，，故。因为最小正转角，而0≤＜，故必有＝0。因此有：，i = 0，1，2，…，n – 1而，故有，知该群为循环群n=2л, 故 由生成的群称为Cn群，固定轴称为n阶转轴，Cn群=