逐点收敛非一致收敛函数列示例及相关构造问题咨询

嘿，你给出的这个$f_n(x)$绝对是逐点收敛但非一致收敛的典型例子，还顺带体现了逐点收敛不保证积分收敛到极限积分的特性，咱们一步步拆解分析：

1. 为什么是逐点收敛到0？ #

• 对任意固定的实数$x$，只要$n$足够大，$x$一定会落在区间$(n-2, n+2)$之外——毕竟这个区间是跟着$n$不断向右平移的，当$n > x + 2$时，$x$就不在这个区间里了，此时$f_n(x)=0$。
• 换句话说，对每个固定的$x$，当$n$趋向无穷时，$f_n(x)$最终会稳定在0，完全符合逐点收敛的定义。

2. 为什么不是一致收敛？ #

不一致收敛的核心痛点是：找不到一个统一的$N$，让所有$x$都满足「当$n>N$时，$|f_n(x)-0| < \epsilon$」（不管$\epsilon$取多小）。

• 举个具体的例子：取$\epsilon=1$，不管$n$多大，我们总能找到$x=n$，此时$f_n(n)=|n-2|$，当$n>3$时这个值就大于1了，根本满足不了$|f_n(x)-0| < 1$的要求。
• 简单说就是那个“凸起”的部分永远存在，只是随着$n$增大往右跑，但它的高度并没有降低，所以永远没法用一个统一的$N$覆盖所有$x$的收敛需求。

3. 为什么积分不收敛于极限积分？ #

• 你说得没错，所有$f_n(x)$的积分值都是相同的常数（把$f_n(x)$的积分区间平移后，本质上是计算同一个V形函数的面积，和$n$无关）。
• 但极限函数$f(x)=0$的积分是0，显然两者不相等。这也正好说明：逐点收敛并不一定能保证积分和极限可以交换顺序——除非满足额外条件（比如勒贝格控制收敛定理的要求）。

关于(b)部分的构造思路 #

虽然你没明确(b)部分的具体问题，但这类问题通常是要构造满足特定收敛性质的函数列，这里给几个常见的方向：

• 如果要构造逐点收敛到0，但积分趋向无穷大的例子：可以定义$f_n(x)$在区间$(n, n+1)$上取值为$n$，其余点取0。每个固定$x$最终会被移出区间，逐点收敛到0，但积分值是$n \times 1 = n$，会趋向无穷。
• 如果要构造逐点收敛到0、积分收敛到0，但仍不一致收敛的例子：可以用$f_n(x) = \sqrt{n} \cdot \chi_{(0, 1/n)}(x)$（$\chi$是区间特征函数）。逐点收敛到0，积分值是$\sqrt{n} \times \frac{1}{n} = \frac{1}{\sqrt{n}}$，会趋向0，但不一致收敛——比如取$\epsilon = \frac{1}{\sqrt{2}}$，不管$n$多大，取$x = \frac{1}{2n}$时，$f_n(x) = \sqrt{n} > \frac{1}{\sqrt{2}}$，始终不满足收敛要求。
• 如果要构造一致收敛但积分不收敛于极限积分的例子（仅限无穷区间）：可以定义$f_n(x) = \frac{1}{n}$当$x \in [0, n]$，其余点取0。这个函数列一致收敛到0，但每个$f_n(x)$的积分都是1，永远不等于极限函数的积分0。

内容的提问来源于stack exchange，提问作者Ecotistician