群论 第三章
第三章 群的表示理

' '' ''' {T}={ T ( E ) T (C3 ) T (C32 ) T ( V ) T ( V ) T ( V ) }
因为 C3v T 所以{T}是 C3v 的忠实表示.
Ⅶ.非忠实表示(The unfaithful representation) 若 G T ,即有 1. : G T 2. ( Ai B j ) ( Ai ) ( B j ) 即多对一
0 0 1 0 T (E) 0 1
1 0 0 ' T ( V ) 0 1 0 0 0 1
因为由下图可知,仅对
' V 的矩阵.
e1 反射才变号,而对 e2
和
e3 都不变号,故有
' V 的矩阵.
e2
'' V
''' V
e1
" G C3v {E C3C32 v' v v'"} C3v {E 2C3 3 v }
' '' ''' {T}={ T ( E ) T (C3 ) T (C32 ) T ( V ) T ( V ) T ( V ) } 同构,即 C3V T
这时必有 1/.映射 将 C3V 映射到 T 上,即 1-对-1 映射. 2/. ( AB) ( A) ( B) ,例如, T ( V''' ) = T (C3 V' ) = T (C3 ) T ( V' ) . 即
抽象代数高等数学教材

抽象代数高等数学教材抽象代数,作为数学的一个重要分支,研究的是代数结构的抽象概念及其性质。
它是现代数学的基石之一,也是高等数学中的一门重要课程。
本教材旨在全面而系统地介绍抽象代数的基本概念、理论和方法,帮助读者建立起对抽象代数的深入理解和应用能力。
第一章:群论1.1 群的定义与性质1.2 群的子群与商群1.3 幺半群与半群1.4 群同态与同构1.5 群的作用与置换群第二章:环论2.1 环的定义与性质2.2 整环与域2.3 环的同态与同构2.4 素理想与极大理想2.5 多项式环与唯一因子分解整环第三章:域论3.1 域的定义与性质3.2 代数扩域与超越扩域3.3 有限域与伽罗华理论3.4 不可约多项式与域的扩张第四章:线性代数4.1 线性空间的定义与性质4.2 线性变换与矩阵4.3 特征值与特征向量4.4 正交矩阵与对角化4.5 线性空间的直和与内积空间第五章:模论5.1 模的定义与性质5.2 子模与商模5.3 生成元与基本定理5.4 非交换环上的模5.5 自由模与有限生成模第六章:域扩张与代数闭包6.1 域扩张的概念与性质6.2 代数元与超越元6.3 代数闭包与代数簇6.4 代数闭域与代数不变量6.5 有理函数与分式域的构造第七章:范畴论与同调代数7.1 范畴的基本概念与性质7.2 范畴的构造与自然变换7.3 函子与函子范畴7.4 外代数与同调代数基础7.5 奇异同调与同调算子第八章:群表示论8.1 群表示的基本概念与性质8.2 单群与群同态8.3 群表示与欣格尔引理8.4 卷积公式与算术引理8.5 特殊群的表示与表示的构造结语:本教材通过系统而严谨的讲解,涵盖了抽象代数的核心内容,旨在培养读者对抽象代数的兴趣和学习动力,提升读者对数学的抽象思维能力和证明能力。
在学习的过程中,读者还可结合习题和实例进行巩固和应用,从而更好地掌握抽象代数的理论与方法。
希望本教材能成为读者学习抽象代数的重要参考资料,为他们在数学领域的探索和研究奠定坚实基础。
群论3

假设
对于一个有限表示的群 G 中的任意两个字 w 和 w ' ,如果 能够通过如下的四个操作,将 w 变换为 w ' ,则称 w 和 w ' 在群 G 中的是相等的,简称相等。 T1 :将字中的 xi xi − 1 或 xi −1 xi 替换为 e ,即消除字中的 xi xi − 1 或 xi −1 xi ; T2 :在字中任何地方引入 xi xi − 1 或 xi −1 xi ; T2 :将字中的 ri 或 ri −1 替换为 e ,即消除字中的 ri 或 ri −1 ; T4 :在字中任何地方引入 ri 或 ri −1 ;
(6) b ∈ Q 关于矩阵乘法运算。 0 0 S = {2 x − 1| x ∈ Z + } 关于普通的加法和乘法运算。 Zn = {0,1,⋯ , n − 1}
关于模 n 的加 法 ⊕ 运算 ,即 ∀a, b ∈ Z n , a ⊕ b = ( a + b ) mod n 。 (9) 集合 A 的幂集 P( A) 关于集合的交集运算 ∩ 和并集运算 ∪。 (10) S = {0, 1} 关于普通的加法和乘法运算。
于 是 对 明 文 “You are a good student.” 加 密 可 得 密 文 “dtzfwjflttixyzijsy”。 显然取不同的密钥 k 可得不同的密文。
不难发现,若记 26 个英文字母的集合为 S ,移位密码实际是 利 用 26 个 英 文 字 母 所 有 置 换 的 集 合
2 Anshel公钥加密算法 公钥加密算法
1993年,M.Anshel 和I.Anshel利用有限生成 的群中的共轭问题提出了一个新的加密算 法。 共轭问题(Conjugacy Problem)是指是否存在 算法来判断群中给定的任意两个元素和是 共轭元素。所谓两个元素和共轭是指,中 存在元素,使得成立。关于群论中是否存 在群有着算法上不可解的共轭问题,同样 可由一个定理加以保证。
第三章--环与域

第三章 环与域与群一样,环与域也是两个重要的代数系统。
但我们早在高等代数课程里就已经接触过它们了,在哪里,我们有数环和数域的概念,它们实际上就是特殊的环与域。
在本章里,我们只是介绍环与域的最基本的性质及几类最重要的环与域,通过本章的学习,将使得我们一方面对数环和数域有更清楚的了解,另一方面也为进一步学习研究代数学打下必备的基础。
§1 加群、环的定义一、加群在环的概念里要用到加群的概念,因此要先介绍一下什么是加群,实际上加群也不是什么新的群,在习惯上,抽象群的代数运算,都是用乘法的符号来表示的,但我们知道,一个代数运算用什么符号表示是没有什么关系的,对于一个交换群来说,它的代数运算在某种场合下,用加法的符号来表示更加方便。
因此,我们通常所说的加群,是指用加法符号表示代数运算的交换群。
由于加法符号与乘法符号有所不同,所以加群的许多运算规则与表示形式就要与乘法表示的群有所不同。
如:(1)加群G 的单位元用0表示,叫做零元。
即a G ∀∈,有00a a a +=+=。
(2)加群G 的元素a 的逆元用a -表示,叫做a 的负元。
即有()0a a a a -+=+-=。
利用负元可定义加群的减法运算:()a b a b-+-。
(3)()a a--=。
(4)a c b c b a+=⇔=-。
(5)(),()a b a b a b a b-+=----=-+(6)(00()()a a a n a nna nn a n+++⎧⎪==⎨⎪--⎩个相加)为正整数为负整数,且有(),()(),() ma na m n a m na mn a n a b na nb +=+=+=+请同学们在乘法群中写出以上各结论的相应结论。
加群G的一个非空子集S作成一个子群,a b S⇔∀∈,有,a b a S+-∈,a b S⇔∀∈,有a b S-∈。
加群G的子群H的陪集表示为:a H H a+=+。
二、环的定义设R是一个非空集合,“+”与“。
第三章 正规子群和群的同态与同构

§1群同态与同构的简单性质
(Basic Properties of Homomorphism and Isomorphism of the groups)
一 定义
定义1 设 ( G, ) 和 G, 是两个群,如果存在映射ϕ:G → G满足
( )
ϕ (a b) = ϕ (a) ϕ (b)(∀a, b ∈ G(即ϕ 保运算) )
G ⇒ ϕ ( N ) G;
( 2) N
G ⇒ ϕ −1 ( N ) G
5.子群之积
定理3 若群G的一个正规子群和一个子群之积仍是G的子群, 两个正规子群之积仍是正规子群,也就是说,若H ≤ G , N ≤ G, 则
(1) 若N ( 2 ) 若H
G ⇒ NH ≤ G且N G且N G ⇒ HN
NH , H ∩ N
H
G,进一步,若还有H ∩ N = {e},
则∀h ∈ H , ∀n ∈ N 都有hn = nh
例4 若H ≤ G,那么N ( H ) = {x ∈ G | xH = Hx}叫做H 在G中 的正规化子,试证H N ( H ) ≤ G。
二
1. 商群的定义
设N 即
商
群
G,任取2个陪集aN , bN。则 (aN )(bN ) = a ( Nb) N = abNN = (ab) N, (aN )(bN ) = (ab) N
ϕ
三 循环群的同态象
定理3 设G和G为两个群,且G ∼ G,若G为循环群, 则G也为循环群。
推论2 循环群的商群仍为循环群. 推广 交换群的满同态象仍为交换群;交换群的商群 也是交换群.
ϕ
四 同态映射下两个群的子群之间的关系
引理 设σ :G → G是群同态映射,又H ≤ G,如果H ⊇ Kerϕ, 则
群论-1 群论基础

一般记为c = a· b,或c = ab 。
二元运算一般也称为“乘法”—— 数值加法 数值乘法 对称操作…… 集合的所有代数性质都由其乘法结果决定
群论-群论基础-集合与运算
A
乘法表:有限集
l m O
D3 e a b k
B
k
C
e
e a b k
a
a b e l
b
b e a m
k
k m l e
l
l k m a
群论-群论基础-集合与运算
3 一些基本概念
1) 阿贝尔群:交换群
2) 有限群:可给出群表
3) 无限群:离散群,连续群
4) 群元素的阶: gn = e 群阶:|G| 5) 生成元:通过乘法产生群G的最小子集
6) 循环群:一个生成元
群论-群论基础-集合与运算
4 一些基本性质 设G = {gi } 是一个群 ∀ gi , gj ∈ G, 方程 gi x = gj , x gi = gj 有唯一解 ( gi -1 ) -1 = gi ( gi gj ) -1 = gj -1 gi -1
群论-群论基础
第一章 群论基础
群的基本概念和基本性质
§1.1 §1.2 §1.3 §1.4 集合与运算 群的定义和基本性质 子群及其陪集 群的共轭元素类
§1.5
§1.6 §1.7 §1.8
正规子群和商群
直积和半直积 对称群 置换群
群论-群论基础-集合与运算
§0 绪论
群论的发展历史
群论在数学中的作用
物理学中的群论
—— 群论基础
主讲 翦知渐
群论
教材与参考书
教材: 自编 参考书:群论及其在固体物理中的应用 (徐婉棠) 物理学中的群论 (马中骐) 物理学中的群论基础 (约什)
群论讲义
第一章 抽象群基础§1.1 群【定义1.1】 G 是一个非空集合,G ={…,g ,…},“· ” 为定义在任意两个元素之间的二元代数运算(乘法运算),若G 及其运算满足以下四个条件: (1)封闭性:∀f, g ∈G , f ·g=h , 则h ∈G ; (2)结合律:∀f, g, h ∈G ,(f ·g )·h =f ·(g ·h ); (3)有单位元:∃e ∈ G , ∀f ∈ G , f ·e =e ·f =f;(4)有逆元素:∀f ∈G ,∃f -1 ∈G , 使f ·f -1= f -1·f = e; 则称G 为一个群,e 为群G 的单位元,f --1为f 的逆元。
·系1. e 是唯一的。
若e 、e ´ 皆为G 的单位元,则e ·e ´= e ´,e ·e ´= e ,故e ´= e 。
·系2. 逆元是唯一的。
若存在f 的两个逆元f ´=f",则f''f''e f''f)(f'f'')(f f'e f'f'=⋅=⋅⋅=⋅⋅=⋅=, 即''f f'= ·系3 e –1 = ee –1 = e -1·e = e , 即:e –1 = e 。
·系4 若群G 的运算还满足交换律,∀f ,g ∈G , 有f ·g=g ·f , 则称G 为交换群,或阿贝尔群。
群是我们定义的一种抽象结构,具有一般性,它象一个空筐子,可以装入各种具有相同抽象结构的实际对象。
通过研究抽象结构的一般性质,就可以掌握各种实际对象的性质。
例1.1 整数集{z }及其上的加法+单位元为0, 逆元z -1 = -z ,构成整数加法群。
物理学中的群论_2版(马中骐著)PPT模板
03 附 录 2 1 第七章定理 04 附 录 2 2 半单李代数
一的解释
的卡西米尔算子
05 附 录 2 3 半单李代数 06 附 录 2 4 SU(3) 群 的李
的紧致实形
代数
附录26SU(N)群自身表示 生成元的反对易关系
附录28辛群独立实参数的 数目
附录30克莱布施-戈登系 数的对称性质
覆盖群
05 * 4 . 5 李 氏定理
02 4 . 2 李 群的 基本概
念
04 4 . 4 S U (2 ) 群的不等
价不可约表示
06 4 . 6 克 莱布 施-戈登
系数
第四章三维转动群
4.7张量和旋量 4.8不可约张量算符及其矩阵元 习题
05
第五章晶体的对称性
第五章晶体 的对称性
06
习题
01
物理学中的群论|2版(马中骐著)
演讲人
202X-11-11
01
第一章线性代数复习
A
1.1线性 空间和矢
量基
第一章线性代数复习
B
1.2线性 变换和线
性算符
C
1.3相似 变换
D
1.4本征 矢量和矩 阵对角化
E
1.5矢量 内积
F
1.6矩阵 的直接乘
积
第一章线
性代数复
习题
习
02
第二章群的基本概念
3.6物理应 用
3.4有限群 的不等价不
可约表示
*3.5分导表 示和诱导表
示
3.1群的线 性表示
3.2标量函 数的变换算
符
3.3等价表 示和表示的
幺正性
第三章群的线性表示理论
第三章 正规子群和群的同态与同构
由 Lagrange定理,对有限群 G有 G = N (G : N ),
G . 从而有 G / N = N
定理5 (A.L.Cauchy) 设G是一个pn阶有限交换群, 其中p是一个素数,则G有p阶元素,从而有p阶子群. 推论
pq(p,q为互异素数)阶交换群必为循环群.
为素数.
∴ a = n,
从而 G =< a > 为循环群,
由G为单群知n为素数. 练习 设G = Z , N = mZ < G , (1)写出商群的全部元素;(2)商群是否为循环群?
作 业
习题3.2 第91页 2,3,4,5
3.3
群同态基本定理
一、复习 二、 群同态基本定理 三、应用
一、复习
1、正规子群:
结论: 如果 G与G 为各有一个代数运算的 代数系统,
_
且 G ≅ G,则当 G与G 有一个是群时,另一个 一定是群.
_
_
定理2 设ϕ为群G到群G的一个同态映射(不一 定为满射),
_
则
1) 当 H ≤ G时,有 ϕ ( H ) ≤ G 2)当 H ≤ G 时,有 ϕ −1 ( H ) ≤ G .
_ _ _
乘法)的集合,如果 G ~ G ,则 G 也是一个群 .
_ _ __
注意:定理中的同态映射ϕ 必须是满射. 推论 设ϕ为群 G到群G的一个同态映射,
则群 G的单位元的象是群 G 的单位元; G的元素 a的逆元的象 是 a的象的逆元 ,即a
_ −1 _
_
= (a)−1 或 ϕ (a −1 ) = ϕ (a)−1 .
当ϕ是双射时,称 ϕ为群 G到 G 的一个 同构映射.
群论部分
二、子群、陪集、不变子群
群元素的个数称为群的阶。 如果群H的所有元素包含在一个较大的群G中,则称H是G的 子群。 显然,单位元I必定构成G的子群,而且群G的任何子群也 必定把单位元包括在内(子群必须有单位元,而单位元只有 一个)。可以证明: 若G的阶是g,子群H的阶是h,则g/h一定是整数。 例1 实数乘法群 正实数的集合构成它的子群,但负实数则不是。 例2 C2n{I,C2,i, σn} 它含有下列子群:C2{I,C2},Ci{I,i(中心反演或中心反伸)}, Cs{I,σn(水平面反映)}。 一些元素的总体构成一个集合。集合A表示为{a1,a2,….an}, a1,a2等是A的元素。
集合中各元素都不相同,或者说,相同的元素只取其中之 一。要记住,集合是指一些元素的总体,某一元素x与集合 A的乘积x· A或A· x仍然是一个集合。集合A与集合B的乘积 A· B或B· A是A的所以元素与B的每一个元素乘积的集合,所 以,也是一个集合。群是满足一定条件的集合,而集合并不 一定是群。两个集合中的元素一一相等,则称此两集合相 等。 根据上面所说,显然有:群G与自身的乘积就等于它自己, 即G· G=G。 子群的陪集—设子群H∈G,对于任意属于G但不属于H的元 素x,对应的集合 xH={xh1,xh2,…,xhn} 称为H关于x的左陪集,其中h1,h2…等皆H的元素。Hx是 右陪集。
C2
Q
C2 Q
C2 Q
Q C2
比如,Q·Q={{σxz,σyz}·{σxz,σyz}={I,c2}=C2。 因而{C2,Q}构成C2v的因子群,它与σs{I, σ}有相同乘法 表,是同构的。 例2 C4v{I,c2,2c4,2σv,2σa}对于其不变子群C2{I,c2}的因 子群有4个元素:{C2,c4· 2, σv· 2, σa· 2},它与C2v{I,c2, C C C σxz, σyz}同构。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
e2′
e3′ )
=
gCk
(α
)g −1(e1′
e2′
e3′ )
=
gCk
(α )(e1
e2
e3 )
( )[ ] [ ] ( ) = g e1 e2 e3 Cij = e1′ e′2 e3′ Cij 。 (2)
比较上述(1)(2)两式可见,Ck
(α
)
在
o
−
xyz
下的矩阵与
C k1
(α1
)
在
o
−
x′y′z′
1. o − xyz 为右手系,坐标向量为 e1 , e2 , e3 。
2. 点操作保持原点不动,镜面与转轴通过原点,原点即反演中心。
3. Ck (α ),σ k , Sk (α )中的 k 为单位矢。
§ 2 旋转群 SO(3)
设 T 是一个保持原点不动的点操作,即 T e j = e ′j = t1 j e1 + t2 j e2 + t3 j e3 ( j = 1 ,2 ,3),写成
所以 det M (T ) = ±1 。
定理 1 每一个点操作对应于一个行列式为 + 1 或 − 1的正交矩阵。
例如单位操作 E 、反演操作 I 分别对应于行列式为 + 1 和 − 1的正交矩阵:
M
(E
)
=
1 0
0 1
0 0 ,
0 0 1
M
(I
)
=
−1 0
0 −1
0 0 ,
0
0 1
更一般结论:
引理 2 每一个旋转对应于一个行列式为 + 1 的正交矩阵。
证明 任取一个旋转 Ck (α ),设α > 0 ,把它看成是转角ϕ 从 0 → α 逐渐增大完成的。相应
( ) [ ] 的 正 交 矩 阵 M Ck (ϕ ) = Ci j (ϕ ) 的 矩 阵 元 Ci j (ϕ ) (i , j = 1 , 2 , 3) 在 [0, α ] 上 连 续 , 自 然
p ′′
β β
θα α
σ2
p′ σ1
p
p′ σ 2
ββ θα
α
p′′
σ1
p
图 3-1
在σ1 、σ 2 镜面映射下,空间任意一点 P ,仅在过 P 且垂直于σ1 和σ 2 交线的平面上变换。
性质①表明,全体同轴转动 Ck (α )( −∞ < α < ∞ )构成一个 Abel 群 R(2) ;而两个绕不同轴
Ck
(α
)
同类(共轭)。
令 g(e1, e2 , e3 ) = (e1′, e2′ , e3′ ), e1′, e2′ , e3′ 是经 g 作用后的坐标系 o − x′y′z′ 的基矢。
[ ] 设 Ck (α )(e1 e2 e3 ) = (e1 e2 )e3 Ci j ,
(1)
则
C k1
(α1 )(e1′
cos α
Ce3 (α ) (e1 e2 e3 ) = (e1′′
e2′′
e3 ) = (e1
e2
e3
)
sin α 0
− sinα cosα
0
0 0 。 1
2. 再绕 e2′′ 轴转 β 角 e1′′ → e1′′′ , e2′′ → e2′′ (不动), e3 → e3′ 。
旋转和反映有下述简单性质:
① Ck (α )Ck (β ) = Ck (β )Ck (α ) = Ck (α + β );
② σ ⋅σ =e;
③ 镜面夹角为θ 两映射乘积σ 2 ⋅σ1 是以两镜面的交线为轴转角为 2θ 的转动,轴的正向按下
面规则定,即由第一镜面σ1 到第二镜面σ 2 转动是右手系。
§1 对称操作
满足下列条件的空间变换称为点群的对称操作(点操作): (1)任意两点间距离不变(等距);(2)任意两向量间夹角不变(保角);(3)空间中至少有 一点不变(固定点一般被取为坐标原点)。 点群和空间群间的主要区别在于(3)。 主要的点操作有: 1. 使空间不动或使空间各点都回到原来位置的点操作,称为单位操作或恒等操作,记为 E 或 е。 所有真正的点操作分三类:旋转、反映和中心反演(注:平移不属此列)——任何点操作均可 分解为它们的乘积形式(显然还是点操作)。
( ) l = k × k1 ,ϕ = ∠ k1, k ,则 g = Cl (ϕ )∈ R(3) 且使 gk = k1 。
可见:① 在 R(3) 中,所有转角相同的转动组成一个共轭类。
② 转轴相同的旋转构成 R(3) 的一个子群。
R(3) 的欧拉角表示 C(α , β , γ ):用绕三个特定的彼此独立的轴的旋转使 e1 e2 e3 → e1′ e2′ e3′ 。
动,则有
x
x
OP′
=
xe1′
+
ye2′
+
ze3′
=
(e1′ , e2′
, e3′
)
y z
=
(e1
, e2
, e3
)
M
(T
)
y z
(2)
96
比较上述(1)(2)两式导出:
x′ y′
=
T
x y
=
M
(T
)
x y
第三章 对称操作群及晶体对称性
对称操作——使体系占据的空间位置保持不变的空间变换。 对称操作群——由一个体系所有的对称操作所构成的群,如转动、镜面反映、中心反演、像转 (或镜转,转动加镜面反映)及平移等。显然,相继进行的对称操作(乘法)仍为对称操作。 点群——使空间至少有一点在对称操作下保持不变,这种对称操作群称为点群。(原子、分子、 核等对称性属于此类。通常,不动的点取为粒子所在中心为原点。) 晶体群——晶体的对称操作,点群中的一部分加平移。一般说,它属于空间群——晶体所有对 称操作构成的群。晶体结构周期性,具有平移不变性,因而平移构成对称操作群。 本章从点群入手,讨论晶体的对称性。
( ) 0 < β < α1 ,使 det M Ck (β ) = 0 ,而这与定理 1 矛盾。故只能有 det M = +1 。
此定理的逆定理也成立:每一个行列式为 + 1 的正交矩阵对应于一个旋转。
推论 1 两个有同一原点的右手系可利用一个转轴过原点的旋转使其中的一个变为另一个。
推论 2 (Euler 定理) 轴交于一点 O 的两个旋转的乘积等于一个轴过点 O 的旋转。
4. 中心反演 I ,使 r 变为- r 的变换。若 O 为固定点,它使任一向量 OP → −OP 的操作,O
——反演中心。
94
这里,旋转保持转轴上的点不变;反映保持镜面上的点不变;反演保持中心点不变,均是点操 作。转轴不相交的二个旋转的乘积、镜面不相交的二个映射的乘积、转轴与镜面平行(但不在面上) 的旋转与反映的乘积都是空间操作。
Ck (α )σ k = σ k Ck (α ) = Sk (α ) = I ⋅ Ck (π + α ) = Ck (π + α )⋅ I ⑶ 设轴 k 与镜面不垂直,则 Ck (α )σ 与σ Ck 皆为像转,像转轴通过 k 与σ 的交点。 注意:此时 Ck (α )σ ≠ σ Ck (α )。
一般约定:
矩阵形式:
t11 t12 t13
T
(e1
,
e2
,
e3
)
=
(e1
,
e2
,
e3
)M
(T
)
,
M
(T
)
=
t t
21 31
t 22 t 32
t 23 t 33
,
其中 tij (i, j = 1 , 2 , 3)为实数, M (T ) 为实矩阵。
考虑空间一点 P(x , y , z)在T 的作用下变为 P′(x′, y′, z′),显然有
旋转的乘积次序是不可交换的。
例 如图 3-2
Ce⌢y
π 2
Ce⌢x
π 2
=
C k1
2π 3
,
1→ 2 →3; 3→ 7 → 6,
Ce⌢x
π 2
Ce⌢y
π 2
=
C k2
2π 3
,
1→ 4 → 3; 3 → 7 → 8, 其中: k1 = e⌢x + e⌢y − e⌢z ; k2 = e⌢x + e⌢y + e⌢z 。
2. 旋转:绕空间某有向直线 L 转过一角度α 的操作。 L ——转轴,α ——转角(右手系定
正向),表为 CL (α ) 。
3. 反映(镜面反射),对于某个平面作镜面反射的操作。平面σ 以 k 为法向量,记为σ 或σ k 。 通常以σ υ ( ⊥ ,vertieal)和σ h (==,horizental)分别表示通过和垂直主轴的镜面。
方法:按惯例在右手系 o − xyz 中引进球坐标, e3′ 取向由α 、 β 确定,即
e3′ = (sin β cosα , sin β sinα , cos β ) 。 (即 r = (x, y, z), r = 1)
这可以由下列三个转动来实现:
1. 先绕 e3 轴转α 角, e1 → e1′′ , e2 → e2′′ , e3 → e3 (不动)。
0 0 −1
因而也把 M (E) 和 M (I )记为 E 和 I 。
例 2 绕 z 轴的旋转 Ce3 (α ) 保持 e3 不变,而使 e1 , e2 变化如下,