实变函数论5-积分论6-勒贝格积分的几何意义2：截面

定义2

设 $E$ 是 ${\mathbf{R}}^{p+q}$ 中 一点集， $x_0$ 是${\mathbf{R}}^p$ 中 一固定点，则 ${\mathbf{R}}^q$ 中的点集

{ y ∈ R q : ( x 0 , y ) ∈ E } \left\{ y \in \mathbf { R } ^ { q } : \left( x _ { 0 } , y \right) \in E \right\} { y∈Rq:(x0​,y)∈E}

称为 $E$ 关 于 $x_0$ 的截面（图5.1），记为 $E_{x_0}^{②}$

当然也可定义 $E$ 关于 $y_0\in {\mathbf{R}}^q$ 的截面 { x ∈ R p : ( x , y 0 ) ∈ E } = E y 0 \left\{ x \in \mathbf { R } ^ { p } : \left( x , y _ { 0 } \right) \in E \right\} = E _ { y _ { 0 } } { x∈Rp:(x,y0​)∈E}=Ey0​​

容易验证，直积与截面具有下列简单性质：

1. 如果 $A_1\subset A_2,$ 则$A_1\times B\subset A_2\times B;$
2. 如果 $A_1\cap A_2=\varnothing ,$ 则$\left(A_1\times B\right)\cap \left(A_2\times B\right)=\varnothing ;$
3. ( ⋃ i A i ) × B = ⋃ i ( A i × B ) , \left( \bigcup _ { i } A _ { i } \right) \times B = \bigcup _ { i } \left( A _ { i } \times B \right) , (⋃i​A