群论讲义1
第七章群论(精品文档)

第七章群论§1 群的基本概念和一般理论一、群的定义和例子群是按照某种规律互相联系着的一些元素的集合,我们用G来表示这个集合,并设它含有的元素是A,B,C,E等等。
不是随便什么样的元素集合都构成群,要组成数学群必须满足下列四个条件:1.封闭性G中任何两个元素相“乘”(包括一个元素本身“平方”),其结果任然是G中的元素。
如A属于G:B属于G:则有()(7.1-1)“乘”这个术语是通用的说法,在这里它含有比初等代数里的“乘”更广泛的意义,也许用“组合”来代替更恰当一些,我们将在下面通过几个例子来阐明。
一个数学群必须首先定义一种乘法。
2.缔合性三个以上的元素相乘满足乘法的结合律。
如A B C=A ( B C )= (A B ) C (7.1-2)即在保持三个元素相乘先后次序一定的前提下,其结果与哪两个元素相乘无关。
3.单位元素G中有一个元素E,它同每一个元素相乘,都等于该元素本身,即E A=A E=A,(7.1-3)称E为单位元素或恒等元素。
4.逆元素G中每一个元素A,都有另一个元素A-1,两者相乘等于单位元素E,即A=A=E,(7.1-4) 称为的逆元素。
逆元素可以是该元素本身。
下面我们举几个群的例子(2)G={所有大于0的实数}集合G包含所有大于0的实数,对普通的乘法而言,组成一个群。
满足封闭性和缔合性是显然的。
1是单位元素,任一实数m的逆元素为。
(3) G={0,±1, ±2, ±3……±n…}集合G包含0和所有正负整数,对于加法而言,组成一个群,成为整数加群。
此例中“乘”的意思是加。
1+2=3 封闭性满足1+2+3=1+(2+3)=(1+2)+3=6 缔合性满足0+3=3+0=3 0是单位元素n+(-n)=0 n有逆元素-n 213(4)G={E、I} ( C i )这个群(称为C i)里面的二个元素是“对称操作”,E是不动,I为对原点的倒反。
这种群(组成元素是一些对称操作)称为对称群或点群。
群论群论基础课件

式中 y 称为 x 在B 上的象,而 x 称为 y 在 A 上的原象。
对应规则:与函数的比较
群论-群论基础-集合与运算
满射 单射 一一映射 逆映射: f -1 恒等映射:e
变换: 体系A 的一个自身映射f 称为A 的一个变换 若f 是一一映射,则称为对称变换 一一变换有性质:
物理学中的群论
—— 群论基础
主讲 翦知渐
群论
教材与参考书
教材: 自编
参考书:群论及其在固体物理中的应用 (徐婉棠)
物理学中的群论 (马中骐)
物理学中的群论基础 (约什)
群论
物理学中的群论
第一章 群论基础 第二章 晶体对称群 第三章 群表示理论 第四章 三维转动群 第五章 群论在量子力学中的应用
群论-群论基础
二元运算一般也称为“乘法”—— 数值加法 数值乘法 对称操作……
集合的所有代数性质都由其乘法结果决定
群论-群论基础-集合与运算
乘法表:有限集
A
l
m
O
D3
e
a
b
B
k
l
k
m
C
ee
a
b
k
l
m
aa
b
e
m
k
l
bb
e
a
l
m
k
kk
l
m
e
a
b
ll
m
k
b
e
a
mm
k
l
a
b
e
4 同态与同构
群论-群论基础-集合与运算
设 A 和 B 是两个不同集合,其中分别定义了乘法 ·和 ×; 若有满射 f ,使得对于 yi = f ( xi ), yj = f ( xj )来说有
物理学中的群论基础第一章

平面上所有平移的集合 平面上所有平移的集合 √ 平面上以一个定点为中心的所有旋转的集合 平面上以一个定点为中心的所有旋转的集合 平面上所有轴反射的集合 平面上所有轴反射的集合
√
a1 a2
×
1.1.2正方形的对称性群 正方形的对称性群 (1)平面上正方形 )平面上正方形ABCD的对称变换群 的对称变换群
B
A
A
B
6 :
C B D A D D C A
7:
C B D A C B B C
8 :
C D A D
(2)S(K)中的运算举例 ) 中的运算举例
2 1 = 2
B A B A A D
2π π
C D
1
C
2π π
D
2
B
——
π 2
C
2 5 = 7
B A C D D A
5
C D B A
2
C
B
(3)S(K)中的幺元 ) 中的幺元
生成一个群, 例:由元素A生成一个群,只要求 n=E,n是满足此关系式的最 由元素 生成一个群 只要求A , 是满足此关系式的最 小正整数. 小正整数. 由于A是群中的一个元素,所有它的整数幂必定也在这个群中. 由于 是群中的一个元素,所有它的整数幂必定也在这个群中. 是群中的一个元素 故可以生成群的新元素, , 故可以生成群的新元素,A2,A3,…,直到 n=E,更高次幂不能 ,直到A , 给出新元素,因为A 所求得群, 给出新元素,因为 n+k= Ak.所求得群,故所求得群阶为 所求得群 故所求得群阶为n. 生成一个群, 例:由两元素A和B生成一个群,只要求 2=B3=(AB)2=E. 由两元素 和 生成一个群 只要求A 由于A 由于 2=E和B3=E,此群必包含元素 ,A,B,B2. 它一定也包 和 ,此群必包含元素E, , , 含所有A,B和B2的乘积. 因此得到两个新元素AB和BA. A和B不 含所有 , 和 的乘积 因此得到两个新元素 和 和 不 对易,否则由(AB)2=E将得到 对易,否则由 将得到 E=ABAB=A2B2=B2. ABAB= AB 和BA是不同的元素. 由此生成6个元素E, A, B, B2, AB, BA. BA是不同的元素 由此生成6个元素E 是不同的元素. AB, 可以证明,这个集合是一个群,即它对乘法是封闭的. 可以证明,这个集合是一个群,即它对乘法是封闭的.
群论课件

可约性的判定
2 2 2 2
16
第四节 群表示的特征标
1.定义:设群G={E,A,B,C,…},它的一个表示 D={D(E),D(A),D(B),D(C),…},则群元R的特征标 为D(R)的对角元之和(迹) X(R)=TrD(R)= Daa ( R)
a 1 n
式中,R表示G的任一元 Daa是对角元,n是表示空间的维数。 特征标系:群G中所有的g个群元在D中的特征标 注:对可约表示和不可约表示同样适用, 第a个不可约表示Da(R)的特征标写成Xa(R)
8
第二节 舒尔(Schur)引理
1.舒尔引理一 D是群G的一个表示,若存在一个矩阵A,与D中所 有矩阵都对易,即 D(R)A=AD(R) R∈G 则有: (1)若D是不可约的,A必为常数矩阵 A=λ E 式中,λ为标量,E为单位矩阵 (2)若A不是常数矩阵,则D必为可约表示。若A为厄 米矩阵,则约化矩阵就是使A对角化的矩阵。 注:厄米矩阵—矩阵与其共轭矩阵相等 R+=R
21
3.不等价不可约表示的符号
(1)Mulliken符号
符号 A、A1、A2 B(B1,B2,…)
E,T
表示含义 适用情况 +1(对称)、恒等表示、 一维 其他表示 -1(反对称)、其他表 示
二维、三维
脚标加 g,u
有中心反演
(2)Bethe符号
1,2,3, ...
22
4.可约表示的约化(特征标的应用)
19
证明:
(i ( X (i )* ( R) X ( j ) ( R) Duu)* ( R) Daaj ) ( R) R R u a (i ( Duu)* ( R)Daaj ) ( R) ua R
群论课件ppt

元素数量是有限的集合。
03
02
置换
将一个有限集合的元素重新排列。
乘法
置换之间的运算。
04
循环群
01
02
03
循环群
由一个元素生成的群,即 置换群中所有元素都是该 元素的循环。
循环
将一个元素替换为另一个 元素,其它元素保持不变 。
元素生成
由一个元素开始,通过重 复应用某种变换得到的所 有元素。
群论课件
目录
• 群论基础 • 置换群 • 群论的应用 • 群表示论 • 群论中的问题与挑战 • 群论与其他数学领域的联系
01
CATALOGUE
群论基础
群的定义
群是由一个集合和定义在这个集合上 的一个二元运算所组成的一个代数结 构。这个二元运算被称为群中的“乘 法”。
群中的元素可以是有理数、整数、矩 阵、变换等,具体取决于实际应用和 研究领域。
群论与几何学的联系
对称性
群论在几何学中广泛应用于描述对称性。例 如,晶体学中的晶格结构可以用群论来描述 其对称性。此外,在几何图形中,我们也可 以用群论来描述图形的对称变换。
几何形状的分类
通过群论的方法,我们可以对几何形状进行 分类。例如,根据其对称性,我们可以将几 何形状分为不同的类型。这种分类方法有助 于我们更好地理解和研究几何形状的性质和
群表示是群论中一个重要的概念,它有助于将群的结构和性质转化为线性 代数的语言,从而更好地理解和研究群。
特征标与维数
01
特征标是群表示的一个重要概念 ,它描述了群在某个向量空间上 的作用方式。
02
特征标是一个函数,将群中的每 元素映射到复数域上,它反映
了群元素的性质和作用方式。
群论(1)第二章

cos µ ¡ sin µ 0 D(R) = @ sin µ cos µ 0 A 0 0 1
0
1
可以验证,D(R)构成平面转 动群的真实表示。(练习)
例2:
系统哈密顿量H,本征值E的能级m重简并
Hù = Eù; ¹ = 1; 2; ¢ ¢ ¢ ; m
G = fRi g
系统的对称变换构成群
,有
m X j=1
Ãj [D(R)D(S)]jk
(1)G与D(G)建立了对应关系 (2)对应关系的性质由变换 群的性质与基矢量的选取决 定
RS -> D(R)D(S)=D(RS) D(G)构成群G在线性空间V上 的表示,V也称为D(G)的表 示空间
例1:平面转动群的二维表示
平面转动R,逆时针转theta角
8 <1 DP R(S) = : 0 if P = T = SR if P 6= SR
这样的矩阵构成群,与G同构,构成群G的g维表示,称 为正则表示,表示空间为群空间。
正则表示的特征标
对角元
DRR (S) =
8 <1 : 0
if R = SR if R 6= SR
if S = E if S 6= E
D1也是可约表示 根本原因 V3 (x; y; z) = V2 (x; y) © V1 (z)
逆向思维
有群G不变的两个线性空间w(n维)和w’(m维),则有两 表示空间上的群表示C(G)和B(G) 将两线性空间直和,得到更高维(n+m)的线性空间
群G即有n+m维的可约表示
该表示的表示空间为V=w+w’
X X=
群论 第1章 群论基础(1)

在不引起歧义的情况下, 我们会省略乘法符号. 群G的元素个数称为群的阶(order), 记为|G|. 根据群的元素个数, 可以将群分为有限 群(元素的数目有限)和无限群(元素的数目无限). 在无限群中, 连续群可以用一个或多个 实参数来标记群的元素. 另一种对群的分类方式, 是按照群的乘法是否可以交换位置. 定义 2 (Abel群) G是群, 并且满足 ∀a, b ∈ G, ab = ba, 则称群G是Abel群. Abel群的乘法一般又称为加法. 例1 例2 例3 实数的集合按数值加法运算(R, +)构成Abel群. 非零实数的数值乘法(R\{0}, *)构成Abel群. n-维非奇异复矩阵按矩阵乘法构成非Abel群GL(n, C). (1.1.1)
e e a b c d f a a e d f b c b b f e d c a c c d f e a b d d c a b f e f f b c a e d 表 1.4: D3 群的乘法表
∀g ∈ G, ∃n, m ∈ N, n > m, g n = g m . 记k = n − m ∈ N, 那么 g k = e, 称使上式满足的最小自然数k 为元素g 的阶. 有限群的生成元的数目是有限的, 其中最小的数目称为有限群的秩(rank).
于是, 生成元的任意乘积可以写成标准的形式q m pn , 从而|G| = 6. 群的乘法见表 1.3. p2 p2 qp2 qp2 qp q p2 p e
e
p
q
qp
e
a
b
c
d f
e e p q qp 2 2 p p p e qp q 2 2 p p e p qp qp2 q q qp qp2 e p qp qp qp2 q p2 e 2 2 qp qp q qp p p2 表 1.3: ⟨p, q ⟩群的乘法表 对有限群, 必有
群论 第一章

第一章第一章 抽象群概论§1 什么是群什么是群??群公理不同元素的集合不同元素的集合,,赋予一定的合成规则赋予一定的合成规则((称为群称为群““乘法乘法””—— 加、乘、对易子等对易子等)。
)。
满足下列满足下列条件条件((群公理群公理)): (1)封闭性 i g 和G g j ∈,则G g g g k j i ∈=⋅; (2)结合律 )()(k j i k j i g g g g g g ⋅⋅=⋅⋅;(3)存在唯一的单位元素e (或E )G ∈ ,对任一元素j g 有j j j e g g e g ⋅=⋅=; (4)对每一元素有逆元对每一元素有逆元,,对i g 有 1−i g ,使e g g ii =⋅−1。
阶 —— 群元的个数群元的个数::阶有限为有限群阶有限为有限群;;阶无穷为无限群阶无穷为无限群。
无限群又分无限离散和无限连续无限群又分无限离散和无限连续。
注:1. 乘法不可对易乘法不可对易,,即i j j i g g g g ⋅≠⋅。
若可对易若可对易,,则称为阿贝尔称为阿贝尔((Abel )群。
2. 若G c b a ∈,,,则G 中包含p l k c b a ,,(其中p l k ,,为整数为整数))。
例1.复数1,i ,-1,-i 组成四阶群组成四阶群。
四阶循环群 —— 由一个元素由一个元素,,i (或-i )出发出发,,由它及其幂由它及其幂次次生成整个群G ,称为循环群称为循环群。
循环群必是阿贝尔群环群必是阿贝尔群。
n 阶循环群可表为{23,,...n a a a a e =}。
例2.所有实数组合所有实数组合,,加法运算下成群加法运算下成群。
全体正实数在乘法运算下成连续群全体正实数在乘法运算下成连续群。
例3.定轴转动定轴转动::Π<Θ≤20,)2(SO 无限连续群无限连续群。
特例 —— 转角为m 倍nπϑ2=构成n 阶群n C ;定点转动定点转动((三维空间转动三维空间转动)):),,(γβαR ,)3(SO 群。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
n
2
+ ⋯ + a bn ≡ a bi
n i
即在同一项中,凡是碰到一对用同一符号表示 的上标和下标,总代表从1到n的求和
Shanghai Jiao Tong University
第一章 张量代数
内容: §1 张量的概念 §2 张量的代数运算 §3 内积空间上的张量 §4 若干物理应用 习题
Shanghai Jiao Tong University
D = εE ②介质各向异性, E 与 D 一般不同向,但仍有线性对应的函数
关系(E 不太强时),即 此时要保留介电系数的概念,则 ε 应理解为从 E 到 D 的线性 变换
λ E ← λ D , E1 + E2 ← D1 + D2 → →
D =ε E
( )
Shanghai Jiao Tong University
→ a ( x1 ,⋯ , xr ) = a x1i1 ei1 ,⋯ , xr ir eir = a ei1 ,⋯ , eir x1i1 ⋯ xr ir = ai1⋯ir x1i1 ⋯ xr ir
xk = xk ik eik
(
)
(
( ik = 1,⋯ , n )
)
( i1 ,⋯ , ir = 1,⋯ , n ) 构成一个nr数阵, 系数 ai1⋯ir = a ei1 ,⋯ , eir 称为r重线性函数a(x1, …, xr)在基{ei}下的坐标或分量
a (λ x ) = λa ( x) 则称a = a(x) 是V上的一个线性函数
a ( x + y) = a ( x) + a ( y)
Shanghai Jiao Tong University
§1 张量的概念
按定义,给定V中一组基{ei,i=1, 2,…, n},a(x)可以用矢量 x的坐标(分量)来表示 x = xiei = x1e1+…+xnen → a(x) = a(xiei) = xi a(ei) 记 a(ei) = ai ,则 a(x) = xi ai 注:①线性函数是以V中的矢量x作自变量的函数 ②在基{ei}下,a(x)与一个n数组ai一一对应,此对应保持 a(x)与ai的加法和数乘运算,即 ɶ ɶ a ( x ) + a ( x ) ← ai + ai →
• 广义相对论,量子场论,电磁场理论 • 连续介质力学,晶体物理,……
Shanghai Jiao Tong University
引言
本讲义从坐标及坐标变换的角度讲述张量分析, 这对学物理的同学比较方便 在记号方面,通篇采用Einstein求和约定:
∑a b = a b + a b
i 1 2 i =1 i 1
n
各向 异性
② 函数的自变量 n 是矢量,函数值 σ ( n ) 是力。故是从矢量到 n 矢量的变换。此变换是线性的,即若 n 是 n1 , 2 的线性组合
n = λ1n1 + λ2n2
σ 则σ ( n ) 也是 σ ( n1 ) , ( n2 ) 的同系数的线性组合
故应力是从方向 n 到力 σ ( n ) 的线性变换。
σ ( n ) = λ1σ ( n1 ) + λ2σ ( n2 )
可叠 加性
Shanghai Jiao Tong University
§1 张量的概念
j ③基{e1,e2,e3}取定后,此线性变换的坐标是32数阵 σ i σ ( ei ) = σ i j e j (i, j = 1, 2, 3)
例3.介电系数。 均匀电介质置于均匀电场 E 中,介质中电位移为 D ①介质各向同性, E 与 D 同向,且有线性关系
λ a ( x ) ← λ ai → n数组ai称为线性函数a(x)在基{ei}下的坐标(或分量)
Shanghai Jiao Tong University
§1 张量的概念
二、多重线性函数的坐标表示 ⒈ 双线性函数 定义:设V是n维线性空间, a(x, y)是在x, y∈V上的实函数。 若当任意固定x∈V时,它是y的线性函数,当任意固定y∈V 时,它是x的线性函数,则称a(x, y)是一个双线性函数。 给定基{ei} ,则 x = x ie i , y = y ie i → a(x,y) = a(xiei , yjej) = xi yja(ei, ej) 记 a(ei , ej) = aij ,则 a(x, y) = aij xi yj 系数aij (i, j = 1, 2,…, n)构成一个含有n2个数的数阵。同样有 称aij是a(x, y)在基{ei} 下的坐标或分量
全体线性变换 y = A ( x ) ← → 全体n 2数阵 ai j
称aij是线性变换A在基{ei}下的坐标或分量。
Shanghai Jiao Tong University
§1 张量的概念
为何要讨论多重线性函数和线性变换的坐标表示? 原因在于物理与几何中有很多对象都能表为多重线 性函数和线性变换。利用坐标来运算便于研究它们 的性质和规律 例1.平面。三维空间中给定一组基{e1,e2,e3},一个不 通过原点的平面表示为 aixi = a1x1+a2x2+a3x3 =1 (i =1, 2, 3) 方程左端是线性函数,此函数在{e1,e2,e3}下的坐标 是31数组ai, (i =1, 2, 3)。 ai称为此平面在{e1,e2,e3}下 的坐标。
§1 张量的概念
εi j
③给定基{e1,e2,e3},线性变换ε的坐标或分量是
ε ( ei ) = ε i j e j
讨论: 以上二例看到,可叠加的各项异性物理量,能够用以方向 (矢量)为自变量的(单或多重)线性函数或线性变换来表 示。方法是取一组基,用坐标表示。 是矢量的函数或变换 各向异性 (物理) (数学) 线性 可叠加性 基矢组的选择有人为性,导致同一客观物理量在不同的基下 具有不同的坐标。因此引进坐标描述后,必须回答当基变换 时,物理量的坐标按什么规律变换。一旦知道这个变换规律, 只要在一个坐标系中给出该物理量的坐标,也就等于在任意 坐标系中都给出了它的坐标。这样就能得到一个与坐标系无 关的客观物理量。
Shanghai Jiao Tong University
§1 张量的概念
§1.2 坐标变换
一、矢量的坐标变换 {e1 ,⋯, en }
1 ɶ ,⋯ , x 2 } ɶ ɶ e1 ,⋯ , en } { 设基变换S = (sij),其逆为T= (tij),即
x
{x ɶ {x
1
,⋯ , x 2 }
ɶ ei = si j e j ,
(
)
Shanghai Jiao Tong University
§1 张量的概念
三、线性变换的坐标表示 设A是V上的线性变换,对任意的x∈V,有矢量 y = A(x) ∈V 若取定基{ei},则 x = xiei , y = yiei → yiei = A(xiei) = xi A(ei) 此处A(ei)代表V中与ei对应的矢量,可按{ei}展开,其展开系数为aij, 即 A(ei) = aijej → yiei = xi aijej → yj = xi aij 其中aij (i, j =1, … , n)是一个n2数阵,且
Shanghai Jiao Tong University
§1 张量的概念
σ (n )
P S B A
例2. 应力。
过P点作一截面S,物体分为A、B两部分。 令 n 是S在P点的单位法矢,在P点的局部, σ (n ) A通过单位截面对B的作用力 称为物体在P点沿方向 n 的应力。 ① σ ( n ) 随 n 的不同而变,是方向 n 的函数;
ɶ ɶ ɶ ai1⋯ir = a ei1 ,⋯, eir = a si1 ek1 ,⋯, sir ekr
k1 kr
(
= si1 k1 ⋯ sir kr
) ( a ( e ,⋯ , e ) = s
k1 kr
)
r阶协变 张量
k1
i1
⋯ sir kr ak1⋯kr
Shanghai Jiao Tong University
§1 张量的概念
§1.1 坐标 坐标是为便于计算引进的工具。空间中点和矢量都可以 用坐标来表示 问题:除了点和矢量,别的对象是否也能用坐标表示? 考察两类对象:多重线性函数和线性变换 一、线性函数的坐标表示 定义:V是一个n维线性空间,a = a(x)是V上一个函数, 若对V中任意矢量x,y及任意实数λ,有
二阶混 合张量
ɶ ai j s j l = si k ak l
ɶ ai j = si k tl j ak l
故在基变换下,线性变换的坐标aij按混合的方式作一阶 协变、一阶逆变的变换。 综上,当基变换时,无论矢量、多重线性函数还是线性 变换,其坐标(或分量)的变换方式不外乎协变与逆变 两种。
Shanghai Jiao Tong University
§1 张量的概念
§1.3 张量的定义 定义:设有一个量a,在n维线性空间V的每一组基{ei}下,都 j ⋯j p+q数阵 ai 1 i q ( i1 ,⋯ , i p , j1 ,⋯ , jq = 1,⋯ , n ) 确定。若对 能由一个n 1⋯ p ɶ V中任意两组基{ei } 及 {ei } 有 ɶ ei = sij e j
ɶ ɶ ai = a ( ei ) = a ( si j e j ) = si j a ( e j ) = si j a j
ai的变换与基变换完全一致,称此为协变变换。分量指标用 下标表示,称为协变指标。 ⒉ 二重及多重线性函数坐标的变换 ① 二重 ② r重
二阶协变 张量
ɶ ɶ ɶ aij = a ( ei , e j ) = a ( si k ek , s j l el ) = si k s j l a ( ek , el ) = si k s j l akl