§104对称双线性函数则称为对称双线性函数(阅读).pptVIP

* * 一、对称双线性函数 二、反对称双线性函数 §10.4 对称双线性函数 三、正交基 四、双线性度量空间 一、 对称双线性函数 1. 定义 　设 为数域P上线性空间V上的一个双线 性函数，如果对V中任意向量 均有 则称 为对称双线性函数. 命题1 数域 P上n 维线性空间 V上双线性函数 是对称的（反对称的） 在V的任意 一组基下的度量矩阵是对称的（反对称的）. 证：任取V的一组基 则 2. 对称双线性函数的有关性质 同样 在 下的矩阵为 例. 且 为正定矩阵. 定理5　设V是数域P上n 维线性空间. 是V上对称双线性函数，则存在一组基 ，使 在这组基下的度量 矩阵为对角形. 证：只需证能找到一组基 ，使 1）若 　则 2）若 不全为0，先证必有 否则，若 则对 有 所以这样的 是存在的. 对 用归纳法. ① 时成立. ② 假设 维数上述结论也成立. 将 扩充为V的一组基 令 则 易证 仍是V的一组基. 考察由 生成的线性子空间 有 且 把 看成 上的双线性函数， 仍是对称的. 由归纳假设， 有一组基 满足 故 是V的一组基，且满足 由于 若 在基 下的度量矩阵为对角矩阵 则对 注 推论1 设V是复数域上 n 维线性空间. 为 V上对称双线性函数.则存在V的一组基 对 推论2 设V是实数域上 n 维线性空间. 为V 上对称双线性函数.则存在V的一组基 对 为正惯性指数. 线性空间V上双线性函数 当 时，V上函数 称为与 对应的二次 齐次函数. 定义 设 的度量矩阵为 ① 给定V的一组基 式中 的系数为 有 3. 二次齐次函数 （1） ② 不同双线性函数可能导出同一个二次函数. 如：设两个双线性函数 在基 下的度量矩阵为 但可 则 对应的二次齐次函数相同. 如： ③一个对称双线性函数只能导出一个二次型. 此即为以前学过的二次型. 此时， 而二次型与对称矩阵1-1对应. 命题3 为V上反对称双线性函数 证: 对 二、 反对称双线性函数 1. 定义 　　设 为数域P上线性空间V上的一个双线 性函数，如果对V中任意向量 均有 则称 为反对称双线性函数. 定理6 设 为 n 维线性空间V上反对称 双线性函数（即 ） 则存在V的一组基 使 （2） 2. 反对称双线性函数的有关性质 即 在这组基下的度量矩阵为