设V是域F上的(n+1)维向量空间，如果函数σ：V×V→F，满足条件：σ(ax1+bx2，y)=aσ(x1，y)+bσ(x2，y)，a、b∈F，x1、x2、y∈V，σ(x，ay1+by2)=aσ(x，y1)+bσ(x，y2)，a、b∈F，x、y1、y2∈V，则σ称为定义在V上的双线性形式。