测度空间中$L^1 \subseteq L^2$是否成立？相关推导验证

首先直接给结论：不是所有测度空间都满足$L^1 \subseteq L^2$，这取决于测度空间的具体性质。而且你给出的推导里有个关键错误，我先帮你指出来，再一步步分析正确的条件。

先纠正推导中的错误 #

你提到“假设$X \in L^1$，由此可推出$\mathrm{ess},\sup |X| < \infty$（即$X \in L^\infty$）”，这个结论是不成立的。举个经典反例：
在勒贝格测度空间$((0,1), \mathcal{B}(0,1), m)$中，定义函数$f(x) = \frac{1}{\sqrt{x}}$。计算积分：
$$
\int_0^1 |f(x)| dx = \int_0^1 \frac{1}{\sqrt{x}} dx = 2 < \infty
$$
所以$f \in L^1$，但显然$f(x)$在$x \to 0^+$时趋向于$\infty$，它的本性上确界$\mathrm{ess},\sup |f| = \infty$，也就是说$f \notin L^\infty$。这直接推翻了你推导的第一步，后续基于$X \in L^\infty$的Hölder不等式应用也就不成立了。

什么时候$L^1 \subseteq L^2$成立？ #

我们需要找到测度空间满足：所有绝对可积的函数都是平方可积的。这里给出两种典型的情况：

1. 有限集上的计数测度空间

比如$\Omega = {x_1, x_2, ..., x_n}$，$\Sigma$是$\Omega$的所有子集，$\mu$是计数测度（即$\mu({x_i})=1$）。此时$L^1$和$L2$本质上都是$\mathbb{R}^{n$（或$\mathbb{C}}n$），所有有限维向量空间的$L^{p$空间都是等价的，自然有$L}1 \subseteq L^2$。

2. 无“任意小正测度集”的有限测度空间

假设测度空间满足$\mu(\Omega) < \infty$，且存在一个常数$\delta > 0$，使得对所有可测集$A \in \Sigma$，要么$\mu(A)=0$，要么$\mu(A) \geq \delta$。这种情况下，任何$L^1$函数$X$都必然是本性有界的：
假设$\mathrm{ess},\sup |X| = \infty$，则对任意$n \in \mathbb{N}$，存在可测集$A_n$使得$\mu(A_n) > 0$且$|X(x)| \geq n$对所有$x \in A_n$。根据条件，$\mu(A_n) \geq \delta$，那么：
$$
\int |X| d\mu \geq \sum_{n=1}^\infty n \mu(A_n) \geq \delta \sum_{n=1}^\infty n = \infty
$$
这与$X \in L^1$矛盾，所以$X \in L^\infty$。此时再用Hölder不等式：
$$
|X|_2^2 = \int |X|^2 d\mu \leq |X|1 \cdot |X|\infty < \infty
$$
所以$X \in L^2$，即$L1 \subseteq L^2$。

总结 #

• 一般测度空间（比如$(0,1)$上的勒贝格测度）不满足$L^1 \subseteq L^2$；
• 当测度空间具有特殊性质（如有限集计数测度、无任意小正测度的有限测度空间）时，$L^1 \subseteq L^2$成立；
• 你最初的推导错误在于错误地认为$L^1$函数必然本性有界，这只在特定测度空间下成立。

内容的提问来源于stack exchange，提问作者dEmigOd