双线性型是一种数学术语。

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

定义

都是域K上的线性空间,f 是直积

到K的映射。如果 f 满足

其中

则称 f 是由

到 K 的双线性型或双线性函数