关于L^p空间上积分算子可测性证明中Fubini定理应用的疑问
问题背景
我正在尝试理解Alberto Torchinsky的《Real and Functional Analysis》第七章第79题的解法。题目如下：
设$(X,\mathcal{M}, \mu)$和$(Y,\mathcal{N},\nu)$是$\sigma$-有限测度空间，$k$是$X\times Y$上的$\mathcal{M}\otimes\mathcal{N}$-可测函数，满足：
- $\int_{X}|k(x,y)|d\mu(x)\leq A$ 对$\nu$-几乎处处的$y\in Y$成立
- $\int_{Y}|k(x,y)|d\nu(y)\leq B$ 对$\mu$-几乎处处的$x\in X$成立
其中$A,B<\infty$。定义积分算子$Tf(x)=\int_{Y}k(x,y)f(y)d\nu(y)$，证明当$1<p<\infty$时，$T$在$L^p(Y)$上有定义，且若$q$是$p$的共轭指数，则$|Tf|_p\leq A{1/p}B{1/q}|f|_p$。
书中的解法（节选）
取$f\in L^p(Y)$和$g\in L^q(X)$且$|g|_q\leq 1$。
由于$(x,y)\mapsto |k(x,y)||f(y)|^p$是$X\times Y$上的可测函数，令$I:=\left(\int_{X\times Y}|k(x,y)||f(y)|pd(\mu\otimes\nu)(x,y)\right){1/p}$。应用Tonelli定理可得$I\leq A^{1/p}|f|_p$。
类似地，令$J:=\left(\int_{X\times Y}|k(x,y)||g(x)|qd(\mu\otimes\nu)(x,y)\right){1/q}\leq B^{1/q}|g|_q\leq B^{1/q}$。
由Holder不等式可得：
$$\int_{X\times Y}|k(x,y)||f(y)||g(x)|d(\mu\otimes\nu)(x,y)\leq IJ\leq A{1/p}B{1/q}|f|_p<\infty$$
因此由Fubini定理，$\int_{Y}k(x,y)f(y)g(x)d\nu(y)$对$\mu$-几乎处处的$x\in X$存在，且定义了$X$上的一个可测且可积的函数。由于$g$是任意的，$Tf(x)=\int_{Y}k(x,y)f(y)d\nu(y)$在$X$上几乎处处可测且有限。
我的疑问
我能理解Holder不等式和Fubini定理的应用，但对上面加粗的结论感到困惑：我们引入$g$只是为了用Holder不等式得到有限性从而应用Fubini定理，为什么能通过$g$的任意性就推出$Tf(x)$的可测性和几乎处处有限呢？
解答
别担心，这个逻辑其实是利用了对偶空间的性质和可测性的判别准则，我来一步步拆解：
首先，我们已经证明了对于任意的$g\in L^q(X)$，积分$\int_X \left( \int_Y |k(x,y)f(y)|d\nu(y) \right)|g(x)|d\mu(x) \leq \int_{X\times Y}|k(x,y)||f(y)||g(x)|d(\mu\otimes\nu) < \infty$。这意味着函数$x\mapsto \int_Y |k(x,y)f(y)|d\nu(y)$是$\mu$-可积函数的绝对连续泛函的“代表元”——因为它和任何$L^q$函数的乘积都可积。
关于可测性：如果对于所有有界可测函数$g$（而$L^q$包含了所有有界可测函数，因为$q<\infty$），积分$\int_X h(x)g(x)d\mu(x)$都存在且有限，那么$h(x)$一定是$\mu$-可测的。这里我们的$h(x)$就是$\int_Y k(x,y)f(y)d\nu(y)$（先考虑绝对值的情况，再推广到复值/实值）。
关于几乎处处有限：假设存在一个正测度集合$E\subset X$，使得对于$x\in E$，$\int_Y |k(x,y)f(y)|d\nu(y)=\infty$。那我们取$g$为$E$的特征函数$\chi_E$，它属于$L^q(X)$（因为$\mu(E)<\infty$，$\sigma$-有限性保证了这一点）。此时$\int_X \left( \int_Y |k(x,y)f(y)|d\nu(y) \right)g(x)d\mu(x) = \int_E \infty d\mu(x) = \infty$，这和我们之前得到的这个积分有限的结论矛盾。所以这样的$E$必须是零测集，即$Tf(x)$几乎处处有限。
最后，为什么$g$可以“消失”？因为我们不是用某个特定的$g$来证明$Tf$的性质，而是用**所有可能的$g$**来反向推导$Tf$本身的性质——相当于通过$Tf$和$L^q$中所有元素的配对行为，来推断$Tf$自己的可测性和有限性。
简单来说，$g$是一个“测试函数”：我们用所有测试函数去“探测”$Tf$，发现它和任何测试函数的配对都是良好的（可积），那$Tf$自己必须是良好定义的（可测、几乎处处有限）。
备注：内容来源于stack exchange，提问作者AG123
