《实变函数简明教程》,P69,定义3.3(依测度收敛)中定义式的测度存在性
P69,定义3.3
设函数 f f f及 f k ( k = 1 , 2 , ⋯ ) {
{f}_{k}}\left( k=1,2,\cdots \right) fk(k=1,2,⋯)在 E ⊂ R n E\subset {
{\mathbb{R}}^{n}} E⊂Rn上可测且几乎处处有限。若对任意的 ε > 0 \varepsilon >0 ε>0有
lim k → ∞ m ( { x ∈ E : ∣ f k ( x ) − f ( x ) ∣ ≥ ε } ) = 0 , (P69-1) \underset{k\to \infty }{\mathop{\lim }}\,m\left( \left\{ x\in E:\text{ }\left| {
{f}_{k}}\left( x \right)-f\left( x \right) \right|\ge \varepsilon \right\} \right)=0, \tag{P69-1} k→∞limm({
x∈E: ∣fk(x)−f(x)∣≥ε})=0,(P69-1)
则称函数列 { f k } \left\{ {
{f}_{k}} \right\} {
fk}在 E E E依测度收敛于 f f f。
测度存在性问题的提出
式(P69-1)中直接对集合
{ x ∈ E : ∣ f k ( x ) − f ( x ) ≥ ε ∣ } (P69-2) \left\{ x\in E:\text{ }\left| {
{f}_{k}}\left( x \right)-f\left( x \right)\ge \varepsilon \right| \right\} \tag{P69-2} {
x∈E: ∣f