Ch32群的表示.pptVIP

群的线性表示 群代数 群的正则表示 第三章 群的线性表示理论 群的不等价表示 群的不可约表示 舒尔定理 特征标表 表示、真实表示、非真实表示、平庸表示、自身表示、幺正表示、实正交表示 表示矩阵、表示的维数、特征标 群函数、类函数 群元加法、群矢量、群空间、基、维数 群矢量乘法、代数、群代数 线性变换算苻、正则表示 关键术语 一、表示的意义 同构群性质相同； 矩阵群容易研究； 矩阵群作代表，线性表示 非奇异m?m方阵是同构、同态群的m维线性表示 二、表示类别 同构：真实表示——表示的维数 同态：非真实表示——平庸表示 表示矩阵——幺正表示——实正交表示 内容回顾 ?1?——平庸表示——非真实表示 恒元的表示矩阵是单位矩阵：D(E)=1 D(R-1)=D-1(R) 特征标——矩阵迹 三、表示矩阵 一定有群的线性表示吗？ 内容回顾 真实 四、群代数 群元加(减)法：满足加法基本公理 群函数——群元R自变量——特征标：类的函数 群矢量乘法：封闭+满足分配律 XY∈L，Z(X+Y)=ZX+ZY 这样的线性空间称为代数——群代数 内容回顾 五、群空间 基：群元——群函数F(R)——群矢量——群阶维 矢量：群元的线性组合 基不唯一——自然基——1×g行矩阵R=(e ω ω’) 矢量——g×1列矩阵 线性空间 内容回顾 在群代数中，本身是矢量的，又是线性算符 X对Y矢量乘积，又可以看做进行了变换 XY= =Z 五、群空间 内容回顾 在群代数中，本身是矢量的，又是线性算符 X对Y矢量乘积，又可以看做进行了变换 XY= =Z 群元也是矢量，也是变换算符 变换系数，与群元一一对应； 变换系数，可形成矩阵 ? 表示 注意 1、群函数：以群元为自变量。同时又是以群元为基的矢量。 2、群空间：所有群矢量。 3、群矢量，和g×1列矩阵一一对应。定基 4、群代数：群矢量可乘。 5、群元：可对群矢量作变换?表示矩阵 内容回顾 一、正则表示的求法 基矢是群空间中变换算符 基矢对矢量基的作用： 内容回顾 g阶矩阵群——正则表示 表示的维数等于有限群的阶数； 除恒元外，群元在正则表示中的特征标都为零 当S=E 当S≠E 二、正则表示的性质 一、正则表示的求法 基矢是群空间中变换算符 基矢对矢量基的作用： 内容回顾 g阶矩阵群——正则表示 令S=ω, R={e,ω,ω’} 则 ωR={ω, ω’, e} 正则表示 练习求: D(?’) 同样的方法可以得到: 正则表示 当S=E 当S≠E 例:D3 群 正则表示 二、正则表示的乘法表求法 正则表示 是真实表示，每个有限群都有正则表示； ——每个群都有线性的真实表示 表示的维数等于有限群的阶数； 除恒元外，群元在正则表示中的特征标都为零 三、正则表示的性质 当S=E 当S≠E 正则表示 当S=E 当S≠E 例:C3 群 C3 ={e, ω, ω’} 正则表示 当S=E 当S≠E 例:D3 群 表示、真实表示、非真实表示、平庸表示、自身表示、幺正表示、实正交表示 表示矩阵、表示的维数、特征标 群函数、类函数 群元加法、群矢量、群空间、基、维数 群矢量乘法、代数、群代数 线性变换算苻、线性表示、正则表示 关键术语 一、问题？ 正则方法得到的矩阵集合能构成群吗？ 正则表示 证明一个集合构成群,有几种方法? 方法1 根据定义. 方法2 第2章第4节 定理三. 群G，有乘法定义的集合G’——乘积封闭 若：R?R’ R∈G， R’∈G’ S?S’ S∈G，S’∈G’ 且 RS?R’S’ 则：集合G’为群，且与群G同构。 群G，有乘法定义的集合G’ 若：R?R’ R∈G， R’∈G’ S?S’ S∈G，S’∈G’ 且 RS?R’S’ 则：集合G’为群，且与群G同构。 正则表示 证明：1.S∈G，D（S）跟S有一一对应关系。 2.D（T）D（S）=D（TS） TS D(S)构成群 表示、真实表示、非真实表示、平庸表示、自身表示、幺正表示、实正交表示 表示矩阵、表示的维数、特征标 群函数、类函数 群元加法、群矢量、群空间、基、维数 群矢量乘法、代数、群代数 线性变换算苻、线性表示、正则表示 关键术语 群的线性表示 群代数 群的正则表示 群的线性表示理论 群的不等价表示 群的不可约表示 舒尔定理 特征标表 一、等价表示 定理：群G表示A的共轭： B=SAS-1也为群G的表示 证：任意群元：R、T?G R ? A(R)= S-1B(R)S ，T ? A(T)= S-1B(T)S B(R) ? R ，B(T) ? T B(RT)=B(R)B(T)=SA(R)S-1 SA(T)S-1=SA(