本文深入探讨了测度的延拓概念，从环R上的测度开始，通过引入外测度μ∗，阐述了其非负性、单调性、可列不等式等性质。通过Caratheodory条件，确定了μ∗-可测集形成的σ-环R∗，并证明了μ∗是R∗上的测度，且在特定条件下具有完全性。整个过程揭示了测度理论中的重要步骤和性质。
测度的延拓
任何一个给定环 R \bm{R} R上的测度 μ \mu μ必可延拓到某个 σ \sigma σ- 环 R ∗ ⊂ S ( R ) \bm{R}^{*}\subset\bm{S(R)} R∗⊂S(R)上，成为 R ∗ \bm{R}^{*} R∗上的测度。
外测度 设 X X X是基本空间， R \bm{R} R是 X X X的环，下面先引进一个包含 R \bm{R} R上的 σ \sigma σ- 环： H ( R ) \bm{H(R)} H(R)表示能用 R \bm{R} R中的一列元素（即 X X X中某些子集的序列）加以覆盖的子集全体所称的类，即
H ( R ) = { E ∣ E ⊂ X , \bm{H(R)}=\{E\mid E\subset X, H(R)={
E∣E⊂X,存在 E i ∈ R ( i = 1 , 2 , . . . ) 使 E ⊂ ⋃ i = 1 n E i } E_{i}\in\bm{R} (i=1,2,...)使E\subset \bigcup_{i=1}^{n}E_{i}\} Ei∈R(i=1,2,...)使E⊂⋃i=1nEi}
引理 1 对任何环 R \bm{R} R,必定 R ⊂ H ( R ) \bm{R}\subset \bm{H(R)} R⊂H(R)；当 E ∈ H ( R ) E\in \bm{H(R)} E∈H(R)时， E E E的任何子集F必定也属于 H ( R ) \bm{H(R)} H(R); H ( R ) \bm{H(R)} H(R)必定是 σ \sigma σ- 环。（提示：只需要证明 H ( R ) \bm{H(R)} H(R)对可列和的封闭性。）
引理 2 由环 R \bm{R} R上的测度 μ \mu μ所引出的外测度 μ ∗ \mu^{*} μ∗有下列性质：
（i）
最低0.47元/天 解锁文章
扫一扫
1821
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
