证明阶梯函数及指定分段函数在紧集上一致收敛的技术咨询

嘿，这俩都是分析里关于一致收敛的经典问题，我来一步步拆解证明过程：

1. 阶梯函数在所有紧集上一致收敛的证明 #

这里我们讨论的是基于连续函数分段采样构造的阶梯函数序列（思路和第二个问题的构造一致），核心依赖的关键定理是：紧集上的连续函数必一致连续，这是整个证明的突破口。

证明过程：

• 任取一个紧集$K \subset \mathbb{R}^+$（或对应函数的定义域），因为$f$在$K$上连续，根据紧集上连续函数的性质，$f$在$K$上是一致连续的。也就是说，对任意给定的$\epsilon > 0$，总能找到一个$\delta > 0$，只要$K$里的两个点$x, y$距离小于$\delta$，就有$|f(x) - f(y)| < \epsilon$。
• 阶梯函数序列${f_n}$的构造是把定义域分成长度为$1/n$（或其他趋于0的长度）的区间，每个区间上取左端点（或右端点）的函数值作为常数。当$n$足够大时，区间长度$1/n$会小于我们找到的$\delta$。
• 这时候，对$K$里的任意一点$t$，它必然落在${f_n}$的某个区间里，比如$[(k-1)/n, k/n]$，此时$t$和区间左端点$(k-1)/n$的距离最多是$1/n < \delta$。根据一致连续性，$|f(t) - f_n(t)| = |f(t) - f((k-1)/n)| < \epsilon$。
• 这个不等式对$K$里所有点都成立，而且$n$的选取只和$\epsilon$以及$K$有关（对固定的$K$是统一的），所以${f_n}$在$K$上一致收敛到$f$。

2. 给定阶梯函数序列的一致收敛证明 #

现在看具体的例子：已知$f: \mathbb{R}^+ \to \mathbb{R}$是连续且有界的函数，定义阶梯函数：
$$f_n(t) = f(0) \mathbf{1}{t=0} + \sum{k=1}^{n2} f\left(\frac{k-1}{n}\right) \mathbf{1}_{\frac{k-1}{n} < t \le \frac{k}{n}}$$
要证这个序列在$\mathbb{R}^+$的所有紧集上一致收敛到$f$。

证明过程：

• 先取任意一个紧集$K \subset \mathbb{R}^{+$，因为$\mathbb{R}}+$里的紧集都是有界闭集，所以存在一个正数$M$，使得$K \subset [0, M]$。
• $f$在闭区间$[0, M]$上连续，所以同样满足紧集上的一致连续性：对任意$\epsilon > 0$，存在$\delta > 0$，只要$|x - y| < \delta$，就有$|f(x) - f(y)| < \epsilon$。
• 接下来找足够大的$n$：
  • 要让区间长度$1/n < \delta$，只需要$n > 1/\delta$；
  • 还要保证$[0, M]$完全被$f_n$的区间覆盖：$f_n$的最后一个区间右端点是$n^2/n = n$，所以当$n > M$时，$[0, M]$里的所有点都落在$f_n$的前$nM$个区间里（而$nM < n^2$当$n > M$时显然成立）。
• 现在验证对所有$t \in K$的情况：
  • 如果$t=0$，那$f_n(0)=f(0)$，差值为0，肯定小于$\epsilon$；
  • 如果$t \in (0, M]$，那$t$必然落在某个$((k-1)/n, k/n]$里，其中$k \leq nM \leq n^2$。此时$|t - (k-1)/n| \leq 1/n < \delta$，根据一致连续性，$|f(t) - f_n(t)| = |f(t) - f((k-1)/n)| < \epsilon$。
• 只要取$n > \max(M, 1/\delta)$，这个不等式就对所有$t \in K$成立，说明${f_n}$在$K$上一致收敛到$f$。

内容的提问来源于stack exchange，提问作者W. Volante