数列收敛与线性递推：单调有界与矩阵谱半径的桥接

关联说明

线性递推 ${\mathbf{x}}_{n+1}=A{\mathbf{x}}_n+\mathbf{b}$ 的收敛性，在两门课程中有两条独立但等价的论证路径：

视角	课程	工具	关键定理
标量分量论证	数学分析	单调性 + 有界性	ANL-THM-006
矩阵整体论证	高等代数	谱半径 / Jordan 标准形	$\rho (A)<1⟹A^n\to 0$（待建：ALG-THM-XXX）

直觉理解

数学分析视角：固定一个分量 $x_n^{(i)}$ 看时间序列， 若能证明该分量单调且有界，则由 ANL-THM-006 收敛。 这种”逐分量分析”在变量耦合较弱、可显式估计时奏效。

高等代数视角：把整个向量序列 $\{{\mathbf{x}}_n\}$ 看作矩阵幂作用的轨迹。 若 $A$ 的所有特征值绝对值 $<1$（谱半径 $\rho (A)<1$），则 $A^n\to 0$ 在矩阵范数意义下成立， ${\mathbf{x}}_n\to (I-A{)}^{-1}\mathbf{b}$。这种方法与具体分量无关，更具结构性。

两视角的等价性源于：矩阵收敛在每一个分量上也给出标量数列收敛， 而标量数列的收敛由 ANL-DEF-004 给出极限值——在足够强的条件下，与谱半径论证一致。

应用场景

PageRank（搜索引擎排序）

PageRank 矩阵 $M$ 经”传送项”修正后谱半径 $<1$（除主特征值 $1$ 外）， 迭代 ${\mathbf{r}}_{n+1}=cM{\mathbf{r}}_n+(1-c)\mathbf{e}/N$ 收敛。 分析视角：每个分量受平均化压缩，单调收敛。 代数视角：迭代矩阵的次大特征值控制收敛速度（“算法误差衰减率 $=|{\lambda }_2/{\lambda }_1{|}^n$”）。

Leontief 投入产出模型（经济学）

总产出 $\mathbf{x}=A\mathbf{x}+\mathbf{d}$，其中 $A$ 为投入系数矩阵。 若每行（或每列）和 $<1$，可证 $\rho (A)<1$，从而 $\mathbf{x}=(I-A{)}^{-1}\mathbf{d}$ 长期均衡存在。 分析视角：每个产业的 $x_n^{(i)}$ 单调有界，逐分量收敛于均衡值。 代数视角：诺伊曼级数 $(I-A{)}^{-1}={\sum }_{k\ge 0}{A}^k$ 收敛。

链接

• 数学分析：ANL-THM-006 单调有界定理、ANL-THM-007 Cauchy 收敛准则
• 高等代数：谱半径定理、Jordan 标准形（待建）