Professional Documents
Culture Documents
华东师范大学 统计学院 jqwei@stat.ecnu.edu.cn
华东师范大学 统计学院 jqwei@stat.ecnu.edu.cn
6 可测映射
危佳钦
华东师范大学 统计学院
jqwei@stat.ecnu.edu.cn
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
定义 1
设 Ω 是给定的非空集合, F 是由 Ω 的部分子集组成的集合类, 若
F 满足:
(1) Ω ∈ F ;
(2) A ∈ F 蕴含 A ∈ F ;
∪∞
(3) 对任意的 n ≥ 1, An ∈ F 蕴含 n=1 An ∈ F ,
则称 F 为集合 Ω 上的 σ-代数, 简称为σ-代数.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
例2
设 Ω = {1, 2, 3}, 则集类 {Ω, ∅, {1}, {2, 3}} ∈ D(Ω).
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
C ∩ A = {B ∩ A : B ∈ C}.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
{ }
C = Πdi=1 (ai , bi ] ⊂ Ω : −∞ ≤ ai < bi ≤ ∞ ,
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
C1 = {(a, b) : −∞ ≤ a ≤ b ≤ ∞},
C2 = {[a, b) : −∞ < a ≤ b ≤ ∞},
C3 = {[a, b] : −∞ ≤ a ≤ b ≤ ∞},
C4 = {(−∞, b) : b ∈ R}.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
定义 4
设 f 是集合 Ω1 到 Ω2 上的映射, 对任意的 B ⊂ Ω2 , 定义
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
∞ ∞
(∞ )
∪ ∪ ∪
−1 −1
Bi = f (Ai ) = f Ai ∈ f−1 (A),
i=1 i=1 i=1
既然 A ∈ D(Ω2 ). □
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
例5
(Rd , B(Rd )) 为可测空间.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
故由可测性的定义知, g ◦ f ∈ F1 /F3 . □
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .