逐点收敛为什么不足以控制整体行为？¶
先备知识¶
需要函数、数列极限和上确界。定义域 \(E\) 在整个讨论中固定，函数 \(f_n:E\to\mathbb R\) 具有共同定义域。
学习目标¶
- 定义函数列与函数项级数的逐点收敛；
- 比较逐点与一致收敛的量词次序；
- 用上确界误差检验一致收敛；
- 识别边界层为何逃过每个固定点，却破坏整体控制。
牵引问题¶
若对每个固定 \(x\)，总能等到 \(f_n(x)\) 靠近 \(f(x)\)，是否存在同一个 \(N\) 让定义域上所有点同时靠近？“每点迟早稳定”和“全体同时稳定”差在哪里？
探索与猜想¶
逐点观察时，最难控制的位置可随 \(n\) 移动。若这些坏点不断靠近边界，每个固定点 最终都避开它们，但每个 \(n\) 仍存在一个坏点。一致收敛正是禁止这种逃逸。
概念与理论¶
逐点收敛¶
\((f_n)\) 在 \(E\) 上逐点收敛到 \(f\)，是指
截断位置可以依赖于 \(x\)。若函数项级数 \(\sum u_n(x)\) 的部分和函数 \(S_N(x)=\sum_{n=1}^Nu_n(x)\) 逐点收敛到 \(S(x)\)，就称它逐点收敛。
一致收敛¶
\((f_n)\) 在 \(E\) 上一致收敛到 \(f\)，是指
这里 \(N\) 与 x 无关。显然一致收敛推出逐点收敛，反向一般不成立。
量词对照¶
| 类型 | 量词次序 | 截断位置 |
|---|---|---|
| 逐点 | \(\forall x\,\forall\varepsilon\,\exists N\) | 可依赖于 \(x\) |
| 一致 | \(\forall\varepsilon\,\exists N\,\forall x\) | 与 \(x\) 无关 |
若 \(\sup_{x\in E}|f_n(x)-f(x)|\) 是有限实数，则一致收敛等价于上确界误差趋于零。 这是一条判断准则，不是只在有限网格上取最大值。
例题与迁移¶
例 1：\(x^n\) 的边界层¶
在 \([0,1]\) 上令 \(f_n(x)=x^n\)。固定 \(x<1\) 时 \(x^n\to0\)，而 \(f_n(1)=1\)， 故逐点极限为
但对 \(x<1\)，\(|f_n(x)-f(x)|=x^n\) 的上确界为 \(1\)，所以不一致收敛。
例 2：缩放后的统一误差¶
在任意 \(E\) 上，若 \(|g(x)|\le M\)，令 \(f_n(x)=g(x)/n\)。则
故 \(f_n\) 一致收敛到零。
即时检验与回望¶
即时检验 1¶
一致收敛定义中的 \(N\) 可以依赖于什么？
答案
可以依赖 \(\varepsilon\)，不能依赖 \(x\)。
即时检验 2¶
\(x^n\) 在 \([0,r]\)、\(0<r<1\) 上是否一致收敛到零？
答案
是；上确界误差为 \(r^n\to0\)。
习题与答案¶
习题 1¶
写出逐点收敛的完整量词。
答案
\(\forall x\in E,\forall\varepsilon>0,\exists N(x,\varepsilon),\forall n\ge N\)，误差小于 \(\varepsilon\)。
习题 2¶
写出一致收敛的完整量词。
答案
\(\forall\varepsilon>0,\exists N(\varepsilon),\forall n\ge N,\forall x\in E\)，误差小于 \(\varepsilon\)。
习题 3¶
证明一致收敛推出逐点收敛。
答案
固定任意 \(x\)，直接使用一致定义给出的同一个 \(N\)。
习题 4¶
判断 \(f_n(x)=x/n\) 在 \([0,2]\) 上的收敛类型。
答案
上确界误差为 \(2/n\to0\)，故一致收敛到零。
习题 5¶
判断 \(x^n\) 在 \([0,1)\) 上是否一致趋零。
答案
否；虽然每点趋零，但每个 \(n\) 的上确界仍为 \(1\)。
习题 6¶
有限网格最大误差趋零能否证明一致收敛？
答案
一般不能；坏点可能位于网格之间并随 \(n\) 移动。
习题 7¶
若 \(E\) 是有限集，逐点收敛是否推出一致收敛？
答案
是；对有限多个点的截断位置取最大值即可。
习题 8¶
函数项级数的一致收敛应对什么函数列应用定义？
答案
对部分和函数列 \(S_N(x)=\sum_{n=1}^N u_n(x)\)。
常见误区与后续¶
- “对每个点都很快”若没有统一 \(N\)，仍不等于一致收敛。
- 上确界可以不取到；不能把它偷偷换成最大值。
- 下一单元用统一尾部在不知道极限函数时刻画一致收敛。