可测函数与连续函数.docx

可测函数 与连续函 数 实变大作业 2011/4/27 可测函数与连续函数 【摘要】： 主要介绍几乎可测函数的定义与性质，及几乎处处有限的可测函数 与连续函数的关系。由于连续函数不是本章所学的内容，故不对其介绍。 【关键词】： 可测函数、连续函数、关系 这一章中主要学习了可测函数，这是一类新的函数，所以搞清它的性质及 其与其它函数之间的关第是十分重要与必要的。特别是我们十分熟悉的函数之 间的关系。 一、基本概念 1、几乎处处： 给定一个可测集 E，假如存在 E 的一个子集 ??1， ??(??? ??1) = 0，且使得性质 P 在?1?上处处成立，则称性质 P 在 E 上几乎处处成立。 2、可测函数： 设??? ? 是 Lebesgue 可测集， ??是??上的实值函数。假如对于任意实数 ?? ??? ? = { ??∈??:?? ? 都是可测集，则称 ??是??上的 Lebesgue 可测函数（简称 ??是??上的可测函数）。 3、几乎处处有限的可测函数： 设??? ? 是 Lebesgue 可测集，给定一个可测集 E，存在 E 的一个子集 ??1， ??( ?? ??1) = 0， ??在??1上有限，假如对于任意实数 ?? ??? ? = { ??∈??:?? ? 都是可测集，则称 ??是??上几乎处处有限的的 Lebesgue 可测函数 4、连续函数： 设??? ?， ??是定义于 ??的函数， ??∈??，假如 lim ?? → ??,????? = ?? 则称??沿D在??连续；假如 ??沿D内任意一点都连续，则称 ??沿D连续。 5、预备定理、引理 定理 2.2 设 f是一个紧集， { fn}n≥1 是一列沿 F 连续的函数。若 { fn} 在 F 上一致收敛于 f，则 f也沿 F 连续。 定理 2.3 （Egoroff ） 设 f和fn(n ≥1) 都是测度有限的集 D 上的几乎处 处有限的可测函数。若 fn在 D 上几乎处处收敛于 f，则对任何 ε 0，有 D 的闭子集 F，使 m( D - F ) ??， 并且fn在 F上一致收敛于 x ∈R x ∈R引理 2.1 设 F 是 R 中的闭集，函数 f沿 F 连续，则 上的连续函数 f?，并且 sup | f? ( x) |=sup | f x ∈R x ∈R f。 f f可以开拓成 R 引理 2.2 设 f 是可测集 D 上的简单函数。则对任何 ε 0，有沿 D 连 续的函数 f? 使 m( {f ≠f?} ) ??。 二、可测函数和连续的关系 1、连续函数的可测性 定理 1 可测集上的连续函数都是可测函数。 证明: 对任意a ∈R，设x ∈E( f ?，则由连续性假设，存在 x的某邻域 U( x)，使 U( x) ∩E ? E( f ?。因此，令 G = ? x∈ E(f??)U(x) ，则： G ∩E = [ ? U(x) ] ∩E = ? U(x) ∩(f ??) x ∈ E(f??) x ∈ E(f??) 反之，显然有 E( f ? ? G，因此： ??? ? ? ??∩??? ? ? ??∩?? 从而： ??? ? = ??∩??? ? 但 G 是开集（因为它是一族开集这并），而 E 为可测集，故其交 ??∩??仍 为可测集，即 ??? ?为可测集，由定义知： f(x) 是可测函数。 但可测函数不一定连续例 例： 可测函数 Dirichlit 函数在 [0,1]上处处间断 2、用连续函数逼近可测函数，可测函数的连续性 引理 1： 设 F 是 R 中的闭集，函数 f 没 F 连续，则 f 可以开拓成 R 的连续函数 f?，并且： x ∈R x ∈Rsup|f?(x) | x ∈R x ∈R 证明： 此时Fc = ? (an , bn)是开集，其中开区间族 { ( an , bn)}两两不相交。今定 义 F Fk ) f ?( x) = f( x) , 线性 , f(an ) , { f(bn ) , 若 x ∈F 若 x ∈[ an , bn] , 且[ an , bn] 有界 若 x ∈[ an