fbpx
维基百科

李代數

数学上,李代数是一个代数结构,主要用于研究像李群和微分流形之类的几何对象。李代数因研究无穷小变换的概念而引入。“李代数”(以索菲斯·李命名)一词是由赫尔曼·外尔在1930年代引入的。在旧文献中,无穷小群指的就是李代数。

定义

李代數是一个在 F 上的向量空間  ,具有满足以下条件的二元運算  (稱為李括號):

 
 
  • 交错性:
 
 
 
 

用双线性来展开李括号 ,并用交错性来证明对所有x, y属于 ,均有 ,我们可以从双线性和交错性推出反交换律:

 

 

反过来说,当F特徵不是 2时,反交换律也蕴含交错性(不过,当特征为2时,对于任何 恒为零,故不能用 得到 )。

李括號表達的乘法不一定符合結合律。即    不一定相等。因此李代數通常並非或結合代數。

例子

1. 如果我们定义李括号等于 ,则每个向量空间自然成为一个平凡的交换李代数。

2. 如果选李括号为向量叉乘欧几里得空间 是一个李代数。

3. 若一个结合代数 给定乘法 ,它可以通过定义 而成为李代数。这个表达式称为  的换位子。相反的,每个李代数可以嵌入到一个以这个方式从结合代数得到的李代数中。参看泛包络代数

4. 另一个李代数的重要例子来自于微分几何:可微流形上的光滑向量场在把李导数作为李括号的时候成为一个无穷维李代数。李导数把向量场 等同为作用在任何光滑标量场 上的偏微分算子,这是通过令   方向的方向导数达成的。这样,在表达式 中,并列 表示偏微分算子的复合。然后,李括号 定义为

 

对于流形上的每个光滑函数 

这是流形的微分同胚集合构成的无穷维李群的李代数。

5. 李群的左不变向量场组成的向量空间在李括号这个操作下是闭的,因而是一个有限维李代数。或者,可以把属于一个李群的李代数的向量空间看成是该群的幺元的切空间。乘法就是群在幺元的微分的换位子 

6. 作为一个具体的例子,考虑李群 ,所有实系数行列式为  矩阵。单位矩阵的切空间可以和所有迹为 的实 矩阵等同起来,其来自于李群的李代数结构和来自矩阵乘法的交换子的相同。

更多李群和它们相应的李代数,请参看李群条目。

同态,子代数,和理想

在同样基域 上的李代数  之间的一个同态 是一个 -线性映射,使得对于所有 中的   。这样的同态的复合也是同态,而域 上的李代数,和这些态射一起,组成了一个范畴。如果一个同态是双射,它称为同构,而两个李代数  称为同构的。对于所有的应用目的,同构的李代数是相同的。

李代数 的一个子代数是 的一个线性子空间 使得 对于所有 成立。则这个子代数自身是一个李代数。

李代数 理想 的一个子空间 ,使得 对于所有  成立。所有理想都是子代数。若  的一个理想,则商空间 成为一个李代数,这是通过定义 为对于所有 成立。理想刚好就是同态的,而同态基本定理对于李代数是适用的。

李代数的分类

实和复李代数可以分类到某种程度,而这个分类是李群分类的重要一步。每个有限维实或复李代数作为一个唯一的实或复单连通李群的李代数出现(Ado定理),但是可能有一个以上的群,甚至一个以上的连通群,有这个相同的李代数。例如,群 SO(3)(行列式值为1的 3×3 正交群)和SU(2) (行列式为1的 2×2 酉矩阵)有相同的李代数,就是 R3,以叉乘为李括号。

李代数是“交换的”,如果李括号为0,也就是 [x, y] = 0 对于所有 xy。更一般的,一个李代数   是零幂(nilpotent)的,如果低中心序列(lower central series)

 

最终为 0。按照Engel定理,李代数零幂当且仅当对每个   中的 u 映射

 

是零幂的。更一般的,李代数   是可解的若导序列(derived series)

 

最终成为0。 极大可解子代数成为波莱尔子代数。

李代数 g 称为半单 如果   唯一的可解理想是平凡的。等价的,  是半单的当且仅当基灵型 K(u,v) = tr(ad(u)ad(v)) 是非退化的;这里 tr 表示迹算子。当域 F 的特征数为 0,   半单单当且仅当每个表示都是完全可约的,也就是对于每个表示的不变子空间,有一个不变的补空间(外尔定理 Weyl's theorem).

李代数是的,如果它没有非平凡理想并且非交换。特别的有,一个单李代数是半单的,更一般的,半单李代数是单李代数的直和。

半单复李代数可通过它们的根系分类。

范畴理论定义

使用范畴论的语言,李代数可以定义为向量空间范畴中的对象 A态射   使得

  •  
  •  

其中  而 σ 是复合  的循环枚举。用交换图形式:

 

參看

参考

  • Humphreys, James E. Introduction to Lie Algebras and Representation Theory, Second printing, revised. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1978. ISBN 0-387-90053-5
  • Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4

李代數, 数学上, 李代数是一个代数结构, 主要用于研究像李群和微分流形之类的几何对象, 李代数因研究无穷小变换的概念而引入, 李代数, 以索菲斯, 李命名, 一词是由赫尔曼, 外尔在1930年代引入的, 在旧文献中, 无穷小群指的就是李代数, 目录, 定义, 例子, 同态, 子代数, 和理想, 李代数的分类, 范畴理论定义, 參看, 参考定义, 编辑是一个在域, 上的向量空間, displaystyle, mathfrak, 具有满足以下条件的二元運算, displaystyle, cdot, cdot, mat. 数学上 李代数是一个代数结构 主要用于研究像李群和微分流形之类的几何对象 李代数因研究无穷小变换的概念而引入 李代数 以索菲斯 李命名 一词是由赫尔曼 外尔在1930年代引入的 在旧文献中 无穷小群指的就是李代数 目录 1 定义 2 例子 3 同态 子代数 和理想 4 李代数的分类 5 范畴理论定义 6 參看 7 参考定义 编辑李代數是一个在域 F 上的向量空間 g displaystyle mathfrak g 具有满足以下条件的二元運算 g g g displaystyle cdot cdot mathfrak g times mathfrak g to mathfrak g 稱為李括號 雙線性 a b F x y z g displaystyle forall a b in F forall x y z in mathfrak g a x b y z a x z b y z z a x b y a z x b z y displaystyle ax by z a x z b y z quad z ax by a z x b z y dd 交错性 x g displaystyle forall x in mathfrak g x x 0 displaystyle x x 0 dd 雅可比恒等式 x y z g displaystyle x y z in mathfrak g x y z y z x z x y 0 displaystyle x y z y z x z x y 0 dd 用双线性来展开李括号 x y x y displaystyle x y x y 并用交错性来证明对所有x y属于g displaystyle mathfrak g 均有 x y y x 0 displaystyle x y y x 0 我们可以从双线性和交错性推出反交换律 反交换律 x y y x x y g displaystyle x y y x forall x y in mathfrak g x y x y x x y x y y x y y x y displaystyle x y x y x x y x y y x y y x y 反过来说 当F 的特徵不是 2时 反交换律也蕴含交错性 不过 当特征为2时 对于任何x g 2 x displaystyle x in mathfrak g 2x 恒为零 故不能用 x x x x displaystyle x x x x 得到 x x 0 displaystyle x x 0 用李括號表達的乘法不一定符合結合律 即 x y z displaystyle x y z 與 x y z displaystyle x y z 不一定相等 因此李代數通常並非環或結合代數 例子 编辑1 如果我们定义李括号等于0 displaystyle 0 则每个向量空间自然成为一个平凡的交换李代数 2 如果选李括号为向量的叉乘 欧几里得空间R 3 displaystyle mathbb R 3 是一个李代数 3 若一个结合代数A displaystyle A 给定乘法 displaystyle 它可以通过定义 x y x y y x displaystyle x y x y y x 而成为李代数 这个表达式称为x displaystyle x 和y displaystyle y 的换位子 相反的 每个李代数可以嵌入到一个以这个方式从结合代数得到的李代数中 参看泛包络代数 4 另一个李代数的重要例子来自于微分几何 可微流形上的光滑向量场在把李导数作为李括号的时候成为一个无穷维李代数 李导数把向量场X displaystyle X 等同为作用在任何光滑标量场f displaystyle f 上的偏微分算子 这是通过令X f displaystyle X f 为f displaystyle f 在X displaystyle X 方向的方向导数达成的 这样 在表达式 Y X f displaystyle YX f 中 并列Y X displaystyle YX 表示偏微分算子的复合 然后 李括号 X Y displaystyle X Y 定义为 X Y f X Y Y X f displaystyle X Y f XY YX f 对于流形上的每个光滑函数f displaystyle f 这是流形的微分同胚集合构成的无穷维李群的李代数 5 李群的左不变向量场组成的向量空间在李括号这个操作下是闭的 因而是一个有限维李代数 或者 可以把属于一个李群的李代数的向量空间看成是该群的幺元的切空间 乘法就是群在幺元的微分的换位子 a b a b a 1 b 1 displaystyle a b mapsto aba 1 b 1 6 作为一个具体的例子 考虑李群S L n R displaystyle mathrm SL n mathbb R 所有实系数行列式为1 displaystyle 1 的n n displaystyle n times n 矩阵 单位矩阵的切空间可以和所有迹为0 displaystyle 0 的实n n displaystyle n times n 矩阵等同起来 其来自于李群的李代数结构和来自矩阵乘法的交换子的相同 更多李群和它们相应的李代数 请参看李群条目 同态 子代数 和理想 编辑在同样基域F displaystyle F 上的李代数g displaystyle mathfrak g 和h displaystyle mathfrak h 之间的一个同态ϕ g h displaystyle phi mathfrak g to mathfrak h 是一个F displaystyle F 线性映射 使得对于所有g displaystyle mathfrak g 中的x displaystyle x 和y displaystyle y 有 ϕ x ϕ y ϕ x y displaystyle phi x phi y phi x y 这样的同态的复合也是同态 而域F displaystyle F 上的李代数 和这些态射一起 组成了一个范畴 如果一个同态是双射 它称为同构 而两个李代数g displaystyle mathfrak g 和h displaystyle mathfrak h 称为同构的 对于所有的应用目的 同构的李代数是相同的 李代数g displaystyle mathfrak g 的一个子代数是g displaystyle mathfrak g 的一个线性子空间h displaystyle mathfrak h 使得 x y h displaystyle x y in mathfrak h 对于所有x y h displaystyle x y in mathfrak h 成立 则这个子代数自身是一个李代数 李代数g displaystyle mathfrak g 的理想是g displaystyle mathfrak g 的一个子空间h displaystyle mathfrak h 使得 a y h displaystyle a y in mathfrak h 对于所有a g displaystyle a in mathfrak g 和y h displaystyle y in mathfrak h 成立 所有理想都是子代数 若h displaystyle mathfrak h 是g displaystyle mathfrak g 的一个理想 则商空间g h displaystyle mathfrak g mathfrak h 成为一个李代数 这是通过定义 x h y h x y h displaystyle x mathfrak h y mathfrak h x y mathfrak h 为对于所有x y g displaystyle x y in mathfrak g 成立 理想刚好就是同态的核 而同态基本定理对于李代数是适用的 李代数的分类 编辑实和复李代数可以分类到某种程度 而这个分类是李群分类的重要一步 每个有限维实或复李代数作为一个唯一的实或复单连通李群的李代数出现 Ado定理 但是可能有一个以上的群 甚至一个以上的连通群 有这个相同的李代数 例如 群 SO 3 行列式值为1的 3 3 正交群 和SU 2 行列式为1的 2 2 酉矩阵 有相同的李代数 就是 R3 以叉乘为李括号 李代数是 交换的 如果李括号为0 也就是 x y 0 对于所有 x 和 y 更一般的 一个李代数 g displaystyle mathfrak g 是零幂 nilpotent 的 如果低中心序列 lower central series g gt g g gt g g g gt g g g g gt displaystyle mathfrak g gt mathfrak g mathfrak g gt mathfrak g mathfrak g mathfrak g gt mathfrak g mathfrak g mathfrak g mathfrak g gt 最终为 0 按照Engel定理 李代数零幂当且仅当对每个 g displaystyle mathfrak g 中的 u 映射 a d u g g ad u v u v displaystyle ad u mathfrak g to mathfrak g quad operatorname ad u v u v 是零幂的 更一般的 李代数 g displaystyle mathfrak g 是可解的若导序列 derived series g gt g g gt g g g g gt g g g g g g g g gt displaystyle mathfrak g gt mathfrak g mathfrak g gt mathfrak g mathfrak g mathfrak g mathfrak g gt mathfrak g mathfrak g mathfrak g mathfrak g mathfrak g mathfrak g mathfrak g mathfrak g gt 最终成为0 极大可解子代数成为波莱尔子代数 李代数 g 称为半单 如果 g displaystyle mathfrak g 唯一的可解理想是平凡的 等价的 g displaystyle mathfrak g 是半单的当且仅当基灵型 K u v tr ad u ad v 是非退化的 这里 tr 表示迹算子 当域 F 的特征数为 0 g displaystyle mathfrak g 半单单当且仅当每个表示都是完全可约的 也就是对于每个表示的不变子空间 有一个不变的补空间 外尔定理 Weyl s theorem 李代数是单的 如果它没有非平凡理想并且非交换 特别的有 一个单李代数是半单的 更一般的 半单李代数是单李代数的直和 半单复李代数可通过它们的根系分类 范畴理论定义 编辑使用范畴论的语言 李代数可以定义为向量空间范畴中的对象 A 和态射 A A A displaystyle cdot cdot A otimes A to A 使得 i d t A A 0 displaystyle cdot cdot circ mathrm id tau A A 0 i d i d s s 2 0 displaystyle cdot cdot circ cdot cdot otimes mathrm id circ mathrm id sigma sigma 2 0 其中t a b b a displaystyle tau a otimes b b otimes a 而 s 是复合 i d t A A t A A i d displaystyle mathrm id otimes tau A A circ tau A A otimes mathrm id 的循环枚举 用交换图形式 參看 编辑泊松括號 李代数表示 李代数伴随表示 李超代数 李余代数 李双代数 Lie bialgebra 泊松代数 anyonic李代数 基灵型 李代数上同调参考 编辑Humphreys James E Introduction to Lie Algebras and Representation Theory Second printing revised Graduate Texts in Mathematics 9 Springer Verlag New York 1978 ISBN 0 387 90053 5 Jacobson Nathan Lie algebras Republication of the 1962 original Dover Publications Inc New York 1979 ISBN 0 486 63832 4 取自 https zh wikipedia org w index php title 李代數 amp oldid 71050236, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。