20/10/02 23:32:53.36 4l+W3Pp2.net
>>827
つづき
これらの規則は、順序対 (v, w) を v ◯x w へ写す V × W から V ◯x W への写像 f が双線型となることを保証するものである。テンソル積の普遍性とは
任意のベクトル空間 X と任意の双線型写像 g : V × W → X が与えられたとき、写像 u : V ◯x W → X が一意的に存在して、上記の写像 f との合成 u ◯ f が
g : u(v ◯x w) = g(v, w) に等しくなるようにすることができる[45] というものである。
テンソル積の普遍性は対象を、その対象からの、あるいはその対象への写像によって間接的に定義するという（進んだ抽象代数学ではよく用いられる）手法の一例である。
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積の普遍性を表す可換図式
(引用終り)
以上