实变函数(3)-可测函数

1. 测度的补充

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

2.可测函数的概念

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

3.可测函数的性质

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

4.简单函数

若函数$\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$为阶梯函数.

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

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$$上可测.

6.可测函数的逼近原理

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上可测.

7.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}

8.依测度收敛

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

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

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

10.里斯(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$$

11. 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 ) } &lt; ε m\lbrace x \in E|f(x)\neq g(x)\rbrace &lt;\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)$.

12.支撑集

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 ) } &lt; ε m\lbrace x \in E |f(x)\neq g(x) \rbrace&lt;\varepsilon m{x∈E∣f(x)̸​=g(x)}<ε