——————————————— 完更撒花~(8/8)———————————————
[参考文献] Michael Artin: Algebra (2nd Edition)
1 典型群
[线性群] 一般线性群
- 其中最重要的是:特殊线性群,正交群,酉群,辛群——典型群。
[特殊线性群
[正交群
- 正交矩阵所作的基变换保持
上的点积
[酉群
- 酉矩阵所做的基变换保持
上的标准Hermitian积
[辛群
[洛伦兹群] 是保持洛伦兹型的实矩阵的群
- 由这些矩阵表示的线性算子叫做洛伦兹变换,
- 对任意符号差
可以定义类似的群
[特殊正交群
[特殊酉群
- 辛矩阵的行列式总是
.
2 插曲:球面
[n维单位球面] 轨迹 (locus)
[球极平面射影]
北极
球极平面射影公式:首先把过的直线写成参数形式
,当第一个位置的坐标为零,即
时,点
在
中,将
带入得到其他坐标。
- 这个投影把下半球面
双射地映到
的
-维单位球,而如果用南极投影,会把上半球面
双射地映射到单位球。
- 因此构造
-球面有两种构造方法:
-空间
与单点
的并;或两个单位球的并,这两个单位球沿着边缘(即
球面)粘在一起,并适当伸展。
[3-球面上的纬度]
-
时的纬称为赤道,记为
。
[3-球面上的经度] 取过北极
如果选取空间
-
上的纬是
-球面,经是
-球面。
[引理] 令
-
交赤道
于两个点,如果
是其中一个点,则另一个点是
。
-
有参数化。如果
是
的一个点,然后用
代替
如果必要的话,可把
表示为
的形式,
,那么对所有的
,这种
的点的表示是唯一的。
- 除了两极点,
的每个点都位于唯一的经上。
证明:(2)计算所以
是单位向量当且仅当
在单位圆上,即对某个
![]()
(3) 令是
中的不在竖直轴上的单位向量。那么
是独立的,张成包含
的二维子空间
。所以
仅在一个这样的子空间中,仅在一个经上。
3 特殊酉群
[
证明:令是
的元素,其中
。令
且
, 即
所以
, 于是
![]()
[与球面一一对应] 令
能够在其上定义连续群法则的球面,只有1-球面和3-球面。
- 球面的北极
对应恒等矩阵
,其他标准基向量对应定义四元数群的矩阵:
[四元数代数] 具有基
[引理] 除了两种特殊矩阵
证明:的特征多项式为
,
当
在单位球面上时,
, 所以
. (所有酉矩阵的特征值的绝对值都为
)
[命题]
[引理] 令
证明:令是
的长为
的特征向量,对应特征值
, 令
。 能发现
是
的一个特征值为
的特征向量,那么
组成的
是
的元素,且
![]()
[赤道
- 矩阵
是斜埃尔米特(skew-Hermitian)的:
且它的迹为
。
- 矩阵
是斜埃尔米特的当且仅当
是埃尔米特的。
[空间V] 迹为零的
- 它是
的正交空间,它的基为
且
是
的单位2-球面。
[命题] 对于
-
在赤道上,即
-
的特征值是
和
-
证明:因为特征多项式,可知前两个条件等价。因为
是
中唯一特征值为
的矩阵,如果
是
的一个特征值,那么
是
的一个特征值。所以
当且仅当
有特征值
,也就是
![]()
[命题] 令
-
与赤道
交于两点。如果
是其中一点,那么另一个是
。且
是
的正交基。
-
的元素可以写成形式
,
在
上,
当
,且
可以用
来选择时,
的表示是唯一的。
-
的每个元素除了
都位于唯一的经上。元素
位于每个经上。
- 经是
的共轭子群。
证明:如果用矩阵符号来写,前3个引理就变成了上一节的最后一个引理。现证明(4)令分别是角
的
和
值,令
,那么因为
,所以
所以
在乘法下封闭,在逆下也封闭。现验证
是共轭的,令
是经
上一个命题说明
共轭于
,
. 那么
所以
共轭于经
![]()
4 旋转群
[旋转] 因为
- E的自旋:非平凡旋转的极点是旋转轴与
的交点,极点在旋转中不动。如果
在
上,那么用
表示
的自旋:极点为
,旋转角度为
。
[定理]
- 规则
定义了一个满同态
,即
的中心
.
- 如果
,
,且
在
上。那么
使
绕极点
旋转,转过角度为
。所以
可表示为
[
-
的每个元素,除
之外,都可描述一个非平凡旋转和确定的自旋,所以
常称为
[
因为
[射影3-空间] 因为
-
同胚于射影3-空间
。
-
的点与
的1维子空间一一对应,每个1维子空间交3-球面于一对对极点。
[定理的证明]
5 单参数群
[单参数群] 从实数加群
[定理]
- 令
是一个任意实数或者复矩阵,令
表示
或者
那么定义为
的映射
是一个群同态。
- 反之,令映射
是一个可微的同态映射,令
表示在原点处的导数
. 那么对于所有
,
若是
的某子群(正交群,酉群,特殊线性群),那么什么样的
使得
?
[命题]
- 如果
是实斜对称矩阵
,那么
是正交的。如果
是复斜Hermitian矩阵
,那么
是酉的。
- 正交群
中的单参数群是同态
, 其中
是实斜对称矩阵。
- 酉群
中的单参数群是是同态
,其中
是复斜Hermitian矩阵。
[引理] 对任意方阵
[命题] 特殊线性群
6 李代数
[李代数] 矩阵群
例:用复平面上的单位元圆表示圆群(所有模为的复数组成的乘法群),它的李代数是
的实数倍空间。
[相切]
- 与路相切:如果
是一个
中的一个可微路,那么速度向量
与这个路在点
处相切。
- 与集合相切:向量
被称为与
的子集
在点
处相切,如果存在一个可微路
使得
, 且
, 其中
对于足够小的
有定义,且整体包含在
中。
群中的元素是矩阵,因此
路中的
是一个矩阵值函数。它在
处的导数
也是一个矩阵。如果
那么矩阵
就是
的一个元素。
[命题] 正交群
[引理] 令
[命题] 特殊线性群的李代数由迹为
[李括号] 李代数有一种加法结构,称为括号的运算:
- 括号是一种交换子:它为零当且仅当
可交换。
- 括号不满足结合律,但是满足雅可比恒等式:
[定义] 李代数
- 双线性:
,
,
,
- 斜对称性:
,或
- 雅可比恒等:
李代数是有用的,因为作为向量空间,他们更方便和线性群一起研究。而且很多线性群包括典型群,几乎由他们的李代数所确定。
7 群平移
[平移] 令
- 它的逆函数是左乘
,
- 映射
和
是连续的,因为矩阵乘法连续。
-
是从
到
的同胚,也称为由
确定的
[齐性] 左乘
- 圆群
上的左乘旋转这个圆周;
上的左乘也是
-球面的刚性运动。
- 齐性在其他矩阵群较弱,乘矩阵可能使群变形,但这种形变是连续的。
[流形]
- 典型群都是流形。
[定理] 如果
[引理] 矩阵指数
[命题] 正交群
[路连通]
[命题] 令
[定理]
-
的唯一真正规子群是它的中心
.
- 旋转群
是单群.
8
[射影群] 令
[定理1] 令
-
的唯一正规子群是它的中心Z={pm I}.
- 射影群
是单群。
[引理1] 令
[引理2] 阶大于
证明:平方为的唯一元素是
,平方为
的元素是
,最多有两个元素的平方是
: 如果
,那么
,所以
![]()
[定理1的证明] 给定域
令
因为
- 第一步:
中存在矩阵
使得交换子
在
中,且它的特征值是
和
- 第二步:有特征值
的矩阵构成
的一个单个共轭类
,且这个共轭类包含
- 第三步:初等矩阵
和
,在
中,其中
- 第四步:矩阵
和
,
, 形成
,因此
[复代数群] 是一般复线性群
[定理2]
- 群
的中心是有限循环群。
- 对
,群
是路-连通复代数群。除了
和
,它们是单群。
- 除了这些的同构类,单的路-连通的复代数群恰有
个同构类,称为
下一章:
今天数学学点啥:代数Artin(十): 群表示zhuanlan.zhihu.com