In real analysis and measure theory, the Vitali convergence theorem, named after the Italian mathematician Giuseppe Vitali, is a generalization of the better-known dominated convergence theorem of Henri Lebesgue. It is a characterization of the convergence in Lp in terms of convergence in measure and a condition related to uniform integrability.
Preliminary definitions Let ( X , A , μ ) {\displaystyle (X,{\mathcal {A}},\mu )} be a measure space, i.e. μ : A → [ 0 , ∞ ] {\displaystyle \mu :{\mathcal {A}}\to [0,\infty ]} is a set function such that μ ( ∅ ) = 0 {\displaystyle \mu (\emptyset )=0} and μ {\displaystyle \mu } is countably-additive. All functions considered in the sequel will be functions f : X → K {\displaystyle f:X\to \mathbb {K} } , where K = R {\displaystyle \mathbb {K} =\mathbb {R} } or C {\displaystyle \mathbb {C} } . We adopt the following definitions according to Bogachev's terminology.
A set of functions F ⊂ L 1 ( X , A , μ ) {\displaystyle {\mathcal {F}}\subset L^{1}(X,{\mathcal {A}},\mu )} is called uniformly integrable if lim M → + ∞ sup f ∈ F ∫ { | f | > M } | f | d μ = 0 {\displaystyle \lim _{M\to +\infty }\sup _{f\in {\mathcal {F}}}\int _{\{|f|>M\}}|f|\,d\mu =0} , i.e ∀ ε > 0 , ∃ M ε > 0 : sup f ∈ F ∫ { | f | ≥ M ε } | f | d μ < ε {\displaystyle \forall \ \varepsilon >0,\ \exists \ M_{\varepsilon }>0:\sup _{f\in {\mathcal {F}}}\int _{\{|f|\geq M_{\varepsilon }\}}|f|\,d\mu <\varepsilon } . A set of functions F ⊂ L 1 ( X , A , μ ) {\displaystyle {\mathcal {F}}\subset L^{1}(X,{\mathcal {A}},\mu )} is said to have uniformly absolutely continuous integrals if lim μ ( A ) → 0 sup f ∈ F ∫ A | f | d μ = 0 {\displaystyle \lim _{\mu (A)\to 0}\sup _{f\in {\mathcal {F}}}\int _{A}|f|\,d\mu =0} , i.e. ∀ ε > 0 , ∃ δ ε > 0 , ∀ A ∈ A : μ ( A ) < δ ε ⇒ sup f ∈ F ∫ A | f | d μ < ε {\displaystyle \forall \ \varepsilon >0,\ \exists \ \delta _{\varepsilon }>0,\ \forall \ A\in {\mathcal {A}}:\mu (A)<\delta _{\varepsilon }\Rightarrow \sup _{f\in {\mathcal {F}}}\int _{A}|f|\,d\mu <\varepsilon } . This definition is sometimes used as a definition of uniform integrability. However, it differs from the definition of uniform integrability given above.
… excerpt ends here. Continue reading the full article.
