定义2
设 E E E 是 R p + q \mathbf { R } ^ { p + q } Rp+q 中 一点集, x 0 x _ { 0 } x0 是 R p \mathbf { R } ^ { p } Rp 中 一固定点,则 R q \mathbf { R } ^ { q } Rq 中的点集
{ 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 E E 关 于 x 0 x _ { 0 } x0 的截面(图5.1),记为 E x 0 ② E _ { x _ { 0 } }^{②} Ex0②
当然也可定义 E E E 关于 y 0 ∈ R q y _ { 0 } \in \mathbf { R } ^ { q } y0∈Rq 的截面 { 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
容易验证,直积与截面具有下列简单性质:
- 如果 A 1 ⊂ A 2 , A _ { 1 } \subset A _ { 2 } , A1⊂A2, 则 A 1 × B ⊂ A 2 × B ; A _ { 1 } \times B \subset A _ { 2 } \times B ; A1×B⊂A2×B;
- 如果 A 1 ∩ A 2 = ∅ , A _ { 1 } \cap A _ { 2 } = \varnothing , A1∩A2=∅, 则 ( A 1 × B ) ∩ ( A 2 × B ) = ∅ ; \left( A _ { 1 } \times B \right) \cap \left( A _ { 2 } \times B \right) = \varnothing ; (A1×B)∩(A2×B)=∅;
- ( ⋃ i A i ) × B = ⋃ i ( A i × B ) , \left( \bigcup _ { i } A _ { i } \right) \times B = \bigcup _ { i } \left( A _ { i } \times B \right) , (⋃iA