张量积
张量积可以用泛性质来刻画。考虑通过双线性映射 "φ" 把笛卡尔积 "V" × "W" 嵌入到向量空间 "X" 的问题。张量积构造 "V" ⊗ "W" 与给出自