2020-12-08 谱半径 ≤ 任何矩阵范数

谱半径：矩阵最大绝对特征值

标准定义：设 $\mathbf{A}\in {\mathbf{C}}^{n\times n}$ 的 $n$ 个特征值为 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n,$ 称
$$\rho (\mathbf{A})=\underset{i}{\max }\left|{\lambda }_i\right|$$为 $A$ 的谱半径 $.$

定理

定理 $2.9$ 设 $\mathbf{A}\in {\mathbf{C}}^{n\times n},$ 则对 ${\mathbf{C}}^{n\times n}$ 上任何一种矩阵范数 ||・||，都有
$$\rho (\mathbf{A})⩽\Vert \mathbf{A}\Vert$$
证：设 $\mathbf{A}$ 的属于特征值 $\lambda$ 的特征向量为 $\mathbf{x},$ 取与矩阵范数 $\Vert \cdot \Vert$ 相容的向量范数 $\Vert \cdot {\Vert }_v$ ，则由 $Ax=\lambda x,$ 可得
$$|\lambda |\Vert \mathbf{x}{\Vert }_v=\Vert \lambda \mathbf{x}{\Vert }_v=\Vert \mathbf{A}\mathbf{x}{\Vert }_v⩽\Vert \mathbf{A}\Vert \Vert \mathbf{x}{\Vert }_v$$
因为 $\mathbf{x}\ne 0,$ 所以
$$|\lambda |⩽\Vert \mathbf{A}\Vert$$
对 $\mathbf{A}$ 的任一特征值成立,从而 $\rho (\mathbf{A})⩽\Vert \mathbf{A}\Vert$ 。证毕。

参考文献：矩阵论，程云鹏，张凯院