为何X中的任意函数均一致连续？求解思路咨询

数据老陈

2026-5-19

证明集合X中任意函数一致连续的求解指导

首先明确集合X的定义：
$$X = {f\in C(\mathbb{R}) \mid \exists \hspace{2pt} r>0, \text{当}|x|\geq r\text{时}, f(x)=0}$$

你需要证明任意$f\in X$均一致连续，别担心，我们可以从集合X中函数的核心特性入手，结合一致连续的定义来推导：

第一步：拆解集合X中函数的本质

X中的函数都是紧支集的连续函数——简单来说，每个$f\in X$都存在一个闭区间$[-r, r]$（$r>0$），当x超出这个区间时，函数值直接为0，而在整个实数轴上$f$是连续的。

函数$f$在$\mathbb{R}$上一致连续的定义是：

对任意$\epsilon>0$，存在$\delta>0$，使得对所有$x_1, x_2\in\mathbb{R}$，只要$|x_1 - x_2|<\delta$，就有$|f(x_1)-f(x_2)|<\epsilon$。

我们可以分情况讨论：

情况1：$x_1, x_2$都在紧集$[-r-1, r+1]$内
因为$f$在$\mathbb{R}$上连续，自然在闭区间$[-r-1, r+1]$（紧集）上连续。根据经典定理：连续函数在紧集上必然一致连续，所以对于给定的$\epsilon>0$，存在$\delta_1>0$，当$x_1, x_2\in[-r-1, r+1]$且$|x_1 - x_2|<\delta_1$时，$|f(x_1)-f(x_2)|<\epsilon$。
情况2：$x_1, x_2$都在$[-r, r]$之外
此时$f(x_1)=0$，$f(x_2)=0$，显然$|f(x_1)-f(x_2)|=0<\epsilon$，不管$x_1, x_2$距离多近都满足条件。
情况3：一个点在$[-r, r]$内，另一个点在区间外
假设$|x_1|\leq r$，$|x_2|>r$，如果$|x_1 - x_2|<\delta$（我们取$\delta = \min(\delta_1, 1)$），那么$|x_2|\leq |x_1| + |x_1 - x_2| < r + \delta \leq r+1$，这说明$x_2$其实落在$[-r-1, r+1]$内，又回到了情况1的范畴，同样满足$|f(x_1)-f(x_2)|<\epsilon$。

取$\delta = \min(\delta_1, 1)$，就能满足一致连续定义的所有要求，因此任意$f\in X$都在$\mathbb{R}$上一致连续。

另外，你给出的两个积分提示，其实是光滑化（卷积逼近）的常用工具——如果想用另一种方法，也可以构造$f$与高斯核的卷积序列，证明这个序列一致收敛到$f$，而光滑函数（卷积后的结果）是一致连续的，进而推出$f$一致连续。不过上面的方法更直接，利用紧支集的特性就能快速推导。

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