设f(x),f1(x),f2(x),…,fk(x),…是E上几乎处处有限的可测函数,且m(E)<∞,若在{fk(x)}的任一子列{fki(x)}中均存
设f(x),f1(x),f2(x),…,fk(x),…是E上几乎处处有限的可测函数,且m(E)<∞,若在{fk(x)}的任一子列{fki(x)}中均存在几乎处处收敛于f(x)的子列{fk(x)},试证明{fk(x)}在E上依测度收敛于f(x).
[证明] 反证法.假定fk(x)在E上不是依测度收敛于f(x)的,则存在ε0>0,σ0>0以及{ki},使得
m({x∈E:|fki(x)-f(x)|>ε0})≥σ0. (*)
但依题设知存在{kij},使得
,a.e.x∈E.
由此又知fkij(x)在E上依测度收敛于f(x),而这与(*)式矛盾.证毕.