f:V(+)V(×)V*→Fをf((v+v')(×)g)=g(v)+g(v')で定義する.fが線形写像である事を示せ
いつもお世話になっています
[問] VをF上の有限次元線形空間とする。V*をVの双対空間とする。
そして{v_1,v_2,…v_n}と{g_1,g_2,…,g_n}をそれぞれVとV*の基底とし,
f:V(+)V(×)V*→Fをf((v+v')(×)g)=g(v)+g(v')で定義する
((+)は直和,(×)はテンソル積)。
fが線形写像である事を示せ。
f(((v+v')(×)g)+((w+w')(×)g'))=f(((v+v')(×)g))+f(((w+w')(×)g'))
と
f(α((v+v')(×)g)))=αf(((v+v')(×)g)) (α∈F)
とはどうやって示せばいいのでしょうか?
取り合えず
v:=Σ[i=1..n]a_iv_i,v':=Σ[i=1..n]b_iv_i,
w:=Σ[i=1..n]c_iv_i,w':=Σ[i=1..n]d_iv_i,
g:=Σ[i=1..n]e_ig_i,g':=Σ[i=1..n]k_ig_i
と基底の一次結合で表す。
f((v+v')(×)g+(w+w')(×)g')から
f((v+v')(×)g)+f((w+w')(×)g')
に持っていけません。
また,
f(α((v+v')(×)g))から
αf((v+v')(×)g)
に持っていけません。どのように変形すればいいのでしょうか?
吉田京子
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735