实变函数总集篇

>参考视频 http://www.1ketang.com/vod/1431-play.html?1431-0-2 已失效

1.集合

集合是具有一定性质的对象的全体，通常用大写字母A,B,C,D…表示。
集合中的对象称为集合的元素，用小写字母表示a,b,c,d…。
不含任何元素的集合称为空集。
集合的表示：列举法，描述法
差集 设A和B是两个集合，称 { x : x ∈ A , x ∉ B } \lbrace x:x\in A,x\notin B \rbrace {x:x∈A,x∈/​B}称为A与B的差集，记作A\B。
i.e.表示‘即’
s.t.表示‘使得’ subject to 缩写

2.多个集合的关系

令I为某个指标集合，集合族 { A i ∣ i ∈ I } \lbrace A_i|i\in I\rbrace {Ai​∣i∈I}表示一族集合
集合族的并与交
⋃ i ∈ I A i = { x ∣ ∃ i ∈ I 　 s . t . 　 x ∈ A i } \bigcup_{i\in I}A_i=\lbrace x|\exists i \in I 　s.t.　x\in A_i \rbrace i∈I⋃​Ai​={x∣∃i∈I　s.t.　x∈Ai​}
⋂ i ∈ I A i = { x ∣ ∀ i ∈ I 　 s . t . 　 x ∈ A i } \bigcap_{i\in I}A_i=\lbrace x|\forall i \in I 　s.t.　x\in A_i \rbrace i∈I⋂​Ai​={x∣∀i∈I　s.t.　x∈Ai​}
$$A\bigcap (\bigcup _{i\in I}{A}_i)=\bigcup _{i\in I}(A_i\bigcap A)$$
$$A\bigcup (\bigcap _{i\in I}{A}_i)=\bigcap _{i\in I}(A_i\bigcup A)$$
任意表示交，存在表示并。

3. 集合的幂集

设A={1，-1}，A的子集有$\varnothing$，{1}，{-1}，{1，-1}
B={$\varnothing$，{1}，{-1}，{1，-1}}，B称为A的幂集。

给定一个集合X，X的所有子集构成集合称为X的幂集，记作$2^X$

如果 A 有n个元素，则$2^A$有$2^n$个元素。

4.上极限集与下极限集

设 { A k } \lbrace A_k \rbrace {Ak​}是一集合列，则$$\overline{\underset{k\to +\infty }{\lim }}{A}_k=\bigcup _{j=1}^{\infty }\bigcap _{k=j}^{\infty }{A}_k$$为集合列 { A k } \lbrace A_k \rbrace {Ak​}的上极限集，简称上限集。$$\underline{\underset{k\to +\infty }{\lim }}{A}_k=\bigcap _{j=1}^{\infty }\bigcup _{k=j}^{\infty }{A}_k$$
为集合列 { A k } \lbrace A_k \rbrace {Ak​}的下极限集，简称下限集。
若上下限集相等，则说 { A k } \lbrace A_k \rbrace {Ak​}的极限存在并等于上限集或下限集，记为$$\underset{k\to +\infty }{\lim }{A}_k$$
定理：若 { A k } \lbrace A_k \rbrace {Ak​}是一集合列，则
（1） lim ⁡ k → + ∞ ‾ A k = { x : 对 任 一 自 然 数 j , 存 在 k ( k > = j ) , x ∈ A k } \overline {\lim_{k \to +\infty}} A_k=\lbrace x:对任一自然数j,存在k(k>=j),x \in A_k\rbrace k→+∞lim​​Ak​={x:对任一自然数j,存在k(k>=j),x∈Ak​}
（2） lim ⁡ k → + ∞ ‾ A k = { x : 存 在 自 然 数 j , 当 k ( k > = j ) , x ∈ A k } \underline {\lim_{k \to +\infty}} A_k=\lbrace x:存在自然数j,当k(k>=j), x\in A_k\rbrace k→+∞lim​​Ak​={x:存在自然数j,当k(k>=j),x∈Ak​}
也可以表述为
（3） lim ⁡ k → + ∞ ‾ A k = { x : x ∈ A n 对 无 穷 个 n 成 立 } \overline {\lim_{k \to +\infty}} A_k=\lbrace x:x\in A_n对无穷个n成立\rbrace k→+∞lim​​Ak​={x:x∈An​对无穷个n成立}
（4） lim ⁡ k → + ∞ ‾ A k = { x : x ∈ A n 除 有 限 个 n 外 皆 成 立 } \underline {\lim_{k \to +\infty}} A_k=\lbrace x:x\in A_n除有限个n外皆成立\rbrace k→+∞lim​​Ak​={x:x∈An​除有限个n外皆成立}

上确界是一个集合的最小上界。
下确界是与上确界相对偶的概念，指的是一个集合的最大下界。
确界存在定理：非空有上界的集合必有上确界，非空有下界的集合必有下确界。
上确界$supE=su{p}_{x\in E}x$
下确界$infE=in{f}_{x\in E}x$

5.聚点

设$E\subset R^n,p_0\in R$若对任何$\delta >0,N(p_0,\delta )$内总有E中无穷多个点，则称$p_0$为E的聚点。
有限集无聚点。

6.导集

称E的聚点的全体为E的导集，记为E‘。

7.闭包

称$E\bigcup E^{\prime }$为E的闭包，记为$\overline{E}$。

8. 闭集

1.若E中每个聚点都属于E，则称E为闭集。
2.任何有限集都是闭集，有限集无聚点，故$E^{\prime }=\varnothing \subset E$。
3.对于任$E\subset R^n$，$E^{\prime }$与$\overline{E}$皆为闭集。
4.E为闭集$⟺$E中任何收敛点列均收敛于E中的点。
5.闭集F的余集为开集。
6.开集的余集为闭集。
7.任意一族闭集之交仍是闭集。
8.有限个闭集之并仍是闭集。

9.自密集

设$E\subset R^n$，若$E\subset E^{\prime }$，则称E为自密集。
E为自密集，意为E的每一点都是他的聚点。
全体有有理数和无理数为自密集。

10.完备集

设$E\subset R^n$，若$E=E^{\prime }$，则称E为完备集。
完备集是自密的闭集，不含孤立点的闭集。

11.构成空间

1.设G是直线上的非空开集，若开空间$(a,b)\subset G,且a,b\notin G$，则称（a,b）为G上的一个构成空间。
2.设G为直线上的非空开集，则G中任一点必属于某一构成区间。
3.开集的构造：直线上的任何非空开集都是至多可列个互不相交的构成区间的开集。
4.闭集的构造：直线上非空闭集是由直线除去至多可列个互不相交的开区间构成。
5.闭集构造定理中从直线上除去的各个开区间都称为闭集F的邻接区间。
6.设$F\subset R$,F为完备集的充要条件是F为任二邻接区间无公共端点的闭集。

12.点到集之间的距离

设$E\subset R^n$为非空点集，$x_0\in R_n$，称$$d(x_0,E)=in{f}_{x\in R}d(x_0,x)$$
为点x0集E的距离。

13.集到集之间的距离

1.设$A\subset R^n，B\subset R^n$皆为非空点集，称$$d(A,B)=infd(x,y),x\in A,y\in B$$为集A到集B的距离。

14.距离可达定理

1.若A，B为$R^n$中非空闭集，其中至少有一个为有界集，则存在$x^{\ast }\in A,y^{\ast }\in B$，使$$d(x^{\ast },y^{\ast })=d(A,B)$$
2.a为$R^n$中任一点,B为$R^n$任一闭集,则必有$b\in B$,使d(a,b)=d(a,B).
3.A,B为$R^n$中有界闭集,若$A\bigcap B=\varnothing$,则必有d(A,B)=r>0.

15.隔离性定理

1.两集合$A_1$与$A_2$,若有开集$G_1,G_2$使$$G_1\supset A_1,G_2\supset A_2而G_1\bigcap G_2$$则称$A_1$与$A_2$具有隔离性.
2.设$E\subset R^n$,实数d>0,则集 D = { p ; d ( p , E ) < d } D=\lbrace p;d(p,E)<d \rbrace D={p;d(p,E)<d},为一开集,且$E\subset U$.
3.设A1,A2,为二非空点集,d(A1,A2)=r>0,则A1,A2必具隔离性.
4.$R^n$中任二不相交之有界闭集必具隔离性.

16. 开集的长度及其主要性质

1.设G为非空开集,$$G=\bigcup _k({\alpha }_k,{\beta }_k),({\alpha }_k,{\beta }_k)$$为G的构成区间,诸$(({\alpha }_k,{\beta }_k)$互不相交,规定G的长度L((G)为$$L(G)=\sum _k({\beta }_k-{\alpha }_k)$$并规定空集的长度为0.
2.开集的长度具有单调性:设$G_1$,$G_2$为有界开集,$G_1\subset G_2$,则$L(G_1)\le L(G_2)$.
3.次可加性:设有界开集G是有限或可列个开集$G_1,G_2,......$的并,$L(G)\le {\sum }_{k}L(G_k)$.
4.完全可加性:如诸$G_k$互不相交,则$$L(G)=\sum _{k}L(G_k)$$.

17. 闭集的长度及其主要性质

1.设F为非空有界闭集,任取包含F的开区间(a,b),令G=(a,b)-F,则G为开集,定义$$b-a-L(G)$$为闭集F的长度,记为L(F).
2.设F为有界闭集,G为有界开集,$F\subset G$,则$$L(G-F)=L(G)-L(F)$$

18. 有界集的内外测度

1.设E为有界集,定义E的外测度$m^{\ast }E$与内测度$m_{\ast }E$为 m ∗ E = i n f { L ( G ) ; G ⊃ E , G 是 开 集 } m^*E=inf \lbrace L(G);G\supset E,G是开集 \rbrace m∗E=inf{L(G);G⊃E,G是开集} m ∗ E = s u p { L ( F ) ; F ⊂ E , F 是 闭 集 } m^*E=sup \lbrace L(F);F\subset E,F是闭集 \rbrace m∗E=sup{L(F);F⊂E,F是闭集}
2.内外测度具有:(1)非负性$m^{\ast }E\ge 0$,$m_{\ast }E\ge 0$.
　　　　　　　(2)单调性:$E_1\supset E_2,m^{\ast }{E}_1\ge m^{\ast }{E}_2+m_{\ast }{E}_1\ge m_{\ast }{E}_2$
　　　　　　　(3)次可加性:$$m^{\ast }(\bigcup _k{E}_k)\le \sum _k{m}^{\ast }{E}_k;m_{\ast }(\bigcup _k{E}_k)\ge \sum _k{m}_{\ast }{E}_k$$

19.测度和可测集的定义

1.设E是有界集,若$m^{\ast }E=m_{\ast }E$,则称E为勒贝格可测集,简称可测集,可测集的外测度称为测度,记为mE.

20.可测集与开集闭集之间的关系

1.$有界集E是可测集⟺\forall \epsilon >0,\exists 开集G及闭集F,使G\supset E\supset F,m(G-F)<\epsilon$.

21. 可测集关于"并"“交”"余"运算的封闭性

1.(1)E是可测集$⟺E^c$是可测集(设X=(a,b)).
(2)若$E_1,E_2$是可测集,则$E_1\bigcup E_2,E_1\bigcap E_2,E_1-E_2$均为可测集.

22. 测度的单调性,可加性与连续性

1.设$E_1,E_2,.....,E_n$为有限个互不相交的可测集,则$$E=\bigcup _{k=1}^n{E}_i$$为可测集,且$$mE=\sum _{k=1}^{n}m{E}_k$$
2.(1)测度的单调性:设E1,E2是两个可测集,E1$\subset$E2,则mE1$\le$mE2.
(2)测度的完全科技与半可加性:设{$E_k$}是一列可测集,则$E={\bigcup }_k{E}_k$是可列集且$$mE\le \sum _{k=1}^{n}m{E}_k$$若{$E_k$}为互不相交的可测集,则$$mE=\sum _{k=1}^{n}m{E}_k$$.
3.测度的连续性:
(1)设$E_1\subset E_2\subset ........E_n\subset ......$是$X=(a,b)$中的渐张可测列,则$m({\lim }_n{E}_n)={\lim }_n{E}_n$
(2)设$E_1\supset E_2\supset ........E_n\supset ......$是$X=(a,b)$中的渐缩可测列,则$m({\lim }_n{E}_n)={\lim }_n{E}_n$

23.Borel集

1.若G可表示为可列个开集的交集,则称G为$G_{\delta }$集;若F可表为可列个闭集的并集,则称F为$F_{\sigma }$集.
2.设E为可测集,则
(1)$\exists G_{\delta }$集$G\supset E$,使$mG=mE$.
(2)$\exists F_{\sigma }$集$G\subset E$,使$mF=mE$.
3.E为可测集$⟺\exists G_{\delta }$集$G\supset E$或$F_{\sigma }$集$F\subset E$,使$m^{\ast }(G-F)=0$或$m^{\ast }(E-F)=0$.
4.凡可以从开集出发,经有限次或可列次取余集,并集,或交集运算而得到的点集称为Borel集,所有Borel集组成的集类称为Borel集类.

24. 可测集的卡拉德屋独利条件

1.设$E\subset (a,b),E^c=(a,b)-E$,则有$$m_{\ast }E+m^{\ast }{E}^c=b-a$$
2.有界集E为可测集$⟺$对任意集A有$$m^{\ast }A=m^{\ast }(A\cup E)+m^{\ast }(A+E^c)$$
3,设E是直线上任一点集,若{$l_n$}是一列覆盖E的开区间,显然这样的覆盖可以很多种,记|$l_n$|为开区间$l_n$的长度,则定义E的外测度为: m ∗ E = i n f { ∑ n = 1 ∞ ∣ l n ∣ ; ∀ ⋃ n = 1 ∞ I n ⊃ E } m^*E=inf\lbrace\sum_{n=1}^{\infty}|l_n|;\forall \bigcup_{n=1}^{\infty}I_n\supset E\rbrace m∗E=inf{n=1∑∞​∣ln​∣;∀n=1⋃∞​In​⊃E}
4.设$E\subset R$,若对任意$A\subset R$有$$m^{\ast }A=m^{\ast }(A\cup E)+m^{\ast }(A+E^c)$$,则称E为勒贝格可测集,简称可测集,此时外测度$m^{\ast }E$称为E的测度,记为mE.

25. 测度的补充

可测集是这样的点集,任意两个被它隔离的点集,其外测度都可加.

26.可测函数的概念

设$E\subset R^n$可测,$f$是定义于E上的广义实值函数.若对于任意实数$a$,点集{$x|x\in E,f(x)>a$}是$R^n$内的可测集,则$f$称为E上的Lebesgue可测函数,简称$f$是E上的可测函数或$f$在E上可测.

27.可测函数的性质

1.设$f$是可测集E上的广义实值函数,则下列命题等价:
(1)f在E上可测;
(2)对任意实数$a$,点集$E(f\ge a)$可测;
(3)对任意实数$a$,点集$E(f<a)$可测;
(4)对任意实数$a$,点集$E(f\le a)$可测;

28.简单函数

若函数$\phi$定义在$E\subset R^n$上,只取有限个不同的值$a_1,a_2,....,a_k$,并且对每一个$i$,取值$a_i$的点集$E_i(x|x\in E|\phi (x)=a_i)$都是可测集,则称$\phi$为E上的简单函数(这是E一定可测).当$E_i$是矩体时,称$\phi$为阶梯函数.

29.可测函数的四则运算与极限性质

1.若$f,g$是点集E上的可测函数，则$cf(x)$(c为常数),$f(x)+g(x),f(x)\cdot g(x),f(x)/g(x)$(假定在E上每一点,这些运算都有意义)都是E上的可测函数.

2.若{$f_k$}是点集E上的可测函数列,则$${\underline{\lim }}_{k\to +\infty }{f}_k(x),{\overline{\lim }}_{k\to +\infty }{f}_k(x),sup{f}_k(x),inf{f}_k(x)$$.

3.若$f,g$都是E上的可测函数,则$$max(f(x),g(x))和min(f(x),g(x))$$在 E上可测.

4.若${\lim }_{k\to \infty }{f}_k(x)$对任意$x\in E$有意义,则${\lim }_{k\to \infty }{f}_k(x)$为可测函数.

5.若$f$是点集$E$上的可测函数,$E_0$是E上的可测函数,$E_0$是E的可测子集.则$f$在点集$E_0$上的限制是$E_0$上的可测函数.

6.设{$E_k$}为可测集列,若函数$f$在每个点集$E_k$上可测,则$f$在点集$$E=\bigcup _{k=1}^{\infty }{E}_k$$上可测.

30.可测函数的逼近原理

1.若函数$f$在E非负可测,则存在非负简单函数的递增列{${\phi }_k$}(即$0\le {\phi }_k\le {\phi }_{k+1},k=1,2,3......$)使得$$\underset{k\to \infty }{\lim }{\phi }_k(x)=f(x),x\in E$$.
2.若函数$f$是在$E$上的(变号的)可测函数,则存在简单函数列{${\phi }_k$},满足$|{\phi }_k|\le |f(x)|$,且使得$$\underset{k\to \infty }{\lim }{\phi }_k(x)=f(x),x\in E$$.若$f$还是有界的,则上述收敛是一致的.
3.若$|f_k|$是E上的可测函数列,$$\underset{k\to \infty }{\lim }{f}_k(x)=f(x)$$a.e.于E,则函数f在E上可测.

31.Egorov定理

1.设$E\subset R^n$可测且$mE<\infty$,{$f_k$}是在$E$上几乎处处有限又几乎处处收敛的可测函数列,并且它的极限函数$f$在$E$上也是几乎处处有限的,则对于任意正数$\delta$,存在E的可测子集$E_{\delta }<\delta$,而在$E\backslash E_{\delta }$上,{$f_k$}一致收敛于$f$.
2.设$E\subset R^n$可测,{$f_k$}与$f$是在$E$上几乎处处有限的可测函数列,则{$f_k$}在$A(\subset E)$一致收敛到$f$的充分必要条件的存在自然数的递增列{$k_l$},使得$$A=\bigcap _{l=1}^{\infty }\bigcap _{k=k_l}^{\infty }{A}_{kl}$$其中$A_{kl}$是由(1)表示的集合.
2.设$E\subset R^n$可测且$mE<\infty$,{$f_k$}是在E上几乎处处有限又几乎处处收敛的可测函数列,并且它的极限函数$f$在$E$上也是几乎处处有限的,则对于任意正整数$l$有,$$\underset{l\to \infty }{\lim }(\bigcup _{k=j}^{\infty }{B}_{kl})=0$$其中 B k l = { x ∈ E ∣ ∣ f k ( x ) − f ( x ) ∣ ≥ 1 / l } B_{kl}=\lbrace x\in E | |f_k(x)-f(x)|\geq1/l\rbrace Bkl​={x∈E∣∣fk​(x)−f(x)∣≥1/l}

32.依测度收敛

1.设函数$f$及$f_k(k=1,2,...)$在$E\subset R_n$上可测且几乎处处有限.若对任意的$\epsilon >0$有 lim ⁡ k → ∞ m ( { x ∈ E ∣ ∣ f k ( x ) − f ( x ) ∣ ≥ ε } ) = 0 \lim_{k \to {\infty}}m(\lbrace x\in E | |f_k(x)-f(x)|\geq \varepsilon \rbrace)=0 k→∞lim​m({x∈E∣∣fk​(x)−f(x)∣≥ε})=0则称函数列{$f_k$}依测度收敛于f.
2.若$f$和$f_k(k=1,2.....)$是在E上几乎处处有限的可测函数,$mE<\infty$,并且$f_k(x)\to f(x)a.e.$于$E$,则在$E$上{$f_k(x)$}依测度收敛于$f$.

33. 依测度收敛的极限唯一性

1.若函数列{f_k}在点集E上同时依测度收敛到$f$和$g$,则$f$和$g$在$E$对等.

34.里斯(F.Risez)定理

1.若{$f_k$}在E上依测度收敛到$f$,则必有子序列在$E$上几乎处处收敛到$f$.
2.假设$f$,$f_k(lk=1,2....)$是在$E$上几乎处处收敛的可测函数.若对于任意的正整数l有 lim ⁡ j → i n f t y m ( ⋃ k = j ∞ { x ∈ E ∣ ∣ f k ( x ) − f ( x ) ∣ ≥ 1 / l } ) = 0 \lim_{j \to {infty}}m(\bigcup_{k=j}^{\infty}\lbrace x \in E| |f_k(x)-f(x)|\geq1/l\rbrace)=0 j→inftylim​m(k=j⋃∞​{x∈E∣∣fk​(x)−f(x)∣≥1/l})=0则$$\underset{k\to \infty }{\lim }{f}_k(x)=f(x)a.e.x\in E$$

35. Lusin定理

1.若$f$是在$E\subset R^n$是几乎处处有限的可测函数,则对于任意$\epsilon >0$,存在闭集$F\subset E$,使得$f$在$F$上连续且$m(E\backslash F)<\epsilon$.
2.若$f$是可测集$E\subset R^n$上的可测函数,则对于任意正数$\epsilon$,存在$R^n$上的连续函数$g$,使得 m { x ∈ E ∣ f ( x ) ≠ g ( x ) } < ε m\lbrace x \in E|f(x)\neq g(x)\rbrace <\varepsilon m{x∈E∣f(x)​=g(x)}<ε若$f(x)$还有界:$|f(x)|\le M(x\in E)$,则连续函数$g$还可以满足$|g(x)|\le M(\forall x\in R^n)$.

36.支撑集

1.设f(x)在$R^n$的某个集合E有意义,称集合 { x ∈ E ∣ f ( x ) ≠ 0 } \lbrace x\in E|f(x) \neq 0 \rbrace {x∈E∣f(x)​=0}的闭包为$f$的支(撑)集,记为supp$f$,即
s u p p f = { x ∈ E ∣ f ( x ) ≠ 0 } ‾ \rm{supp} \it{f=\overline{\lbrace x\in E |f(x)\neq 0 \rbrace}} suppf={x∈E∣f(x)​=0}​
若$f$的的支(撑)集是$R^n$的有界闭集,则称$f$是具有紧支集的.
2.设$f$在$E\subset R^n$可测,E有界,则对任意$\epsilon >0$,存在具有紧支集的连续函数$g$使得 m { x ∈ E ∣ f ( x ) ≠ g ( x ) } < ε m\lbrace x \in E |f(x)\neq g(x) \rbrace<\varepsilon m{x∈E∣f(x)​=g(x)}<ε

37.非负简单函数的积分

1.对于可测集$E\subset R^n$上的非负简单函数$\phi$,若其标准表达式为$$\phi (x)=\sum _{i=1}^k{c}_i{\chi }_{E_i}(x),(x\in E=\bigcup _{i=1}^k{E}_i)$$
其中$C_i$为非负实数,$E_i$为可测集,当$i\ne j$时有$E_i\cap E_j=\varnothing$,称广义实数$$\sum _{i=1}^k{c}_{i}m{E}_i$$(注意$m{E}_i=\infty$时,适用关于$\infty$的运算约定)为$\phi$在$E$上的Lebesgue积分,记为$(L){\int }_E\phi (x)dx$.

38.非负简单函数积分的性质

1.$0\le {\int }_E\phi (x)dx\le \infty$.
2.${\int }_{E}c\phi (x)dx=c{\int }_E\phi (x)dx(c为非负实数)$.
3.${\int }_E(\phi (x)+\psi (x))dx={\int }_E\phi (x)dx+{\int }_E\psi (x)dx$.
4.若$E=A\cup B,A\cap B=\varnothing ,A,B\in M$ ,则$${\int }_E\phi (x)dx={\int }_A\phi (x)dx+{\int }_B\phi (x)dx$$
5.若$\phi (x)\le \psi (x)(x\in E)$,则$${\int }_E\phi (x)dx\le {\int }_E\psi (x)dx$$.

39.非负可测函数的积分

1.设$f$是可测集$E\subset R^n$上的非负可测函数,{${\phi }_k$}是收敛于$f$的非负简单函数的(对$k$的)递增列,即每个${\phi }_k$是$E$上的简单函数,且$$0\le {\phi }_1(x)\le {\phi }_2(x)\le ...\le {\phi }_k(x)\le {\phi }_{k+1}(x)\le ...(\le f(x)),$$$$\underset{k\to \infty }{\lim }{\phi }_k(x)=f(x),(x\in E),$$则称极限$$\underset{k\to \infty }{\lim }{\int }_{E}f(x)dx$$(有限实数或$+\infty$)为函数$f$在$E$上的Lebesgue积分,记为${\int }_{E}f(x)dx$(或在积分号前加$(L)$).
2.设$\phi$和所有${\psi }_k(k=1,2,....)$都是可测集$E\subset R^n$上的非负简单函数,并且当$x\in E$时,$${\psi }_k(x)\le {\psi }_{k+1}(k=1,2,...),$$且$$\phi (x)\le \underset{k\to \infty }{\lim }{\psi }_k(x),$$则有$${\int }_E\phi (x)dx\le \underset{k\to \infty }{\lim }{\int }_E{\psi }_k(x)dx$$

40.非负可测函数积分的性质

1.$0\le {\int }_{E}f(x)dx\le \infty$.
2.${\int }_{E}cf(x)dx=c{\int }_{E}f(x)dx(c为非负实数)$.
3.${\int }_E(f(x)+g(x))dx={\int }_{E}f(x)dx+{\int }_{E}g(x)dx$.
4.若$E=E_1\cup E_2,E_1\cap E_2=\varnothing ,E_1,E_2可测$ ,则$${\int }_{E}f(x)dx={\int }_{E_1}f(x)dx+{\int }_{E_2}f(x)dx$$
5.若$0\le f(x)\le g(x)(x\in E)$,则$${\int }_{E}f(x)dx\le {\int }_{E}g(x)dx$$.

41.切比雪夫不等式

1.若$0\le A\le f(x)\le B,(x\in E,A,B为常数)$,则$$AmE\le {\int }_{E}f(x)\le BmE$$
2.若$a$为正的常数,则$$mE(f\ge a)\le 1/a{\int }_{E}f(x)dx$$此式通常称为切比雪夫不等式.

42.${\int }_{E}fdx$=0的充分必要条件

1.${\int }_{E}f(x)dx$=0的充分必要条件是$f(x)$在E上几乎处处等于0,即$f$~0与$E$.
2.若${\int }_{E}f(x)dx\le \infty$,则$f(x)$在E上几乎处处有限.

43.$f\in L(E)$的充分必要条件

1.设$f(x)$是在$E$上几乎处处有限的非负可测函数,$m(E)<+\infty$,对$[0,+\infty )$作如下分法:$$0=y_0<y_1<y_2<...y_k<y_{k+1}<...,$$其中$y_{k+1}-y_k<\delta (k=0,1...)$.令 E k = { x ∈ E ∣ y k ≤ f ( x ) < y k + 1 } , E_k=\lbrace x\in E |y_k\leq f(x)<y_{k+1}\rbrace, Ek​={x∈E∣yk​≤f(x)<yk+1​},则$f\in L(E)$(积分值为有限)的充分必要条件是$$\sum _{k=0}^{\infty }{y}_{k}m(E_k)<+\infty$$,并且$${\int }_{E}f(x)dx=\underset{\delta \to \infty }{\lim }\sum _{k=0}^{\infty }{y}_{k}m(E_k)$$

44.一般可测函数的积分

1.设$f$是定义于$E\subset R^n$上的可测函数,若$f$的正部$f^{+}$与负部$f^{-}$在$E$上的积分不同时为$\infty$,则定义$f$在$E$上的Lebesgue积分为$${\int }_{E}f(x)dx={\int }_E{f}^{+}(x)dx-\int f^{-}(x)dx.$$若这个积分取有限值(以后简称L可积或可积).在$E$上可积函数全体(集合)记为$L(E)$,或简记为$L$.

45.可测函数可积的充要条件

1.可测函数$f$在$E\subset R^n$上可积的充分必要条件是,它的绝对值函数$|f|$在$E$上可积.

46.控制函数

1.设$f$在$E\subset R^n$上可测,若存在非负函数$F\in L(E)$,使得$|f(x)|\le F(x)$(这时称$F$为$f$的控制函数),则$f\in L(E)$.

47.可测函数积分的性质

1.若$f\in L(E)$,则$|f(x)|<\infty a.e.于E.$
2.若$f$是零测集$E$上的任意广义实值函数,则${\int }_{E}f(x)dx=0$,从而$f\in L(E)$
3.若$f$和$g$都是$E\subset R^n$上的可测函数,且$f$~$g$于E,则$f$与$g$在E上同时可积,或者同时不可积,并且在积时,他们的积分值相等.
4.若$f\in L(E),g\in L(E),a,b是常数$,则$af+bg\in L(E)$且$${\int }_E(af(x)+bg(x))dx=a{\int }_{E}f(x)dx+b{\int }_{E}g(x)xdx$$
5.若有$f\in L(E_1),f\in L(E_2),且E_1\cap E_2=\varnothing ,则f\in L(E_1\cup E_2)$且$${\int }_{E_1\cup E_2}f(x)dx={\int }_{E_1}f(x)dx+{\int }_{E_2}f(x)dx$$
6.$f\in L(E),E_0\subset E,E_0$可测,则$f\in L(E_0)$且$${\int }_{E\backslash E_0}f(x)dx={\int }_{E}f(x)dx-{\int }_{E_0}f(x)dx$$
7.设$f\in L(E),g\in L(E)$.若$f(x)\le g(x)$a.e.于$E$,则$${\int }_{E}f(x)dx\le {\int }_{E}g(x)dx$$
8.若$f\in L(E)$,则$$|{\int }_{E}f(x)dx|\le {\int }_E|f(x)|dx$$

48.积分的绝对连续性

设$f\in L(E)$,则对任意的$\epsilon >0$,存在$\delta >0$,使得对$E$的任意可测子集$E_0$,只要满足$m{E}_0<\delta$,就有${\int }_{E0}|f(x)|dx<\epsilon$.

49.列维(Levi)定理(单调收敛定理)

设{$f_k$}是E上的非负可测函数的递增列,记$$f(x)=\underset{k\to \infty }{\lim }{f}_k(x)(x\in E),$$则$${\int }_{E}f(x)dx=\underset{k\to \infty }{\lim }{\int }_E{f}_k(x)dx.$$

50.Lebesgue逐项积分定理

设{$f_k$}是E上的非负可测函数列.令$$f(x)=\sum _{k=1}^{\infty }{f}_k(x)(x\in E),$$则${\sum }_{k=1}^{\infty }{f}_k(x)dx$逐项可积分,即$${\int }_{E}f(x)dx={\int }_E\sum _{k=1}^{\infty }{f}_k(x)dx.$$

51.法图(Fatou)引理

设{$f_k$}是E上的非负可测函数列,则…

52.Lebesgue控制收敛定理

设{$f_k$}是$E\in R^n$上几乎处处收敛的可测函数列,${\lim }_{k\to \infty }{f}_k(x)=f(x).$若存在非负函数$F$,使得$F\in L(F)$并且$$|f_k(x)|\le F(x)(x\in E,k=1,2...)$$,则函数$f$及所有的$f_k$都在E上可积,且$$\underset{k\to \infty }{\lim }{f}_k(x)dx存在并等于{\int }_{E}f(x)dx.$$

53.有界收敛定理

若$mE<\infty$,{$f_k$}是在$E$上几乎处处收敛的可测函数列,$$\underset{k\to \infty }{\lim }{f}_k(x)=f(x)(a.e.x\in E),$$并且存在着常数$M>0$,使得$$|f_k(x)<M|(x\in E,k=1,2,....),$$则$$\underset{k\to \infty }{\lim }{\int }_E{f}_k(x)dx={\int }_{E}f(x)dx.$$

54.勒贝格积分与黎曼积分的比较

1.若函数$f$在$[a,b]$上$(R)$可积,则$f\in L(a,b),并且$,$$(R){\int }_a^{b}f(x)dx=(L){\int }_a^{b}f(x)dx.$$
2.设函数$f(x)$在$[a,b]$有界,则f在$[a,b]$上$Riemann$可积的充分必要条件是,$f$在$[a,b]$上的间断点组成零测集.
3.若定义在$R$上的函数$f$在任何有限区间上有界,且它在$(-\infty ,+\infty )$上的反常$Riemann$积分绝对收敛(蕴含$f$在任何有限区间$R$可积),则$f\in L(-\infty ,+\infty )$并且$$(L){\int }_{-\infty }^{+\infty }f(x)dx=(R){\int }_{-\infty }^{+\infty }f(x)dx$$