functional monotone class theorem
The monotone class theorem is a result in measure theory which allows statements about particularly simple classes of functions to be generalized to arbitrary measurable and bounded functions.
Theorem 1.
Let $\mathrm{(}X\mathrm{,}\mathrm{A}\mathrm{)}$ be a measurable space^{} and $\mathrm{S}$ be a $\pi $system (http://planetmath.org/PiSystem) generating the $\sigma $algebra^{} (http://planetmath.org/SigmaAlgebra) $\mathrm{A}$. Suppose that $\mathrm{H}$ be a vector space^{} of realvalued functions on $X$ containing the constant functions and satisfying the following,

•
if $f:X\to \mathbb{R}$ is bounded and there is a sequence^{} of nonnegative functions ${f}_{n}\in \mathscr{H}$ increasing pointwise to $f$, then $f\in \mathscr{H}$.

•
for every set $A\in \mathcal{S}$ the characteristic function^{} ${1}_{A}$ is in $\mathscr{H}$.
Then, $\mathrm{H}$ contains every bounded and measurable function^{} from $X$ to $\mathrm{R}$.
That $\mathscr{H}$ is a vector space just means that it is closed under^{} taking linear combinations^{}, so $\lambda f+\mu g\in \mathscr{H}$ whenever $f,g\in \mathscr{H}$ and $\lambda ,\mu \in \mathbb{R}$.
As an example application, consider Fubini’s theorem^{} (http://planetmath.org/FubinisTheorem), which states that for any two finite measure spaces $(X,\mathcal{A},\mu )$ and $(Y,\mathcal{B},\nu )$ then we may commute the order of integration
$$\int \int f(x,y)\mathit{d}\mu (x)\mathit{d}\nu (y)=\int \int f(x,y)\mathit{d}\nu (y)\mathit{d}\mu (x).$$  (1) 
Here, $f:X\times Y\to \mathbb{R}$ is a bounded and $\mathcal{A}\otimes \mathcal{B}$measurable function. The space $\mathscr{H}$ of functions for which this identity^{} holds is easily shown to be linearly closed and, by the monotone convergence theorem^{}, is closed under taking monotone limits of functions. Furthermore, the $\pi $system of sets of the form $A\times B$ for $A\in \mathcal{A}$, $B\in \mathcal{B}$ generates the $\sigma $algebra $\mathcal{A}\otimes \mathcal{B}$ and
$$\int \int {1}_{A\times B}(x,y)\mathit{d}\mu (x)\mathit{d}\nu (y)=\mu (A)\nu (B)=\int \int {1}_{A\times B}(x,y)\mathit{d}\nu (y)\mathit{d}\mu (x).$$ 
So, ${1}_{A\times B}\in \mathscr{H}$ and the monotone class theorem allows us to conclude that all real valued and bounded $\mathcal{A}\otimes \mathcal{B}$measurable functions are in $\mathscr{H}$, and equation (1) is satisfied.
An alternative, more general form of the monotone class theorem is as follows. The version of the monotone class theorem given above follows from this by letting $\mathcal{K}$ be the characteristic functions ${1}_{A}$ for $A\in \mathcal{S}$.
Theorem 2.
Let $X$ be a set and $\mathrm{K}$ be a collection^{} of bounded and real valued functions on $X$ which is closed under multiplication^{}, so that $f\mathit{}g\mathrm{\in}\mathrm{K}$ for all $f\mathrm{,}g\mathrm{\in}\mathrm{K}$. Let $\mathrm{A}$ be the $\sigma $algebra on $X$ generated by $\mathrm{K}$.
Suppose that $\mathrm{H}$ is a vector space of real valued functions on $X$ containing $\mathrm{K}$ and the constant functions, and satisfying the following

•
if $f:X\to \mathbb{R}$ is bounded and there is a sequence of nonnegative functions ${f}_{n}\in \mathscr{H}$ increasing pointwise to $f$, then $f\in \mathscr{H}$.
Then, $\mathrm{H}$ contains every bounded and real valued $\mathrm{A}$measurable function on $X$.
Saying that $\mathcal{A}$ is the $\sigma $algebra generated by $\mathcal{K}$ means that it is the smallest $\sigma $algebra containing the sets ${f}^{1}(B)$ for $f\in \mathcal{K}$ and Borel subset $B$ of $\mathbb{R}$.
For example, letting $\mathcal{K}$ be as in theorem 2 and $\mu ,\nu $ be finite measures^{} on $(X,\mathcal{A})$ such that $\mu (X)=\nu (X)$ and $\int f\mathit{d}\mu =\int f\mathit{d}\nu $ for all $f\in \mathcal{K}$, then $\int f\mathit{d}\mu =\int f\mathit{d}\nu $ for all bounded and measurable real valued functions $f$. Therefore, $\mu =\nu $. In particular, a finite measure $\mu $ on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ is uniquely determined by its characteristic function $\chi (x)\equiv \int {e}^{ixy}\mathit{d}\mu (y)$ for $x\in \mathbb{R}$. Similarly, a finite measure $\mu $ on a bounded interval is uniquely determined by the integrals $\int {x}^{n}\mathit{d}\mu (x)$ for $n\in {\mathbb{Z}}_{+}$.
Title  functional monotone class theorem 

Canonical name  FunctionalMonotoneClassTheorem 
Date of creation  20130322 18:38:36 
Last modified on  20130322 18:38:36 
Owner  gel (22282) 
Last modified by  gel (22282) 
Numerical id  4 
Author  gel (22282) 
Entry type  Theorem 
Classification  msc 28A20 
Related topic  MonotoneClassTheorem 