如何证明$g_n$在$[0,1]$上一致收敛于$g$？求解题指导

云原生阿岚

2026-5-19

证明$g_n$在$[0,1]$上一致收敛于$g$的完整步骤

你刚才写的拆分式里应该是笔误吧？把$f$写成$f_n$了～其实不用这种拆分思路，换个角度用紧集上连续函数的一致连续性会更顺畅，我给你一步步拆解：

第一步：利用收敛数列的有界性
因为${x_n}$收敛到$x$，根据收敛数列的性质，必然存在一个正数$M$，使得所有的$x_n$以及极限$x$都落在区间$[-M, M]$里。
第二步：确定紧集并应用一致连续性
构造集合$K = [-M, M] × [0,1]$，这是$\mathbb{R}^2$中的紧集（有界闭集）。题目里说$f$是连续函数，而紧集上的连续函数必然是一致连续的。
一致连续的定义是：对任意给定的$\varepsilon > 0$，总能找到一个$\delta > 0$，只要$K$内的两个点$(x_1,y_1)$和$(x_2,y_2)$满足$|x_1 - x_2| < \delta$（因为$y$的范围是$[0,1]$，欧氏距离的条件可以简化成x坐标的差小于$\delta$），就有$|f(x_1,y_1) - f(x_2,y_2)| < \varepsilon$。
第三步：结合数列收敛的定义
因为${x_n}$收敛到$x$，对于上面找到的$\delta > 0$，存在正整数$N$，当$n > N$时，$|x_n - x| < \delta$。
第四步：验证一致收敛的条件
此时，对所有$y \in [0,1]$，当$n > N$时，$(x_n,y)$和$(x,y)$都属于紧集$K$，且$|x_n - x| < \delta$，根据一致连续性的结论，直接得到：
$$|g_n(y) - g(y)| = |f(x_n,y) - f(x,y)| < \varepsilon$$
这里的关键是：$N$的选取只和$\varepsilon$有关，和$y$没有关系，完全符合一致收敛的定义。