Dominated convergence theorem

Dominated convergence theorem In measure theory, Lebesgue's dominated convergence theorem provides sufficient conditions under which almost everywhere convergence of a sequence of functions implies convergence in the L1 norm. Its power and utility are two of the primary theoretical advantages of Lebesgue integration over Riemann integration.

In addition to its frequent appearance in mathematical analysis and partial differential equations, it is widely used in probability theory, since it gives a sufficient condition for the convergence of expected values of random variables.

Contents 1 Statement 2 Proof 3 Discussion of the assumptions 4 Bounded convergence theorem 4.1 Proof 5 Dominated convergence in Lp-spaces (corollary) 6 Extensions 7 See also 8 Notes 9 References Statement Lebesgue's dominated convergence theorem.[1] Let {displaystyle (f_{n})} be a sequence of complex-valued measurable functions on a measure space {displaystyle (S,Sigma ,mu )} . Suppose that the sequence converges pointwise to a function {displaystyle f} and is dominated by some integrable function {displaystyle g} in the sense that {displaystyle |f_{n}(x)|leq g(x)} for all numbers n in the index set of the sequence and all points {displaystyle xin S} . Then f is integrable (in the Lebesgue sense) and {displaystyle lim _{nto infty }int _{S}|f_{n}-f|,dmu =0} which also implies {displaystyle lim _{nto infty }int _{S}f_{n},dmu =int _{S}f,dmu } Remark 1. The statement "g is integrable" means that measurable function {displaystyle g} is Lebesgue integrable; i.e.

{displaystyle int _{S}|g|,dmu n} , and zero everywhere else. The series (fn) converges pointwise to 0, so f is identically zero, but {displaystyle |f_{n}-f|=f_{n}} is not Riemann integrable, since its image in every finite interval is {displaystyle {0,1}} and thus the upper and lower Darboux integrals are 1 and 0, respectively.

Proof Without loss of generality, one can assume that f is real, because one can split f into its real and imaginary parts (remember that a sequence of complex numbers converges if and only if both its real and imaginary counterparts converge) and apply the triangle inequality at the end.

Lebesgue's dominated convergence theorem is a special case of the Fatou–Lebesgue theorem. Below, however, is a direct proof that uses Fatou’s lemma as the essential tool.

Since f is the pointwise limit of the sequence (fn) of measurable functions that are dominated by g, it is also measurable and dominated by g, hence it is integrable. Furthermore, (these will be needed later), {displaystyle |f-f_{n}|leq |f|+|f_{n}|leq 2g} for all n and {displaystyle limsup _{nto infty }|f-f_{n}|=0.} The second of these is trivially true (by the very definition of f). Using linearity and monotonicity of the Lebesgue integral, {displaystyle left|int _{S}{f,dmu }-int _{S}{f_{n},dmu }right|=left|int _{S}{(f-f_{n}),dmu }right|leq int _{S}{|f-f_{n}|,dmu }.} By the reverse Fatou lemma (it is here that we use the fact that |f−fn| is bounded above by an integrable function) {displaystyle limsup _{nto infty }int _{S}|f-f_{n}|,dmu leq int _{S}limsup _{nto infty }|f-f_{n}|,dmu =0,} which implies that the limit exists and vanishes i.e.

{displaystyle lim _{nto infty }int _{S}|f-f_{n}|,dmu =0.} Finally, since {displaystyle lim _{nto infty }left|int _{S}fdmu -int _{S}f_{n}dmu right|leq lim _{nto infty }int _{S}|f-f_{n}|,dmu =0.} we have that {displaystyle lim _{nto infty }int _{S}f_{n},dmu =int _{S}f,dmu .} The theorem now follows.

If the assumptions hold only μ-almost everywhere, then there exists a μ-null set N ∈ Σ such that the functions fn 1S  N satisfy the assumptions everywhere on S. Then the function f(x) defined as the pointwise limit of fn(x) for x ∈ S  N and by f(x) = 0 for x ∈ N, is measurable and is the pointwise limit of this modified function sequence. The values of these integrals are not influenced by these changes to the integrands on this μ-null set N, so the theorem continues to hold.

DCT holds even if fn converges to f in measure (finite measure) and the dominating function is non-negative almost everywhere.

Discussion of the assumptions The assumption that the sequence is dominated by some integrable g cannot be dispensed with. This may be seen as follows: define fn(x) = n for x in the interval (0, 1/n] and fn(x) = 0 otherwise. Any g which dominates the sequence must also dominate the pointwise supremum h = supn fn. Observe that {displaystyle int _{0}^{1}h(x),dxgeq int _{frac {1}{m}}^{1}{h(x),dx}=sum _{n=1}^{m-1}int _{left({frac {1}{n+1}},{frac {1}{n}}right]}{h(x),dx}geq sum _{n=1}^{m-1}int _{left({frac {1}{n+1}},{frac {1}{n}}right]}{n,dx}=sum _{n=1}^{m-1}{frac {1}{n+1}}to infty qquad {text{as }}mto infty } by the divergence of the harmonic series. Hence, the monotonicity of the Lebesgue integral tells us that there exists no integrable function which dominates the sequence on [0,1]. A direct calculation shows that integration and pointwise limit do not commute for this sequence: {displaystyle int _{0}^{1}lim _{nto infty }f_{n}(x),dx=0neq 1=lim _{nto infty }int _{0}^{1}f_{n}(x),dx,} because the pointwise limit of the sequence is the zero function. Note that the sequence (fn) is not even uniformly integrable, hence also the Vitali convergence theorem is not applicable.

Bounded convergence theorem One corollary to the dominated convergence theorem is the bounded convergence theorem, which states that if (fn) is a sequence of uniformly bounded complex-valued measurable functions which converges pointwise on a bounded measure space (S, Σ, μ) (i.e. one in which μ(S) is finite) to a function f, then the limit f is an integrable function and {displaystyle lim _{nto infty }int _{S}{f_{n},dmu }=int _{S}{f,dmu }.} Remark: The pointwise convergence and uniform boundedness of the sequence can be relaxed to hold only μ-almost everywhere, provided the measure space (S, Σ, μ) is complete or f is chosen as a measurable function which agrees μ-almost everywhere with the μ-almost everywhere existing pointwise limit.

Proof Since the sequence is uniformly bounded, there is a real number M such that |fn(x)| ≤ M for all x ∈ S and for all n. Define g(x) = M for all x ∈ S. Then the sequence is dominated by g. Furthermore, g is integrable since it is a constant function on a set of finite measure. Therefore, the result follows from the dominated convergence theorem.

If the assumptions hold only μ-almost everywhere, then there exists a μ-null set N ∈ Σ such that the functions fn1SN satisfy the assumptions everywhere on S.

Dominated convergence in Lp-spaces (corollary) Let {displaystyle (Omega ,{mathcal {A}},mu )} be a measure space, {displaystyle 1leq p

Si quieres conocer otros artículos parecidos a Dominated convergence theorem puedes visitar la categoría Probability theorems.