则"formula_44"也是有限维的。对于"formula_45"就是双线性形式，这个空间的维度是formula_46（尽管线性形式的空间"formula_47"的维度是formula_48）。看得出来，选择formula_1和"formula_2"的基；接着每个线性映射可以唯一的表示为矩阵formula_51，反之亦然。现在，如果"formula_3"是更高维的空间，我们明显的有formula_53。