第一章基本概念..docxVIP

基本概念在这一章中，F是一个任意的（可交换）的域。定义和例子李代数的概念李代数由可作线性变换的向量空间得到，这个被赋予了一个新的运算。这个运算一般是既不能交换也不能结合：(这里，这个式子右边的运算是通常意义上的)。它可以抽象描述系统中的一些公理。定义：一个向量空间L定义在F上，具有运算（该运算被称作x,y的括号或者换位子），此时被称作F上的一个李代数，如果满足下面的公理：(L1) 这个括号运算是双线性的。(L2) 。(L3) 。公理(L3)被称为Jacobi恒等式。注意到(L1)(L2)，应用于时体现出了反交换性：(L2’) 。(相反地，如果,显然(L2’)也就可以得到(L2)。)我们说F上的两个李代数L，L’是同构的，如果存在一个向量空间的同构映射满足对于，均有()。类似的，可以如下定义L的李子代数的概念：L的一个子空间K被成为子代数如果当。特别的，K在与之相关诱导的运算下是一个李代数。注意，任何L中的非零元x确定了一个一维子代数Fx，由(L2)可知，它上面的乘法是平凡的。在这本书中，我们将仅关注F上基础向量空间是有限维的李代数L。这点常常是已知的假设，除非有特别的说明。然而，我们进一步支出，某些无限维向量空间和F上的结合代数将在表示论中有极其重要的地位。在看具体例子之前，我们同样指出李代数的公理很具有意义。如果，L是仅仅是交换环上的一个加法群，但是我们在此并不深究这个论点。线性李代数如果V是F上一个有限维的向量空间， End V表示的所有线性变换的集合。作为F上的一个向量空间，End V具有(n为V的维数)，并且End V与平常的乘积运算相关的环。定义一个新运算,称为x,y的括号。在这个运算中，End V成为了F上的一个李代数：易证公理(L1)(L2)是成立的，而(L3)需要一个简单的计算。为了区别这个新的代数结构与之前结合代数的不同，我们记End V为，称其为一般线性代数（由于他和包含V所有自同态的一般线性群GL(V)紧密相联的。）当V是无限维时，我们同样用记号，但并不做深的讨论。李代数的任何一个子代数被称为线性李代数。发现矩阵比线性变换的读者会更加倾向于给V确定一组基，因此认为是F上矩阵的集合，记为。这个过程是有意义的，非常方便作对称运算。作为参考，我们写下gl(n，F)的标准基(由矩阵处为1，其余为0)组成)的乘法表。既然，便有注意到，系数全为。特别地，它们全都在素域F中。现在列出一些例子，它们直接关系着我们书中将要发展的理论。它们被分为4个族：，并且它们被称为是经典代数(因为相当于某些经典线性李群)。对于,我们char F。：设 dim V=l+1，定义或者为V的自同态对应迹为0的矩阵的集合。(矩阵的迹是指矩阵对角线上元素之和；这与V的基选取是无关的，因此是V的自同态本身的属性)。由于Tr(xy)=Tr(yx)，并且Tr(x+y)=Tr(x)+Tr(y)，则的一个子代数，被成为特殊线性代数。由于它与行列式为1的自同态对应的特殊线性群SL(V)紧密联系。那么它的维数是多少呢？一方面，的真子代数，因此dim ;另一方面，我们可以看看迹为0的线性无关矩阵的个数。拿出所有,一起得到所有,得到矩阵总数是。我们总监这看作是的标准基。：设dim V=2l，有基。通过矩阵，定义V上的一个非退化的斜对称型f(可以看出，维数满足)用。读者可以很容易证明对于括号元算是封闭的。在矩阵术语中，(最后一个条件保证了Tr(x)=0。)现在很容易计算的基了。对所有的l，取对角矩阵，将所有的加起来，总和是。对于n，我们用矩阵,总和是。用同样的方法处理p的位置。综上所述，我们得到 。：设 dim V=2l+1,为奇数，并且令f是V上非退化的对称双线性型，对应的矩阵是取正交代数,它包含V上满足所有满足的自同态(这点与相同)。如果将x按s的形式分块，记为，然后将条件转换成一组条件：(同，可以得到Tr(x)=0)。对于一组基，取第l个对角矩阵为。分别将如下2l个一行矩阵和一列矩阵加起来：。对应于，(与同理)取。对于n，取；对于p，取。基的元素总和是(这也是的维数)。：这里我们得到另一个正交代数。这结构与是恒同的，除了 dim V=2l外。甚至s有一个更为简洁的形式。我们将它作为联系留给读者，并证明。总结一下，在这一小节中，我们提到了其他的一些子代数。设是一族上三角矩阵。设为严格上三角矩阵()的集合。最后，设是所有对角矩阵的集合。易证，它们对于括号运算是封闭的。注意到(向量空间的加法)，且有[]=，因此[=]。李子代数一些线性变换的李代数，自然生成代数的导子。由F-代数(不必满足结合律)，我们仅指出一个F上向量空间，被赋予了一个双线性运算，通常并列表示(除非是一个李代数，在这种情况下，我们用括号表示)。用的导子表示一个线性映射，满足通常的乘积法则。容易验证，