1 记号 (notations)

(1) 广义实数: $\overline{\bbR}=\bbR\cup\sed{-\infty}\cup\sed{+\infty}$.

(2) 本章主要考虑     $$\bex     f:E\to \overline{\bbR},     \eex$$

其中 $E$ 是可测集, 而把     $$\bex     f:E\to \bbR     \eex$$

称为有限函数.

注意: 有限函数、有界函数的区别.

(3)     $$\bex     E[f>c]=\sed{x\in E;f(x)>a}\quad\sex{x\mbox{ 是哑巴}}.     \eex$$

2 可测函数的定义: $$\bex f:E\to \overline{\bbR}\mbox{ 可测}\lra \forall\ c\in\bbR, E[f>c]\mbox{ 可测}. \eex$$

(1) 例 1: $\dps{D(x)}$ 可测:     $$\bex     \overline{\bbR}[D>c]=\sedd{\ba{ll}     \vno,&c\geq 1,\\     \bbQ,&0\leq c<1,\\     \bbR,&c<0.     \ea}.     \eex$$

(2) 例 2: $E=(a,b)$ 上的连续函数、单调函数可测:     $$\bex     f\mbox{ 连续}\ra E[f>c] \mbox{ 是开集};     \eex$$     $$\bex     f\mbox{ 单增}\ra E[f>c] \mbox{ 是区间}.     \eex$$

注: 区间 $I$ 的意思是: $a,b\in I, a<b\ra [a,b]\in I$.

3 可测函数的等价定义: $$\bex f\mbox{ 可测}\lra \sedd{\ba{ll} (1)&\forall\ c, E[f\geq c]\mbox{ 可测},\\ (2)&\forall\ c, E[f<c] \mbox{ 可测},\\ (3)&\forall\ c, E[f\leq c\mbox{ 可测},\\ (4)&\forall\ -\infty<a<b<+\infty, E[a\leq f<b]\mbox{ 可测},\\ &(\ra\mbox{ 需要 }f \mbox{ 是有限函数}). \ea} \eex$$

证明: $$\bex E[f\geq c]=\cap_{i=1}^\infty E\sez{f\geq c-\frac{1}{i}}, \eex$$ $$\bex E[f>c]=\cup_{i=1}^\infty E\sez{f\geq c+\frac{1}{i}}, \eex$$ $$\bex E[a\leq f<b]=E[f\geq a]-E[f\geq b], \eex$$ $$\bex f\mbox{ 有限}\ra E[f\geq a]=\cup_{i=1}^\infty E[a\leq f<a+i]. \eex$$

(1) 推论: $E[f=c]$ 可测.

证明:     $$\bex     c\in\bbR\ra E[f=c]=E[f\geq c]-E[f>c],     \eex$$     $$\bex     c=+\infty\ra E[f=c]=\cap_{i=1}^\infty E[f>i],     \eex$$     $$\bex     c=-\infty\ra E[f=c]=\cap_{i=1}^\infty E[f<-i].     \eex$$

4 重要的可测函数类 I---连续函数类

(1) $f: E\to \overline{\bbR}$ 在点 $x_0\in E$ 处连续, 如果 $f(x_0)\in\bbR$, 且     $$\bex     \forall\ \ve>0,\ \exists\ \delta>0,\st x\in E\cap B(x_0,\delta)\ra |f(x)-f(x_0)|<\ve.     \eex$$

注: $f$ 在 $E$ 的孤立点上连续.

(2) 设 $f:E\to\overline{\bbR}$ 连续, 则 $f$ 可测.

证明:     由     $$\bex     x\in E[f>c]&\ra f(x)>c     \ra \exists\ \delta_x>0,\st E\cap B(x,\delta_x)\subset E[f>c]     \eex$$

知     $$\bex     E[f>c]=\cup_{x\in E[f>c]}\sez{E\cap B(x,\delta_x)}     =\sez{\cup_{x\in E[f>c]}B(x,\delta_x)}\cap E.     \eex$$

5 重要的可测函数类 II---简单函数类

(1) 设 $f$ 在 $E$ 上可测, $\tilde E(\subset E)$ 可测, 则 $f$ 在 $\tilde E$ 上的限制 $f:\tilde E\to\overline{\bbR}$ 也

可测:     $$\bex     \tilde E[f>c]=\tilde E\cap E[f>c].     \eex$$

(2) $f$ 在 $\sed{E_i}_{i=1}^j$ 上可测 $\ra f$ 在 $\dps{E=\cup_{i=1}^j}$ 上可测:     $$\bex     E[f>c]=\cup_{i=1}^j E_i[f>c].     \eex$$

(3) 简单函数: 设 $\sed{E_i}_{i=1}^j$ 两两不交, 可测,     $$\bex     f:E=\cup_{i=1}^j E_i\to \overline{\bbR}     \eex$$

使得 $f(x)=c_i, x\in E_i$, 则称 $f$ 为简单函数, 记作     $$\bex     f(x)=\sum_{i=1}^j c_i\chi_{E_i}(x),\quad x\in E.     \eex$$

(4) 例: $D(x)$ 是 $\bbR$ 上的简单函数.

(5) 简单函数可测.

6 可测函数的四则运算

(1) $f,g$ 可测 $\dps{\ra -f,f\pm g, |f|,\frac{1}{f}, f^2,f\cdot g}$ 可测.

证明:     $$\beex     \bea     E[-f>c]&=E[f<-c];\\     E[f+g>c]&=E[f>c-g]\\     &=\cup_{r\in\bbQ}\sex{E[f>r]\cap E[r>c-g]}\\     &=\cup_{r\in\bbQ}\sex{E[f>r]\cap E[g>c-r]};\\     f-g&=f+(-g);\\     E\sez{\frac{1}{f}>c}     &=\sedd{\ba{ll}     E[f>0]\cap E\sez{f<\frac{1}{c}},&c>0\\     E[f>0]\bs E[f=+\infty],&c=0\\        E[f>0]\cup E\sez{f<\frac{1}{c}},&c<0     \ea};\\     E[f^2>c]&=\sedd{\ba{ll}     E[f>\sqrt{c}]\cup E[f<-\sqrt{c}],&c\geq 0\\     E,&c<0     \ea};\\     f\cdot g&=\frac{1}{4}[(f+g)^2-(f-g)^2].     \eea     \eeex$$

(2) 推论:     $$\bex     f\mbox{ 可测}\lra \mbox{正部 }f^+=\max\sed{f,0},\mbox{ 负部 }f^-=-\min\sed{f,0}, \mbox{  可测}.     \eex$$

证明: $\ra$         $$\bex         f^+=\frac{|f|+f}{2},\quad f^-=\frac{|f|-f}{2}.         \eex$$

$\la$ $f=f^+-f^-$.

7 可测函数的极限运算:

(1)     $$\bex     f_i\mbox{ 可测}\ra m(x)=\inf_{i\geq 1}f_i(x),\ M(x)=\sup_{i\geq 1}f_i(x)\mbox{ 可测}:     \eex$$     $$\beex     \bea     E[m\geq c]&=\cap_{i=1}^\infty E[f_i\geq c];\\     E[M\leq c]&=\cap_{i=1}^\infty E[f_i\leq c].     \eea     \eeex$$

(2)     $$\bex     f_i\mbox{ 可测}\ra \varliminf_{i\to\infty}f_i,\ \varlimsup_{i\to\infty}f_i\mbox{ 可测}:     \eex$$     $$\bex     \varliminf_{i\to\infty}f_i     =\sup_{i\geq 1}\inf_{j\geq i}f_j,\quad     \varlimsup_{i\to\infty}f_i     =\inf_{i\geq 1}\sup_{j\geq i}f_j.     \eex$$

8 可测函数与简单函数的关系:

(1)     $$\bex     f\mbox{ 非负可测}\ra \exists\mbox{ 简单函数列 }\sed{\phi_k},\st \phi_k\nearrow f.     \eex$$

证明: 取     $$\beex     \bea     E_{k,j}&=E\sez{\frac{j-1}{2^k}\leq f<\frac{j}{2^k}},\quad j=1,2,\cdots,k2^k;\\     E_k&=E[f\geq k],\quad k=1,2,\cdots.     \eea     \eeex$$

后, 作     $$\bex     \phi_k(x)=\sedd{\ba{ll}     \frac{j-1}{2^k},&x\in E_{k,j},\\     k,&x\in E_k.     \ea}.     \eex$$

则 $\phi_k$ 为简单函数, 且     $$\bex     \phi_k\leq \phi_{k+1}\leq f:     \eex$$     $$\beex     \bea     x\in E_{k,j}&\ra \frac{j-1}{2^k}\leq f(x)<\frac{j}{2^k}\\     &\ra \frac{2j-2}{2^{k+1}}\leq f(x)<\frac{2j}{2^{k+1}}\\     &\ra \frac{2j-2}{2^{k+1}}\leq f(x)<\frac{2j-1}{2^{k+1}}\mbox{ 或 }     \frac{2j-1}{2^{k+1}}\leq f(x)<\frac{2j}{2^{k+1}}\\     &\ra \phi_{k+1}(x)=\frac{2j-2}{2^{k+1}}\mbox{ 或 }\frac{2j-1}{2^{k+1}}\geq \frac{j-1}{2^k}=\phi_k(x),\\     x\in E_k&\ra f(x)\geq k\\     &\ra f(x)\geq k+1\mbox{ 或 }\frac{j-1}{2^{k+1}}\leq f(x)<\frac{j}{2^{k+1}}\\     &\quad\sex{j=(k+1)2^{k+1},\cdots,k2^{k+1}+1}\\     &\ra \phi_{k+1}(x)=k+1\mbox{ 或 }     \frac{j-1}{2^{k+1}}\geq k=\phi_k(x).     \eea     \eeex$$

往证 $\phi_k\to f$:

若 $f(x)=+\infty$, 则 $\phi_k(x)=k$;

若 $f(x)<+\infty$, 则当 $k>f(x)$ 时,     $$\bex     0\leq f(x)-\phi_k(x)<\frac{1}{2^k}.     \eex$$

(2)     $$\bex     f\mbox{ 可测}\ra \exists\ \mbox{ 简单函数列 }\phi_k,\st \phi_k\to f.     \eex$$

证明:     $$\bex     \ba{ccccc}     f&=&f^+&-&f^-\\     \uparrow&&\uparrow&&\uparrow\\     \phi_k&=&\phi_{1k}&-&\phi_{2k}     \ea.     \eex$$

(3)     $$\bex     f\mbox{ 有界可测}\ra \exists\mbox{ 简单函数列 }\sed{\phi_k},\st \phi_k\rightrightarrows f.     \eex$$

证明: 设 $|f|\leq M$, 则当 $k>M$ 时,     $$\bex     |f^+-\phi_{1k}|<\frac{1}{2^k},\quad     |f^--\phi_{2k}|<\frac{1}{2^k},     \eex$$

而     $$\bex     |f-\phi_k|<\frac{1}{2^{k-1}}.     \eex$$

(4) 总结:     $$\bex     \mbox{ 非负可测}\ra\mbox{单调逼近};\quad\mbox{可测}\ra \mbox{点点逼近};\quad     \mbox{有界可测}\ra \mbox{一致逼近}.     \eex$$

9 一个定义: 设 $E$ 是集合, $\pi$ 是命题, 若 $$\bex \exists\ Z\subset E,\ mZ=0,\st \pi\mbox{ 在 }E\bs Z\mbox{ 上成立}, \eex$$

则称 $\pi$ 在 $E$ 上几乎处处成立, 记作 $\pi\ \ae$ 于 $E$ (almost everywhere).

(1) 例 1: $|\tan x|<\infty$ $\ae$ 于 $\bbR$.

(2) 例 2: $D(x)=0$, $\ae$ 于 $\bbR$.

(3)     $$\bex     \left.\ba{ll}     \pi_1,\ae\mbox{ 于 }E\\     \pi_2,\ae\mbox{ 于 }E     \ea\right\}\ra \pi_1\cap \pi_2,\ae\mbox{ 于 }E.     \eex$$

(4) 例: 若 $f=g$, $\ae$ 于 $E$;  $g=h$, $\ae$ 于 $E$, 则 $f=h$, $\ae$ 于 $E$.

10 作业: Page 94, T 2.

[实变函数]4.1 可测函数 (measurable function) 及其性质的更多相关文章

  1. [实变函数]3.2 可测集 (measurable set)

    1 $\bbR^n$ 中集合 $E$ 称为可测的 (measurable), 如果 $$\bee\label{3.2:Caratheodory} m^*T=m^*(T\cap E)+m^*(T\cap ...

  2. 符号函数(sign function)性质及应用

    sgn(x):=⎧⎩⎨−101if x<0,if x=0,if x>0. 形式及描述较为简单的数学对象,更应当注意的便是其细节问题,对于 sign 函数(符号函数),便是自变量取值为 0 ...

  3. Random Variables

    可测空间(Measurable Space)和测度空间(Measure Space) 集合X,X上的一个σ-algebra A,则(X,A)被称为可测空间(measurable space) 再在A上 ...

  4. (转) Written Memories: Understanding, Deriving and Extending the LSTM

    R2RT   Written Memories: Understanding, Deriving and Extending the LSTM Tue 26 July 2016 When I was ...

  5. [学习笔记]约数&欧拉函数

    约数 一.概念 约数,又称因数.整数a除以整数b(b≠0) 除得的商正好是整数而没有余数,我们就说a能被b整除,或b能整除a.a称为b的倍数,b称为a的约数. 二.性质 1.整数唯一分解 1)定义 对 ...

  6. 通过百度echarts实现数据图表展示功能

    现在我们在工作中,在开发中都会或多或少的用到图表统计数据显示给用户.通过图表可以很直观的,直接的将数据呈现出来.这里我就介绍说一下利用百度开源的echarts图表技术实现的具体功能. 1.对于不太理解 ...

  7. [实变函数]5.3 非负可测函数的 Lebesgue 积分

    本节中, 设 $f,g,f_i$ 是可测集 $E$ 上的非负可测函数, $A,B$ 是 $E$ 的可测子集.       1 定义: (1) $f$ 在 $E$ 上的 Lebesgue 积分      ...

  8. [实变函数]5.4 一般可测函数的 Lebesgue 积分

    1定义 (1)$f$ 在 $E$ 上积分确定 $\lra$ $\dps{\int_Ef^+(x)\rd x<+\infty}$ 或 $\dps{\int_Ef^-(x)\rd x<+\in ...

  9. OpenCascade B-Spline Basis Function

    OpenCascade B-Spline Basis Function eryar@163.com Abstract. B-splines are quite a bit more flexible ...

随机推荐

  1. PHP 安装 eaccelerator

    安装开发工具包: yum groupinstall -y "Development Tools" 查看本机php版本: rpm -qi php 下载rpm包: wget http: ...

  2. 关于Lua程序设计{读书笔记}

    1.lua中的标识符可以是由任意字母.数字和下划线构成的字符串,但不能以数字开头.2.lua将通常类似"_VALUE"的标识符作为保留标识符3.lua的保留字 and break ...

  3. OSPF

    Ospf OSPF(开放最短路径优先协议)是一种无类内部网关协议(IGP):是一种链路状态路由选择协议: 入门: 可以把整个网络(一个自治系统AS)看成一个王国,这个王国可以分成几个 区(area), ...

  4. 套接字I/O模型-WSAEventSelect(转载)

    和WSAAsyncSelect类似,它也允许应用程序在一个或多个套接字上,接收以事件为基础的网络事件通知. 该模型最主要的区别是在于网络事件是由对象句柄完成的,而不是通过窗口例程完成. 事件通知 事件 ...

  5. java 锁讲解

    每个锁对象都有两个队列,一个是就绪队列,一个是阻塞队列,就绪队列存储了将要获得锁的线程,阻塞队列存储了被阻塞的线程,当一个被线程被唤醒 (notify)后,才会进入到就绪队列,等待获得锁.当一开始线程 ...

  6. 【Hadoop】搭建完全分布式的hadoop

    博客已转移,请借一步说话! http://www.weixuehao.com/archives/577 下面博文已更新,请移步 ↑ 用于测试,我用4台虚拟机搭建成了hadoop结构 我用了两个台式机. ...

  7. com.sun.crypto.provider.SunJCE

    Could not instantiate bean class [com.lz.monitor.alert.service.ServiceImp]: Constructor threw except ...

  8. linux终端-console

    echo $TERM 在ssh上是xterm 在console上是linux setterm -foreground black -background white -store http://blo ...

  9. P1003 越野跑【tyvj】

    /*=========================================================== P1003 越野跑 描述 Description 为了能在下一次跑步比赛中有 ...

  10. node-webkit 应用打包发布

    方便进行打包,使用了nodejs  ,gulp  nw-builder 备注  windows 操作系统部分版本需要包含  msvcr100.dll  建议制作安装程序的时候直接包含 为了进行视频以及 ...