极限可交换是否蕴含函数的一致收敛？

你说得没错，极限可交换并不一定能推出函数列的一致收敛——一致收敛只是极限可交换的充分条件，而非必要条件。我给你举个直观的经典反例，帮你把这个逻辑理清楚：

考虑定义在区间 $[0,1)$ 上的函数列 $f_n(x) = x^n$：

• 逐点极限：对任意固定的 $x \in [0,1)$，当 $n \to \infty$ 时，$x^n$ 会趋近于 0，所以逐点极限函数是 $f(x) = 0$。
• 极限可交换验证：取任意一点 $x_0 \in [0,1)$，我们来验证两种极限顺序的结果：
  $\lim_{x \to x_0} \lim_{n \to \infty} f_n(x) = \lim_{x \to x_0} 0 = 0$，
  $\lim_{n \to \infty} \lim_{x \to x_0} f_n(x) = \lim_{n \to \infty} x_0^n = 0$，
  显然两者完全相等，满足你说的“极限可交换”的条件。
• 但不一致收敛：关键来了，对每个 $n$，我们看函数列和极限函数的最大差距：$\sup_{x \in [0,1)} |f_n(x) - f(x)| = \sup_{x \in [0,1)} x^n = 1$（因为当x无限接近1时，$x^n$会无限接近1）。当 $n \to \infty$ 时，这个上确界始终保持为1，并不趋近于0，所以这个函数列在 $[0,1)$ 上不是一致收敛的。

这个例子就直接说明了：即使极限可以交换，函数列也不一定满足一致收敛的要求。

备注：内容来源于stack exchange，提问作者Newton