[五行] 末學覺得exp人很純真自然

[CFE220 (雙馬尾的逆襲)]

所以末學試著證明了一下:

Let v∈G_e,

and let θ: R^1 → G be the corresponding 1-parameter subgroup of G.

Then  φθ: R^1 → H is the 1-parameter subgroup of H corresponding to φ'v.


Thus, exp(φ'v) = φθ(1) = φexp(v).


The following diagram is commutative:


                      φ'
               G_e ───→ H_e

                ｜           ｜
             exp｜           ｜exp
                ｜           ｜
                ↓           ↓
                G  ───→  H
                      φ


i.e. exp is natrual.
                                     Q.E.D.

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.115.25.215
※ 編輯: CFE220          來自: 140.115.25.215       (01/06 05:37)
推 exp:謝謝220的證明，但對不起，我看不懂...........   Q_______Q