送分题

  • 坐标变换
  • 对称矩阵的类型
  • 二次型标准型
  • 线性算子的矩阵表示
  • 计算最小多项式

秩不等式

把映射转换为矩阵

求逆矩阵的时候不能使用初等列变换

参考题目

坐标变换

的标准基,

  1. 计算使得
  2. 证明的一组基
  3. 计算下的坐标表示
  1. 直接写出
  2. 因为可逆,所以的一组基
  3. 可以直接代入

于是坐标为 或者利用坐标变换抽象上述过程

不要直接用计算基底的办法计算坐标

对称矩阵合同对角化

  1. 行列相伴消元
  2. 配方法(注意一次要把所有关于的项都配进去)

正定二次型

上的二次型由公式确定

  1. 计算标准基下的矩阵
  2. 正定,求的取值范围
  3. 证明不可能负定
  1. 直接写出
  1. 矩阵的三个顺序主子式

Jacobi公式只需要使上述三个子式都大于即可

负定(Negative Definite)的情况

如果是负定的,那么是正定的,考虑到,此时的顺序主子式需要满足

半正定的情况

半正定需要不能满秩,需要取,然后开始分类讨论

  1. 因为所以不可能是负定的

阶实对称矩阵,. 则是半正定的当且仅当使得

,则,故半正定 若半正定,则存在使得

上的维线性空间,上的二次型且,则以下三个结论等价

  1. 存在一个维子空间使得对任意
  2. 的正惯性指数为
  3. 存在的某组基使得对任意的,有

的正惯性系数为,则存在一组基使得有如下的规范型

则所取的至少包含之中的某一个基底,而这和矛盾

则所取的至少包含之中的某一个基底,而这和矛盾

也就是恒等式

且这个变量替换是可逆的 做完变量替换后,在基底下有

考虑,则对故有

是正定矩阵,则

  1. 正定
  2. 正定
  1. . 则 = ,故正定
  2. , 故正定

是半正定的,则

因为,所以是半正定的. 故存在使得, 且设,并不妨令,只需要证明,为此只需要证明. 设也就是,故有

于是,即

的证明

因为矩阵乘法不增大秩,故 又因为,故,于是 综上

二次型的性质

上的有限维线性空间,的子空间,上的二次型,则

  1. 也是二次型
  2. 的签名为, 的签名为. 证明
  1. 的配极,则的配极,故上的二次型
  2. 存在的一组基使得对任意

的一组基使得对任意

假设,令

. 故存在非零向量满足,矛盾! 同理分析,我们可以得到

二次型的判定

第一种

上的二次型,如果

  1. 对于
  2. 对于

上的对称双线性型 (关键是双线性型,显然是对称的), 称为配极,或者叫做相伴双线性型(associated bilinear form)

第二种

. 则是二次型当且仅当存在使得. 此时的配极是

线性算子的矩阵及其秩

如定义在上的差分算子

符合线性算子的定义 起在下的矩阵为

当需要计算秩时,需要考虑特征是否等于,如果是,则秩为,否则秩为

线性映射的单满射性质

一个线性映射是单射当且仅当 一个线性映射是满射当且仅当 如果,则是单射当且仅当是满射

构造线性算子

是域上的有限维线性空间,的子空间且满足,那么

  1. 存在使得
  2. 存在使得
  1. 的基底,把它扩充为的一组基底,令

即可 2. 类似地,令

即可

直和的条件

的子空间,, 如果对于任意都存在唯一的使得

则称直和,并记为

是直和与以下两个命题等价

最小公倍式

是域,是非零多项式,. 令的最小公倍式和 所有公倍式的集合,证明,其中

直接构造基底 注意到. 因为这些多项式次数两两不同,所以它们线性无关. 设,则存在使得. 因为,故,于是

上的线性组合,由此可知上述多项式是的基底,所以

另解(对偶定理):考虑线性映射

注意到, 而 于是有

对偶空间

是域上的有限维线性空间,. 设,令 > 则

  1. 上的二次型

是对称双线性型且, 故是二次型

  1. 的一组基,在该基底下的矩阵是

由此可知

如果, 则存在使得, 于是

如果, 则不线性相关,故矩阵

中的一个二阶子式非零,不妨设

中的二阶子式

于是