双线性型是数学术语。设 f 是线性空间 V 上的双线性函数，如果它在某组基下的度量矩阵 A 是可逆矩阵，则称 f 是非退化的双线性函数，否则称为退化的双线性函数。