表示的完全可约性定理（半单李代数）

半单李代数的定义与基本性质

半单李代数（semisimple Lie algebra）是Lie代数的一个重要类群，其定义为：在特征为零的域上，若其所有有限阶的李括号都为零，即满足Jacobi恒等式，并且该代数可以分解为若干互不相交的半单子代数的直和。半单李代数的典型例子包括斜动量代数（$ \mathfrak{su}(n) $）和正交代数（$ \mathfrak{so}(n) $）。这类代数在表示论中具有独特的性质，其表示的完全可约性定理成为研究其结构的关键工具。

完全可约性定理的陈述

对于半单李代数的表示，完全可约性定理指出：任何表示均可分解为不可约表示的直和。更精确的表述为：若$ \pi: \mathfrak{g} \rightarrow \text{End}(V) $是半单李代数$ \mathfrak{g} $的表示，则存在一个正整数$ k $，使得$ V $可分解为$ k $个不可约表示的直和。这一定理的证明依赖于半单李代数的表示论基本性质，如其表示的可约性与特征无关，且存在唯一的不可约表示的分解结构。

分解过程与不可约表示

完全可约性定理的核心在于表示的分解过程。对于半单李代数的表示，其分解通常通过以下步骤实现：

特征分解：利用特征为零的域，将表示分解为平凡表示和非平凡表示的直和。
不可约性：通过引入表示的不变子空间，将表示分解为不可约表示的直和。
唯一性：在特征为零的域上，表示的不可约分解是唯一的，即表示的完全可约性与特征无关。

这一过程的关键在于半单李代数的表示具有“可约性”与“不可约性”的统一性，使得其表示的分解成为可能。例如，对于半单李代数$ \mathfrak{g} $，其表示$ \pi $的完全可约性可由其特征的不变子空间和表示的不变子空间的交集确定。

应用与实例

完全可约性定理在数学多个领域具有广泛应用。例如：

表示论：用于研究半单李代数的表示结构，如通过表示的分解揭示其Lie代数的结构特征。
量子物理：在量子力学中，半单李代数的表示对应于物理系统的对称性，其完全可约性定理帮助分析系统的对称性和能量本征态。
代数几何：半单李代数的表示分解可应用于研究代数簇的不变子空间，如通过表示的分解构造不变子空间的结构。

具体实例中，考虑半单李代数$ \mathfrak{su}(2) $，其表示的完全可约性定理表明，任何表示均可分解为两个不可约表示的直和，这一结果在量子力学中用于描述自旋系统的状态。

总结

半单李代数的表示完全可约性定理是表示论中的核心定理，其通过将表示分解为不可约表示的直和，揭示了半单李代数的结构特性。该定理的证明依赖于半单李代数的表示论基本性质，如特征为零的域下表示的可约性与不可约性。其应用涵盖了数学多个领域，包括物理、代数几何等，为研究半单李代数的结构和性质提供了重要工具。未来研究可进一步探讨半单李代数表示的分类及其在更广泛数学结构中的应用。