实变函数(2)-测度

1.有界集的内外测度

1.1 开集的长度及其主要性质

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)$$.

1.2 闭集的长度及其主要性质

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)$$

1.3 有界集的内外测度

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$$

1.4 测度和可测集的定义

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

2.可测集的性质

2.1 可测集与开集闭集之间的关系

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

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

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$均为可测集.

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

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$

3.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集类.

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

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.