陶哲轩实分析-第18章 Lebesgue积分

19.1 简单函数

习题
19.1
对于任意x，如果$f(x)=c_i$，$g(x)=d_j$，那么$f(x)+g(x)=c_i+d_j$，所有的$c_i+d+j$是有限的，所以f+g是简单函数。而$cf$的像集为$cc_i$，有限。

19.2
令$E_i=\{x:f(x)=c_i\}$，根据函数的定义，$E_i$互不相交，那么对于任意x，$f(x)=\sum_{i=1}^Nc_i\chi_i$

19.3
先证明单调增
$f_{n}(x):=\sup\{\frac {2j}{2^{n+1}}:j\in Z,\frac {2j}{2^{n+1}}\le \min(2^n,f(x))\}$
$f_{n+1}(x):=\sup\{\frac {j}{2^{n+1}}:j\in Z,\frac {j}{2^{n+1}}\le \min(2^{n+1},f(x))\}$

如果$f_n(x)$取值成功为j，那么2j必然满足$f_{n+1}(x)$，j+1不满足$f_n(x)$，但是有可能满足$f_{n+1}(x)$，单调性证明完成。
证明逐点收敛性
对于任意固定的x，$f(x)$为固定值，而$f(x)-f_n(x)<2^{-n}$（如提示所示，$f_n(x)$为不超过f(x)的$2^{-n}$整数倍），n增大以后趋于相等，证明完成

19.2 非负可测函数的积分

习题
19.2.1
(a)->
反证法，如果存在某个测度大于0（不妨设为a）的集合M满足$f(x)>0,x\in M$，那么$f(x)>\varepsilon$，那么$\int f>a\varepsilon$，根据命题19.1.10(d)
<-
不会做
(b)
s低于f，则cs低于cf
$\int cf=\sup\{\int s:s低于cf\}=\sup\{\int s:s/c低于f\}=\sup\{\int cs:s低于f\}$，然后得出结论，最后一个等式考虑t=s/c可以得出。
(c)
如果s低于f，那么s必然低于g，证明完成
(d)
定义函数h=f-g，那么h几乎处处为0，根据(a)
(e)
考虑函数g(x)=f(x)，如果$x\in\Omega'$，否则g(x)=0，那么显然低于g的函数必然低于g，所以不等号成立。

19.2.2
如果s下方控制f，t下方控制g，那么s+t必然下方控制f+g，证明完成

19.2.3
根据提示和定理19.2.9立即得出

19.2.4
等号左边等于1，右边等于0
不满足推论19.2.11中的”非负”可测函数

19.2.5
反证法，假设有某个测度为正（假设为a）的集合函数值无限，那么$\int _\Omega f$为无限。

19.2.6
反证法，假设有某个测度为正（假设为a）的集合属于$\Omega_k$，那么$\sum m(\Omega_k)\le a\times \infty$，与和为有限矛盾。

19.2.7
感觉像数论的题，不会

19.2.8
不会

19.2.9
好复杂

19.2.10
不会

19.2.11
不会

19.3 绝对可积函数的积分

习题
19.3.1
第一个不等式根据19.3.2定义与三角不等式，第二个等式根据引理19.2.10

19.3.2
(a)$\int_\Omega cf=\int_\Omega cf^+-\int_\Omega cf^-=c\int_\Omega f^+-c\int_\Omega f^-=c\int_\Omega f$
(b)类似(a)的证明
(c)类似(a)的证明
(d)

19.3.3