李代数 是一个在域 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]} ∀ x ∈ g {\displaystyle \forall x\in {\mathfrak {g}}} [ x , x ] = 0 {\displaystyle [x,x]=0} 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} 用双线性来展开李括号[ 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]]} 不一定相等。因此李代数通常并非环 或结合代数。
生成元与维度
编辑
若某个李代数的元素g {\displaystyle {\mathfrak {g}}} 生成整个代数,那就表示包含这些元素的最小子代数是g {\displaystyle {\mathfrak {g}}} 本身。
李代数的维度则是其作为F {\displaystyle F} 上的向量空间的维度。一个李代数的最小生成集合的元素个数 ,总是小于等于其维度。
可见低维实李代数的分类 一文以知其他小的例子。
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 酉矩阵)有相同的李代数,就是 R 3 ,以叉乘为李括号。
李代数是“交换的”,如果李括号为0,也就是 [x , y ] = 0 对于所有 x 和 y 。更一般的,一个李代数 g {\displaystyle {\mathfrak {g}}} 是零幂(nilpotent)的,如果低中心序列 (lower central series)
g > [ g , g ] > [ [ g , g ] , g ] > [ [ [ g , g ] , g ] , g ] > . . . {\displaystyle {\mathfrak {g}}>[{\mathfrak {g}},{\mathfrak {g}}]>[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}]>[[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}],{\mathfrak {g}}]>...} 最终为 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 > [ g , g ] > [ [ g , g ] , [ g , g ] ] > [ [ [ g , g ] , [ g , g ] ] , [ [ g , g ] , [ g , g ] ] ] > . . . {\displaystyle {\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 称为半单 如果 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 + τ A , A ) = 0 {\displaystyle [\cdot ,\cdot ]\circ (\mathrm {id} +\tau _{A,A})=0}
[ ⋅ , ⋅ ] ∘ ( [ ⋅ , ⋅ ] ⊗ i d ) ∘ ( i d + σ + σ 2 ) = 0 {\displaystyle [\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes \mathrm {id} )\circ (\mathrm {id} +\sigma +\sigma ^{2})=0} 其中τ ( a ⊗ b ) := b ⊗ a {\displaystyle \tau (a\otimes b):=b\otimes a} 而 σ 是复合 ( i d ⊗ τ A , A ) ∘ ( τ A , A ⊗ i d ) {\displaystyle (\mathrm {id} \otimes \tau _{A,A})\circ (\tau _{A,A}\otimes \mathrm {id} )} 的循环枚举 。用交换图形式:
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