在第1节中，我们在假定满足勒贝格测度公理的集合函数 m m m存在的前提下找到了 m ( E ) m ( E ) m(E) 的 一个上界，即 E E E 的 外测度 m ∗ E . m ^ { * } E . m∗E.
外测度 m ∗ E m ^ { * } E m∗E 的一个优点是任何集合都有外测度，但是外测度只具有“次可数可加性”，不具有可数可加性.
事实上，在 R n \mathbf { R } ^ { n } Rn 中的确存在互不相交的一列集合 { E i } \left\{ E _ { i } \right\} { Ei} ( 例如用本章第4节中介绍的不可测集来构造)，使得
m ∗ ( ⋃ i = 1 ∞ E i ) < ∑ i = 1 ∞ m ∗ E i m ^ { * } \left( \bigcup _ { i = 1 } ^ { \infty } E _ { i } \right) < \sum _ { i = 1 } ^ { \infty } m ^ { * } E _ { i } m∗(i=1⋃∞Ei)<i=1∑∞m∗Ei
这意味着，如果把外测度当作测度看，使得任何集合都有测度，那是办不到的。
这就启发我们能否对外测度 m ∗ m ^ { * } m∗ 的 定义域加以限制，即设法在 R n \mathbf { R } ^ { n } Rn 中 找出某一集合类 M , \mathscr { M } , M, 在 M \mathscr { M } M上能够满足测度公理呢？
这就是本节要研究的问题。
这一限制条件便是下面要介绍的定义.
为了理解该定义的合理性，我们先对 M \mathscr { M } M 作一粗略的考察.
- 首先， M \mathscr { M } M 对某些集合运算应该封闭，例如对 M \mathscr { M } M中的集合作可数并（当然对有限并也成立，只要添加可数个空集)、作交及作差的运算后仍在 M \mathscr { M } M 中，而且对 M \mathscr { M } M中 一列互不相交的集合 { E i } , \left\{ E _ { i } \right\} , {
Ei}, 有
m ∗ ( ⋃ i = 1 ∞ E i ) = ∑ i = 1 ∞ m ∗ E i ( 1 ) m ^ { * } \left( \bigcup _ { i = 1 } ^ { \infty } E _ { i } \right) = \sum _ { i = 1 } ^ { \infty } m ^ { * } E _ { i } \quad\quad(1) m∗(i=1⋃∞Ei)=i=1∑∞m∗Ei(1) - 其次，由测度公理(3)，自然应该要求 M \mathscr { M } M 包含 R n \mathbf { R } ^ { n } Rn 中的所有有限开区间.又由于 R n \mathbf { R } ^ { n } Rn 是一列有限开区间的可列并，所以 M \mathscr { M } M 也应包括 R n . \mathbf { R } ^ { n } . R
最低0.47元/天 解锁文章
2470
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
