Path: news.ccsf.jp!tomockey.ddo.jp!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!n33g2000pri.googlegroups.com!not-for-mail
From: kyokoyoshida123@gmail.com
Newsgroups: fj.sci.math
Subject: =?ISO-2022-JP?B?ZjpWKCspVigbJEIhXxsoQilWKhskQiIqGyhCRhskQiRyGyhCZigodit2JykoGyRCIV8bKEIpZyk9Zyh2KStnKHYnKRskQiRHRGobKEI=?=
	=?ISO-2022-JP?B?GyRCNUEkOSRrGyhCLmYbJEIkLEB+N0E8TEF8JEckIiRrO3YkcjwoJDsbKEI=?=
Date: Sat, 6 Dec 2008 17:30:47 -0800 (PST)
Organization: http://groups.google.com
Lines: 28
Message-ID: <2db06346-5567-4e8d-90f9-e829fdec5631@n33g2000pri.googlegroups.com>
NNTP-Posting-Host: 219.111.67.142
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1228613447 9163 127.0.0.1 (7 Dec 2008 01:30:47 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 7 Dec 2008 01:30:47 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: n33g2000pri.googlegroups.com; posting-host=219.111.67.142; 
	posting-account=WW-P-goAAADS1u9yskwAcJfIST-zvGgd
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; 
	AntivirXP08),gzip(gfe),gzip(gfe)
Xref: news.ccsf.jp fj.sci.math:2365

いつもお世話になっています

[問] 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)
に持っていけません。どのように変形すればいいのでしょうか?


吉田京子