可测函数的定义及性质-实变函数论.PPT

四川省省级精品课程《实变函数论 》 主讲人：魏勇 §2.4 可测函数定义及其性质 第二章 可测集与可测函数 新的积分（Lebesgue积分,从分割值域入手） yi yi-1 用 mEi 表示 Ei 的“长度” 问题：什么样的函数可使Ei 都有测度呢? 1可测函数定义 推论2.4.2 零集上的任何函数都是可测函 数。 注：称外测度为0的集合为零集；零集的子集，有限并，可数并，有限交，可数交仍为零集 定义：设f(x)是可测集E上的实函数(可取 )， 若 可测，则称f(x)是E上的可测函数 定义的合理性、自然性：E[a≤fb]=E[f≥a]-E[f≥b] 为什么用E[f≧a]不用E[fa]可测作定义?为了简单! 2.可测函数的等价描述 ⒈定理2.4.1推论1.4.1：设f(x)是可测集E上的 实函数，则 以下叙述等价: 另外：f可测,对?a,Ｅ[f=a]=E[f≧a]-E[fa]为可测集 反过来说,Ｅ[f=a]可测? f可测吗? (进一步:?有理坐标点x’ ,y’,有理数 r’x, r’y, 满足x? O( x’, r’x)? O( x, rx/2), y? O(y’, r’y) ? O(y, ry/2)， O( x’, r’x)? O(y’, r’y)=?） 故E-E’至多可数 1题：因为E有界, ?有界区间I?E,m*E?|I|+? 3题：令Ex=E ?[a,x], f(x)=m*Ex,则f在[a，b]上 连续(?),且f(a)=0, f(b)=m*E, 对 ?0Cm*E, 由连续函数介值定理 知存在 ax0b, f(x0)=C 30题. 证E-E’至多可数 证:因为?x?E-E’,?rx,O(x, rx)?E-{x}=? 所以 ?x,y?E-E’, ?rx, ry, 满足 作业问题: O(x, rx/2)? O(y, ry/2)=?,（?) 否则，d(x,y) ≦d(x,z)+d(y,z)(rx/2)+(ry/2)max{rx,ry}，矛盾 补充例 R中的可测子集E上的单调函数可测 a I a x1 x2 由f单调增知下面的集合为可测集 证明：不妨设f单调增，对任意a∈R 3.可测函数的性质(推论2.4.3,定理2.4.2) ⑴可测函数关于子集、并集的性质 反之，若 　 , f(x)限制在En上是可测函 数，则f(x)在E上也是可测函数。 即:若f(x)是E上的可测函数, 可测， 则f(x)限制在E0上也是可测函数； 例１：若m (E[f≠g])=0,则称f(x)=g(x)在E上几乎处处成立, 　　　记作f(x)=g(x) a.e.于E。如：Ｄ(x)=0 a.e.于[0，1] “几乎处处”概念： 设　　是一个与集合的点x有关的命题，如果存在Ｅ的子集Ｎ，且mＮ=0,使得　　在Ｅ－N上恒成立，则称　　在E上几乎处处成立，记作　　 a.e.于E。（almost everywhere） 例２：tgx在R上几乎处处有限,记作 例３： 定理2.4.3：设f(x)=g(x) a.e.于E， f(x)在E上可 测，则g(x)在E上也可测 证明： g(x)在E[f=g]上可测（ f(x)在E[f=g]上可测）， g(x)在E[f≠g] 上可测(因为m E[f≠g]=0),故f(x)在E＝ E[f=g] ∪E[f≠g]上可测 ⑵可测函数类关于确界运算和极限运算封闭。 推论：可测函数列的极限函数仍为可测函数 （连续函数列的极限函数不一定为连续函数）。 若　 是E上的可测函数,则下列函数仍在E上可测。 定理2.4.4 应用： 应用： ⑶可测函数类关于四则运算封闭 定理2.45: 若f(x),g(x)是E上的可测函数, 则f(x)+g(x) , f(x)-g(x) , f(x)g(x) , f(x)/g(x) 证明： 详见教材66－67页定理2.6.2，即在讨论可测函数与简单函数的关系后证更容易． 补充例: 设{fn}是可测函数列，则它的收敛点全体和发散点全体是可测集. 注意：函数列收敛与函数列收敛于f之间的不同. 证明: 4题：Si可测互不相交,且Si?Ei 作业问题: 9题： 10题：f在E上可测?任意有理数r,E[fr]可测 证明：=显然 =