连通线性李群含于特殊线性群的证明思路求助

这道题的核心是结合李群同态的微分性质和连通李群的生成特性来推导，下面是一步步的拆解：

1. 从行列式同态的微分入手 #

首先考虑行列式映射 det: GL(n, ℝ) → ℝ^*（其中ℝ^*表示非零实数构成的乘法群），这是一个经典的李群同态。我们需要关注它在单位元处的微分 d_e det: 𝔤 → Lie(ℝ^*)：

• 李代数Lie(ℝ^*)本质就是一维加法群ℝ（因为乘法群的李代数对应加法运算）；
• 对任意X ∈ 𝔤，d_e det(X)的结果就是X的迹tr(X)——这个结论来自行列式的指数性质：det(exp(tX)) = exp(t·tr(X))，对t求导并代入t=0就能得到。

2. 利用完美李代数的条件推导迹的性质 #

题目给出[𝔤,𝔤] = 𝔤，也就是说𝔤是一个完美李代数（自身等于导代数）。而迹函数有个关键性质：

对任意X,Y ∈ M(n,ℝ)，tr([X,Y]) = tr(XY - YX) = tr(XY) - tr(YX) = 0

因为𝔤里的所有元素都能表示成若干个交换子[X_i,Y_i]的和，所以对任意X ∈ 𝔤，tr(X) = sum tr([X_i,Y_i]) = 0——换句话说，整个李代数𝔤中的元素迹全为0。

3. 连通李群的生成特性完成证明 #

因为G是连通的线性李群，所以G可以由exp(𝔤)生成（连通李群的单位元邻域被exp(𝔤)覆盖，而连通群能通过单位元邻域的幂次生成整个群）。

对任意g ∈ G，g可以写成exp(X₁)exp(X₂)...exp(X_k)，其中每个X_i ∈ 𝔤。计算行列式：

det(g) = det(exp(X₁))·det(exp(X₂))·...·det(exp(X_k))

而根据之前的结论，det(exp(X_i)) = exp(tr(X_i)) = exp(0) = 1，所以det(g) = 1×1×...×1 = 1，这就说明g ∈ SL(n,ℝ)，因此G⊂SL(n,ℝ)。

关键补充验证 #

• 为什么连通李群由exp(𝔤)生成？这是连通李群的基本性质：单位元的一个开邻域包含在exp(𝔤)中，而连通群中的任意元素都能表示为这个邻域中元素的乘积，因此exp(𝔤)生成整个G；
• 导代数元素的迹为0：这是迹函数的基本代数性质，交换子的迹恒为0，因此导代数中的所有元素迹都为0，完美李代数的条件直接让整个𝔤满足迹为0。

内容的提问来源于stack exchange，提问作者Fernando Sanchez