单调有界定理只是数列收敛的充分条件. 下面给出在实数系中数列收敛的充分必要条件.
定理 2.11(柯西 (Cauchy) 收敛准则)
数列 { a n } \left\{a_{n} \}\right. { an}收敛的充要条件是: 对任给的 ε > 0 \varepsilon>0 ε>0, 存在正整数 N N N, 使得当 n , m > N n, m>N n,m>N 时, 有
∣ a n − a m ∣ < ε . \left|a_{n}-a_{m}\right|<\varepsilon . ∣an−am∣<ε.
这个定理从理论上完全解决了数列极限的存在性问题.
证
必要性
设 lim n → ∞ a n = A \lim \limits_{n \rightarrow \infty} a_{n}=A n→∞liman=A. 由数列极限定义, 对任给的 ε > 0 \varepsilon>0 ε>0, 存在 N > 0 N>0 N>0, 当 m , n > N m, n>N m,n>N时, 有
∣ a m − A ∣ < ε 2 , ∣ a n − A ∣ < ε 2 , \left|a_{m}-A\right|<\cfrac{\varepsilon}{2},\left|a_{n}-A\right|<\cfrac{\varepsilon}{2}, ∣am−A∣<2ε,∣an−A∣<2ε,
因而 ∣ a m − a n ∣ ⩽ ∣ a m − A ∣ + ∣ a n − A ∣ < ε 2 + ε 2 = ε \left|a_{m}-a_{n}\right| \leqslant\left|a_{m}-A\right|+\left|a_{n}-A\right|<\cfrac{\varepsilon}{2}+\cfrac{\varepsilon}{2}=\varepsilon ∣am−an∣⩽∣am−A∣+∣an−A∣<2ε+2ε=ε.
充分性
先证明该数列必定有界. 取 ε 0 = 1 \varepsilon_{0}=1 ε0=1, 因为 { a n } \left\{a_{n}\right\} {
an} 满足柯西条件, 所以 ∃ N 0 \exists N_{0} ∃N0, ∀ n > N 0 \forall n>N_{0} ∀n>N0, 有