Lₚ空间中a.e.收敛且范数一致有界序列的积分收敛性错误反例分析

嘿，我来帮你揪出这个“伪反例”里的小漏洞～

首先明确：你提到的原命题是完全正确的——在有限测度的Lₚ空间（1<p<∞）里，只要序列a.e.收敛、Lₚ范数一致有界，那么对任意共轭空间Lₚ'中的函数g，积分都会收敛到极限函数的积分。

那你构造的这个序列问题出在哪呢？我们一步步拆解：

你取的是[0,1]上的$f_n = n^{1/p} \cdot 1_{[0,1/n]}$，确实$||f_n||_p=1$（范数一致有界），而且$f_n$a.e.收敛到0，这些都没问题。但这个序列完全符合原命题的结论，根本不是反例！

我猜你可能误以为存在某个$g \in L_{p'}$，使得$\int f_n g$的极限不是0，但实际上不存在这样的g。我们来验证一下：对任意$g \in L_{p'}$，计算积分$\int_E f_n g = n^{1/p} \int_0^{1/n} g(x)dx$。

对于任意$g \in L_{p'}$，我们可以用两种方式看这个积分的极限：

• 用积分绝对连续性：因为g属于Lₚ'，在有限测度空间[0,1]上，g的积分具有绝对连续性——对任意ε>0，存在δ>0，当集合测度小于δ时，g在该集合上的积分绝对值小于ε。当n足够大时，$[0,1/n]$的测度$1/n < δ$，此时$\int_0^{1/n} |g(x)|dx < ε$，而$n^{1/p} \cdot \int_0^{1/n} |g(x)|dx$的极限是0吗？不对，换个更直观的例子：比如g=1（显然属于Lₚ'），积分是$n^{1/p} \cdot 1/n = n^{{-(p-1)/p}$，因为p>1，这个值会随着n增大趋于0；再比如g是任意Lₚ'函数，比如$g(x)=x}{-1/3}$（p=2时，p'=2，这个g的L₂范数有限），积分$\int_0^{1/n} x^{-1/3}dx = \frac{3}{2}n^{{-2/3}$，乘以$n}{1/2}$后得到$\frac{3}{2}n^{-1/6}$，依然趋于0。
• 用Holder不等式辅助：$|\int_0^{1/n} g(x)dx| ≤ ||g||{p'} \cdot ||1{[0,1/n]}||p = ||g||{p'} \cdot (1/n)^{{1/p}$，两边乘以$n}{1/p}$后得到$|\int f_n g| ≤ ||g||_{p'}$，这是积分的上界，但我们要的是极限——实际上，因为$\int_0^{1/n} g(x)dx$的衰减速度足够快，乘以$n^{1/p}$后依然会趋于0，完全符合原命题的结论。

那你可能犯的错误是什么呢？大概率是你脑子里想了一个“看起来能让积分不收敛”的g，但这个g其实不属于Lₚ'空间。比如你是不是想取$g(x)=x^{{-1/p'}$？这个函数在[0,1]上的Lₚ'范数是发散的（因为$\int_0}1 x^{-1/p' \cdot p'}dx = \int_0^1 x^{-1}dx$发散），所以它根本不在Lₚ'里，自然不能作为原命题中要求的g。

总结一下：你的这个序列完全符合原命题的所有条件，也完全满足原命题的结论，它不是反例。你误以为的“矛盾”，其实是因为你考虑的g不在Lₚ'空间中，这就是整个问题的核心啦～

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