本节中, 设 $f,g,f_i$ 是可测集 $E$ 上的非负可测函数, $A,B$ 是 $E$ 的可测子集.
1 定义:
(1) $f$ 在 $E$ 上的 Lebesgue 积分 $$\bex \int_E f(x)\rd x =\sup\sed{\int_E\phi(x)\rd x; 0\leq \phi\leq f}. \eex$$
(2) $f$ 在 $E$ 上 Lebesgue 可积 $\dps{\lra \int_Ef(x)\rd x<+\infty}$.
(3) $f$ 在 $A$ 上的 Lebesgue 积分为 $$\bex \int_A f(x)\rd x =\int_E f(x)\chi_A(x)\rd x. \eex$$
2 性质
(1) $\dps{mE=0\ra \int_Ef(x)\rd x=0}$.
(2) $\dps{\int_Ef(x)\rd x=0\ra f(x)=0,\ae}$ 于 $E$.
证明: 由 $$\bex E[f>0]=\cup_{k=1}^\infty E\sez{f\geq\frac{1}{k}} \eex$$
知仅须证明 $\dps{mE\sez{f\geq \frac{1}{k}}=0}$: $$\beex \bea 0&=\int_E f(x)\rd x \geq \int_E \phi_k(x)\rd x\quad\sex{E_k=E\sez{f\geq \frac{1}{k}}, \phi_k(x)=\sedd{\ba{ll} \frac{1}{k},&x\in E_k\\ 0,&x\not\in E_k \ea}}\\ &=\frac{1}{k}\cdot mE_k. \eea \eeex$$
(3) $\dps{\int_Ef(x)\rd x<+\infty\ra 0\leq f(x)<+\infty,\ae}$ 于 $E$.
证明: 仅须证明 $E_\infty=E[f=+\infty]$ 为零测度集: $$\beex \bea \int_Ef(x)&\geq \int_E \phi_k(x)\rd x \quad\sex{\phi_k(x)=\sedd{\ba{ll} k,&x\in E_\infty\\ 0,&x\not\in E_\infty \ea}}\\ &=k\cdot mE_\infty. \eea \eeex$$
(4) $\dps{A\cap B=\vno\ra \int_{A\cup B}f(x)\rd x=\int_A f(x)\rd x+\int_Bf(x)\rd x}$.
证明: 对 $A\cup B$ 上的简单函数 $0\leq \phi\leq f$, 有 $$\bex \int_{A\cup B}\phi(x)\rd x =\int_A\phi(x)\rd x +\int_B\phi(x)\rd x \leq \int_Af(x)\rd x +\int_Bf(x)\rd x; \eex$$ $$\bex \int_A\phi(x)\rd x +\int_B\phi(x)\rd x =\int_{A\cup B}\phi(x)\rd x \leq\int_{A\cup B}f(x)\rd x. \eex$$
(5) $\dps{f\leq g\ae\ra \int_E f(x)\rd x \leq\int_E g(x)\rd x}$.
证明: 设 $E_1=E[f\leq g], E_2=E[f>g]$, 则 $mE_2=0$, 而 $$\beex \bea \int_Ef(x)\rd x &=\int_{E_1}f(x)\rd x +\int_{E_2}f(x)\rd x\\ &=\int_{E_1}f(x)\rd x\\ &\leq \int_{E_1}g(x)\rd x\quad\sex{0\leq \phi \leq f\ra 0\leq \phi\leq g}\\ &=\int_{E_1}g(x)\rd x +\int_{E_2}g(x)\rd x\\ &=\int_E g(x)\rd x. \eea \eeex$$
(6) $\dps{f=g,\ae\ra \int_E f(x)\rd x=\int_E g(x)\rd x}$.
特别地, $\dps{f=0,\ae\ra \int_Ef(x)\rd x=0}$.
(7) (Levi 单增列) $$\bex f_i\mbox{ 单增}, \lim_{i\to\infty}f_i=f\ra \lim_{i\to\infty}\int_E f_i(x)\rd x =\int_E f(x)\rd x. \eex$$
证明: 由 $f_i\leq f$ 知 $\leq$. 往证 $\geq$. 对 $\forall\ 0\leq \phi\leq f$, $\forall\ 0<c<1$, $$\beex \bea &\quad \int_Ef_i(x)\rd x \geq \int_{E_i}f_i(x)\rd x \geq c\int_{E_i}\phi(x)\rd x \quad\sex{E_i=E[f_i\geq c\phi]}\\ &\ra \int_E f_i(x)\rd x\geq c\int_E \phi(x)\rd x\quad\sex{E_i\mbox{ 单增}, \cup_{i=1}^\infty E_i=E:\mbox{ 这里需要 }0<c<1!}. \eea \eeex$$
(8) (正线性性) $\dps{\int_E[\alpha f(x)+\beta g(x)]\rd x =\alpha \int_E f(x)\rd x +\beta \int_E g(x)\rd x}$.
证明: $$\beex \bea &\quad 0\leq \phi_i\nearrow f,\quad 0\leq \psi_i\nearrow g\\ &\ra 0\leq \alpha \phi_i+\beta \psi_i\nearrow \alpha f+\beta g\\ &\ra \int_E [\alpha f(x)+\beta g(x)] \rd x =\lim_{i\to\infty}\int_E[\alpha \phi_i(x)+\beta \psi(x)]\rd x\\ &\qquad\qquad =\alpha \lim_{i\to\infty} \int_E\phi_i(x)\rd x +\beta \lim_{i\to\infty} \int_E \psi_i(x)\rd x\\ &\qquad\qquad =\alpha \int_E f(x)\rd x +\beta \int_E g(x)\rd x\quad\sex{\mbox{Levi 单增列}}. \eea \eeex$$ (9) (逐项积分) $\dps{\int_E \sum_{i=1}^\infty f_i(x)\rd x =\sum_{i=1}^\infty \int_Ef_i(x)\rd x}$.
证明: $$\beex \bea \int_E \sum_{i=1}^\infty f_i(x)\rd x &=\int_E \lim_{j\to\infty}\sum_{i=1}^j f_i(x)\rd x\\ &=\lim_{j\to\infty}\int_E\sum_{i=1}^j f_i(x)\rd x\quad\sex{\mbox{Levi 单增列}}\\ &=\lim_{j\to\infty}\sum_{i=1}^j \int_Ef_i(x)\rd x\\ &=\sum_{i=1}^\infty \int_E f_i(x)\rd x. \eea \eeex$$
(10) Fatou 引理 $\dps{\int_E \varliminf_{i\to\infty}f_i(x)\rd x\leq \varliminf_{i\to\infty}\int_Ef_i(x)\rd x}$.
证明: $$\beex \bea \int_E\varliminf_{i\to\infty}f_i(x)\rd x &=\int_E \lim_{j\to\infty}\inf_{i\geq j}f_i(x)\rd x\\ &=\lim_{j\to\infty}\int_E\inf_{i\geq j}f_i(x)\rd x\quad\sex{\mbox{Levi 单增列}}\\ &\leq \varliminf_{j\to\infty} \int_Ef_j(x)\rd x \quad\sex{\inf_{i\geq j}f_i\leq f_j\mbox{ 两边积分后取下极限}}. \eea \eeex$$
3 例
(1) 设 $\sed{r_k}$ 是 $[0,1]$ 中的全体有理数, 则 $$\bex \sum_{k=1}^\infty \frac{1}{k^2\sqrt{|x-r_k|}}\ae\mbox{ 收敛}. \eex$$ 证明: $$\bex \int_{[0,1]}\sum_{k=1}^\infty \frac{1}{k^2\sqrt{|x-r_k|}}\rd x =\sum_{k=1}^\infty\frac{1}{k^2} \int_{[0,1]}\frac{1}{\sqrt{|x-r_k|}}\rd x<\infty. \eex$$
(2) 设 $\sed{E_i}_{i=1}^j\ (\subset [0,1])$ 可测, $[0,1]$ 中任一点均属于 $\sed{E_i}_{i=1}^j$ 中的 $q$ 个, 则 $\exists\ i_0,\st mE_{i_0}\geq q/j$.
证明: $$\bex \sum_{i=1}^j \chi_{E_i}(x)\geq q \ra \sum_{i=1}^j mE_i=\sum_{i=1}^j \int_{[0,1]}\chi_{E_i}(x)\rd x =\int_{[0,1]}\sum_{i=1}^j \chi_{E_i}(x)\rd x \geq q. \eex$$
4 作业: Page 132 T 6, Page 133 T 7.