20/10/12 06:44:26.66 iRW0qWtH.net
ｽﾚﾘﾝｸ(math板:72番)
あんた、肝心の普遍性の説明を省略したらあかんよ
g : V×W→X ： 双線型
f : V×W→V⊗W ： テンソル積（双線型）
u : V⊗W→X ： 線型
このときテンソル積fによって、
「任意の双線型写像gについて
それぞれある線型写像uが存在し
g=u○f（○は写像の合成）となる」
ようにできる、というのが普遍性
で、ここでテンソル積写像fは、
１．全射ではない（つまり、v⊗wの形で表せないt∈V⊗Wが存在する）
２．単射でもない（つまり、t=v⊗wとなる場合も、そのようなv,wは１通りでない）
これ豆な