业余爱好者学习温故数学知识，做个记录。
单调有界定理
若数列 x n x_n xn单调，则数列 x n x_n xn收敛的充分必要条件是数列 x n x_n xn有界。
证明
不妨设 x n x_n xn单调递增，因为递减的情况和递增证明类似。
对于充分性，即已知数列 x n x_n xn单调递增且收敛，求证其有界。可以简单的证明若数列收敛，则其必定是有界的。
对于必要性，即已知数列 x n x_n xn单调递增且有上界，求证其收敛。
证明: 数列 x n x_n xn单调递增且有上界，则必定有上确界 s u b { x n } sub\{x_n\} sub{xn}，设上确界为 a a a。
根据上确界的定义，对于 ∀ ϵ > 0 \forall \epsilon > 0 ∀ϵ>0，一定存在 N > 0 N > 0 N>0，使得 a − ϵ < x N a - \epsilon < x_N a−ϵ<xN；
同时 x n x_n xn是单调递增的，因此对于 n > N n > N n>N， 有 x N ≤ x n x_N \leq x_n xN≤xn；
同时 a a a又是 x n x_n xn的上确界，因此有 x n ≤ a < a + ϵ x_n \leq a < a + \epsilon xn≤a<a+ϵ。
综合以上式子可以发现，对于 ∀ ϵ > 0 \forall \epsilon > 0 ∀ϵ>0，一定存在 N > 0 N > 0 N>0，使得
a − ϵ < x N ≤ x n ≤ a < a + ϵ a - \epsilon < x_N \leq x_n \leq a < a + \epsilon a−ϵ<xN≤xn≤a<a+ϵ
即
a
−
ϵ
<
x
n
<
a
+
ϵ
a - \epsilon < x_n < a + \epsilon
a−ϵ<xn<a+ϵ
这正是收敛的定义。即 x n x_n xn收敛到 a a a。
证毕。
2296
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
