选择 x 和 epsilon 的顺序如何区分逐点收敛和一致收敛？

适用条件

• 函数序列 $f_n$ 和极限函数 $f$ 在一个区域上有定义。
• 逐点收敛：$\forall x, \forall \epsilon>0, \exists N$ 使得 $n\ge N \implies |f(x)-f_n(x)|<\epsilon$。
• 一致收敛：$\forall \epsilon>0, \exists N$ 使得 $n\ge N \implies |f(x)-f_n(x)|<\epsilon$ 对区域内的所有 $x$ 成立。

理解与推导

1. 对于逐点收敛，先选择一个点 $x$。
2. 然后选择一个容差 $\epsilon>0$。
3. 找到一个针对该特定 $x$ 和 $\epsilon$ 满足条件的索引 $N$（N 可以依赖于 x）。
4. 对于一致收敛，先选择一个容差 $\epsilon>0$。
5. 找到一个对区域内所有 $x$ 同时满足条件的索引 $N$（N 不能依赖于 x）。

例子

演讲者明确指出顺序发生了变化。幻灯片现在以“首先选择 $ε > 0$”开始，然后问是否存在一个索引 N，使得每当 $n \ge N$ 时，不等式 |$f(x) - f_n(x)$| < ε 对“区域内的所有 x”都成立。出现了相同的代数不等式，但由于没有提前固定 x，量词结构是不同的。

容易误解的地方

• 认为因为两个定义都使用相同的不等式 $|f(x)-f_n(x)|<\epsilon$，所以它们的意思是一样的。
• 假设逐点收敛中的 $N$ 也必须独立于 $x$。

观看对应讲解

继续追问

• 为什么 zeta 函数级数在区间 (1, infinity) 上不一致收敛？
• 魏尔斯特拉斯 M-判别法如何帮助确立一致收敛？