《实函403》-精选课件(公开).pptVIP

第一节 可测函数的定义及其性质 则称 在E上几乎处处成立. 从性质1可以看到，函数的可测性与其在零测集上的取值无关，因此，讨论函数的可测性允许在任何零测集上改变其值，比如，我们来看看Dirichlet函数。 一、函数列的几种收敛定义 3.几乎处处收敛: 记作 (almost everywhere） 收敛的联系（叶果洛夫定理的引入） 几乎处处取有限值的可测函数. 第四节 可测函数结构 Lusin定理 可测函数 简单函数是可测函数 可测函数总可表示成一列简单函数的极限 （当可测函数有界时，可作到一致收敛） 一、鲁津定理 鲁津定理的证明 证明：由于mE[|f|=+∞]=0 ，故不妨令f(x)为有限函数 (1) 当f(x)为简单函数时， 对f(x)在F连续的说明 若f(x)在Fi上连续，而 Fi为两两不交闭集，则f(x)在 上连续 (2)当f(x)为有界可测函数时，存在简单函数列{φn(x)} 在E上一致收敛于f(x)， 鲁津定理的证明 则g(x)为有界可测函数，应用(2)即得我们的结果 （连续函数类关于四则运算封闭） * * 第四章 可测函数 为了引进新的积分，我们还需要引进一类重要的函数即可测集上的可测函数，这类函数一方面与数学分析中的连续函数有着密切的联系，另一方面比连续函数更为广泛、应用价值更大. 设 个与集合E的点x有关的命题，若存在E的子集E1, 在第一节的最后，我们引进一个概念 定义4 （almost everywhere） 广义实函数，若 例：设 即：即在给定的集上，除去一个零测度集后，在留下的集合上恒成立. 则称 处处 收敛于f(x). 若m (E[f≠g])=0,则称f(x)=g(x)在E上几乎处处成立, 记作f(x)=g(x) a.e.于E。 证明：令E 1= E[f≠g]， E 2= E[f=g]，则m E1=0 从而 g(x)在E1上可测 ， 即： 设f(x)=g(x) a.e.于E， f(x)在E上可测，则g(x)在E上也可测 注：用到了可测函数关于子集、并集的性质 另外f(x)在E2上可测，从而 g(x)在E2上也可测 ， 进一步g(x)在E=E1 ∪E2上也可测 。 性质1 如果两个函数 与 在 上几乎处处相等，则当其中一个在E上可测时，另一个也可测。 注：在一零测度集上改变函数的取值不影响函数的可测性. 在第五章中将会看到，这样的函数虽然不是Riemann可积的，却是最简单的Lebesgue可积函数。 由于 故可以在 上重新定义D的值， 从而得新的函数,这是常值函数，它与 几乎处处相等， 所以 与 的可测性相同。尽管 处处不连续， 但和一个常值函数却是几乎处处相等的。 第二节 叶果洛夫定理 1.可测函数的收敛性 2.叶果洛夫定理 2.一致收敛: 注：近似地说一致收敛是函数列 收敛慢的程度能有个控制. 或者说一致收敛是函数图 象陡的程度能有个控制. fn(x)=xn 1.点点收敛: 记作 1-δ 例：函数列 fn(x)=xn , n=1,2,… 在(0,1)上处处收敛到 f(x)=0,但不一致收敛， 但去掉一小测度集合 (1-δ,1),在留下的集合 上一致收敛. fn(x)=xn 即：即在给定的集上，除去一个零测集后处处（逐点）收敛. 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛 4.几乎一致收敛:记作 (almost uniformly) 例：函数列fn(x)=xn 在(0,1)上处处收敛到 f(x)=0,但不一致收敛， 但去掉一小测度集合 [1-δ,1),在留下的集合 上一致收敛. 1-δ fn(x)=xn 2.几乎处处收敛与几乎一致收敛（叶果洛夫定理） ①设mE+∞， 则对任意 测子集e,使 即：去掉某个小（任意小）测度集，在留下的集合上一致收敛. （此定理说明：凡是满足定理条件的a.e.收敛的可测函数列，即使不一致收敛，也是“基本上”（去掉某个任意小的测度集）一致收敛. 证明：分两步进行： 第一步：构造E的子集e,使在 ⅰ一致收敛的定义是说：对任意的 显然这等价于：对任意的 对 由此可知，对任意的 的那些点x都应从E中去掉. 都应从E中去掉.令 ⅱ在 事实上，对任意的 即在 第二步：再证对任意的 满足第一步中条件的 义 实际上，只要 可以任意小.这是因为，由 由定理条件mD=0.从而，对每个k都有 由第三章定理9，得 可以任意小.令 于是有 问：可测函数是否可表示成一列连