张量积的泛性质指出,对于域 P 上的线性空间 U,V,W,如果存在一个双线性映射 φ:U×V→W,使得对于任意从 U×V 到 P(其中 P 是域 P 上的任意线性空间)的双线性映射 f,都存在唯一的线性映射 τ:W→P 使得交换图成立(即 f=τφ),那么对 (W,φ) 被称为 U 和 V 的张量积。
适用条件:U,V,W 是域 P 上的线性空间。;φ 是从 U×V 到 W 的双线性映射。;f 是从 U×V 到域 P 上的任意线性空间 P 的双线性映射。;τ 是从 W 到 P 的唯一线性映射。
张量积的泛性质指出,对于域 P 上的线性空间 U,V,W,如果存在一个双线性映射 φ:U×V→W,使得对于任意从 U×V 到 P(其中 P 是域 P 上的任意线性空间)的双线性映射 f,都存在唯一的线性映射 τ:W→P 使得交换图成立(即 f=τφ),那么对 (W,φ) 被称为 U 和 V 的张量积。
适用条件:U,V,W 是域 P 上的线性空间。;φ 是从 U×V 到 W 的双线性映射。;f 是从 U×V 到域 P 上的任意线性空间 P 的双线性映射。;τ 是从 W 到 P 的唯一线性映射。