陶哲轩实分析-第18章 Lebesgue测度

18.1 目标：Lebesgue测度

这一章难理解，尤其是第234小节，15小节相对很容易理解

18.2 第一步：外测度

命题18.2.6中证明过程中有几个障碍
1.有个等式

$$B=A\times[a_n,b_n]$$ 刚开始不是很明白，后来明白了，因为题目中要证明的B是闭盒子。
2.对于每个 $x_n\in[a_n,b_n]$，n-1维盒子集合 $\{A^{(j)}:j\in J;x_n\in(a_n,b_n)\}$都覆盖A，反证法，假设某个A中 $(x_1,...,x_{n-1})\notin \{A^{(j)}\}$，那么 $(x_1,...,x_n)$必然不属于任何 $B^{(j)}$，那么 $B^{(j)}$不能覆盖B
这个不是很直观，在二维空间想下就理解了

习题
18.2.1
$(v)$空集0性
对于任意$\varepsilon>0$，$m^*(\phi):=\inf\{0\}\le \varepsilon$

正性
由于每个集合都可以取infimum，所以$m^*(\Omega)\le\infty$，而$\sum vol(B_j)$非负，所以$m^*(\Omega)\ge 0$

单调性
如果$(B_j)$覆盖B，那么必然覆盖A，所以$m^*(A)\le m^*(B)$

有限次加性
有个很直观的想法：证明有限次加性，只需要考虑2个相加的性质即可
考虑两个集合AB，需要证明$m^*(A\cup B)\le m^*(A)+m^*(B)$，如果A或B外测度为无穷大，那么不等式肯定是成立的，所以只需要考虑有限情况：$m^*(A)=a$，$m^*(B)=b$，那么对于任意$\varepsilon$，能找到开盒子$(A_j)$和$(B_j)$满足$\sum vol(A_j)\le m^*(A)+\varepsilon$，$\sum vol(B_j)\le m^*(B)+\varepsilon$，$(A_j)$和$(B_j)$如果没有交集，那么等号成立，否则不等号成立。

可数次加性
根据提示就很容易解决了，类似上面的有限次加性，只不过把上面的$\varepsilon$换成$2^{-j}\varepsilon$

平移不变性
开盒子平移体积不变

18.2.2
对于任意$\varepsilon$，取A的开盒覆盖$A^{(i)}$使得 ∑m∗(A