实变函数中南第四章_可测函数.pdf

《实变函数》教案 第四章 可测函数 （总授课时数 14学时） 由于建立积分的需要，我们还必须引进一类重要的函数——Lebesgue 可测函数，并讨 论其性质和结构. §1 可测函数及其性质 教学目的 本节将给出可测函数的定义并讨论其基本性质 教学要点 可测函数有若干等价的定义. 它是一类范围广泛的函数, 并且有很好 的运算封闭性. 可测函数可以用简单函数逼近, 这是可测函数的构造性特征. 本节难点 可测函数与简单函数的关系. 授课时数 4学时 —————————————————————————————— 1 可测函数定义 定义：设f (x ) 是可测集E 上的实函数(可取)，若a R, E[f a ] 可测，则称f (x ) 是E 上的可测函数. 2 可测函数的性质 性质 1 零集上的任何函数都是可测函数。 注：称外测度为 0 的集合为零集；零集的子集，有限并，可数并仍为零集 性质 2 简单函数是可测函数 n 若E E ( E 可测且两两不交），f (x ) 在每个E 上取常值c ，则称f (x ) 是E 上的 i i i i i 1 简单函数； n 1 x Ei f (x ) c  (x ) 其中 (x )  i E E i 1 i i 0 x E Ei  注：Dirichlet 函数是简单函数 性质 3 可测集 E 上的连续函数f (x ) 必为可测函数 设f (x ) 为E 上有限实函数，称f (x ) 在x0 E 处连续 若 0,  0, 使得f (O (x0 ,) E ) O ( f (x0 ),) 对比：设f (x ) 为 a,b 上有限实函数，f (x )在x (a ,b )处连续   0 若lim f (x ) f (x ) 0 x x 0 第 1 页（共 15 页） 《实变函数》教案 即 0,  0, 当| x x |时，有| f (x ) f (x ) | 0 0 即 0,  0, 当x O(x0 ,) 时，有f (x ) O( f (x0 ),) 即 0,  0, 使得f (O (x0 ,) ) O ( f (x0 ),) f (x ) 在x0 [a,b]处连续(对闭区间端点则用左或右连续) 证明：任取x E f a , 则f x a ,由连续性假设知，     对 f (x ) a ,  0, 使得 x