大学数学(高数微积分)第十章线性函数第三节(课堂讲解).pptVIP

  • 12
  • 0
  • 约7.17千字
  • 约 39页
  • 2018-09-14 发布于浙江
  • 举报

大学数学(高数微积分)第十章线性函数第三节(课堂讲解).ppt

大学数学(高数微积分)第十章线性函数第三节(课堂讲解)

因此 f (? , ? ) 是对称的,这就是说,双线性函数是 对称的,当且仅当它在任一组基下的度量矩阵是对 称矩阵. 同样地,双线性函数是反对称的当且仅当它在 任一组基下的度量矩阵是反对称矩阵. 我们知道,欧氏空间的内积不仅是对称双线性 函数, 而且它在任一组基下的度量矩阵是正定矩阵. 根据二次型一章中关于对称矩阵在合同变换下 的标准形的理论,我们有下述定理. 定理 5 设 V 是数域 P 上 n 维线性空间, f (? , ? ) 是 V 上对称双线性函数,则存在 V 的一组 基 ?1 , ?2 , … , ?n ,使 f (? , ? ) 在这组基下的度量矩 阵为对角矩阵. 证明 只要证明能找到一组基 ?1 , ?2 , … , ?n , 使 f (?i , ?j ) = 0 , i ? j . 如果对 V 中一切 ? , ? 都有 f (? , ? ) = 0 , 则结 论成立. 如果 f (? , ? ) 不全为 0 ,先证必有 ?1 使 f (?1 , ?1 ) ? 0 . 否则,若对于所有 ? ? V 皆有 f (? , ? ) = 0,那么 对任意 ? , ? ? V ,有 矛盾,所以这样的 ?1 是存在的. 现在对空间维数 n 作归纳法. 设对于维数 ? n - 1 的空间,上述结论 成立. 将 ?1 扩充成 V 的一组基 ?1 , ?2 , … , ?n , 令 则 f (?1 , ?i? ) = 0 , i = 2 , … , n . 易知 ?1 , ?2? , …, ?n? 仍是 V 的一组基, 考察由?2? , …, ?n? 生成的线性子空间 L(?2? , …, ?n? ),其中每个向 量 ? 都满足 f (?1 , ?) = 0 , 而且 V = L(?1) ? L(?2? , …, ?n? ) . 把 f (? , ? ) 看成 L(?2? , …, ?n? ) 上的双线性函数,仍 然是对称的, 归纳法假设, L(?2? , …, ?n? ) 有一组基 ?2 , … , ?n 满 足 f (?i , ?j ) = 0 , i , j = 2 , … , n , i ? j . 由于 V = L(?1) ? L(?2? , …, ?n? ) ,故 ?1 , ?2 , … , ?n 是 V 的一组基,且满足要求. 证毕 但是 L(?2? , …, ?n? ) 的维数小于 n,由 如果 f (? , ? ) 在 ?1 , ?2 , … , ?n 下的度量矩阵为 对角矩阵,那么对 f (? , ? ) 有表达式 f (? , ? ) = d1x1y1 + d2x2y2 + … + dnxnyn . 这个表示式也是 f (? , ? ) 在 ?1 , ?2 , … , ?n 下的度量 矩阵为对角形的充分条件. 推论 1 设 V 是复数域上 n 维线性空间 f (? , ? ) 是 V 上对称双线性函数,则存在 V 的一 组基 ?1 , ?2 , … , ?n ,对 V 中任意向量 有 f (? , ? ) = x1y1 + x2y2 + … + xryr (0? r ? n) . 推论 2 设 V 是实数域上 n 维线性空间 f (? , ? ) 是 V 上对称双线性函数,则存在 V 的一 组基 ?1 , ?2 , … , ?n ,对 V 中任意向量 有 f (? , ? ) = x1y1 + … + xpyp - xp+1yp+1 - … - xryr (0? p ? r ? n) . 对称双线性函数与二次齐次函数是 1 - 1 对应的 我们首先给出下述定义: 定义 9 设 V 是数域 P 上线性空间, f (? , ? ) 是 V 上双线性函数,当 ? = ? 时,V 上函数f (? , ?) 称为与 f (? , ? ) 对应的二次齐次函数. 给定 V 上一组基 ?1 , ?2 , … , ?n ,设 f (? , ? ) 的 度量矩阵为 A = (aij)n? n . 对 V 中任一向量 有 式中 xixj 的系数为 aij + aji . 因此如果两个双线性 函数的度量矩阵分别为 A = (aij)n? n 及 B = (bij)n? n , 只要 aij + aji = bij + bji i , j = 1 , 2 , … , n , 那么它们对应的二次齐次函数就相同,因此有很多 双线性函数对应于同一个二次齐次函数,但是如果 我们要求 A 为对称矩阵,即要求双线性函数为对称 的,那么一个二次齐次函数只对应一个对称双线性 函数. 从 (1) 看出二次齐次函数的坐标表达式就是 以前学过

文档评论(0)

1亿VIP精品文档

相关文档