矩阵的谱范数

任何矩阵范数满足此不等式

left | A ight | ge ho(A),

其中 ρ(A) 是 A 的谱半径。事实上，可以证明 ρ(A) 是 A 的所有诱导范数的下界。

此外，我们有

left | A ight | ge ho(A),