MatrixCQY
首页
数学笔记
代码笔记
金融笔记
GitHub
首页
数学笔记
代码笔记
金融笔记
GitHub
  • 数学笔记

    • 数学笔记
    • 抽象代数

      • 群 (Group)
      • 群论进阶 (Advanced Group Theory)
      • 环与域 (Rings and Fields)
      • 模与代数 (Modules and Algebras)
      • 伽罗瓦理论 (Galois Theory)
      • 有限群表示论 (Representation Theory)
    • 李群与李代数

      • 矩阵李群 (Matrix Lie Groups)
      • 李代数初步 (Introduction to Lie Algebras)
    • 拓扑学

      • 拓扑空间与连续映射 (Topological Spaces)
      • 常见拓扑性质 (Topological Properties)
      • 滤子和网 (Filters and Nets)
      • 纽结理论 (Knot Theory)
    • 常微分方程

      • 常微分方程初等解法 (Elementary ODEs)
      • 线性微分方程 (Linear ODEs)
    • 偏微分方程

      • 偏微分方程的导出 (Derivation of PDEs)
    • 复变函数

      • 复数与复变函数
      • 全纯函数 (Holomorphic Functions)
      • 复变函数的展开
      • 积分变换
    • 实变函数

      • 预备知识 (Preliminaries)
      • Lebesgue 测度
      • 可测函数
      • Lebesgue 积分
    • 概率论

      • 事件与概率
      • 随机变量
      • 极限定理
      • 常用分布
    • 数理统计

      • 数理统计的基本概念
      • 参数估计与假设检验
    • 数值分析

      • 插值与样条
      • 矩阵与线性方程组
      • 非线性方程数值解法
      • 常微分方程数值解法
      • 偏微分方程的 Ritz-Galerkin 方法

李代数初步 (Introduction to Lie Algebras)

1. 定义

李代数 (Lie Algebra) 是一个向量空间 g\mathfrak{g}g 连同一个二元运算 [⋅,⋅]:g×g→g[\cdot, \cdot]: \mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}[⋅,⋅]:g×g→g(称为李括号),满足:

  1. 双线性: 对两个变量都是线性的。
  2. 反对称性: [X,Y]=−[Y,X][X, Y] = -[Y, X][X,Y]=−[Y,X].
  3. 雅可比恒等式 (Jacobi Identity):

    [X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0 [X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0

2. 矩阵李代数

对于矩阵李群 GGG,其李代数 g\mathfrak{g}g 定义为 GGG 在单位元处的切空间 TeGT_e GTe​G。

  • 对于矩阵代数,李括号通常定义为换位子:[X,Y]=XY−YX[X, Y] = XY - YX[X,Y]=XY−YX.

常见李群的李代数

  1. gl(n,R)=Mn(R)\mathfrak{gl}(n, \mathbb{R}) = M_n(\mathbb{R})gl(n,R)=Mn​(R).
  2. sl(n,R)={X∈Mn(R)∣Tr(X)=0}\mathfrak{sl}(n, \mathbb{R}) = \{ X \in M_n(\mathbb{R}) \mid \text{Tr}(X) = 0 \}sl(n,R)={X∈Mn​(R)∣Tr(X)=0}.
  3. so(n)={X∈Mn(R)∣X+XT=0}\mathfrak{so}(n) = \{ X \in M_n(\mathbb{R}) \mid X + X^T = 0 \}so(n)={X∈Mn​(R)∣X+XT=0} (反对称矩阵).
  4. u(n)={X∈Mn(C)∣X+X∗=0}\mathfrak{u}(n) = \{ X \in M_n(\mathbb{C}) \mid X + X^* = 0 \}u(n)={X∈Mn​(C)∣X+X∗=0} (反埃尔米特矩阵).
  5. su(n)={X∈u(n)∣Tr(X)=0}\mathfrak{su}(n) = \{ X \in \mathfrak{u}(n) \mid \text{Tr}(X) = 0 \}su(n)={X∈u(n)∣Tr(X)=0}.

3. 同态与同构

  • 李代数同态: 保持李括号的线性映射 ϕ:g→h\phi: \mathfrak{g} \to \mathfrak{h}ϕ:g→h,即 ϕ([X,Y])=[ϕ(X),ϕ(Y)]\phi([X, Y]) = [\phi(X), \phi(Y)]ϕ([X,Y])=[ϕ(X),ϕ(Y)].
  • 伴随表示 (Adjoint Representation):

    ad:g→gl(g),adX(Y)=[X,Y]\text{ad}: \mathfrak{g} \to \mathfrak{gl}(\mathfrak{g}), \quad \text{ad}_X(Y) = [X, Y] ad:g→gl(g),adX​(Y)=[X,Y]

4. 根系与分类 (Root Systems)

半单李代数的分类归结为根系的分类。

  • Dynkin 图: 将根系的几何性质用图表示。
  • 分类结果: An,Bn,Cn,DnA_n, B_n, C_n, D_nAn​,Bn​,Cn​,Dn​ (典型李代数) 和 E6,E7,E8,F4,G2E_6, E_7, E_8, F_4, G_2E6​,E7​,E8​,F4​,G2​ (例外李代数).
最近更新: 2026/2/15 04:15
Contributors: MatrixCQY
Prev
矩阵李群 (Matrix Lie Groups)