为什么若迭代矩阵的谱半径小于1,则对任意初始向量都收敛?怎么证明啊?