实变函数论5-积分论6-勒贝格积分的几何意义3：定理1（截面定理）

下面的重要定理给我们提供了一个由低维测度求高维测度的工具.

定理1（截面定理）

设 $E\subset {\mathbf{R}}^{p+q}$ 是可测集，则

1. 对于 ${\mathbf{R}}^p$ 中几乎所有的点 $x,E_x$ 是${\mathbf{R}}^q$ 中可测集；
2. $m{E}_x$ 作 为 $x$ 的函数，它是 ${\mathbf{R}}^p$ 上$a.e.$ 有 定义的可测函数；
3. $mE={\int }_{{\mathbf{R}}^p}m{E}_x\mathrm{d}x.$

证明
我们只对 $E$ 是有界集加以证明，因无界集总可以表示为可数个有界可测集的并.

从特殊到一般分五步来证明.

(1) $E$ 为区间（左开右闭）的情况.

设 $E=\Delta \times {\Delta }_1,$ 其中 $\Delta ,{\Delta }_1$分别是 ${\mathbf{R}}^p$ 及 ${\mathbf{R}}^q$ 中左开右闭区间，则

$$E_x=\{\begin{array}{ll}{\Delta }_1,& x\in \Delta ,\\ \varnothing ,& x\notin \Delta ,\end{array}$$

故 $E_x$ 为 ${\mathbf{R}}^q$ 中可测集，

又

$$m{E}_x=\{\begin{array}{cc}\left|{\Delta }_1\right|,& x\in \Delta ,\\ 0,& x\notin \Delta ,\end{array}$$

故 $m{E}_x$ 为 ${\mathbf{R}}^p$上简单函数.最后由区间体积的定义得

m E = ∣ Δ × Δ 1 ∣ = ∣ Δ ∣ ⋅ ∣ Δ 1 ∣ = ∫ R ′ m E x   d x . m E = \left| \Delta \times \Delta _ { 1 } \right| = | \Delta | \cdot \left| \Delta _ { 1 } \right| = \int _ { \mathrm { R } ^ { \prime } } m E _ { x } \mathrm { ~ d } x . mE=∣Δ×Δ1​∣=∣Δ∣⋅∣Δ1​∣=∫R