Folland实分析习题5.61：L²函数乘积的L¹可积性求证

嘿，我来帮你理清这个问题。首先直接回答你的核心问题：仅当$f \in L^2(\mu)$且$g \in L^2(\nu)$时，无法保证$fg \in L^1(\mu \times \nu)$——我们可以构造反例验证这一点，后面我会具体说明。不过先从正确的推导和条件限制入手。

一、什么时候$fg \in L^1(\mu \times \nu)$？ #

对于$\sigma$-有限测度空间$(X,\mathcal{M},\mu)$和$(Y,\mathcal{N},\nu)$，函数$(fg)(x,y)=f(x)g(y)$属于$L^1(\mu \times \nu)$的关键是累次积分有限。根据Tonelli定理（非负可测函数+σ有限测度，可交换积分顺序），我们有：
$$
\int_{X \times Y} |f(x)g(y)| , d(\mu \times \nu) = \left( \int_X |f(x)| , d\mu(x) \right) \left( \int_Y |g(y)| , d\nu(y) \right)
$$
这意味着：

• 如果$f \in L^1(\mu)$且$g \in L^1(\nu)$，那么显然$fg \in L^1(\mu \times \nu)$，因为两个有限数的乘积还是有限的。
• 但如果仅知道$f \in L^2(\mu)$和$g \in L^2(\nu)$，上面的累次积分可能发散。比如取$X=Y=\mathbb{N}$，测度为计数测度，令$f(n)=g(n)=\frac{1}{n}$：
  • $f$和$g$都属于$L^{2(\mathbb{N})$，因为$\sum_{n=1}}\infty \frac{1}{n^2} < \infty$；
  • 但$\int_{\mathbb{N} \times \mathbb{N}} |f(n)g(m)| , d(\mu \times \nu) = \sum_{n=1}^\infty \sum_{m=1}^\infty \frac{1}{nm} = \left( \sum_{n=1}^\infty \frac{1}{n} \right)^2$，这个级数是发散的，所以$fg \notin L^1(\mu \times \nu)$。

二、回到习题5.61的语境 #

你提到的习题是关于乘积$L^2$空间的标准正交基，这里的核心是$u_i \otimes v_j \in L^2(\mu \times \nu)$，而非$L^1$。我们可以验证这一点：
$$
\int_{X \times Y} |u_i(x)v_j(y)|^2 , d(\mu \times \nu) = \left( \int_X |u_i(x)|^2 , d\mu(x) \right) \left( \int_Y |v_j(y)|^2 , d\nu(y) \right) = 1 \times 1 = 1
$$
因为${u_i}$和${v_j}$是标准正交基，所以每个$u_i$的$L^{2$范数为1，$v_j$同理，因此张量积函数在$L}2(\mu \times \nu)$中是范数为1的元素，完全符合标准正交基的要求。

至于你没写完的“为何我们仅……”，我猜测可能是想问“为何仅要求σ有限测度”？这是因为Tonelli/Fubini定理的应用依赖σ有限性——只有在σ有限的前提下，我们才能安全地交换累次积分的顺序，从而验证张量积函数的$L^2$范数，以及后续证明正交性和完备性。

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