《实变函数简明教程》，P78，第16题（依测度收敛 推导 依测度收敛，几乎处处小于 推导 几乎处处小于）

题目：P78,16

1. 若 { f k ( x ) } \left\{ { {f}_{k}}\left( x \right) \right\} { fk​(x)}在$E$上依测度收敛于$f\left(x\right)$，试证明 { ∣ f k ( x ) ∣ } \left\{ \left| { {f}_{k}}\left( x \right) \right| \right\} { ∣fk​(x)∣}在$E$上依测度收敛到$\left|f\left(x\right)\right|$。
2. 又若$f_k\left(x\right)\le g\left(x\right)\left(k=1,2,\cdots \right)$，a. e. 于$E$，试证$f\left(x\right)\le g\left(x\right)$ a. e. 于$E$。

解答

1. 首先，基于 { f k ( x ) } \left\{ { {f}_{k}}\left( x \right) \right\} { fk​(x)}在$E$上依测度收敛于$f\left(x\right)$，根据课本P69的定义3.3，可得
   $$函数f\left(x\right)，f_k\left(x\right)\left(k=1,2,\cdots \right)在E上可测。\text{\hspace{1em}(P78-16-1)}$$
   $$\exists M>0，f\left(x\right),f_k\left(x\right)\le M\text{ a}\text{.e}\text{. }x\in E.\text{\hspace{1em}(P78-16-2)}$$
   由课本P63和材料（P78-16-1），可得
   $$\left|f\left(x\right)\right|，\left|f_k\left(x\right)\right|\left(k=1,2,\cdots \right)在E上可测。\text{\hspace{1em}(P78-16-3)}$$
   材料（P78-16-2）也可以直接推出