作者CFE220 (雙馬尾的逆襲)
看板NTU-CFE
標題[五行] 末學覺得exp人很純真自然
時間Sun Jan 6 05:36:29 2013
所以末學試著證明了一下:
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)
1F：推 exp:謝謝220的證明，但對不起，我看不懂........... Q_______Q 01/07 12:19