李代數

维基百科,自由的百科全书
跳转至: 导航搜索
李群
E8Petrie.svg


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

定义[编辑]

李代數是一个代數,在某个 F 上的向量空間 ,其二元運算是: ,稱為李括號,符合以下條件:

首兩個條件蕴含反對稱條件

反之,仅当F特徵不是 2时,這個反對稱才蕴含條件 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态射 使得

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

Liealgebra.png

參看[编辑]

参考[编辑]

  • 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