§3,2可测函数的收敛性 教学目的可测函数列可以定义各种收敛性本节讨论几乎处处收敛,依 测度收敛和几乎一致收敛.几种收敛性之间存在一些蕴涵关系.通过本节的 学习,可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了 本节要点本节引进的几种收敛是伴随测度的建立而产生的新的收敛性 特别是依测度收敛是一种全新的收敛,与熟知的处处收敛有很大的差异 Egorov定理和Resz定理等揭示了这几种收敛之间的关系. Riesz定理在几乎 处处收敛和较难处理的依测度收敛之间架起了一座桥梁 以下所有的讨论都是在某一固定的测度空间(x,,p)上进行的 几乎处处成立的性质先介绍几乎处处成立的性质的概念.设P(x)是一个与x有关 的命题.若存在一个零测度集N,使得当xgN时P(x)成立(换言之 {x:P(x)不成立}cN),则称P(x)(关于测度)几乎处处成立.记为P(x)-ae,或 者P(x)ae 在上面的定义中,若P(x)几乎处处成立,则集{x:P(x)不成立}包含在一个零测度 集内.若{x:P(x)不成立}是可测集,则由测度的单调性知道({x:P(x)不成立})=0. 特别地,当测度空间(X,,p)是完备的时候如此 例1设给定两个函数∫和g.若存在一个零测度集N,使得当xgN时 f(x)=8(x),则称∫和g几乎处处相等,记为∫=gae 例2设为一广义实值函数若存在一个零测度集N使得当xgN时<+∞,则 称∫是几乎处处有限的,记为团八<+∞,ae 注1设∫是几乎处处有限的可测函数,则存在一零测度集N使得当xN时 <+∞.令f=.则厂是处处有限的可测函数并且了=fae.因此,在讨论几乎 处处有限的可测函数的性质时,若在一个零测度集上改变函数的值不影响该性质,则不妨 假定所讨论的函数是处处有限的 注意,∫几乎处处有限与f≤Mae是不同的概念|≤Mae.表示存在一个 零测度集N使得f在N上有界显然≤Mae.蕴涵/几乎处处有限但反之不然例
82 3.2 可测函数的收敛性 教学目的 可测函数列可以定义各种收敛性. 本节讨论几乎处处收敛, 依 测度收敛和几乎一致收敛. 几种收敛性之间存在一些蕴涵关系. 通过本节的 学习, 可以使学生对可测函数列的几种收敛性和相互关系有一个较全面的了 解. 本节要点 本节引进的几种收敛是伴随测度的建立而产生的新的收敛性. 特别是依测度收敛是一种全新的收敛, 与熟知的处处收敛有很大的差异. Egorov 定理和 Riesz 定理等揭示了这几种收敛之间的关系. Riesz 定理在几乎 处处收敛和较难处理的依测度收敛之间架起了一座桥梁. 以下所有的讨论都是在某一固定的测度空间(X , F ,µ) 上进行的. 几乎处处成立的性质 先介绍几乎处处成立的性质的概念. 设 P(x)是一个与 x 有关 的命题 . 若存在一个零测度集 N, 使得当 x ∉ N 时 P(x) 成 立 ( 换言之 , {x N : P(x)不成立} ⊂ ), 则称 P(x)(关于测度 µ )几乎处处成立. 记为 P(x) µ − 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 时 f (x) = g(x), 则称 f 和 g 几乎处处相等, 记为 f = g a.e. 例 2 设 f 为一广义实值函数. 若存在一个零测度集 N, 使得当 x ∉ N 时 f < +∞, 则 称 f 是几乎处处有限的, 记为 f < +∞, a.e. 注 1 设 f 是几乎处处有限的可测函数, 则存在一零测度集 N, 使得当 x ∉ N 时 f < +∞. 令 . ~ c N f = fI 则 f ~ 是处处有限的可测函数并且 a.e.. ~ f = f 因此, 在讨论几乎 处处有限的可测函数的性质时, 若在一个零测度集上改变函数的值不影响该性质, 则不妨 假定所讨论的函数是处处有限的. 注意, f 几乎处处有限与 f ≤ M a.e.是不同的概念. f ≤ M a.e.表示存在一个 零测度集 N, 使得 f 在 c N 上有界. 显然 f ≤ M a.e.蕴涵 f 几乎处处有限. 但反之不然. 例
如,设f(x)=-(00,使得在(0,1)-N上 (x)≤M.初学者常常在这里发生误解,应当引起注意 可测函数的几种收敛性和定义在区间上的函数列的一致收敛一样,可以定义在任意 集上的函数列的一致收敛性设E是X的子集.f,J(n21)定义在E上的函数.若对 任意E>0,存在N>0,使得当n≥N时,对一切x∈E成立n(x)-f(x)fu 定义1设为{厂}一可测函数列,∫为一可测函数 (1)若存在一个零测度集N,使得当xEN时,有 lim f(x)=∫(x),则称{厂}几乎 处处收敛于∫,记为 lim f=∫ae,或∫n→∫ (2)若对任给的E>0,总有 imH(4fn-/≥})=0 则称{fn}依测度收敛于f∫,记为∫n-→f∫. (3)若对任给的d>0,存在可测集E8,(E8)g,则∫=gae.其证明留作习题 例3设([0,+∞),([0,+∞),m)为区间[0,+∞)上的 Lebesgue测度空间.其中 n([O,+∞)是[0,+∞)上的L可测集所成的a-代数,m是R上的L测度在[0,+∞)上 的限制.令 f O 则对任意x>0,f(x)→0(m>∞)当x=0时f(x)不收敛于0.但m({0})=0,因 此在[.+∞)上f",0.由于对=1 m(m25)=m(0.J[n+∞) +∞4>0,(n→>+∞) 因此{〃n}不依测度收敛于0.这个例子表明在一般情况下,几乎处处收敛不一定能推出依 测度收敛 例4设([0,1,M([0,1),m)是[O,1上的 Lebesgue测度空间.令
83 如, 设 (0 1), 1 ( ) = 0, 使得在 (0, 1) − N 上 , f (x) ≤ M. 初学者常常在这里发生误解, 应当引起注意. 可测函数的几种收敛性 和定义在区间上的函数列的一致收敛一样, 可以定义在任意 集上的函数列的一致收敛性. 设 E 是 X 的子集. f , f (n ≥ 1) n 定义在 E 上的函数. 若对 任意ε > 0, 存在 N > 0, 使得当 n ≥ N 时, 对一切 x ∈ E 成立 f (x) − f (x) 0, 总有 lim ({ − ≥ }) = 0. →+∞ µ f f ε n n 则称{ }n f 依测度收敛于 f , 记为 f f . n →µ (3) 若对任给的δ > 0 , 存在可测集 Eδ , µ(Eδ ) 0, f (x) → 0(n → ∞). n 当 x = 0时 f (x) n 不收敛于 0. 但 m({0}) = 0, 因 此在[0, + ∞) 上 0. →a.e. n f 由于对 , 2 1 ε = 0, ( ). ] [ , )) 1 }) ([0, 2 1 ({ = +∞ →/ → +∞ ≥ = ∪ +∞ n n n m f n m 因此{ }n f 不依测度收敛于 0. 这个例子表明在一般情况下, 几乎处处收敛不一定能推出依 测度收敛. 例 4 设([0, 1], M ([0,1]), m) 是[0, 1]上的 Lebesgue 测度空间. 令
Jfn(x)=x",n≥1 则对任意δ>0,{n}在[0,1-6]上一致收敛于0.由于m(1-o,1)=d可以任意小 因此∫n>0.又显然fn—>0 例5设([O,1,M([O.1],m)是[0,1上的 Lebesgue测度空间.令 A1=[4-1,,i=1,…,n,n≥ 34(3 2)2 X A2 图2-1)将{4m}先按照n后按照的顺序重新编号记为{En}显然m(En)→>0.令 f(x)=l(x), n21, f(x)=0 对任意E>0,由于 m({fn-≥6})=m(En)→0,n→ 故{fn}依测度收敛于∫.但{n}在[O,1上处处不收敛.事实上,对任意x∈[0,1],必 有无穷多个E包含x0,也有无穷多个En不包含x0,故有无穷多个n使得fn(x0)=1, 又有无穷多个n使得∫n(x)=0.因此{∫n}在x不收敛.这个例子表明依测度收敛不能 推出几乎处处收敛.例3和例4表明,依测度收敛和几乎处处收敛所包含的信息可能相差 很大 几种收敛性之间的关系为叙述简单计,以下我们设所讨论的函数都是实值可测函数 但以下结果对几乎处处有限的可测函数也是成立的由(见注1的说明) 引理2设(X)∫.则对任意E>0有 im(U41-f2e;)=0 证明设E>0是一给定的正数.任取x∈X,若对任意n≥1,存在i≥n,使得 (x)-f(x)≥E.则fn(x)不收敛于f(x).这表明 ∩U4-f2e;}c{x:fn(x)-→f(x) 由于fn->∫,因此由上式知道
84 f (x) = x , n ≥ 1. n n 则对任意δ > 0 , { }n f 在[0, 1− δ ] 上一致收敛于 0 .由于 m((1−δ , 1]) = δ 可以任意小, 因此 0 f n a..un. → . 又显然 0. →a.e. n f 例 5 设([0, 1], M ([0,1]), m) 是[0, 1]上的 Lebesgue 测度空间. 令 , ], 1, , , 1. 1 [ = ≥ − = i n n n i n i Ai n L 图 2 1 (图 2 1)将{ } i An 先按照 n 后按照i 的顺序重新编号记为{ } En . 显然 ( ) → 0. m En 令 f (x) I (x) n En = , n ≥ 1, f (x) = 0. 对任意ε > 0, 由于 m({ f − f ≥ }) = m(E ) → 0, n → ∞. n n ε 故{ }n f 依测度收敛于 f . 但{ }n f 在[0, 1] 上处处不收敛. 事实上, 对任意 [0, 1] x0 ∈ , 必 有无穷多个 En 包含 0 x , 也有无穷多个 En 不包含 0 x . 故有无穷多个 n 使得 ( ) 1, f n x0 = 又有无穷多个 n 使得 ( ) 0. f n x0 = 因此{ }n f 在 0 x 不收敛. 这个例子表明依测度收敛不能 推出几乎处处收敛. 例 3 和例 4 表明, 依测度收敛和几乎处处收敛所包含的信息可能相差 很大. 几种收敛性之间的关系 为叙述简单计, 以下我们设所讨论的函数都是实值可测函数. 但以下结果对几乎处处有限的可测函数也是成立的由(见注 1 的说明). 引理 2 设 µ(X ) 0有 lim ( { − ≥ }) = 0. ∞ = →∞ U i n i n µ f f ε 证明 设 ε > 0 是一给定的正数. 任取 x ∈ X , 若对任意 n ≥ 1, 存在 i ≥ n, 使得 f (x) − f (x) ≥ ε. i 则 f (x) f (x) n 不收敛于 . 这表明 IU ∞ = ∞ = − ≥ 1 { } n n i i f f ε {x : f (x) / f (x)}. ⊂ n → 由于 , a.e. f f n → 因此由上式知道 (1) A3 0 1 X 14 24 4 34 2 (1) 1 A2 (2) A2 (2) A3 (3) 64748 A3 3 1 3 2 14 24 4 34 6 4 4748 647 8
由于(X)f,则fn-2>∫(其证明留作习题)下面的定理表明当 (X)f蕴涵∫n一2>f 证明设山(X)∫.由引理2,对任意E>0,有 imU-26=0 于是对任意的δ>0和自然数k≥1,存在自然数n使得 Uu/2)2 令E。=UU-2k由测度的次可数可加性我们有 k=l i=ng (E)∑叫U-s∑ 往证在E上,{fn}一致收敛于∫.事实上,由 De morgan公式得 E:=nn-0取k足够大使得f蕴涵fn-“→∫ 证明设(X)∫.由引理2,对任意E>0有 im∪B-2计|=0
85 { } 0. 1 = − ≥ ∞ = ∞ = IU n n i i µ f f ε 由于 µ(X ) 0, 有 lim { } = 0. − ≥ ∞ = →∞ U i n i n µ f f ε 于是对任意的δ > 0 和自然数 k ≥ 1, 存在自然数 k n 使得 . 2 }1 { k i n i k k f f δ µ 0 取 k 足够大使得 . 1 0有 lim { } = 0. − ≥ ∞ = →∞ U i n i n µ f f ε
由测度的单调性立即得到 im(,-≥e)≤lmU-f261=0 即fn>f 本节例3表明,在定理4中,条件山(X)∫.对任意E>0和>0,存在N≥1,使得当n≥N时,有 H(fn-≥6)<6 于是对任意自然数k≥1,存在自然数n,使得 ( 我们可适当选取使得nk<nk+1,k=1,2,…往证fn一→∫.令 E1=∩1n-f 2 对任意x∈E1,当k≥i时, fm, (x)-f(x) 这表明{n}在E上收敛于f.令E=UE,则{/m}在E上收敛于∫.往证 (E°)=0.由 De morgan公式,我们有 E“=∩E=∩U-2k 利用(2)容易得到(E)≤1.因此由测度的上连续性并且利用(2,我们有 (E)=Im4U4/1-f smn∑(-2k) I→∞ 这就证明了f—°)f 几种收敛性之间的关系如图2-2
86 由测度的单调性立即得到 ( ) − ≥ ≤ →∞ lim µ { f f ε} n n lim { } = 0. − ≥ ∞ = →∞ U i n i n µ f f ε 即 f f . n →µ 本节例 3 表明, 在定理 4 中, 条件 µ(X ) 0和δ > 0 , 存在 N ≥ 1, 使得当n ≥ N 时, 有 µ({ f n − f ≥ ε}) < δ . 于是对任意自然数 k ≥ 1, 存在自然数 k n , 使得 . 2 1 }) 1 ({ n k k f f k µ − ≥ < (2) 我们可适当选取 k n 使得 nk < nk+1 , k = 1, 2,L. 往证 . a.e. f f k n → 令 I }, 1, 2,L 1 = { − < = ∞ = i k E f f k i i nk . 对任意 Ei x ∈ , 当k ≥ i 时, . 1 ( ) ( ) k f x f x nk − < 这表明 { } nk f 在 Ei 上收敛于 f . 令 . 1 U ∞ = = i E Ei 则 { } nk f 在 E 上收敛于 f . 往证 ( ) = 0. c µ E 由 De Morgan 公式, 我们有 }. 1 { 1 1 I IU ∞ = ∞ = ∞ = = = − ≥ i ii k n c i c k E E f f k 利用(2)容易得到 ( ) 1. 1 ≤ c µ E 因此由测度的上连续性并且利用(2), 我们有 0. 2 1 lim }) 1 lim ({ }1 ( ) lim { ≤ = ≤ − ≥ = − ≥ ∑ ∑ ∞ = →∞ ∞ = →∞ ∞ = →∞ k i k i k i n i k i n i c k f f k E f f k k µ µ µ U 这就证明了 . a.e. f f k n → 几种收敛性之间的关系如图 2 2
几乎处处收敛 (X)<∞ 存在子列fn 叶戈洛夫定理 (X) Riese定理 几乎一致收敛 依测度收敛 定理5给出了依测度收敛和几乎处处收敛的联系利用这种联系,常常可以把依测 度收敛的问题转化为几乎处处的问题.而几乎处处收敛是比较容易处理的 思考题设(X)<+∞.证明:厂→∫当且仅当{m}的任一子列{}都存在 其子列{/m},使得f-)f(k→∞ 小结本节介绍了几乎处处收敛,依测度收敛和几乎一致收敛,它们是伴随测度的 建立而产生的新的收敛性几种收敛性之间有一些蕴涵关系.其中最重要的是 Egorov定理 和 Riesz定理利用 Riesz定理,可以把较难处理的依测度收敛的问题化为几乎处处收敛的 问题.本节还介绍了几乎处处成立的性质的概念,后面讨论积分的性质时将会更清楚地 看到这个概念的意义 习题习题三,第18题一第28题
87 图 2 2 定理 5 给出了依测度收敛和几乎处处收敛的联系. 利用这种联系, 常常可以把依测 度收敛的问题转化为几乎处处的问题. 而几乎处处收敛是比较容易处理的. 思考题 设 µ(X ) < +∞. 证明: f f n →µ 当且仅当{ }n f 的任一子列{ } nk f 都存在 其子列{ } nk f ′ , 使得 ( ). a.e. → ′ → ∞ ′ f f k k n 小 结 本节介绍了几乎处处收敛, 依测度收敛和几乎一致收敛, 它们是伴随测度的 建立而产生的新的收敛性.几种收敛性之间有一些蕴涵关系. 其中最重要的是 Egorov 定理 和 Riesz 定理.利用 Riesz 定理,可以把较难处理的依测度收敛的问题化为几乎处处收敛的 问题. 本节还介绍了几乎处处成立的性质的概念, 后面讨论积分的性质时,将会更清楚地 看到这个概念的意义. 习 题 习题三, 第 18 题 第 28 题. 几乎处处收敛 几乎一致收敛 依测度收敛 µ(X ) < ∞ 叶戈洛夫定理 µ(X ) < ∞ 存在子列 k n f Riese 定理