关于Folland实分析中$f_n=\chi_{(n,n+1)}$是否一致收敛的困惑求助

嗨，我来帮你理清这个困惑～首先得纠正一个核心关键点：Folland的书里应该是把这个序列作为逐点收敛但不一致收敛的例子，而不是一致收敛的例子——你大概率是记错或者看错了书里的描述哦！

咱们拆解一下两种收敛的区别：

1. 逐点收敛到0函数是成立的：对于任意固定的$x\in\mathbb{R}$，只要取$n_0 > x$，当$n>n_0$时，$x$肯定不在$(n,n+1)$这个区间里，所以$f_n(x)=0$，这和你的直觉一致——每个固定的点最终都会被“覆盖”到0值。
2. 但它绝对不是一致收敛的：你自己用定义推导的过程完全正确！再明确一遍一致收敛的核心要求：
   $$\forall \epsilon>0, \exists n_0 \in \mathbb{N}\text{ s.t. } \forall x \in \mathbb{R}, n>n_0 \implies |f_n(x)|< \epsilon.$$
   取$\epsilon=0.5$，不管你选多大的$n_0$，只要取$n=n_0+1$，再选$x=n_0+0.5$（这个$x$显然落在$(n_0+1, n_0+2)$里），那$f_n(x)=1$，显然$|f_n(x)|=1>0.5$，直接违反了一致收敛的定义。

你的误区其实是把“逐点收敛”的直觉套到了“一致收敛”上：逐点收敛是每个点各自找到对应的$n_0$，而一致收敛要求存在一个通用的$n_0$，对所有点都生效，这个序列永远做不到这一点——因为每个$n$对应的区间都在向右平移，永远有一个区间里的函数值是1，没法让所有点的函数值同时小于任何小于1的$\epsilon$。

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