[代數] 一個tensor product的問題
用@代替tensor product的那個圈圈裡有叉叉的符號
V是finite dimension vector space over F
想證明V* @ V isomorphism to End(V)
看到的辦法是
令 f: V* x V --------> End(V)
(s,v) |-------> f(s,v) :V------->V
w|------>f(w)v
f會是個balanced map
然後要證明V* @ V isomorphism to End(V) 只要計算他們的dimension相同即可
但是想請問具體讓V* @ V isomorphism to End(V)的map到底是什麼呢
就是到底我們是讓End(V)中的元素對應到V* @ V中的誰呢
因為希望能看的具體一點
弄了半天還是找不出來
所以上來請教
謝謝^^
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.7.214
※ 編輯: bajifox 來自: 140.112.7.214 (02/27 20:05)
→
02/27 20:20, , 1F
02/27 20:20, 1F
→
02/27 20:25, , 2F
02/27 20:25, 2F
推
02/27 20:40, , 3F
02/27 20:40, 3F
→
02/27 20:42, , 4F
02/27 20:42, 4F
→
02/27 20:44, , 5F
02/27 20:44, 5F
→
02/27 20:46, , 6F
02/27 20:46, 6F
推
02/27 21:02, , 7F
02/27 21:02, 7F
→
02/29 12:57, , 8F
02/29 12:57, 8F