前置阅读:
线性代数中,把方阵的对角线之和称为“迹”:
为什么叫这个名字啊?翻下字典:
确实,“迹”就是线性变换藏在矩阵中痕迹。
上面那幅图还有个有意思的地方,用了金、篆、隶、楷来写“迹”字,虽然各有千秋,却又“相似”,彷佛在暗示,线代中的“迹”反映出矩阵“相似”这个特征。
本文准备如下来讲解:
函数我们很早就接触了,直观地讲,就是把
还有的函数,比如
如果我们放宽限制,不再只考虑
这其实也是线性函数,只是一般我们把这称为线性变换。
线性变换虽然说也是函数,但是因为自变量已经不在坐标轴上了,用
可见,所谓的矩阵乘法,其实就是线性函数,写成这样子是不是更像函数:
只要回答了下面两个问题,就可以得到这个矩阵
综合上面两点,其实,所谓矩阵就是指定基下的线性变换。
之前提到的线性变换,为了示意整个平面的点都被变换了,我用下面的淡蓝色网格来表示这个线性变换(增加一个参考点
可见,这就是一个围绕蓝点旋转的线性变换,并且作为文章作者,我可以准确的告诉你,所有的点旋转了
我们来看看不同基下的矩阵是什么样子的。
下面我会给出所有具体的数字,你可以去计算一下,省得说我骗你。
标准正交基是
旋转矩阵
在标准正交基
不是一定要在标准正交基下,我们也可以在
可见淡蓝色网格代表的线性变换是没有发生变化的,只是基不一样了。
矩阵具体计算出来就是:
其中
为什么这么计算,就请查看如何理解相似矩阵这篇文章了。
淡蓝色网格代表的线性变换,在
同一个线性变换在不同基下的矩阵,就是相似矩阵,
这个线性变换,悄悄在这两个相似矩阵
主对角线之和因此称为“迹”。
从另外一个观点来看,我们也可以认为“迹”与坐标无关,也可以说“迹”是相似不变量。
因为
既然是比例,那么也和坐标无关:
行列式又是一个相似不变量。
根据特征值分解的定义,特征值矩阵
这里用
可建,
无悬念的,对
特征值是两个复数。
根据
行列式为:
更一般的可以得到这两个相似不变量分别为:
其中
你的相貌随着年岁变换,我却还能一眼认出,就是因为其中藏着特征。
什么是特征,不被变换所改变的就是特征。
迹、行列式都是相似变换中的不变量,也就是线性变换的特征,现在全部被特征值表示了出来。看来特征值这个名字名副其实啊。