作者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