对称双线性函数

定义：是线性空间V上的一个双线性函数,若,有,则称为对称双线性函数

若,有,则称为反称双线性函数

设是线性空间V上的一个对称双线性函数,对V的任一组基

故其度量矩阵是对称的

又若双线性函数在下的度量矩阵是对称的,则对V中任意两个向量,,有

故是对称的

即双线性函数是对称的当且仅当它在任一组基下的度量矩阵是对称矩阵

双线性函数是反称的当且仅当它在任一组基下的度量矩阵是反称矩阵

注：欧氏空间的内积不仅是对称双线性函数,且它在任一组基下的度量矩阵是正定矩阵

定理：设V是数域P上n维线性空间,是V上对称双线性函数,则存在V的一组基,使在这组基下的度量矩阵为对角矩阵

证明：

若在下的度量矩阵为对角矩阵,则对

这个表达式也是在下的度量矩阵为对角形的充分条件

推论：设V是复数域上n维线性空间,是V上对称双线性函数,则存在V的一组基,对V中任意向量,有

推论：设V是实数域上n维线性空间,是V上对称双线性函数,则存在V的一组基,对V中任意向量,有

双线性函数与二次齐次函数

定义：设V是数域P上线性空间,是V上双线性函数,当时,V上函数称为与对应的二次齐次函数

给定V上一组基,设的度量矩阵为

对V中任一向量,有

的系数为

故若两个双线性函数的度量矩阵分别为及

只要,则它们对应的二次齐次函数相同,故有很多双线性对应于同一个二次齐次函数,但若要求A为对称矩阵,即要求双线性函数为对称的,则一个二次齐次函数只对应一个对称双线性函数

,二次齐次函数的坐标表达式即二次型,与对称矩阵对应,且该对称矩阵即唯一与该二次齐次函数对应的对称双线性函数的度量矩阵

定理：设是n维线性空间V上的反称双线性函数,则存在V的一组基使得

证明：

注：V上的对称双线性函数若是非退化的,则有V的一组基满足

不等式是非退化条件保证的

这样的基叫做V的对于的正交基

若V上的反称双线性函数是非退化的,则有V的一组基使

由非退化的条件,不可能出现,故具有非退化反称双线性函数的线性空间一定是偶数维

对于具有非退化对称、反称双线性函数的线性空间V,可将这些双线性函数看成V上的一个"内积",仿照欧氏空间讨论度量性质,可讨论"正交性"、"正交基"及保持这个双线性函数的线性变换