关于非Σ-有限测度下富比尼定理证明的疑问
嘿，我来帮你理清这个关于富比尼定理Σ-有限假设的疑问——你观察到的点很有意思，但这里其实有个容易忽略的关键细节：富比尼定理不仅仅是针对可测矩形的指示函数，而是要推广到所有非负可测函数，这才是Σ-有限假设真正起作用的地方。
首先得肯定你的观察：你说得没错，对于可测矩形$A \times B$，不管$\mu$和$\nu$是不是Σ-有限，$\pi(A \times B) = \mu(A)\nu(B) = \nu(B)\mu(A)$这个等式确实成立——毕竟实数乘法是交换的，哪怕其中一个测度取无穷大，$\infty \cdot c = c \cdot \infty$（只要$c$是非负的）也成立。
但问题出在如何把这个矩形的结论推广到所有非负可测函数。富比尼定理的核心是要证明，对于任意非负$\mathcal{E} \otimes \mathcal{F}$可测函数$f$，两个迭代积分相等，并且等于乘积测度下的积分。当测度不是Σ-有限的时候，这里会出现两个致命问题：
- 乘积测度的扩张不唯一：标准的乘积测度构造是先在可测矩形上定义$\pi(A \times B)=\mu(A)\nu(B)$，再用测度扩张定理把它扩张到$\mathcal{E} \otimes \mathcal{F}$上。但测度扩张定理只有在预测度是σ-有限的时候，才能保证扩张的唯一性；如果没有Σ-有限假设，可能存在多个不同的乘积测度，这就没法确定迭代积分对应的是哪一个。
- 迭代积分的等价性直接失效：哪怕我们强行定义一个乘积测度，也会出现两个迭代积分不相等的情况。举个经典反例：
- 设$E=F=[0,1]$，$\mu$是[0,1]上的Lebesgue测度（Σ-有限），$\nu$是[0,1]上的计数测度（显然不是Σ-有限，因为[0,1]不可数，每个单点集测度为1）。
- 定义函数$f(x,y)=1$当且仅当$x=y$，否则0。
- 计算第一个迭代积分：$\int_E \mu(dx)\int_F \nu(dy)f(x,y) = \int_0^1 \left(\sum_{y \in [0,1]} f(x,y)\right) dx = \int_0^1 1 dx = 1$。
- 计算第二个迭代积分：$\int_F \nu(dy)\int_E \mu(dx)f(x,y) = \sum_{y \in [0,1]} \left(\int_0^1 f(x,y) dx\right) = \sum_{y \in [0,1]} 0 = 0$。
这时候两个迭代积分完全不等，直接打破了富比尼定理的结论。
回到你看的证明：作者用Σ-有限把测度拆成有限测度的和，然后对每个有限测度对证明交换性，再用单调收敛定理交换求和顺序——这一步是关键。有限测度下，我们可以用单调类定理或者其他方法，安全地把矩形的结论推广到所有可测函数；而Σ-有限保证了我们可以把一般测度分解成有限测度的和，再通过非负项级数的交换性（这个是没问题的），得到整体的积分交换性。
你提到的等式(2)，对于非Σ-有限测度来说，虽然在矩形上$\pi \circ h^{-1}$和$\hat{\pi}$相等，但如果测度不是Σ-有限，这两个测度在整个$\mathcal{F} \otimes \mathcal{E}$上可能不是同一个测度，而且对于一般的可测函数，$\pi(f)$和$\hat{\pi}(\hat{f})$也不一定相等——就像上面的反例那样。
总结一下：
- 可测矩形的情况确实不需要Σ-有限，乘法交换律就够了；
- 但要推广到所有非负可测函数，Σ-有限是必要的，否则会出现迭代积分不等的反例；
- 证明里的Σ-有限假设是为了把一般情况拆成有限测度的情况，而有限测度下我们能安全地把矩形的结论推广到所有可测函数，再通过级数交换得到整体结果。
备注：内容来源于stack exchange，提问作者Fran712
