求测度空间下$L^2(X\times Y)\cong L^2(X)\otimes L^2(Y)$同构的证明及参考资料

嘿，这个问题算是泛函分析里把测度论和希尔伯特空间张量积结合起来的经典结论了，我给你梳理下证明的核心思路，还有一些靠谱的参考方向：

一、先厘清几个关键前提 #

首先得明确这里的符号定义，避免混淆：

• 这里的$\otimes$指的是希尔伯特空间的完备化张量积（有时候会省略完备化的帽子$\hat{\otimes}$，直接写成$L^2(X)\otimes L^2(Y)$），不是单纯的代数张量积——代数张量积只是它的稠密子空间。
• $L^2(X\times Y)$是乘积测度空间$(X\times Y, \mu\times\nu)$上的平方可积函数空间，范数定义为：
  $$|F|{L^2(X\times Y)} = \left(\int{X\times Y} |F(x,y)|^2 d(\mu\times\nu)(x,y)\right)^{1/2}$$

二、核心同构的构造与验证 #

我们要构造的典范映射$\Phi$是从代数张量积$L^2(X)\odot L^2(Y)$（由所有$f\otimes g$形式的元素生成的线性空间）到$L^2(X\times Y)$的映射，定义为：
$$\Phi(f\otimes g)(x,y) = f(x)g(y)$$

接下来分三步验证这个映射能延拓成希尔伯特空间的同构：

1. $\Phi$是等距线性映射

   • 线性性一目了然：张量积的线性组合对应函数点乘的线性组合，直接按定义验证即可。
   • 等距性是关键，计算范数：
     $$|\Phi(f\otimes g)|{L^2(X\times Y)}^2 = \int_X\int_Y |f(x)g(y)|^2 d\nu(y)d\mu(x)$$
     用富比尼定理交换积分顺序（因为$f\in L^2(X),g\in L^{2(Y)$，所以$|f(x)g(y)|}2$在乘积测度下可积，满足富比尼条件），就能得到：
     $$\int_X |f(x)|^2 \left(\int_Y |g(y)|^2 d\nu(y)\right) d\mu(x) = |f|{L^2(X)}2 \cdot |g|_{L^2(Y)}2$$
     而这正好是希尔伯特空间张量积中$f\otimes g$的范数平方，所以$\Phi$是等距的。

2. $\Phi$的像在$L^2(X\times Y)$中稠密

   • 回忆$L^{p$空间的稠密性结论：乘积空间上的**简单函数**（形如$\sum_{i=1}}n a_i \chi_{A_i\times B_i}$，其中$A_i\subset X,B_i\subset Y$是可测集，$\chi$是特征函数）在$L^2(X\times Y)$中稠密。
   • 而每个这样的简单函数都可以写成$\Phi\left(\sum_{i=1}^n a_i \chi_{A_i}\otimes \chi_{B_i}\right)$，也就是$\Phi$把代数张量积里的元素映射到这些稠密的简单函数，所以$\Phi$的像在$L^2(X\times Y)$中是稠密的。

3. 延拓为满射等距映射（即酉同构）

   • 因为$\Phi$是从希尔伯特空间的稠密子空间（代数张量积）到另一个希尔伯特空间（$L^2(X\times Y)$）的等距线性映射，根据希尔伯特空间的完备化性质，我们可以把$\Phi$唯一延拓到整个完备化张量积$L^{2(X)\hat{\otimes}L}2(Y)$上。
   • 延拓后的映射依然是等距的，而且因为原像的稠密性，延拓后的映射是满射的。在希尔伯特空间中，满射的等距线性映射就是酉同构——这就是我们说的“同构”（作为希尔伯特空间的同构，保范数、保内积、双射）。

三、靠谱的参考资料 #

如果想要看更严谨的完整证明，可以参考这些经典教材：

• 《泛函分析》（Walter Rudin）：第12章专门讲了希尔伯特空间的张量积，其中就有这个结论的完整推导，细节很到位。
• 《希尔伯特空间问题集》（Paul Halmos）：里面有相关的问题和解答，用问题驱动的方式帮你理解这个结论的来龙去脉，适合巩固知识点。
• 《Measure Theory and Functional Analysis》（K.R. Parthasarathy）：这本书在测度论与泛函分析的结合部分讲得很深，对乘积测度和张量积的对应关系有非常详细的推导。

内容的提问来源于stack exchange，提问作者Tales Rick Perche