3.2可测函数的收敛性.PDFVIP

3.2 可测函数的收敛性 教学目的 可测函数列可以定义各种收敛性. 本节讨论几乎处处收敛, 依 测度收敛和几乎一致收敛. 几种收敛性之间存在一些蕴涵关系. 通过本节的 学习, 可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了 解. 本节要点 本节引进的几种收敛是伴随测度的建立而产生的新的收敛性. 特别是依测度收敛是一种全新的收敛, 与熟知的处处收敛有很大的差异. Egorov 定理和Riesz 定理等揭示了这几种收敛之间的关系. Riesz 定理在几乎 处处收敛和较难处理的依测度收敛之间架起了一座桥梁. 以下所有的讨论都是在某一固定的测度空间(X , F ,µ) 上进行的. 几乎处处成立的性质 先介绍几乎处处成立的性质的概念. 设P (x) 是一个与 x 有关 的命题. 若存在一个零测度集 N, 使得当 x ∉N 时 P (x) 成立( 换言之 , P x µ P x µ− {x : P (x)不成立} ⊂N ), 则称 ( ) (关于测度 )几乎处处成立. 记为 ( ) a.e. , 或 者P (x) a.e. 在上面的定义中, 若P (x) 几乎处处成立, 则集{x : P (x)不成立} 包含在一个零测度 集内. 若{x : P (x)不成立} 是可测集, 则由测度的单调性知道µ({x : P (x)不成立}) 0. 特别地, 当测度空间(X , F ,µ) 是完备的时候如此. 例 1 设给定两个函数f 和 g . 若存在一个零测度集 N, 使得当x ∉N 时 则称 和 几乎处处相等, 记为 a.e. f (x) g (x), f g f g 例2 设f 为一广义实值函数. 若存在一个零测度集N, 使得当x ∉N 时f +∞, 则 称f 是几乎处处有限的, 记为f +∞, a.e. 注1 设f 是几乎处处有限的可测函数, 则存在一零测度集N, 使得当x ∉N 时 ~ ~ ~ f +∞. 令f fI N c . 则f 是处处有限的可测函数并且f f a.e.. 因此, 在讨论几乎 处处有限的可测函数的性质时, 若在一个零测度集上改变函数的值不影响该性质, 则不妨 假定所讨论的函数是处处有限的. 注意, f 几乎处处有限与f ≤M a.e. 是不同的概念. f ≤M a.e. 表示存在一个 零测度集N, 使得f 在N c 上有界. 显然f ≤M a.e. 蕴涵f 几乎处处有限. 但反之不然. 例 82 1 如, 设f (x) (0 x ≤1), f (0) +∞. 则f 在(0, 1) 上关于 L 测度是几乎处处有限 x 的, 但在(0, 1) 中并不存在一个 L 零测度集 N 和M 0, 使得在(0, 1) −N 上, f (x) ≤M . 初学者常常在这里发生误解, 应当引起注意. 可测函数的几种收敛性 和定义在区间上的函数列的一致收敛一样, 可以定义在任意 集上的函数列的一致收敛性. 设 是 的子集. 定义在 上的函数. 若对 E X f ,