测度论中复值可测函数积分绝对值不等式证明的技术问询

核心结论回顾 #

我们要证明的是复值可测函数的积分模不等式：

若$f: X \rightarrow \mathbb{C}$是可测函数，则
$$|\int f d\mu| \leq \int |f| d\mu$$

这个不等式是实值函数积分三角不等式的推广，也是测度论里的基础核心结论之一。

证明步骤拆解与推导依据 #

1. 构造单位复数$\lambda$的合理性 #

咱们先分情况讨论：

• 如果$\int f d\mu = 0$，那不等式$0 \leq \int |f| d\mu$显然成立——毕竟$|f|$是非负可测函数，积分结果不可能为负。
• 如果$\int f d\mu \neq 0$，设$I = \int f d\mu$，我们取$\lambda = \frac{\overline{I}}{|I|}$（$\overline{I}$是$I$的共轭复数）。这时候：
  • $|\lambda| = \frac{|\overline{I}|}{|I|} = 1$（共轭复数的模和原复数模相等）；
  • $\lambda I = \frac{\overline{I}}{|I|} \cdot I = \frac{|I|^2}{|I|} = |I|$，也就是刚好让$\lambda$和积分结果相乘后，得到积分的模$|\int f d\mu|$。

2. 积分线性性推导等式(1) #

接下来用复值积分的线性性质——不管是实积分还是复积分，常数都可以直接提到积分符号外面，所以：
$$|\int f d\mu| = \lambda \int f d\mu = \int \lambda f d\mu \tag{1}$$
这一步就是把常数$\lambda$移入积分，完全符合积分的线性算子特性。

3. 取实部转化为实值积分 #

令$g = \mathcal{Re}(\lambda f)$（$\mathcal{Re}(z)$表示复数$z$的实部），这里是整个证明的关键转化：

• 等式(1)左边$|\int f d\mu|$是非负实数，所以右边的$\int \lambda f d\mu$也必须是实数。
• 复值积分可以拆成实部加虚部的形式：$\int \lambda f d\mu = \int \mathcal{Re}(\lambda f)d\mu + i\int \mathcal{Im}(\lambda f)d\mu$（$\mathcal{Im}(z)$是复数$z$的虚部）。
• 既然这个积分是实数，那虚部必然为0，也就是$\int \mathcal{Im}(\lambda f)d\mu = 0$，自然$i\int \mathcal{Im}(\lambda f)d\mu = 0$。
• 这时候等式(1)就简化成了：
  $$|\int f d\mu| = \int \mathcal{Re}(\lambda f)d\mu = \int g d\mu$$

4. 利用实值函数积分不等式收尾 #

最后用实值函数的基本性质推导：

• 对任意复数$z$，$|\mathcal{Re}(z)| \leq |z|$（实部的绝对值永远不会超过复数本身的模）；
• 因为$|\lambda|=1$，所以$|\lambda f| = |\lambda| \cdot |f| = |f|$；
• 因此$|g| = |\mathcal{Re}(\lambda f)| \leq |\lambda f| = |f|$。

对于实值函数$g$，我们有$\int g d\mu \leq \int |g| d\mu$（实值积分的基本规则：函数值不超过自身绝对值，积分后不等式依然成立），结合上面的结论就能得到：
$$|\int f d\mu| = \int g d\mu \leq \int |g| d\mu \leq \int |f| d\mu$$

到这里就完整证明了原不等式。

关键逻辑串联总结 #

整个证明的核心思路是把复值积分的模问题转化为实值积分问题：通过构造单位复数$\lambda$，把复积分的结果“转成”实数，再利用实部的性质和实值积分的已有不等式，最终推导出复值积分的模不等式。每一步都严格依赖积分的线性性、复数的基本性质以及实值积分的成熟结论。

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