怎样用统一尾部控制刻画一致收敛？¶

先备知识¶

需要实数完备性、数列 Cauchy 判据和上一单元的一致收敛量词。定义域 \(E\) 不要求 紧致，但所有上确界必须按扩展实数理解。

学习目标¶

1. 定义上确界误差并识别无穷值边界；
2. 证明一致收敛的 Cauchy 充要条件；
3. 对函数项级数写出任意有限尾段的统一判据；
4. 不依赖未知极限函数检查一致收敛。

牵引问题¶

数项级数可以用尾段判断收敛。若每个 \(x\) 都给出一个 Cauchy 数列，怎样保证所得 极限函数与原函数列之间仍有统一误差？

探索与猜想¶

逐点 Cauchy 只能逐点构造极限；关键是原来的尾部界必须对所有 \(x\) 使用同一个 \(N\)。构造极限后固定 \(n\)，让另一个指标趋向无穷，统一不等式便会保留下来。

概念与理论¶

上确界误差记号¶

定义

若右端有限，它度量 \(g\) 在整个 \(E\) 上的最大可能大小；若函数无界，上确界为无穷， 这个记号不能伪装成有限误差，也不能参与普通实数误差预算。

一致 Cauchy 判据¶

定理。 函数列 \((f_n)\) 在 \(E\) 上一致收敛，当且仅当

证明。 若 \(f_n\to f\) 一致，取两项与 \(f\) 的误差均小于 \(\varepsilon/2\)，三角不等式即得一致 Cauchy。

反之，固定 \(x\)，原条件说明 \((f_n(x))\) 是实数 Cauchy 数列。由实数完备性，它 收敛，逐点构造 \(f(x)=\lim_n f_n(x)\)。给定 \(\varepsilon>0\)，取统一的 \(N\) 使 \(m,n\ge N\) 时上述误差小于 \(\varepsilon\)。固定 \(n\ge N\)，令 \(m\to\infty\)， 得到对每个 \(x\)，\(|f_n(x)-f(x)|\le\varepsilon\)。先以更小阈值应用原条件即可得到 严格小于 \(\varepsilon\)，故一致收敛。证毕。

函数项级数的一致尾段¶

令 \(S_n(x)=\sum_{k=1}^n u_k(x)\)。由定理，\(\sum u_k(x)\) 一致收敛当且仅当： 对每个 \(\varepsilon>0\)，存在与 \(x\) 无关的 \(N\)，使所有 \(n>m\ge N\) 和 所有 \(x\in E\) 都满足

控制对象是任意有限尾段，不只是相邻两项或某条选定子序列。

例题与迁移¶

例 1：几何型统一尾部¶

若 \(|u_n(x)|\le2^{-n}\) 对所有 \(x\in E\) 成立，则任意有限尾段不超过 \(\sum_{k=m+1}^{n}2^{-k}<2^{-m}\)，故级数一致 Cauchy。

例 2：逐点 Cauchy 仍可能不统一¶

\(f_n(x)=x^n\) 在 \([0,1)\) 上逐点趋零，故每点都是 Cauchy；但 \(\sup_{x<1}|x^n-x^{2n}|=1/4\)，取 \(x^n=1/2\) 即可，因而不一致 Cauchy。

即时检验与回望¶

即时检验 1¶

一致 Cauchy 判据是否需要事先知道极限函数？

即时检验 2¶

若 \(\|g\|_{\infty,E}=\infty\)，能否声称误差“不超过一个很大的有限数”？

习题与答案¶

习题 1¶

由一致收敛证明一致 Cauchy 时为什么使用 \(\varepsilon/2\)？

习题 2¶

反向证明在哪一步使用实数完备性？

习题 3¶

为什么逐点构造极限后仍能得到统一 \(N\)？

习题 4¶

若 \(\|f_n-f\|_{\infty,E}\le1/n\)，结论是什么？

习题 5¶

只验证 \(\|f_{n+1}-f_n\|_\infty\to0\) 是否足够？

习题 6¶

若 \(|u_n(x)|\le3^{-n}\)，给出从 \(m+1\) 开始的统一尾界。

习题 7¶

函数项级数一致收敛是否推出每点数项级数收敛？

习题 8¶

上确界未取到是否妨碍用它定义统一误差？

习题 9¶

一致尾段判据中的 \(m,n,x\) 量词怎样排列？

常见误区与后续¶

• 逐点 Cauchy 只保证逐点极限，不保证一致收敛。
• \(\|\cdot\|_{\infty,E}\) 在本章只是误差记号，不发展一般空间理论。
• 下一单元把数项级数判别升级为统一尾部判别。