Measure Theory/Properties of General Integrals

Properties and Convergence of General Integrals

Recall the definition of the length-measure integral of a measurable function $f:E\to ℝ$,

$\underset{E}{\int }f=\underset{E}{\int }{f}^{+}-\underset{E}{\int }{f}^{-}$

and recall the definitions

$f^{+}=\max \{f,0\},f^{-}=\max \{-f,0\}$

In this lesson, assume

• $f,g,f_n:E\to ℝ$ are measurable functions
• $f_n\to f$
• $c,d\in ℝ$
• $|f_n|\le g$ for all $n\in {\mathbb{Z}}^{+}$

Exercise 1. Consistency

Explain why the check for consistency, which we have done for previous generalizations of integral definitions, is trivial in this case.

Exercise 2. Basic Properties of General Integrals

Prove the basic properties of general integrals: Linearity, order-preserving, triangle inequality, the ML bound, and finite additivity.

Note: What is the positive part of $f+g$ in terms of $f^{+},f^{-},g^{+},g^{-}$?

Lebesgue's Dominated Convergence Theorem

Here resides the last (or, depending on how you count, the penultimate) of the great and famous convergence theorems of measure theory.

Besides the assumptions at the top of this page, further assume that g is integrable.

Lebesgue's Dominated Convergence Theorem then states that the swaparoo follows.

$\underset{n\to \mathrm{\infty }}{\lim }\underset{E}{\int }{f}_n=\int \underset{n\to \mathrm{\infty }}{\lim }{f}_n=\underset{E}{\int }f$

Exercise 3. Prove the LDCT

 Part A. 
With the observation that $g-f_n$ is a nonnegative function, use Fatou's lemma.

 Part B. 
Use an earlier result to establish that f is integrable.  Then infer from Part A. that $\underset{E}{\int }g-\underset{E}{\int }f\le \underset{E}{\int }g-\bar{\lim }\underset{E}{\int }{f}_n$.

Part C.
Now apply reasoning similar to that in parts A. and B. above to $g+f_n$ to infer $\underset{E}{\int }f\le \underset{\_}{\lim }\underset{E}{\int }{f}_n$ and conclude the proof.

Part D. 
Prove the following generalization of the LDCT.  

Let $⟨g_n⟩$ be a sequence of integrable functions.  Assume further that 

* $⟨g_n⟩$ so-to-speak "pairwise dominates" the sequence $⟨f_n⟩$. Formally this means $|f_n|\le g_n$ for each $n\in {\mathbb{Z}}^{+}$.

* $g_n\to g$ on E.

* $\underset{n\to \mathrm{\infty }}{\lim }\underset{E}{\int }{g}_n=\underset{E}{\int }\underset{n\to \mathrm{\infty }}{\lim }{g}_n=\underset{E}{\int }g$

Now prove that $\underset{n\to \mathrm{\infty }}{\lim }\underset{E}{\int }{f}_n=\underset{E}{\int }\underset{n\to \mathrm{\infty }}{\lim }{f}_n=\underset{E}{\int }f$.

The proof should merely reiterate all of the proof of the LDCT, but replacing g by $g_n$ where appropriate.  

Template:CourseCat