实变函数 vitali积分定理.pdfVIP

Vitali 积分定理 引理 (Riesz) 若 于 , 则 ⼦列 , lim . 引理 (Fatou Lemma) 若 { } 是 上的⾮负可测函数列, 则有 ∫ lim lim ∫ . 定义 (等度绝对连续性) 设 是 上的⼀族可积函数. 若对 , 对 的任意可测⼦集 , 只要 , 对 , 均有 ∫ , 称函数族 在 上的积分具有等度绝对连续性. 引理 (积分的绝对连续性) 若 , 则对 , 对 的任意 可测⼦集 , 只要 , 就有 ∫ ∫ . 证明: 不妨设 , 否则可以直接讨论 . 由⾮负函数积分的定义知 简单函数 ∫ ∫ ; 显然 并且 . 对上述 取 , 于是对 , 有 ∫ ∫ ∫ 定理 (Vitali 积分定理) 设 , 函数列 且 于 . 若 在 上的积分具有等度绝对连续性, 则有 ; lim ∫ ∫ . 证明: (i). 由于 在 上的积分具有等度连续性, 可知 对 ∫ 且 , 对 , 有 . 记 , 于是 且 ,因此有 ∫ ∫ ∫ ∫ 以及 , 于是 ∫ ∫ ∫ . 同时由 Riesz 定理知 ⼦列 有 于 . 于是由 Fatou Lemma 可得 ∫ ∫ lim lim ∫ .