理解原因↗
张量积在同构意义下是唯一的,因为如果 和 是 和 的两个张量积,则存在唯一的线性空间同构 使得交换图成立,这意味着 且 。这表明任何两个实现仅相差一个唯一的同构。
适用条件: 和 是数域 上的线性空间。; 是 和 的张量积。; 是 和 的另一个张量积。
找到答案,看到讲解发生的那一刻,再顺着概念继续探索。
正在理解你的问题,下面的搜索结果可先查看。
张量积在同构意义下是唯一的,因为如果 和 是 和 的两个张量积,则存在唯一的线性空间同构 使得交换图成立,这意味着 且 。这表明任何两个实现仅相差一个唯一的同构。
适用条件: 和 是数域 上的线性空间。; 是 和 的张量积。; 是 和 的另一个张量积。
张量积的泛性质指出,对于域 上的线性空间 ,如果存在一个双线性映射 ,使得对于任意从 到 (其中 是域 上的任意线性空间)的双线性映射 ,都存在唯一的线性映射 使得交换图成立(即 ),那么对 被称为 和 的张量积。
适用条件: 是域 上的线性空间。; 是从 到 的双线性映射。; 是从 到域 上的任意线性空间 的双线性映射。; 是从 到 的唯一线性映射。