2-7 实变函数之经典习题

2-7 实变函数之经典习题

1.点集

1. 设$E_1$是[0,1]中的有理数全体，求$E_1$在$R^1$中的$E_1^{\prime }$（导集：聚点组成的集合）,$\stackrel{o}{E_1}$（开核：内点组成的集合）,$\stackrel{-}{E_1}$（闭包）.
   \quad 解： $E_1^{\prime }=[0,1]$;$\stackrel{o}{E_1}=\varnothing$；$\stackrel{-}{E_1}=[0,1]$
   注： 聚点P：P的任意邻域与E的交成无限集。
   \quad\quad 内点P：存在P的邻域是E的子集（显然有理数的任意邻域都含无理数）
   \quad\quad 闭包：导集+孤立点。
2. 设 E 2 = { ( x , y ) ∣ x 2 + y 2 < 1 } E_2=\{(x,y)|x^2+y^2<1\} E2​={(x,y)∣x2+y2<1},求$E_2$在$R^2$中的$E_2^{\prime }$,$\stackrel{o}{E_2}$,$\stackrel{-}{E_2}$.
   \quad 解： E 2 ′ = { ( x , y ) ∣ x 2 + y 2 ≤ 1 } E_2'=\{(x,y)|x^2+y^2\leq1\} E2′​={(x,y)∣x2+y2≤1};
   E 2 o = { ( x , y ) ∣ x 2 + y 2 < 1 } \overset{o}{E_2}=\{(x,y)|x^2+y^2<1\} E2​o​={(x,y)∣x2+y2<1};
   E 2 − = { ( x , y ) ∣ x 2 + y 2 ≤ 1 } \overset{-}{E_2}=\{(x,y)|x^2+y^2\leq1\} E2​−​={(x,y)∣x2+y2≤1}

2.测度论

1. E可测的充要条件是$\forall ϵ>0,\exists$开集G，s.t.$E\subset G$,且
   $m^{\ast }(G-E)<ϵ$
   \quad 证： $⟹$设 m E < + ∞ , 则 ∃ 开 集 { I i } , i = 1 , . . . . mE<+\infty,则\exist开集\{I_i\},i=1,.... mE<+∞,则∃开集{Ii​},i=1,....使得
   $\underset{i=1}{\bigcup ^{\infty }}{I}_i\supset E$且${\sum }_{i=1}^{\infty }|I_i|<m^{\ast }E+ϵ$,令$G=\underset{i=1}{\bigcup ^{\infty }}{I}_i$，则G为开集。且$G\supset E$，于是
   $m^{\ast }E<m^{\ast }G<{\sum }_{i=1}^{\infty }m{I}_i+ϵ$得证
   $⟸$若$\forall ϵ>0,\exists$开集G，s.t. $E\subset G,m^{\ast }(G-E)<ϵ$令$ϵ=\frac{1}{n}$,$\exists 开集G_n\supset E,令G=\bigcap G_n$,则G是$G_{\delta }$型集，是开集,且$G\supset E,m^{\ast }(G-E)<m^{\ast }（G_n-E）<\frac{1}{n}$于是$m^{\ast }（G_n-E)=0$,从而G-E可测，又因为G是开集，所以E可测。

3.可测函数

1. 设$mE[f\ne g]=0$,若$f$可测则$g$可测。
   \quad 解： 令$E_1=E[f\ne g],E_2=[f=g]$,则，由题意知，$m{E}_1=0,$故g在$E_1$上可测。又因为f在E上可测，则f在$E_2$上可测，故g在$E_2$上可测，所以g在E上可测。

4. 积分论

1. 设$P_0$为[0,1]上的cantor集，在$P_0$上定义函数$f(x)=0$,在余集长为$\frac{1}{3^n}$的构成区间上定义为$f(x)=n$，证明：$f$在[0,1]上L可积，并求出积分值。
   \quad 证： 积分值有限则可积，在cantor集上函数的定义为0，于是L积分为0.假设函数在[0,1]可积，那么${\int }_{[0,1]}f(x)dx<\infty$,由题意${\int }_{[0,1]}f(x)dx={\int }_{P_0}f(x)dx+{\int }_{{P_0}^c}f(x)dx=0+{\int }_{{P_0}^c}f(x)dx$。
   于是只需求${\int }_{{P_0}^c}f(x)dx$：
   \quad \quad ${\int }_{{P_0}^c}f(x)dx={\int }_{\underset{i=1}{\bigcup ^{\infty }}{E}_n}f(x)dx={\sum }_{i=1}^{+\infty }{\int }_{E_n}f(x)dx={\sum }_{i=1}^{+\infty }n\ast m(E_n)={\sum }_{i=1}^{+\infty }n\ast \frac{2^{n-1}}{3^n}=3<\infty$
2. 求${\sum }_{i=1}^{\infty }(R){\int }_{-1}^1\frac{x^2}{(1+x^2{)}^n}dx$
   \quad 解： 令$f_n(x)=\frac{x^2}{(1+x^2{)}^n}$,则$f$在[-1,1]上为非负连续函数，于是$f$在[-1,1]上为非负可测，由逐项积分定理
   ${\sum }_{i=1}^{\infty }(R){\int }_{-1}^1\frac{x^2}{(1+x^2{)}^n}dx={\sum }_{i=1}^{\infty }(L){\int }_{[-1,1]}{f}_n(x)dx=(L){\int }_{[-1,1]}{\sum }_{i=1}^{\infty }{f}_n(x)dx=(L){\int }_{[-1,1]}1dx=2$
3. 证明：若$f(x)$在[a,b]上绝对连续，$f^{\prime }(x)\ge 0$,a.e.于[a,b],则$f(x)$为增函数。
   \quad 证： 对$\forall x_1,x_2\in [a,b],$不妨设$x_1<x_2$由于$f$绝对连续，于是$f(x)$可表示为$f(x)=f(a)+{\int }_a^{x}f(t)dt$,
   故
   \quad\quad $f(x_1)=f(a)+{\int }_a^{x_1}{f}^{\prime }(t)dt$,
   \quad\quad $f(x_2)=f(a)+{\int }_a^{x_2}{f}^{\prime }(t)dt$.
   \quad\quad $f(x_2)-f(x_1)={\int }_{x_1}^{x_2}{f}^{\prime }(t)dx$
   由于$f^{\prime }(x)\ge 0$，a.e.于[a,b],故$f(x_2)-f(x_1)\ge 0,f$在[a,b]上是增函数。
4. 设 { f n ( x ) } \{f_n(x)\} {fn​(x)}是[a,b]上一列绝对连续的增函数，若级数
   $f(x)={\sum }_{i=1}^{\infty }{f}_n(x)$在[a,b]上处处收敛，证明：$f(x)$是[a,b]上的绝对连续函数。
   \quad 证： 对于$\forall n>0$,由于$f_n(x)$在[a,b]上绝对连续，于是有
   $f_n(x)=f_n(a)+{\int }_a^x{f}_n^{\prime }(t)dt$又因为$f_n(x)$处处收敛，于是${\sum }_{i=1}^{\infty }{f}_n(a)=f(a)$,又因为$f^{\prime }(x)\ge 0$且绝对连续，从而${\sum }_{i=1}^{\infty }{\int }_a^x{f}_n(t)dt={\int }_a^x{\sum }_{i=1}^{\infty }{f}_n(t)dt$
   所以有
   $f(x)={\sum }_{i=1}^{\infty }{f}_n(x)=f_n(x)$
   $={\sum }_{i=1}^{\infty }{f}_n(a)+{\sum }_{i=1}^{\infty }{\int }_a^x{f}_n^{\prime }(t)dt$
   $=f(a)+{\int }_a^{x}f(t)dt$
   即$f(x)$为[a,b]上的绝对连续函数。

往期：

2-1 实变函数之集合论
2-2 实变函数之集合论（点集）
2-3 实变函数之测度论
2-4 实变函数之可测函数
2-5 实变函数之积分论
2-6 实变函数之微分与不定积分