4-1可测函数及其性质.pptVIP

上一页 下一页 主 页 返回 退出 * 第四章 可测函数 §1 可测函数及其性质 §2 叶果洛夫定理 §3 可测函数的构造 §4 依测度收敛 ±? 称为非真正的实数，通常的实数则称为有限 实数，函数值都是有限实数的函数称为有限函数． 对包含± ? 在内的实数运算作如下规定： + ? 是全体有限实数的上确界，－ ? 是全体有限实 数的下确界．从而对递增无上界的数列 { an } ，有 §1 可测函数及其性质 一 可测函数的概念 1 广义实数系 及其运算法则 对任何有限实数 a , a + (± ? ) = (± ? ) + a = (± ? ) ? a = ± ? (± ? ) + (± ? ) = ± ? , 对任何有限实数 a 0, 对递减无下界的数列 { an } ，有 下列表达式是无意义的： (±? ) － (±?)，(+ ? ) + ( ?? )， (??) + (+ ? ) 设 f ( x ) 是定义在集 上的实函数，记 定义 1 设 f ( x ) 是定义在可测集 上的实 函数． 若对任何实数 a , E [ f a ] 都是可测集， 则称 f 是 E 上的可测函数，或称 f 在 E 上可测． 例 零测度集上的任何函数都是可测函数． 定义在可测集上的任何常数函数都是可测函数． 若 b a, 则 ，且 2 可测函数的概念 设 f 是定义在可测集 E 上的实函数．下列 任一条件都是 f 在 E 上可测的充要条件： 定理1 ⑴ 对任何实数 a , E [ f ? a ] 都可测； ⑵ 对任何实数 a , E [ f a ] 都可测； ⑶ 对任何实数 a , E [ f ? a ] 都可测； ⑷ 对任何实数 a , b ( a b ), E [ a ? f b ] 都可测 （充分性要假定 | f (x ) | ? ）． 证 只需证明条件 ⑴ ， ⑷ 的充要性． f 在 E 上可测的充要条件是 ⑴ 对任何实数 a , E [ f ? a ] 都可测； 设 f 在 E 上可测，则对任何实数 a ， E [ f a ]是 可测集，因为有 所以 E [ f ? a ] 是可测集． 反之，若对任何实数 a , E [ f ? a ] 都可测，由于 所以 E [ f a ] 是可测集． 下面证明：条件 ⑴ 和条件 ⑷ 等价． 若 ⑴ 成立，即对任何实数 a ， E [ f ? a ] 都可测， 由于对任何实数 a , b ( a b ), 有 所以，E [ a ? f b ] 是可测集． 反之，若 ⑷ 成立且 | f (x ) | ∞ ，即对任何实数 a , b ( a b ), E [ a ? f b ] 都可测，由于 所以 E [ f ? a ] 是可测集． 推论 设 f 在 E 上可测，则 E [ f = a ] 可测，不论 a 是有限实数或±∞ ． 证 因为 所以结论成立． 区间 [ a , b ] 上的连续函数及单调函数都是 例 可测函数． 证 设 f 在 [ a , b ] 连续，则对任何实数 c ，点集 是一闭集． 从而可知 是可测集， 所以 f 在 [ a , b ] 上可测． 二 两类可测函数 不妨设 f 单调增加，则对任何实数 c ，点集 必定是下述三种情况之一：区间、单点集或空集． 从而可知 是可测集，所以 f 是可测函数． 下面证明：区间 [ a , b ] 上的单调函数是可测函数． 定义 2 设f 在 E ? Rn上有定义，x0 ∈E ，若对任给 ε 0，存在 δ 0，使得当 x ∈ U(x0 ,δ) ? E 时， 总有 成立，则称 f 在点 x0 相对于 E 连续，简称 f 在 x0 连续． 连续的定义也可用邻域描述为： 设 y0 = f (x0) 有限，若对y0 任一邻域 V ，存在 x0 的某 邻域 U ，使得 f ( U ? E )? V ． 若f 在 E 的每一点都连续, 则称 f 在 E 上连续． 注1 f 在其定义域 E 内的每一个孤立点 x0 处 都是相对于 E 连续的． 注2 f 的连续性是与某个特定集合E 有关的. 相对于不同的集合，连续性就不一样了． 例如[0, 1]上的 Dirichlet 函数 [0, 1]上的 Dirichlet 函数处处不连续，这里的连 续性