线性代数及其应用：经典矩阵特征值证明

前言

  这里记录一下一些经典矩阵的特征值证明，留作今后用。要证明的矩阵如下图所示，有些矩阵的特征向量也会一并推出。

  最左边列是矩阵的名称，中间一列是对应矩阵的特征值，最右边一列是特征向量或者特征向量满足的性质，这张图在《Linear algebra and its applications》中第五章最后。

---

实对称矩阵

$A^T=A$
$证明：设Ax=\lambda x，且\overline{A}=A，其中\overline{A}表示A的共轭$
$则(\overline{x}{)}^{T}Ax=(\overline{x}{)}^T\lambda x=\lambda (\overline{x}{)}^{T}x$
$(\overline{x}{)}^{T}Ax=(\overline{x}{)}^T{A}^{T}x=(A\overline{x}{)}^{T}x=(\overline{A}\overline{x}{)}^{T}x=(\overline{Ax}{)}^{T}x=(\overline{\lambda x}{)}^{T}x=(\overline{\lambda }\overline{x}{)}^{T}x=\overline{\lambda }(\overline{x}{)}^{T}x$
$因为特征向量不为0，所以(\overline{x}{)}^{T}x̸=0$
$所以\lambda =\overline{\lambda }$
$所以\lambda 是实数$

---

正交方阵

$Q^T=Q^{-1}$
$证明：设Qx=\lambda x$
$则(Qx{)}^T=(\lambda x{)}^T$
$即x^T{Q}^T=\lambda x^T$
$上式左乘到Qx=\lambda x$
$得到x^T{Q}^{T}Qx=\lambda x^T\lambda x$
$即x^{T}x=\lambda x^{T}x$
$因为特征向量不为0，所以x^{T}x̸=0$
$所以\lambda =\overline{\lambda }$
$所以\lambda 是实数$

---

实斜对称矩阵

$A^T=-A$
$证明：设Ax=\lambda x，且\overline{A}=A，其中\overline{A}表示A的共轭$
$则(\overline{x}{)}^{T}Ax=(\overline{x}{)}^T\lambda x=\lambda (\overline{x}{)}^{T}x$
$$\begin{gathered} (\overline{x}{)}^{T}Ax=-(\overline{x}{)}^T{A}^{T}x=-(A\overline{x}{)}^{T}x=-(\overline{A}\overline{x}{)}^{T}x=-(\overline{Ax}{)}^{T}x=-(\overline{\lambda x}{)}^{T}x \\ =-(\overline{\lambda }\overline{x}{)}^{T}x=-\overline{\lambda }(\overline{x}{)}^{T}x \end{gathered}$$
$因为特征向量不为0，所以(\overline{x}{)}^{T}x̸=0$
$所以\lambda =-\overline{\lambda }$
$所以\lambda 是虚数数$

---

厄米矩阵

$A^H=A$
$证明：设Ax=\lambda x$
$则x^{H}Ax=x^H\lambda x=\lambda x^{H}x$
$同时有(Ax{)}^H=(\lambda x{)}^{}$