生成第三个向量空间上一个元素之函数，并且该函数对每个参数都是线性的。例如矩阵乘法就是一个例子。
定义.设formula_1, formula_2和formula_3是在同一个基础域formula_4上的三个向量空间。双线性映射是函数使得对于任何"formula_2"中formula_7，映射是从"formula_1"到"formula_3"的线性映射，并且对于任何"formula_1"中的formula_12，映射是从"formula_2"到"formula_3"的线性