它自然的同一于在 formula_19 上所有双线性函数的空间。换句或说，所有双线性泛函是在张量积上的泛函，反之亦然。只要 formula_8 和 formula_60 是有限维的，在 formula_61 和 formula_62 之间有一个自然的同构，而对于任意维的向量空间我们只有一个包含 formula_63。所以线性泛函的张量是双线性泛函。这给我们一种新看法，把双线性泛函看做张量积自身。