Monotone convergence theorem for non-negative numerical measurable functions/Statement

Provisional page grade: A*

This page is provisional

This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:

There are many forms, this form matches what I'll be examined on

Statement

Let [ilmath](X,\mathcal{A},\mu)[/ilmath] be a measure space and let [ilmath](f_n)_{n\in\mathbb{N} }\subseteq\mathcal{M}\big(\mathcal{A},\mathcal{B}(\bar{\mathbb{R} }_{\ge 0})\big)[/ilmath] be a sequence of measurable functions, [ilmath]f_n:X\rightarrow[0,+\infty]\eq\bar{\mathbb{R} }_{\ge 0} [/ilmath], then:

• if [ilmath]\forall n\in\mathbb{N}[f_n\le f_{n+1}][/ilmath] - i.e. [ilmath](f_n)_{n\in\mathbb{N} } [/ilmath] is a non-decreasing sequence - then:
  • [math]\int \mathop{\text{lim} }_{n\rightarrow\infty} \Big(f_n\Big)\ \mathrm{d}\mu\eq\mathop{\text{lim} }_{n\rightarrow\infty}\left(\int f_n\ \mathrm{d}\mu\right) [/math]

This could be phrased differently; as an alternative statement:

• Define [ilmath]f:X\rightarrow[0,+\infty][/ilmath] by [math]f:x\mapsto\mathop{\text{lim} }_{n\rightarrow\infty}\Big(f_n(x)\Big)[/math], this limit exists forall [ilmath]x\in X[/ilmath] as we allow the value [ilmath]+\infty[/ilmath].
  • Then we have:
    1. [ilmath]f\in\mathcal{M}\big(\mathcal{A},\mathcal{B}(\bar{\mathbb{R} }_{\ge 0})\big)[/ilmath] - [ilmath]f[/ilmath] is a measurable function itself - and
    2. [math]\int f\ \mathrm{d}\mu\eq\mathop{\text{lim} }_{n\rightarrow\infty}\left(\int f_n\ \mathrm{d}\mu\right) [/math]