单调收敛定理
探索实数完备性的核心工具，解析极限存在的深层逻辑。从基础定义到复杂级数判定，为您提供全方位的学术支持。
更新时间：2023-10-27 | 阅读时长：12分钟
在数学分析中，单调收敛定理（Monotone Convergence Theorem）是实数系完备性的主要等价命题之一。它揭示了单调性与有界性这两个看似独立的性质，如何共同决定了数列或函数的极限存在性。理解这一定理，是掌握高等数学分析的关键一步。
若数列 {a_n} 满足 a_{n+1} ≥ a_n 对一切 n 成立，则称其为单调递增数列。若该数列还有上界（即存在 M 使得 a_n ≤ M），则它必收敛于其上确界。
极限值： lim_{n→∞} a_n = sup{a_n}
若数列 {a_n} 满足 a_{n+1} ≤ a_n 对一切 n 成立，则称其为单调递减数列。若该数列还有下界（即存在 m 使得 a_n ≥ m），则它必收敛于其下确界。
极限值： lim_{n→∞} a_n = inf{a_n}
想象一个人在爬山（单调递增），但他头顶有一块天花板（有上界），无论他爬多久，他最终都会停在某个高度，而不会无限上升。反之，如果他在下山（单调递减）且地面是平的（有下界），他也必然会在某处停下来。这种“必然停止”的状态，在数学上就是收敛。
单调收敛定理的证明依赖于实数系的确界原理（Least Upper Bound Property）。这是实数与有理数的本质区别之一。在有理数系中，该定理并不成立（例如 x^2=2 的近似数列在有理数中不收敛）。
设 {a_n} 为单调递增且有上界的数列。根据实数的确界原理，集合 S = {a_n | n ∈ N} 必有上确界，记为 L = sup S。
对于任意 ε > 0，由于 L - ε 不是上界（因为 L 是最小上界），故存在某项 a_N 使得 a_N > L - ε。
当 n > N 时，由单调递增性知 a_n ≥ a_N > L - ε。同时，因 L 是上界，a_n ≤ L < L + ε。综上，|a_n - L| < ε 对所有 n > N 成立。
根据极限定义，lim_{n→∞} a_n = L。定理得证。
在高等数学、概率论及数值分析中，单调收敛定理有着广泛的应用。以下是几种典型场景：
对于由递推公式 a_{n+1} = f(a_n) 定义的数列，若 f(x) 单调且数列有界，可直接利用定理证明收敛，无需预先知道极限值。
示例： 设 a_1 = √2, a_{n+1} = √(2 + a_n)。显然 a_n > 0 且 a_{n+1} > a_n（单调递增）。又因 a_n < 2（可证），故数列收敛。设极限为 L，则 L = √(2+L)，解得 L=2。
在勒贝格积分理论中，若一列非负可测函数 f_n(x) 单调递增且逐点收敛于 f(x)，则积分的极限等于极限的积分：
∫ lim f_n = lim ∫ f_n
这一定理允许我们在满足条件时交换极限与积分符号，极大简化了复杂积分的计算。
在概率论中，若事件序列 A_n 满足 A_n ⊆ A_{n+1}（单调递增事件列），则 P(lim A_n) = lim P(A_n)。这是概率测度连续性的重要体现，也是单调收敛定理在随机过程分析中的基础应用。
为了帮助读者更好地掌握单调收敛定理，我们选取两个具有代表性的例题进行详细拆解。
题目： 设 a_1 = a, a_2 = b (a,b > 0)，递推关系为 a_{n+2} = √(a_{n+1} a_n)。证明数列 {a_n} 收敛，并求极限。
解析：
题目： 用牛顿迭代法求 √2 的近似值，序列定义为 x_{n+1} = 1/2 (x_n + 2/x_n)，x_1 = 2。证明其收敛于 √2。
解析：
首先，由均值不等式可知 x_n ≥ √2 (n≥2)，故数列有下界。其次，计算 x_{n+1} - x_n = 1/2 (x_n + 2/x_n) - x_n = 1/2 (2/x_n - x_n) = (2 - x_n^2)/(2x_n)。因为 x_n ≥ √2，所以 x_n^2 ≥ 2，故 x_{n+1} - x_n ≤ 0。数列单调递减且有下界，由单调收敛定理知收敛。设极限为 L，解 L = 1/2(L + 2/L) 得 L = √2。
本文内容旨在学术探讨，不构成任何专业建议。
关键词：#单调收敛定理 #数学分析 #实数完备性 #柯西序列 #极限理论