调和序列非柯西序列证明及柯西序列概念困惑咨询

我完全理解你刚开始接触柯西序列时的困惑——你把调和序列${a_n}$和${a_n=\frac{1}{n}}$搞混的情况太常见了，核心问题在于你可能把**“相邻项差趋于0”和“柯西序列的定义”**划了等号，但其实前者只是后者的必要条件，不是充分条件！

先帮你明确柯西序列的严格定义，这是解题的核心：

一个实数序列${x_n}$是柯西序列，当且仅当：对于任意给定的$\epsilon>0$，总能找到一个正整数$N$，使得只要$m,n > N$，就有$|x_m - x_n| < \epsilon$。

简单来说，柯西序列要求序列中足够靠后的任意两项的差都能小到任意程度，而不只是相邻两项的差趋于0。

回到调和序列的证明 #

我们的目标是证明调和序列$a_n = 1 + \frac{1}{2} + \dots + \frac{1}{n}$不满足柯西序列的定义，也就是找到一个固定的$\epsilon>0$，不管$N$取多大，总能找到$m,n > N$使得$|a_m - a_n| \geq \epsilon$。

通常我们取$\epsilon = \frac{1}{2}$，然后构造$m=2n$（也就是取一个是另一个两倍的下标），计算两者的差：
$$
a_{2n} - a_n = \frac{1}{n+1} + \frac{1}{n+2} + \dots + \frac{1}{2n}
$$
观察这个求和式里的每一项：$\frac{1}{n+k} \geq \frac{1}{2n}$（其中$k=1,2,\dots,n$），一共有$n$项，所以：
$$
a_{2n} - a_n \geq n \times \frac{1}{2n} = \frac{1}{2}
$$

这意味着什么？不管你取多大的$N$，只要让$n > N$，那么$m=2n$肯定也大于$N$，但此时$|a_m - a_n| = a_{2n} - a_n \geq \frac{1}{2}$，完全达不到柯西序列要求的“任意小”。所以${a_n}$不是柯西序列，而实数里柯西序列一定收敛，反过来收敛序列一定是柯西序列，所以调和序列不存在极限（也就是我们常说的调和级数发散）。

对比你混淆的${a_n=\frac{1}{n}}$序列 #

这个序列确实是柯西序列，因为对于任意$\epsilon>0$，我们可以取$N = \lceil \frac{1}{\epsilon} \rceil$，当$m,n > N$时：
$$
|a_m - a_n| = \left| \frac{1}{m} - \frac{1}{n} \right| < \frac{1}{N} < \epsilon
$$
它满足柯西序列的定义，同时极限为0，这和调和序列的本质区别在于：${a_n=\frac{1}{n}}$的“尾巴”可以无限缩小，而调和序列的“尾巴”始终能保持至少$\frac{1}{2}$的大小。

内容的提问来源于stack exchange，提问作者sara loo