由于国内矩阵论方面网上的东西比较少,而hermite矩阵二次型值极值证明作为研究数据降维一个数学基础,有着极其重要应用背景。搞不懂它,大量数据处理的论文是没法看的,或者没法看透彻。因此,在此科普一下,也算是做点贡献吧。
首先,hermite矩阵是其转置的共轭与其本身是一样的矩阵,对于实矩阵来说,与对称矩阵没有区别。我们有: 。
在hermite矩阵的论证过程中,有一个重要的性质就是hermite矩阵可酋对角化。由于很多书上都是当作性质在用,也没给个证明过程,或者证明过程让人看不懂。在这里简单证明一下:首先,hermite矩阵的特征值是实数,证法如下: ,这就是说,hermite矩阵特征值的共轭与其本身的值相同,因而只有可能是实值。根据SHUR定理,任意具有n个实特征值的矩阵可实上三角化,且对角线的数年值依次为n个特征值本身。因此有