在上一篇文章我们证明了任意一个n阶矩阵可以相似对角化的充要条件是这个n阶矩阵有n个线性无关的特征向量,在本篇文章中我们一起讨论实对称矩阵的性质以及二次型的标准化。
我们先讨论实对称矩阵的一些特殊的性质:
设
即
由于
于是有
及
综上有
移向得
因为
所以
所以我们得到性质1:实对称矩阵的特征值均为实数。
设
故
于是
即
因为
所以我们得到性质2:实对称矩阵不同特征值对应的特征向量是正交的。
这条性质尤为重要,正是根据这条性质我们才能证明出实对称矩阵最重要的一条性质,即实对称矩阵一定可以用正交矩阵进行正交相似对角化。
在上一篇文章中,我们知道任意一个n阶矩阵可以相似对角化的充要条件是这个n阶矩阵有n个线性无关的特征向量,在本篇文章,我们的主角是实对称矩阵,那么实对称矩阵怎样才可以相似对角化呢?
答案是任意一个实对称矩阵都可以相似对角化,即等价于任意一个n阶的实对称矩阵一定有n个线性无关的特征向量,这个结论的证明较为复杂,在这里我们姑且当做结论记住,等笔者学过这部分的内容后再补充在这里。并且实对称矩阵还十分的特殊,不仅任意一个实对称矩阵可以用正交矩阵进行正交相似对角化,证明如下:
证明:由于实对称矩阵一定有n个线性无关的特征向量,不妨设n阶实对称矩阵
即
由于
故
由于同一个特征值
因此有
即实对称矩阵
正是由于性质2的成立,即实对称矩阵不同特征值对应的特征向量是正交的,所以才能够通过施密特正交化构造出正交矩阵,使得实对称矩阵正交相似与对角矩阵。
因此我们得到性质3:实对称矩阵一定可以相似对角化,并且相似的对角矩阵为该实对称矩阵线性无关的特征向量对应的特征值按顺序排列在对角矩阵的对角线上,并且实对称矩阵还可以通过施密特正交化构造正交矩阵进行正交相似对角化。
注:实对称可以用正交矩阵进行正交相似对角化,当然也可以用普通的矩阵进行相似对角化,具体问题应当具体分析。
实对称矩阵的正交相似对角化正是我们将二次型化成标准型的理论基础,下面让我们来引出二次型标准化的相关问题
所谓二次型,实际上指的是某一数域
记
于是
对于任意一个二次型,我们认为只含平方项的二次型的形式最为简洁,因此我们希望通过线性换元,使得原来的二次型化为只含有平方项的二次型,令
得
令
故二次型做线性替换后仍然是二次型。
并且满足关系式
回到刚才的问题,我们希望所做的线性替换
对于任意一个二次型
(1)写出二次型对应的实对称矩阵
(2)求出二次型矩阵
(3)将这些特征值反带回特征多项式
(4)将同一特征值对应的线性无关的特征向量进行施密特正交标准化,于是得到n个两两相互正交的单位向量
由于
即
即我们要寻找的矩阵
由
注:将二次型化成标准型之后的平方项的系数就是对角矩阵的对角线上的元素,也就是矩阵
在下篇文章中将继续介绍关于二次型理论部分的一些内容
未完待续...