实变函数论5-积分论6-勒贝格积分的几何意义9：富比尼定理【数学分析中重积分化累次积分的推广】

推论1

设 $f(x)$ 为 $E\subset {\mathbf{R}}^n$ 上的可积函数，则

$${\int }_{E}f(x)\mathrm{d}x=mG\left(E,f^{+}\right)-mG\left(E,f^{-}\right).$$

推论2

可测函数 $f(x)$ 在 $E\subset {\mathbf{R}}^n$上可积分的充要条件是 $mG\left(E,f^{\ast }\right)$ 与$mG\left(E,f^{-}\right)$都是有限的，

---

由上面的两个定理立即可以导出富比尼定理，它说明了高维积分与低维积分之间的联系，也就是数学分析中重积分化累次积分的推广.

定理4（富比尼定理）

(1)
设 $f(P)=f(x,y)$ 在$A\times B\subset {\mathbf{R}}^{p+q}(A,B$ 分别为${\mathbf{R}}^p$ 与 ${\mathbf{R}}^q$ 中之可测集)上非负可测，则对 $a.e.$ 的 $x\in A,f(x,y)$ 作为 $y$的函数在 $B$ 上可测，且

$${\int }_{A\times B}f(P)\mathrm{d}P={\int }_A\mathrm{d}x{\int }_{B}f(x,y)\mathrm{d}y.(1)$$

(2)
设 $f(P)=f(x,y)$ 在 A × B ⊂ R p + q A \times B \subset \mathbf { R } ^ { p + q } A×B⊂R