矩阵可对角化的那些事——blog2

---

小唠嗑

昨天在看Numerical opimization 中证明Kantorovich不等式时需要用到高等代数中矩阵可对角化的一些知识，但是自己似乎对于它的记忆有些模糊了，所以重新回顾了一下。怕自己今后忘记，又到处费劲找资料，便打算写到这。let’s begin!

---

定理1:矩阵$A$可对角化的充要条件是$A$有$n$个线性无关的特征向量

小定理1:矩阵$A$可对角化等价于矩阵$A$与一个对角矩阵相似

证明：$$A可对角化\iff P^{-1}AP=diag({\lambda }_1,\dots ,{\lambda }_n）\iff AP=Pdiag({\lambda }_1,\dots ,{\lambda }_n)$$
不妨设 $P=({\alpha }_1,\dots ,{\alpha }_n)$则：$$AP=Pdiag({\lambda }_1,$$