请求提供根系基Δ=Φ⁺时同构结论的证明思路提示

嘿，我来给你拆解这个证明的核心思路，一步步来捋清楚：

先从根系的基本定义出发锚定条件 #

首先回忆下核心定义：

• 基Δ是根系Φ的线性无关子集，每个根都能写成Δ中元素的整数线性组合，系数全非正或全非负；
• 正根系Φ⁺就是所有系数非负的根的集合。

现在已知Δ=Φ⁺，这意味着所有正根都是基元素，没有非基的正根存在——这是最关键的切入点。

第一步：证明Δ中任意两个不同元素正交 #

取Δ中任意两个不同的元素α, β：

• 假设α-β是根，那它要么属于Φ⁺（即Δ），要么属于-Φ⁺。如果α-β∈Δ，那α=β+(α-β)，这就和Δ是线性无关的基矛盾；如果α-β∈-Φ⁺，则β-α∈Δ，同理β=α+(β-α)，也和基的线性无关性矛盾。所以α-β不是根。
• 根据根系的性质：若α-β不是根，则$2\frac{(\alpha,\beta)}{(\beta,\beta)}$和$2\frac{(\beta,\alpha)}{(\alpha,\alpha)}$都是非正整数，且它们的乘积是$4\cos^2\theta$（θ是α与β的夹角），这个乘积只能是0、1、2、3中的一个（根系夹角的余弦平方只能是0、1/4、1/2、3/4）。结合非正整数的条件，唯一可能的情况就是这两个数都是0，也就是**(α,β)=0**。

这就得出Δ是E中的正交子集，每个元素两两垂直。

第二步：分析单个根的生成结构 #

对于任意α∈Δ：

• 负根-α一定不属于Δ（因为Δ=Φ⁺是正根系），而Φ必须包含所有根，所以Φ=Δ∪(-Δ)——每个根要么是Δ里的正根，要么是它的相反数负根。
• 每个α∈Δ生成的根系是{±α}，这个根系和({±1},ℝ)是同构的：把α对应到1，α张成的一维子空间对应ℝ，反射操作也能对应上。

第三步：构造正交直和分解 #

因为Δ中元素两两正交，欧氏空间E可以分解为每个α∈Δ张成的一维子空间的正交直和。每个一维子空间对应的根系就是{±α}，和({±1},ℝ)同构，整个根系Φ就是这些子根系的正交直和。因此(Φ,E)自然同构于若干个({±1},ℝ)的正交直和。

你还可以反过来验证：如果(Φ,E)是若干个({±1},ℝ)的正交直和，那么它的基Δ就是每个直和分量中的正根，恰好等于Φ⁺，这也能帮你确认结论的正确性。

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