v(q(a,B)=v(∑=∑kW(5)=∑k0(Enn,) a(∑k,∑1m)=a(a,B) 所以,四=σ,即上图可交换,v的唯一性来源于图的可交换性,这就证明了(W,)是 张量积。 下面说明张量积的唯一性。设(W",q)是V,H2的张量积,则由张量积的定义 由上图不难得出:vov=ld,同理vov'=lid,所以W≡W 以后我们以 ×V2→H⑧V2 (a,B)a⑧B 记V和V2的张量积,简记为V⑧V2, , , ( ( , )) ( ) ( ) ( , ) ( , ) ( , ) i j ij i j ij i j i j i j i j i j i i j j i j k l k l k l k l                            所以，  ，即上图可交换， 的唯一性来源于图的可交换性，这就证明了 (W,) 是 张量积。 下面说明张量积的唯一性。设(W ,) 是 1 2 V ,V 的张量积，则由张量积的定义 由上图不难得出：  id ，同理   id ，所以W  W  。 以后我们以 1 2 1 2 : ( , )  V V V V          记V1和V2 的张量积，简记为V1 V2 。 V1 V2 W W ' W  '    ' 