φ ⊗ ψ} 是 "H" ⊗ "H" 的正交基。
与对偶空间的关系.在泛性质的讨论中，替代 "X" 为 "V" 和 "W" 的底层标量域生成空间 formula_56（formula_14 的对偶空间，包含在那个空间上的所有线性泛函），它自然的同一于在 formula_19 上所有双线性函数的空间。换句或说，所有双线性泛函是在张量积上的泛函，反之亦然。只要 formula_8 和 formula_60 是有限维的，在 formula_61 和 formula_62 之间有一个自