关于Axler《测度、积分与实分析》中可测函数极限结论的两个基础问题

嘿，别纠结这些“基础”问题啦——刚开始啃测度论里的极限相关结论时，卡壳太正常了！我来给你把这两个疑问拆解得明明白白：

问题1：为什么极限定义能推出存在$m \in \mathbb{Z}^+$，使得对所有$k \geq m$，$f_k(x) > a + \frac{1}{j}$？ #

首先得结合上下文：这里是针对满足$f(x) > a$的某个固定$x$，以及给定的正整数$j$来讨论的。

回忆点态极限的定义：如果$\lim_{k \to \infty} f_k(x) = f(x)$，那么对任意的$\varepsilon > 0$，都存在正整数$m$，当$k \geq m$时，$|f_k(x) - f(x)| < \varepsilon$。

现在，因为$f(x) > a$，给定$j$后，$a + \frac{1}{j}$肯定小于$f(x)$，那我们取$\varepsilon = f(x) - (a + \frac{1}{j})$——这个$\varepsilon$是正数对吧？

把绝对值不等式展开：
$$f(x) - \varepsilon < f_k(x) < f(x) + \varepsilon$$
左边代入$\varepsilon$的表达式，就得到：
$$f(x) - \left(f(x) - a - \frac{1}{j}\right) = a + \frac{1}{j} < f_k(x)$$
所以只要$k \geq m$，$f_k(x)$就严格大于$a + \frac{1}{j}$。这就是这个推论的来源，核心就是把极限定义里的$\varepsilon$选成$f(x)$和$a+\frac{1}{j}$的差值，刚好能凑出我们要的不等式。

问题2：为什么取极限后是$f(x) \geq a + \frac{1}{j}$，而不是$f(x) > a + \frac{1}{j}$？ #

这是极限保序性的一个关键点：如果一个序列的每一项都严格大于某个常数$c$，它的极限只能保证大于等于$c$，没法保证严格大于$c$。

举个简单例子：假设$f_k(x) = a + \frac{1}{j} + \frac{1}{k}$，每个$f_k(x)$都严格大于$a + \frac{1}{j}$，但当$k \to \infty$时，$\lim_{k \to \infty} f_k(x) = a + \frac{1}{j}$——极限刚好等于这个常数，并没有严格大于。

回到原问题：如果我们知道对所有$k \geq m$，$f_k(x) > a + \frac{1}{j}$，根据极限的保序性，只能推出$\lim_{k \to \infty} f_k(x) \geq a + \frac{1}{j}$，也就是$f(x) \geq a + \frac{1}{j}$。没法得到严格大于，因为存在序列从上方趋近于$a+\frac{1}{j}$的情况，极限会等于这个值。

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