张量积在同构意义下是唯一的,因为如果 (W,φ) 和 (W′,φ′) 是 U 和 V 的两个张量积,则存在唯一的线性空间同构 τ:W→W′ 使得交换图成立,这意味着 W′=τ(W) 且 φ′=τφ。这表明任何两个实现仅相差一个唯一的同构。
适用条件:U 和 V 是数域 P 上的线性空间。;(W,φ) 是 U 和 V 的张量积。;(W′,φ′) 是 U 和 V 的另一个张量积。
张量积在同构意义下是唯一的,因为如果 (W,φ) 和 (W′,φ′) 是 U 和 V 的两个张量积,则存在唯一的线性空间同构 τ:W→W′ 使得交换图成立,这意味着 W′=τ(W) 且 φ′=τφ。这表明任何两个实现仅相差一个唯一的同构。
适用条件:U 和 V 是数域 P 上的线性空间。;(W,φ) 是 U 和 V 的张量积。;(W′,φ′) 是 U 和 V 的另一个张量积。