有限极限与无穷级数的交换顺序问题咨询

嗨，这个问题问到点子上了——不少刚接触实分析的朋友都会对这个交换顺序的合理性产生疑惑，我来给你掰扯清楚：

答案是：这个交换不是必然成立的，必须借助控制收敛定理、单调收敛定理这类工具来提供额外的合理性证明。

你提到“我们是在取有限极限”，这里要注意：虽然$\varepsilon \to 0$是有限的极限过程，但无穷级数是无限项求和，有限运算和无限运算的交换可不是无条件成立的，我们可以用一个简单的反例来直观说明：

定义函数：
$$
f(n,\varepsilon) =
\begin{cases}
\varepsilon & \text{当 } n \leq \frac{1}{\varepsilon}, \
0 & \text{当 } n > \frac{1}{\varepsilon}
\end{cases}
$$

先计算左边的极限：
$$
\lim_{\varepsilon\to 0}\sum_{n=0}^\infty f(n,\varepsilon) = \lim_{\varepsilon\to 0} \left( \frac{1}{\varepsilon} \cdot \varepsilon \right) = 1
$$

再计算右边的级数：
$$
\sum_{n=0}^\infty \lim_{\varepsilon\to 0} f(n,\varepsilon) = \sum_{n=0}^\infty 0 = 0
$$

显然两者结果不相等，这就直接证明了没有额外条件时，交换顺序是不成立的。

那什么时候可以交换呢？其实无穷级数可以看作是自然数集上的计数测度积分，所以这个问题本质上就是极限与积分的交换顺序问题，对应的两个核心定理就是：

• 单调收敛定理：如果对每个固定的$\varepsilon$，序列${f(x,n,\varepsilon)}{n=0}^{\infty$是单调非减（或非增）的，并且极限函数的级数$\sum_{n=0}}\infty \lim{\varepsilon\to0}f(x,n,\varepsilon)$收敛，那么交换顺序成立。
• 控制收敛定理：如果存在一个非负函数$g(n)$，使得$\sum_{n=0}^\infty g(n) < \infty$，并且对所有的$\varepsilon$和$n$，都有$|f(x,n,\varepsilon)| \leq g(n)$，那么交换顺序成立。

简单来说，要么保证序列的单调性，要么找到一个能“管住”所有$f(x,n,\varepsilon)$的可积控制函数，才能放心地交换极限和无穷级数的顺序。

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