大家好，欢迎来到IT知识分享网。
写在前面
本文是笔者用于复习本科期间所学线性代数，试图用一种更易接受的方式加强记忆。
只拉伸不旋转的方向
特征值和特征向量
下面讨论特征值和特征向量的性质，并给出简单的文字证明。
- n阶方阵在复数域内有n个特征值，重根按照重数计算：特征方程为n次方程，n次方程在负数域有n个根。
- 特征值之和等于A的对角线元素之和，也就是A的迹；特征值之积等于A的行列式的值：特征方程展开后根与系数的关系。
- 互不相等的特征值对应的特征向量线性无关：使用反证法可证，有一种通俗的解释是，矩阵所表示的变化是线性的，也就是在同一个方向，特征值，也就是伸缩系数，必须是一个固定的值，那么不同的特征值对应的一定就是不同的方向啦。
- 相同特征值对应的特征向量可能无关。
相似和对角化
相似的来源是【基坐标的转化】，其中A和D代表的是同一种变化。故而相似矩阵有相同的特征向量和特征值。相似被定义为 D = T − 1 A T D = T^{-1}AT D=T−1AT 。此时D和A相似。
对角化就是从相似中演变出的一个概念，因为【对角化后的】矩阵有特别好的性质，我们在这个对角矩阵上，可以直接看作不同维度上的拉伸，而不用旋转，尤其是在幂的计算上格外方便。那么，什么样的矩阵可以对角化呢？
答案是【有n个线性无关的特征向量】的n阶矩阵。
- 必要性：有n个线性无关的特征向量的矩阵可以对角化比较好理解，因为 A T = Λ T AT =ΛT AT=ΛT ， T是由线性无关的特征向量所组成的，Λ是由对应的特征值组成的对角矩阵。
- 充分性：A可以被相似对角化，也就是存在T，使得 T − 1 A T = Λ T^{-1}AT =Λ T−1AT=Λ，其中Λ是对角矩阵。而T可逆，也就说明T中的向量不相关，我们可以拿这组不相关的向量作为A的特征值，Λ中的值作为特征值，其满足特征向量和特征值的定义。
根据n阶矩阵有n个特征值，如果把上面那句话换个说法，可以是【所有的特征向量都线性无关】，我们已经知道，不同特征值的特征向量一定线性无关，那么条件就变成【k重特征值有k个线性无关的特征向量】，所以我们这里引入了两个概念，来描述这两个数值。
- 代数重数：k重特征值的代数重数为k。
- 几何重数：这个特征值对应的特征子空间的维数，也就是其特征方程对应的解空间的维数，解向量的个数，这几个说法是等同的。
而它们的关系是：针对某个特定的特征值，【代数重数 ≥ \geq ≥几何重数】。显而易见，如果有超过代数重数的无关的特征向量，那n维矩阵对应超过n个特征向量，对于特征方程而言显然是不合理的。
于是，一个矩阵可以相似对角化的另一个充要条件是：【每一个特征值的几何重数都等于它的代数重数】。
正交，对称矩阵
正交的定义其实是由勾股定理推导而来，此处我们不深究，直接使用 a ⋅ b = 0 a · b = 0 a⋅b=0 这种浅显的定义。
根据上面的相似，可以知道，一个变换可以在不同的视角来看，也就是不同的基向量。那么如果用一组【规范的】，【相互正交的】基来表示这个矩阵，任一向量的坐标就可以通过简单的投影确定了。下面我们先定义【正交矩阵】。
正交矩阵：由一组规范正交基 α 1 , α 2 . . . α n \alpha_1, \alpha_2…\alpha_n α1,α2...αn 组成的矩阵，满足 α i ⋅ α j = 0 \alpha_i · \alpha_j = 0 αi⋅αj=0， α i ⋅ α i = 1 \alpha_i · \alpha_i = 1 αi⋅αi=1。
- A ， A ′ = A − 1 A，A’=A^{-1} A，A′=A−1 都是正交矩阵，且满足 A A ′ = E AA’ = E AA′=E
- ∣ A ∣ = 1 |A|=1 ∣A∣=1 或 ∣ A ∣ = − 1 |A|=-1 ∣A∣=−1
下面讨论一种特殊的矩阵，【实对称矩阵】，这部分的证明比较复杂，仅给出对实对称矩阵的一种理解，就是所有的旋转都是“相对”的，比如维度1向维度3倾斜了k，那维度3一定也向维度1倾斜了k。
- 实对称矩阵的特征值都是实数，且主元和特征值符号一致。
- 实对称矩阵对应于不同特征值的特征向量必正交。
- 所有【特征根的几何重数==代数重数】，即一定可以相似对角化。
- 对应于不同特征值的特征向量必正交，对应于相同特征值的特征向量必可以经过施密特正交化成另一组正交的特征向量。进一步，其相似【变换矩阵是一个正交矩阵】。
有一点比较奇怪的是，实对称矩阵并不能保证全部满秩，为什么还能对角化？此时，不满秩的部分特征值可以是0，这样对角化后不改变秩，所以不一定满秩。换言之，【实对称矩阵的秩等于非0特征值的个数】。n阶实对称矩阵无法保证有n个不同特征值，但一定可以保证有n个无关特征信息。
特征值体现了矩阵内禀的性质，有着广泛的应用：薛定谔方程中它对应能量，马尔可夫均衡态计算的关键，微分方程中相图的边界，谱聚类中所谓的谱即特征值…
拉伸最大的方向
上面提到，只有【有n个线性无关的特征向量】的n阶矩阵才能进行特征值分解，此处将该概念推广至一般矩阵。
二次型理论
从曲线而来
在几何学中，椭圆双曲线等图形有着类似但不同的结构，于是对二次曲线和二次曲面的分类问题的讨论引起了二次型这个概念。它们有着类似的性质，也有着不同。【二次型】的规范定义是n个变量上的【二次】【齐次】多项式，因为一次项并不影响形状，只影响位置，所以不参与讨论。
此时， f ( x 1 1 , x 2 , . . . x n ) = ∑ i = 1 n ∑ j = 1 n a i j x i x j f(x1_1, x_2, …x_n) = \sum^n _{i=1} \sum^n_{j=1} a_{ij}x_ix_j f(x11,x2,...xn)=∑i=1n∑j=1naijxixj 可以被表示成矩阵形式。注意，这里我们将故意取 a i j = a j i = 1 / 2 x i x j 前 的 系 数 a{ij} = a{ji} = 1/2x_ix_j前的系数 aij=aji=1/2xixj前的系数，来保证矩阵的对称性，以获得更好的性质。【对称矩阵和二次型一一对应】。
现在，我们知道了二次齐次多项式代表的是曲线（面），但更喜欢统一形式的二次型：
- 【标准型】只含平方项的二次型。此时，矩阵为对角矩阵。随着基坐标的伸缩，前面的系数是可变的，也就是，标准型不唯一。
- 【规范性】系数只有1，-1和0的标准型。规范性唯一。
合同矩阵
上文的相似是用于描述相同变换在不同基下的表示，而合同是类似定义的一种关系，用于描述【相同的二次型图形在不同基下的表示】，所以人们想要通过基变换来统一二次型的形式，下面展示公式的推导过程。
- 选定两组基，矩阵 C 是两个基之间的过渡矩阵，设 x,y 是图形上同一个点在两个参考系中的坐标表示，则有 x = C y x=Cy x=Cy，这里必须满足【C可逆】才能保证这两组基都是满秩，也就是【过渡矩阵一定是可逆】的线性变换。
- 于是有 x T A x = ( C y ) T B ( C y ) = y T C T B C y x^TAx=(Cy)^TB(Cy)=y^TC^TBCy xTAx=(Cy)TB(Cy)=yTCTBCy，所以 A = C T B C A=C^TBC A=CTBC 就是描述这两个矩阵之间的关系等式，也就是合同。
会发现，A是对称矩阵，根据相似性知道存在正交矩阵C使得 C − 1 A C = C T A C = Λ C^{-1}AC = C^TAC = Λ C−1AC=CTAC=Λ。说明【任一实对称矩阵都与对角矩阵合同】。换句话说，合同矩阵的出现，就是帮助我们来更方便的化简矩阵为标准型或规范型。
下面讨论合同矩阵的充要条件：【有相同正负惯性指数】，这里的惯性指数就是二次型的系数为正/负的个数。现在所有的实对称矩阵已经可以与一个对角阵合同了，那我们对这个对角阵施加以下变换：
用这个方式构造矩阵，所有的对角阵都会合同于一个由 ±1 以及 0 组成的对角阵，而正负取决于对角阵中特征值的正负。所以合同矩阵可以无限传递下去，反之拥有相同正负惯性指数的矩阵也可以无限变换成相同的规范型。这个定理的几何意义就是【标准型系数的正负取决了当前二次曲线（面）的形状】，而形状不会随着坐标系的变换而变换，椭圆仍是椭圆，双曲线仍是双曲线，改变的是描述这个形状的基向量！
回顾一下【矩阵的三种关系】，限制条件依次从强到弱：相似时，秩、特征值不变 == 合同时，秩、惯性指数不变 > 等价时，秩不变。其中对于实对称矩阵而言，相似 > 合同 > 等价。
正定二次型
正定二次型这个概念非常好理解，给出其等价形式：n 阶实对称矩阵 A 正定 ⇔ A 的正惯性指数等于 n ⇔ A 与单位阵合同 ⇔ A 的特征值全部大于 0 ⇔ A 的顺序主子式大于 0。
实际上二次型可以划分成正定，负定，半正定等等，就是解决了最初的曲面分类问题。同时，这些矩阵被广泛应用于其它领域，比如微分方程的极值判断，最小二乘法等。
参考资料
- 如何理解施密特（Schmidt）正交化
- 如何理解几何重数与代数重数
- 刘梳子数学——MIT线性代数笔记
- 3blue1brown【官方双语/合集】线性代数的本质 – 系列合集
- 线性代数与空间解析几何（第四版）
- 施密特正交化后得到的向量还是原矩阵的特征向量吗
- 对称矩阵及正定性
- 二次型和矩阵合同
免责声明：本站所有文章内容,图片，视频等均是来源于用户投稿和互联网及文摘转载整编而成，不代表本站观点，不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益，请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权，请联系删除，如若转载，请注明出处：https://haidsoft.com/116910.html
