关于连续函数空间$(C^0([0,2]),||\cdot||_1)$中分段函数序列的柯西性与收敛性的证明问询

首先明确问题背景：
我们考虑序列$(f_n)_{n \in \mathbb{N}}$，其中每个$f_n: [0, 2] \rightarrow \mathbb{R}$是分段定义的连续函数：
$$f_n(x) =\begin{cases}
x^n, & \text{当 } 0 \leq x \leq 1 \
1, & \text{当 } 1 < x \leq 2
\end{cases}$$
需要证明两个结论：

1. 序列$(f_n)$在$(C^0([0,2]),||\cdot||_1)$中是柯西序列（其中$||f||_1 = \int_0^2 |f(x)|dx$）；
2. 这个序列在该空间中不收敛。

(a) 你的柯西序列证明是正确的，我帮你补充一点细节让它更严谨 #

你的核心思路完全没问题，我帮你把细节捋得更顺畅：
我们需要验证柯西序列的定义：$\forall \epsilon >0 \exists N \in \mathbb{N} : \forall m,n > N: ||f_n - f_m||_1 < \epsilon$。

你假设$n < m$是合理的（柯西条件对任意$m,n$都成立，不妨设大小关系简化计算）。这里有个小细节：你选的$N(\epsilon) = \frac{1}{\epsilon}$，更严谨的取法是$N = \lceil \frac{1}{\epsilon} \rceil$（即大于等于$1/\epsilon$的最小整数），这样当$n > N$时，$\frac{1}{n+1} < \frac{1}{N} \leq \epsilon$，逻辑闭环更完整。

接下来的积分拆分和化简都正确：

• 对于$x \in (1,2]$，$f_n(x)=f_m(x)=1$，这部分积分直接为0，可忽略；
• 在$[0,1]$上，因为$n < m$且$0 \leq x \leq1$，$x^n \geq x^m$，所以绝对值可以去掉，积分结果为$\frac{1}{n+1} - \frac{1}{m+1}$；
• 由于$\frac{1}{m+1} >0$，这个差值必然小于$\frac{1}{n+1}$，当$n > N$时就小于$\epsilon$，完美满足柯西条件。

所以你的(a)部分证明是完全正确的👍。

(b) 为什么序列不收敛？你的直觉误区在哪里？ #

先直接纠正你的误解：这个序列**既不一致收敛，也不在$(C^{0([0,2]),||\cdot||_1)$中收敛**。问题里的“不收敛”是指在给定的连续函数空间（装备$L}1$范数）中没有极限，核心原因是它的“极限”不是连续函数，而我们的空间只包含连续函数。

第一步：先看点态收敛的结果 #

先看序列在每个点$x$上的极限：

• 当$x \in [0,1)$时，$x^n \to 0$（因为$|x|<1$，指数趋于无穷时趋于0）；
• 当$x=1$时，$f_n(1)=1^n=1$；
• 当$x \in (1,2]$时，$f_n(x)=1$，极限还是1。

所以点态极限是一个不连续函数：
$$f(x) =\begin{cases}
0, & \text{当 } 0 \leq x < 1 \
1, & \text{当 } 1 \leq x \leq 2
\end{cases}$$
这个函数在$x=1$处左极限是0，右极限是1，不连续，因此不属于$C^0([0,2])$。

第二步：证明在$(C^0([0,2]),||\cdot||_1)$中不存在收敛点 #

假设存在某个连续函数$g \in C^0([0,2])$，使得$||f_n - g||_1 \to 0$（即$L^1$范数下收敛到$g$），我们来导出矛盾：

1. 对于任意小的$\delta >0$，考虑区间$[0,1-\delta]$：当$n$足够大时，$x^n \leq (1-\delta)^{n$，而$(1-\delta)}n \to 0$（因为$0<1-\delta<1$），所以$\int_0^{1-\delta} |f_n(x)-g(x)|dx \leq \int_0^{1-\delta} (x^n + |g(x)|)dx$，这部分当$n\to\infty$时趋于$\int_0^{1-\delta} |g(x)|dx$。
2. 再看区间$[1-\delta,1]$：当$n$足够大时，$x^{n$在这个区间上也很小（比如$x=1-\delta$时，$x}n$趋于0），所以$\int_{1-\delta}^1 |f_n(x)-g(x)|dx$近似于$\int_{1-\delta}^1 |g(x)|dx$。
3. 最后看区间$[1,2]$：$f_n(x)=1$，所以这部分积分是$\int_1^2 |1 - g(x)|dx$，和$n$无关。

因为$||f_n -g||_1 \to0$，所以当$n\to\infty$时，上述三部分的和必须趋于0。这意味着：

• $\int_0^{1-\delta} |g(x)|dx =0$对任意$\delta>0$成立，而$g$是连续函数，所以$g(x)=0$对所有$x \in [0,1)$成立；
• $\int_1^2 |1 -g(x)|dx=0$，同样因为$g$连续，所以$g(x)=1$对所有$x \in [1,2]$成立。

但$g$在$x=1$处必须连续，而$g(x)$在$x\to1^{-$时趋于0，$g(1)=1$，这就产生了矛盾！所以不存在这样的连续函数$g$，也就是说序列在$(C}0([0,2]),||\cdot||_1)$中没有极限，即不收敛。

关于你提到的一致收敛 #

你觉得“可以让$||f_n(x)-f(x)||$任意小”，这里混淆了范数：一致收敛的范数是$\sup_{x\in[0,2]}|f_n(x)-f(x)|$，而不是$L^1$范数。实际上，这个序列不一致收敛，因为对于任意$n$，取$x_n = (1/2)^{1/n}$，则$f_n(x_n)=1/2$，而点态极限$f(x_n)=0$，所以$|f_n(x_n)-f(x_n)|=1/2$，这个值不会趋于0，因此一致收敛不成立。

备注：内容来源于stack exchange，提问作者j.primus