关于矩阵那点事儿—实对称矩阵的世界.docVIP

继续瞎写的，关于矩阵那点事儿，这回说合同矩阵和二次型，关系有点复杂，讲的有些啰嗦。。。有些地方仍旧比较菜，欢迎修正。目的在于帮助大家复习合同那块儿的知识。话说上回说到了相貌不凡的实对称矩阵，他们拥有出众的外表，可以使用正交矩阵强势对角化。这回我们的主角仍然是实对称矩阵。但先要交代的两个背景，是合同和二次型。花开两朵，各表一枝。茫茫矩阵中，矩阵总是在寻找的自己的同类，我们熟悉的是等价和相似。等价，是要找到与自己同型且秩相等的矩阵；相似是要找到能用一个可逆矩阵的逆左乘再用他本身右乘自己后得到的矩阵。此外，还有一种与自己志趣相投的矩阵，是与自己合同的矩阵，是能用一个可逆矩阵的转置左乘再用他本身右乘自己得到的矩阵。这三种关系讨论的都是两个矩阵之间的关系，具有反身性和传递性，并没有对矩阵的自身能力有什么更高的要求。然而，对于矩阵来说，合同是一种较为高级共通点，是上层矩阵世界中所谈论的关系，虽然普通矩阵也可以找到自己的合同阵，但却意义不是很大。而且，与一般矩阵合同是没有什么了不起的，能跟对角阵合同，才能成为王牌。所以我们看重的是精英矩阵中存在的合同关系，即对称矩阵的合同关系，因为，这些实对称矩阵天生就可以和对角矩阵合同。二次型是经常在矩阵上层社会谈论的一个话题，是实对称矩阵的特权，是每个实对称矩阵都属于自己的二次多项式。二次型的另一个决定性因素，就是自变量坐标。每个二次型都可以通过一定的坐标变换，得到新的坐标，新的二次型矩阵，新旧二次型矩阵是合同的。同时选择了适当的坐标变化，可以把自己的矩阵变成与他合同的对角阵，这样一来，二次型可以使自己的样貌变的标准起来和规范起来。变标准就是说自己新的坐标只有平方项；变规范，就是说新坐标平方项的系数只能是0，-1和1 。二次型中正系数个数叫做正惯性指数，负项系数叫做负惯性指数，两者之和是原来矩阵非零特征值的个数，再加上没有出现的项数，才是矩阵的阶数。在二次型中广泛流传的特质就是，经过不同的坐标变换，二次型的正、负惯性指数是不变的，这叫做惯性定理。当二次型选择了自己矩阵的正交变换，就可以得到一个更加强势的多项式，该多项式只有平方项，而且平方项的系数就是自己矩阵对应的特征值对角阵的各个元素。一旦一个二次型无论如何选择坐标值，都得到了正数的结果，那么这就不是一般的二次型，这是正定二次型，他原来的矩阵就被称为正定矩阵。背景交待清楚，实对称矩阵蠢蠢欲动准备出场。实对称矩阵天生就可以和对角矩阵合同，并且他们能够选择多个矩阵作为自己的合同助手，我们可以使用正交变换法和配方法来选择他们的合同矩阵得到不同的对角阵，就算是配方法，也可以使用不同的手法得到不同的坐标变换和对角阵。但不变的是，实对称矩阵与其合同矩阵的正、负惯性指数是一样的，这也是说明两实对称矩阵合同的充要条件。看来，对于实对称矩阵来说，合同的意义对他们来说，就是两个矩阵的正、负惯性指数分别相同。对于实对称矩阵，一旦他们选择了正交矩阵来进行合同，那他们就了不起了，因为这时他们不仅跟得到的对角阵合同，还跟这一对角阵相似，所以这个对角阵也不是一般的对角阵，是他们特征值所组成的对角阵。这是就是在上回和本回中都起到决定性作用的一点，实对称矩阵出类拔萃的外表，使得他们能用正交阵，与自己的特征向量组成的对角阵相似，要注意的是，正交阵是一类很专一的矩阵，他们的逆和他们的转置是相同的，所以他们用自己的逆将其他矩阵相似对角化的同时，也让他与自己的对角阵合同。这时，实对称矩阵与自己的特征值对角阵即相似又合同，同时拥有了两个关系的特点。可以见得，对于实对称矩阵来讲，两者相似，则相似于同一个特征值对角阵，也同时合同与这个对角阵；然而，若两者合同，各自合同的矩阵之间也是合同的，但这两个新矩阵合同时所选用的合同助手矩阵，不一定是正交阵，一般也就不相似，所以最初的两个矩阵一般也不相似。实际上，相似比合同的要求更为高。所以也就有了相似可推合同，但合同不能得相似的结论。对于实对称矩阵这种精英矩阵，自然还有对他的更高层次的要求。正定矩阵就是王牌中的王牌，这些矩阵具有了新的特点，他们的特征值都是正直，他们所属的二次型的正惯性指数是矩阵的阶数，他们的各阶主子式都是正值，他们与单位阵合同。这四个条件是充要的条件，既是正定矩阵的特点，又可以来确认正定矩阵。然而，用这些条件来确定正定矩阵的之前，要先确认的是，这个矩阵属于实对称矩阵家族。此外，正定矩阵还拥有的另外两个优良的必要条件，一个是正定矩阵的对角线元素都是正值，另一个是正定矩阵对应的行列式为正，这说明，正定矩阵必然可逆。同时，对于正定矩阵来讲，他所合同的矩阵也不是一般矩阵，也是正定矩阵。实对称矩阵，就是这样一类气质独特，霸气十足的矩阵，他们所带来二次型及其标准化问题，正定性问题，及其合同问题，都是矩阵世界中的焦点问题。