目录
1. 两矩阵特征值相同
1.1 实对称矩阵A、B的特征值相同
2. 二次型的标准型
2.1 标准型唯一吗
2.2 标准型与秩
2.3 标准型与特征值
2.4 正交变换与特征值
2.5 两个二次型的标准型相同
3. 规范型
3.1 规范型唯一吗
3.2 规范型与标准型
3.3 规范型与合同(充要条件)
4. 等价、相似与合同
能确定什么?不能确定什么?(不能确定,表示不可推出,没有证据推出。)
答:能确定行列式、迹相等;不能确定秩相等,不能确定A~B(相似),不能确定A合同于B。从以下几点解释。
① 因为 |A|=λ1 λ2…λn,tr(A)=λ1+λ2+…+λn,所以 |A|=|B|,tr(A)=tr(B)。
② 有特征值 λ,不表示A可以~Λ。
③ 若 A~Λ,可推出 r(A)=非0的 λ 个数。
④ 合同需要实对称矩阵(考研范围中),λ 相等并不能保证。
【反例】帮助理解:此例中,r(A)≠r(B),且都不可相似对角化,且都不是实对称矩阵(不可合同)。
实对称矩阵一定可以对角化,所以可得A、B相似于同一个对角阵,即 A~Λ~B。又因为实对称,所以逆=转置,也合同。
《为什么实对称矩阵相似一定合同》:https://zhidao.baidu.com/question/467790592.html?qbl=relate_question_0
不唯一。如果是配方法求得的,那么选取的可逆变换(配方的方式)不同,标准型结果也就不同。
相关链接:《化二次型为标准型的方法》:https://jingyan.baidu.com/article/3065b3b6bcbc86becff8a4d3.html
下面我们来谈不同形式的标准型,能确定什么?不能确定什么?
标准型的项数是一定的,该项数就是非0系数,也就是正负惯性指数;就是二次型的秩,也即实对称矩阵A的秩。
注:再说一下,秩与特征值的关系(见1.的例子)。如果A可以相似对角化,那么秩就是非零特征值的个数。这个“如果”很重要!
配方法得的标准型不能确定特征值。
可逆线性变换得到的标准型,其对角线元素,不一定是特征值!虽然二次型可以通过可逆线性变换(配方法),变成这样的对角阵,但是标准型有很多个,也就是有很多这样的对角阵;特征值是确定的,所以这些可逆线性变换得到的标准型,都不可以求出特征值。
特征值的求法:因为这些标准型与特征值无关,所以不能根据它们写特征多项式,而应该回到最初的二次型(实对称矩阵A),用特征方程做。
《配方法化标准型后的平方项系数是特征值吗》:https://zhidao.baidu.com/question/140444370691754565.html?qbl=relate_question_0
正交变换的标准型可以确定特征值。
诸多可逆线性变换中,只有正交变换得到的标准型,对角线元素,才是特征值。
回忆下相关做法,如何求使之变为标准型时的正交变换?
发现,正交变换就是在特征值的基础上做的,其结果得到的标准型,也就是特征值拼出的对角阵。
确定什么?可以确定惯性指数相同,也即二次型平方项的系数正、负个数相等,或是正特征值、负特征值的个数相同。
不能确定什么?不能确定特征值。
规范型是唯一的。是因为惯性定理,决定了对于同一个二次型的不同标准型,正、负惯性指数p、q是一定的,而规范型是系数只有1、-1、0的情况。此时说唯一,是不考虑二次型的变量顺序的,比如可以都规定写的顺序是1...-1...0。
同一个规范型可能有多个标准型。
同一个标准型,不可能对应多个规范型。因为标准型的惯性指数是确定的。
两实对称矩阵合同,则它们的p、q对应相等(规范型相同)。
若两实对称矩阵的 p、q 相等,则合同。
即规范型对应的不同矩阵是合同的。
《矩阵的等价,合同,相似的联系与区别》:https://wenku.baidu.com/view/acdd8a1d6bd97f192279e9de.html
这篇文章写的很清楚,可详细阅读。
(1)相似、合同可以理解为特殊的等价。
相似必等价,等价未必相似。
合同必等价,等价未必合同。
(2)正交变换既是相似变换,也是合同变换。(使用正交变换得到的相似或合同时,相似与合同一致。)
经正交变换后,两矩阵相似,则必合同。
经正交变换后,两矩阵合同,则必相似。
(3)实对称矩阵A、B,特征根相同时,必相似且合同。
一般矩阵不适用。但实对称矩阵,一定可以相似对角化,所以特征值相同时,A ~ B,此时也合同(见4.(4))。
(4)实对称矩阵A、B,若相似一定合同,若合同未必相似。
若相似,其特征值相同,所以p、q相同,必可以合同。
若合同,保证了正、负系数的个数相同,此时虽然可以相似对角化,但各自具体的特征值一般不同,所以推不出A、B相似。
【例】对角矩阵diag(3,3,3)合同于单位矩阵 E,而 E 只能和 E 相似,显然diag(3,3,3)不相似于E(因为特征值不同)。
注:普通矩阵没有说相似一定合同,因为只在对称矩阵的时候,我们才讨论合同。
(5)不变量:等价时,秩不变;相似时,秩、特征值不变;合同时,秩、惯性指数不变。