Summary of Convergence Theorems for Lebesgue Integration

# Summary of Convergence Theorems for Lebesgue Integration

We will now summarize the convergence theorems that we have looked at regarding Lebesgue integration.

For each of the convergence theorems below we assume that $E$ is a Lebesgue measurable set.

#### Convergence Theorems for Bounded Lebesgue Measurable Functions

Conditions 1. $m(E) < \infty$. 2. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 3. $(f_n(x))_{n=1}^{\infty}$ is a set of bounded functions on $E$. 4. $(f_n(x))_{n=1}^{\infty}$ converges uniformly to $f(x)$ on $E$. 1. $\displaystyle{\lim_{n \to \infty} \int_E f_n = \int_E f}$.
Conditions 1. $m(E) < \infty$. 2. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 3. $(f_n(x))_{n=1}^{\infty}$ is a set of functions that is uniformly bounded on $E$. 4. $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ on $E$. 1. $\displaystyle{\lim_{n \to \infty} \int_E f_n = \int_E f}$.

#### Convergence Theorems for Nonnegative Lebesgue Measurable Functions

Conditions 1. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 2. $f_n(x) \geq 0$ for all $n \in \mathbb{N}$ and for all $x \in E$. 3. $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ on $E$. $\displaystyle{\int_E f \leq \liminf_{n \to \infty} \int_E f_n}$.
Conditions 1. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 2. $f_n(x) \geq 0$ for all $n \in \mathbb{N}$ and for all $x \in E$. 3. $0 \leq f_1(x) \leq f_2(x) \leq ... \leq f_n(x) \leq ... \leq f(x)$ for all $x \in E$. 4. $(f_n(x))_{n=1}^{\infty}$ converges pointwise to $f(x)$ on $E$. 1. $\displaystyle{\lim_{n \to \infty} \int_E f_n = \int_E f}$.
Conditions 1. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 2. $f_n(x) \geq 0$ for all $n \in \mathbb{N}$ and for all $x \in E$. 3. $\displaystyle{\sum_{n=1}^{\infty} f_n(x)}$ converges on $E$. 1. $\displaystyle{\sum_{n=1}^{\infty} \int_E f_n = \int_E \sum_{n=1}^{\infty} f_n}$.

#### Convergence Theorems for Lebesgue Measurable Functions

Conditions 1. $f$ is a Lebesgue measurable function on $E$. 2. $g$ is Lebesgue integrable function on $E$. 3. $g(x) \geq 0$ for all $x \in E$. 4. $|f(x)| \leq g(x)$ almost everywhere on $E$. 1. $f$ is Lebesgue integrable on $E$.
Conditions 1. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 2. There exists a nonnegative Lebesgue integrable function $g$ on $E$ with $|f_n(x)| \leq g(x)$ for all $n \in \mathbb{N}$ and for all $x \in E$. 3. $(f_n(x))_{n=1}^{\infty}$ converges pointwise almost everywhere to $f(x)$ on $E$. 1. $f$ is Lebesgue integrable on $E$. 2. $\displaystyle{\lim_{n \to \infty} \int_E f_n = \int_E f}$.
Conditions 1. $(f_n(x))_{n=1}^{\infty}$ is a sequence of Lebesgue measurable functions on $E$. 2. $(g_n(x))_{n=1}^{\infty}$ is a sequence of nonnegative Lebesgue measurable functions on $E$. 3. $|f_n(x)| \leq g_n(x)$ for all $n \in \mathbb{N}$ and for all $x \in E$. 4. $(f_n(x))_{n=1}^{\infty}$ converges pointwise almost everywhere to $f(x)$ on $E$. 5. $(g_n(x))_{n=1}^{\infty}$ converges pointwise almost everywhere to $g(x)$ on $E$. 6. $\displaystyle{\lim_{n \to \infty} \int_E g_n = \int_E g < \infty}$. 1. $f$ is Lebesgue integrable on $E$. 2. $\displaystyle{\lim_{n \to \infty} \int_E f_n = \int_E f}$.