聊聊实变函数里一个让人头疼的难题：为什么用控制收敛定理总是会出错。其实，周民强写的那本《实变函数论》里有个思考题，把很多学生都给卡住了。题目虽然不长，却藏着“控制收敛”和“依测度收敛”两大陷阱，一不留神证明就可能走进死胡同。 先把题目放出来给大家看： 设函数列 在一个有界闭区间上收敛于 ，且对于每个 ， 都不超过某个 和 . 题目就问如果这个条件满足，能不能推出更强的结果。周民强这本书的封面大概是这样的，习题册是同个版本。 第一次看到这个题的时候，我就发现标准答案的第一行让人心里发毛：它试图用一个 和 有关的函数来作为控制函数。这显然和极限定义的本意不符。可当时大多数人没注意到：这只是表面现象，真正的麻烦还在后面。 控制收敛定理的关键是要找到一个跟 无关的上界函数。可在这个题里，区间已经固定成有界闭区间了，看起来挺好控制，实则很难下手。我们连证明每个 都是一致有界都做不到，顶多只能依赖那个比较弱的结论：可积意味着几乎处处有界。 但是“几乎处处有界”并不等于“挖去零测集后还能保持有界”。前者才是真正的本性有界。所以标准答案的第一步就注定要翻车了。 一个经典的反例最能说明问题：一个Lebesgue可积的函数在任意给定的区间上都可以取得任意大的值。这意味着不管区间有多小，都找不到一个不依赖于区间的“大M”来控制它。 依测度收敛的控制收敛定理其实只是把常规定理中“几乎处处”换成了“依测度”。这两者之间没有必然的包含关系。如果 ， 只能在依测度下成立；反过来也是一样。无条件推出 和 ，但这两者互不蕴含。只有当 时，这两者才能互相推导。 给后来者三个忠告吧：看到“控制”的时候，先问问自己这个控制函数是不是跟 有关；遇到“几乎处处”的时候，最好先画一张测度图，看看能不能把“坏点”用零测集给挖掉；千万别把“可积意味着几乎处处有界”当成万能盾牌——本性有界才是真正的保护伞。 总结一下：这道题把实变函数里最容易混淆的几个概念都摆在了台面上。虽然标准解答第一步就走错了路，但它成功提醒了后人：任何看似合理的变量控制都要回到定义里去检验真伪。 下次再遇到类似的证明问题，不妨先画个图找找反例，最后再确认一下等价条件——这套老办法虽然不新鲜，却能救命。