MK_Base · 数学专业知识库

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

Sun, 03 May 2026 11:45:37 GMT

关联说明线性递推 \mathbf{x}_{n+1} = A \mathbf{x}_n + \mathbf{b} 的收敛性，在两门课程中有两条独立但等价的论证路径：视角课程工具关键定理标量分量论证数学分析单调性 + 有界性ANL-THM-006矩阵整体论证高等代数谱半径 / Jordan 标准形\rho(A) < 1 \implies A^n \to 0（待建：ALG-THM-XXX）直觉理解数学分析视角：固定一个分量 x_n^{(i)} 看时间序列，若能证明该分量单调且有界，则由 ANL-THM-006 收敛。这种”逐分量分析”在变量耦合较弱、可显式估计时奏效。高等代数视角...

一元多项式

Sun, 03 May 2026 11:45:37 GMT

定义陈述设 K 是数域（如 \mathbb{Q}, \mathbb{R}, \mathbb{C}），x 是不定元。形如 f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0, \quad a_i \in K, \quad a_n \neq 0 的表达式称为 K 上的一元多项式，称 n 为 f(x) 的次数，记作 \deg f = n。约定零多项式 0 的次数为 -\infty（或不定义）。记号 K[x] 表示 K 上一元多项式的全体。与相近概念的区别概念关键差别多项式 f(x)形式表达式，x 是符号多项式函数 \hat{f...

多项式的整除

Sun, 03 May 2026 11:45:37 GMT

定义陈述设 f(x), g(x) \in K[x]。称 g(x) 整除 f(x)（记作 g(x) \mid f(x)），若存在 q(x) \in K[x] 使 f(x) = g(x) \cdot q(x).

多项式带余除法

Sun, 03 May 2026 11:45:37 GMT

条件设 f(x), g(x) \in K[x]，且 g(x) \neq 0。结论存在唯一一对多项式 q(x), r(x) \in K[x] 使 f(x) = g(x) \cdot q(x) + r(x), \quad \text{其中 } r(x) = 0 \text{ 或 } \deg r < \deg g.

多项式唯一分解定理（算术基本定理多项式版）

Sun, 03 May 2026 11:45:37 GMT

条件与结论设 f(x) \in K[x]，\deg f \geq 1。唯一分解定理：f(x) 可写成 f(x) = c \cdot p_1(x)^{e_1} \cdot p_2(x)^{e_2} \cdots p_k(x)^{e_k}, 其中 c \in K \setminus \{0\}，p_i(x) 是 K[x] 中首一不可约多项式（即首项系数为 1，且不能写成两个次数 \geq 1 的多项式的乘积），e_i \geq 1。且这种分解在不计 p_i 顺序的意义下唯一。几何/直觉理解类比整数算术基本定理：每个 \geq 2 的整数唯一分解为素数幂之积。多项式版本完全平行——“素...

单调有界定理

Sun, 03 May 2026 11:45:37 GMT

条件设 \{a_n\} 是单调递增的实数列，且有上界，即存在 M \in \mathbb{R} 使得 a_n \leq M 对所有 n 成立。结论则 \{a_n\} 收敛，且 \lim_{n \to \infty} a_n = \sup_{n \geq 1} a_n.

Cauchy 收敛准则

Sun, 03 May 2026 11:45:37 GMT

条件数列 \{a_n\} \subseteq \mathbb{R}。结论 \{a_n\} 收敛 \iff \{a_n\} 是 Cauchy 列。即： \exists L \in \mathbb{R}: \lim_{n \to \infty} a_n = L \iff \forall \varepsilon > 0,\ \exists N,\ \forall m, n > N: |a_m - a_n| < \varepsilon.

Bolzano–Weierstrass 定理（致密性定理）

Sun, 03 May 2026 11:45:37 GMT

条件设 \{a_n\} 是 \mathbb{R} 中的有界数列（按 ANL-DEF-005）。结论 \{a_n\} 必存在收敛子列（按 ANL-DEF-006、ANL-DEF-004）。即： \exists \{n_k\} \uparrow,\ \exists L \in \mathbb{R}: \quad a_{n_k} \to L.

函数极限的 ε-δ 定义

Sun, 03 May 2026 11:45:37 GMT

定义陈述设 f 在 x_0 的某去心邻域内有定义。称 \lim_{x \to x_0} f(x) = L, 若 \forall \varepsilon > 0, \quad \exists \delta > 0, \quad \forall x : \quad 0 < |x - x_0| < \delta \implies |f(x) - L| < \varepsilon.

Heine 归结原则（函数极限的数列刻画）

Sun, 03 May 2026 11:45:37 GMT

定义陈述（Heine 归结原则，等价定理形式）设 f 在 x_0 的某去心邻域内有定义。下列两条等价： ε-δ 定义（ANL-DEF-008）：\displaystyle \lim_{x \to x_0} f(x) = L。 Heine 数列刻画：对任何满足 x_n \to x_0 \quad \text{且} \quad x_n \neq x_0 \ (\forall n) 的数列 \{x_n\}，都有 f(x_n) \to L（按 ANL-DEF-004）。 ⚠️ 关键：“任何满足条件的 \{x_n\}“——条件之一是 x_n \to x_0，之二是从某项起 f(x_n) \to L...