| 李群 |
| --- |
|  |
| 典型群
* 一般线性群 GL(*n*)
* 特殊线性群 SL(*n*)
* 正交群 O(*n*)
* 特殊正交群 SO(*n*)
* 酉群 U(*n*)
* 特殊酉群 SU(*n*)
* 辛群 Sp(*n*)

 |
| 单李群

| 
无限单李群 |
| --- |
| * An,
* Bn,
* Cn,
* Dn
 |
| 
特殊单李群 |
| * G2（英语：）
* F4
* E6
* E7
* E8（英语：）
 |

 |
| 其他李群（英语：）
* 圓群
* 勞侖茲群
* 庞加莱群
* 共形群（英语：）
* 微分同胚群
* 圈群（英语：）
* 欧几里得群

 |
| 李代數
* 指数映射
* 李群的伴随表示
* 基灵型
* 李点对称

 |
| 半單李代數
* 丹金图（英语：）
* 嘉当子代数
* + 根系
	+ 外尔群
* 分裂李代数
* 紧李代数

 |
| 群表示论
* 李群表示
* 李代数表示（英语：）

 |
| 物理中的李群
* 粒子物理学与群表示论（英语：）
* 洛仑兹群的群表示论（英语：）
* 庞加莱群的群表示论（英语：）
* 伽利略群的群表示论（英语：）

 |
| 科学家
* 索菲斯·李
* 庞加莱
* 威廉·基灵
* 埃利·嘉当
* 赫尔曼·外尔
* 克勞德·謝瓦萊
* 哈里希-钱德拉

 |
| * 
* 论
* 编
 |

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

定义
--

**李代數**是一个在域 *F* 上的向量空間 \mathfrak{g}，具有满足以下条件的二元運算
[\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}（稱為李括號）：

* 雙線性：

\forall a,b\in F,\,\forall x,y,z\in {\mathfrak {g}}
[ax+by,z]=a[x,z]+b[y,z],\quad [z,ax+by]=a[z,x]+b[z,y]
* 交错性：

\forall x\in {\mathfrak {g}}
[x,x]=0
* 雅可比恒等式：

x,y,z\in {\mathfrak {g}}
[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0
用双线性来展开李括号{\displaystyle [x+y,x+y]}，并用交错性来证明对所有*x*, *y*属于\mathfrak{g}，均有{\displaystyle [x,y]+[y,x]=0\ }，我们可以从双线性和交错性推出反交换律：

* 反交换律

[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])。

反过来说，当*F* 的特徵不是 2时，反交换律也蕴含交错性（不过，当特征为2时，对于任何x\in {\mathfrak {g}},2x恒为零，故不能用[x,x]=-[x,x]得到[x,x]=0）。

用**李括號**表達的乘法不一定符合結合律。即 [[x,y],z] 與 [x,[y,z]] 不一定相等。因此李代數通常並非環或結合代數。

例子
--

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

2. 如果选李括号为向量的叉乘，欧几里得空间\mathbb {R} ^{3}是一个李代数。

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

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

[X,Y]f=(XY-YX)f
对于流形上的每个光滑函数f。

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

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

6. 作为一个具体的例子，考虑李群{\mathrm {SL}}(n,{\mathbb {R}})，所有实系数行列式为1的n\times n矩阵。单位矩阵的切空间可以和所有迹为{\displaystyle 0}的实n\times n矩阵等同起来，其来自于李群的李代数结构和来自矩阵乘法的交换子的相同。

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

同态，子代数，和理想
----------

在同样基域F上的李代数\mathfrak{g}和\mathfrak{h}之间的一个同态\phi :{\mathfrak {g}}\to {\mathfrak {h}}是一个F-线性映射，使得对于所有\mathfrak{g}中的x和y有[\phi (x),\phi (y)]=\phi ([x,y])。这样的同态的复合也是同态，而域F上的李代数，和这些态射一起，组成了一个范畴。如果一个同态是双射，它称为同构，而两个李代数\mathfrak{g}和\mathfrak{h}称为*同构*的。对于所有的应用目的，同构的李代数是相同的。

李代数\mathfrak{g}的一个子代数是\mathfrak{g}的一个线性子空间\mathfrak{h}使得[x,y]\in {\mathfrak {h}}对于所有x,y\in {\mathfrak {h}}成立。则这个子代数自身是一个李代数。

李代数\mathfrak{g}的理想是\mathfrak{g}的一个子空间\mathfrak{h}，使得[a,y]\in {\mathfrak {h}}对于所有a\in {\mathfrak {g}}和y\in {\mathfrak {h}}成立。所有理想都是子代数。若\mathfrak{h}是\mathfrak{g}的一个理想，则商空间{\mathfrak {g}}/{\mathfrak {h}}成为一个李代数，这是通过定义[x+{\mathfrak {h}},y+{\mathfrak {h}}]=[x,y]+{\mathfrak {h}}为对于所有x,y\in {\mathfrak {g}}成立。理想刚好就是同态的核，而同态基本定理对于李代数是适用的。

李代数的分类
------

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

李代数是"交换的"，如果李括号为0，也就是 [*x*, *y*] = 0 对于所有 *x* 和 *y*。更一般的，一个李代数 \mathfrak{g} 是零幂（nilpotent）的，如果低中心序列（lower central series）

{\mathfrak {g}}>[{\mathfrak {g}},{\mathfrak {g}}]>[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}]>[[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}],{\mathfrak {g}}]>...
最终为 0。按照Engel定理，李代数零幂当且仅当对每个 \mathfrak{g} 中的 *u* 映射

ad(u):{\mathfrak {g}}\to {\mathfrak {g}},\quad \operatorname {ad}(u)v=[u,v]
是零幂的。更一般的，李代数 \mathfrak{g} 是可解的若导序列(derived series)

{\mathfrak {g}}>[{\mathfrak {g}},{\mathfrak {g}}]>[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]>[[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]],[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]]>...
最终成为0。
极大可解子代数成为波莱尔子代数。

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

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

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

范畴理论定义
------

使用范畴论的语言，**李代数**可以定义为向量空间范畴中的对象 *A* 和态射 [\cdot ,\cdot ]:A\otimes A\to A 使得

* [\cdot ,\cdot ]\circ ({\mathrm {id}}+\tau \_{{A,A}})=0
* [\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes {\mathrm {id}})\circ ({\mathrm {id}}+\sigma +\sigma ^{2})=0

其中\tau (a\otimes b):=b\otimes a 而 σ 是复合 ({\mathrm {id}}\otimes \tau \_{{A,A}})\circ (\tau \_{{A,A}}\otimes {\mathrm {id}})的循环枚举。用交换图形式:

參看
--

* 泊松括號
* 李代数表示
* 李代数伴随表示
* 李超代数
* 李余代数
* 李双代数(Lie bialgebra)
* 泊松代数
* anyonic李代数
* 基灵型
* 李代数上同调