18.1 目标:Lebesgue测度
这一章难理解,尤其是第234小节,15小节相对很容易理解
18.2 第一步:外测度
命题18.2.6中证明过程中有几个障碍
1.有个等式
B=A×[an,bn]
刚开始不是很明白,后来明白了,因为题目中要证明的B是闭盒子。
2.对于每个 xn∈[an,bn] ,n-1维盒子集合 { A(j):j∈J;xn∈(an,bn)} 都覆盖A,反证法,假设某个A中 (x1,...,xn−1)∉{ A(j)} ,那么 (x1,...,xn) 必然不属于任何 B(j) ,那么 B(j) 不能覆盖B
这个不是很直观,在二维空间想下就理解了
习题
18.2.1
(v) 空集0性
对于任意 ε>0 , m∗(ϕ):=inf{
0}≤ε
正性
由于每个集合都可以取infimum,所以 m∗(Ω)≤∞ ,而 ∑vol(Bj) 非负,所以 m∗(Ω)≥0
单调性
如果 (Bj) 覆盖B,那么必然覆盖A,所以 m∗(A)≤m∗(B)
有限次加性
有个很直观的想法:证明有限次加性,只需要考虑2个相加的性质即可
考虑两个集合AB,需要证明 m∗(A∪B)≤m∗(A)+m∗(B) ,如果A或B外测度为无穷大,那么不等式肯定是成立的,所以只需要考虑有限情况: m∗(A)=a , m∗(B)=b ,那么对于任意 ε ,能找到开盒子 (Aj) 和 (Bj) 满足 ∑vol(Aj)≤m∗(A)+ε , ∑vol(Bj)≤m∗(B)+ε , (Aj) 和 (Bj) 如果没有交集,那么等号成立,否则不等号成立。
可数次加性
根据提示就很容易解决了,类似上面的有限次加性,只不过把上面的 ε 换成 2−jε
平移不变性
开盒子平移体积不变
18.2.2
对于任意 ε ,取A的开盒覆盖 A(i) 使得 ∑m∗(A