关于收敛序列算术平均收敛性的命题验证及证明正确性问询

首先明确你的核心问题：已知实值序列 $a_n: \mathbb{N} \to \mathbb{R}$ 收敛到 $L \in \mathbb{R}$，是否有
$$
\lim_{n \to \infty} a_n = L \implies \lim_{n \to \infty} \frac{1}{n} \sum_{k=0}^{n-1} a_k = L
$$
这个命题是成立的（它是著名的柯西第一定理，也叫序列算术平均收敛定理），不过你当前给出的证明存在关键漏洞，下面我们一步步拆解：

你的尝试证明 #

你从极限定义出发的思路框架是正确的，但在放缩步骤中犯了一个核心错误：

固定任意 $\varepsilon_2 > 0$。选择 $\varepsilon_1 = \varepsilon_2$ 并找到对应的 $N_1$，取 $N_2 \geq N_1$ 后，直接放缩所有项的 $|a_k - L| < \varepsilon_1$。

这里的问题在于：只有当 $k \geq N_1$ 时，才有 $|a_k - L| < \varepsilon_1$；而 $k < N_1$ 的前 $N_1$ 项是有限个固定的数，它们的 $|a_k - L|$ 不一定小于 $\varepsilon_1$，你不能直接把所有项都用 $\varepsilon_1$ 估计。

修正后的严谨证明 #

我们还是从极限定义出发，补全被忽略的有限项部分：

1. 先利用原序列的收敛性：对任意 $\varepsilon > 0$，存在 $N_1 \in \mathbb{N}$，当 $k \geq N_1$ 时，$|a_k - L| < \frac{\varepsilon}{2}$。
2. 处理前 $N_1$ 项的有限和：设 $C = \sum_{k=0}^{N_1-1} |a_k - L|$，$C$ 是一个固定的非负实数（有限个实数的和必然有限）。
3. 找满足算术平均极限定义的 $N_2$：
   对 $n \geq N_1$，我们拆分求和项：
   $$
   \left| \frac{1}{n} \sum_{k=0}^{n-1} a_k - L \right| = \left| \frac{1}{n} \sum_{k=0}^{n-1} (a_k - L) \right| \leq \frac{1}{n} \sum_{k=0}^{n-1} |a_k - L|
   $$
   把求和拆成前 $N_1$ 项和后续项两部分：
   $$
   = \frac{1}{n} \sum_{k=0}^{N_1-1} |a_k - L| + \frac{1}{n} \sum_{k=N_1}^{n-1} |a_k - L|
   $$
   • 对第一部分：取 $N_3 = \left\lfloor \frac{2C}{\varepsilon} \right\rfloor + 1$，当 $n \geq N_3$ 时，$\frac{C}{n} < \frac{\varepsilon}{2}$。
   • 对第二部分：因为 $k \geq N_1$，所以 $|a_k - L| < \frac{\varepsilon}{2}$，因此：
     $$
     \frac{1}{n} \sum_{k=N_1}^{n-1} |a_k - L| < \frac{1}{n} \cdot (n - N_1) \cdot \frac{\varepsilon}{2} < \frac{\varepsilon}{2}
     $$

最后取 $N_2 = \max(N_1, N_3)$，当 $n \geq N_2$ 时，两部分的和小于 $\frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$，完全符合极限的定义。

总结 #

你的证明方向是对的，但漏掉了对有限初始项的处理——这是算术平均收敛证明的核心细节，补上这部分后，整个逻辑就严谨自洽了。

备注：内容来源于stack exchange，提问作者Mahmoud