已知实值函数L^p空间定义，咨询复值函数的对应定义及细节

好问题！其实复值函数的$L^p$空间是实值情况的自然推广，核心定义和实值版有呼应，但也需要明确模和实部虚部的关系，我给你详细说清楚：

标准定义 #

对于定义在$\mathbb{R}^N$上的复值函数$f: \mathbb{R}^N \to \mathbb{C}$（可以拆成实部和虚部：$f(x) = u(x) + iv(x)$，其中$u,v$都是实值函数），它的$L^p$空间定义把实值函数的“绝对值”换成了复数的模：

• 当$p \in [1, \infty)$时，$f \in L^p(\mathbb{R}N)$当且仅当：
  $$\int_{\mathbb{R}^N} |f(x)|^p dx < \infty$$
  这里的$|f(x)|$是复数$f(x)$的模，也就是$\sqrt{u(x)^2 + v(x)^2}$。
• 当$0 < p < 1$时，定义形式完全相同——依然要求模的$p$次幂积分有限，只不过这时候$L^p$不再是巴拿赫空间，而是准巴拿赫空间，但定义核心没变。

模与实部虚部绝对值的区别与联系 #

你关心的“取模”和“取实部虚部的绝对值”这两种方式，在$p \geq 1$时是等价的（能定义出同一个空间），但标准定义依然优先采用模的形式，原因可以通过不等式推导来理解：

1. 若$f \in L^{p$，则实部$u$和虚部$v$必属于实值$L}p$：
   对任意复数$z = a + ib$，都有$|a| \leq |z|$、$|b| \leq |z|$，两边取$p$次幂后积分可得：
   $$\int |u|^p dx + \int |v|^p dx \leq 2 \int |f|^p dx$$
   既然右边积分有限，左边两个积分自然也有限，所以$u,v \in L^p(\mathbb{R}N)$。

2. 若$u,v \in L^p(\mathbb{R}N)$，则$f$必属于复值$L^p$：
   根据复数的三角不等式$|z| = |a + ib| \leq |a| + |b|$，当$p \geq 1$时，由凸性不等式可得$(|a| + |b|)^p \leq 2^{p-1}(|a|p + |b|^p)$，积分后就有：
   $$\int |f|^p dx \leq 2^{p-1} \left( \int |u|^p dx + \int |v|^p dx \right)$$
   左边积分被右边有限的量控制，因此$f \in L^p(\mathbb{R}N)$。

对于$0 < p < 1$的情况，等价关系依然成立：此时$(|a| + |b|)^p \leq |a|^p + |b|^p$，推导更直接，同样能得到$f \in L^{p$当且仅当$u,v$都属于实值$L}p$。

总结一下：复值$L^{p$的标准定义用**模的$p$次幂积分收敛**，但它和“实部虚部分别属于实值$L}p$”是等价条件，两种描述可以互换，但定义本身还是以模为核心。

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