Monotone class theorem

In measure theory and probability, the monotone class theorem connects monotone classes and sigma-algebras. The theorem says that the smallest monotone class containing an algebra of sets G is precisely the smallest σ-algebra containing G. It is used as a type of transfinite induction to prove many other theorems, such as Fubini's theorem.

Definition of a monotone class

A monotone class in a set ${\displaystyle R}$  is a collection ${\displaystyle M}$  of subsets of ${\displaystyle R}$  which contains ${\displaystyle R}$  and is closed under countable monotone unions and intersections, i.e. if ${\displaystyle A_{i}\in M}$  and ${\displaystyle A_{1}\subset A_{2}\subset \ldots }$  then ${\displaystyle \cup _{i=1}^{\infty }A_{i}\in M}$ , and similarly for intersections of decreasing sequences of sets.

Monotone class theorem for sets

Statement

Let G be an algebra of sets and define M(G) to be the smallest monotone class containing G. Then M(G) is precisely the σ-algebra generated by G, i.e. σ(G) = M(G)

Proof

The following was taken from Probability Essentials, by Jean Jacod and Philip Protter.^[1] The idea is as follows: we know that the sigma-algebra generated by an algebra of sets G contains the smallest monotone class generated by G. So, we seek to show that the monotone class generated by G is in fact a sigma-algebra, which would then show the two are equal.

To do this, we first construct monotone classes that correspond to elements of G, and show that each equals the M(G), the monotone class generated by G. Using this, we show that the monotone classes corresponding to the other elements of M(G) are also equal to M(G). Finally, we show this result implies M(G) is indeed a sigma-algebra.

Let ${\displaystyle {\mathcal {B}}=M(G)}$ , i.e. ${\displaystyle {\mathcal {B}}}$  is the smallest monotone class containing ${\displaystyle G}$ . For each set ${\displaystyle B}$ , denote ${\displaystyle {\mathcal {B}}_{B}}$  to be the collection of sets ${\displaystyle A\in {\mathcal {B}}}$  such that ${\displaystyle A\cap B\in {\mathcal {B}}}$ . It is plain to see that ${\displaystyle {\mathcal {B}}_{B}}$  is closed under increasing limits and differences.

Consider ${\displaystyle B\in G}$ . For each ${\displaystyle C\in G}$ , ${\displaystyle B\cap C\in G\subset {\mathcal {B}}}$ , hence ${\displaystyle C\in {\mathcal {B}}_{B}}$  so ${\displaystyle G\subset {\mathcal {B}}_{B}}$ . This yields ${\displaystyle {\mathcal {B}}_{B}={\mathcal {B}}}$  when ${\displaystyle B\in G}$ , since ${\displaystyle {\mathcal {B}}_{B}}$  is a monotone class containing ${\displaystyle G}$ , ${\displaystyle {\mathcal {B}}_{B}\subset {\mathcal {B}}}$  and ${\displaystyle {\mathcal {B}}}$  is the smallest monotone class containing ${\displaystyle G}$ 

Now, more generally, suppose ${\displaystyle B\in {\mathcal {B}}}$ . For each ${\displaystyle C\in G}$ , we have ${\displaystyle B\in {\mathcal {B}}_{C}}$  and by the last result, ${\displaystyle B\cap C\in {\mathcal {B}}}$ . Hence, ${\displaystyle C\in {\mathcal {B}}_{B}}$  so ${\displaystyle G\subset {\mathcal {B}}_{B}}$ , and so ${\displaystyle {\mathcal {B}}_{B}={\mathcal {B}}}$  for all ${\displaystyle B\in {\mathcal {B}}}$  by the argument in the paragraph directly above.

Since ${\displaystyle {\mathcal {B}}_{B}={\mathcal {B}}}$  for all ${\displaystyle B\in {\mathcal {B}}}$ , it must be that ${\displaystyle {\mathcal {B}}}$  is closed under finite intersections. Furthermore, ${\displaystyle {\mathcal {B}}}$  is closed by differences, so it is also closed under complements. Since ${\displaystyle {\mathcal {B}}}$  is closed under increasing limits as well, it is a sigma-algebra. Since every sigma-algebra is a monotone class, ${\displaystyle {\mathcal {B}}=\sigma \,(G)}$ , i.e. ${\displaystyle {\mathcal {B}}}$  is the smallest sigma-algebra containing G

Monotone class theorem for functions

Statement

Let ${\displaystyle {\mathcal {A}}}$  be a π-system that contains ${\displaystyle \Omega \,}$  and let ${\displaystyle {\mathcal {H}}}$  be a collection of real-valued functions with the following properties:

(1) If ${\displaystyle A\in {\mathcal {A}}}$ , then ${\displaystyle \mathbf {1} _{A}\in {\mathcal {H}}}$ 

(2) If ${\displaystyle f,g\in {\mathcal {H}}}$ , then ${\displaystyle f+g}$  and ${\displaystyle cf\in {\mathcal {H}}}$  for any real number ${\displaystyle c}$ 

(3) If ${\displaystyle f_{n}\in {\mathcal {H}}}$  is a sequence of non-negative functions that increase to a bounded function ${\displaystyle f}$ , then ${\displaystyle f\in {\mathcal {H}}}$ 

Then ${\displaystyle {\mathcal {H}}}$  contains all bounded functions that are measurable with respect to ${\displaystyle \sigma ({\mathcal {A}})}$ , the sigma-algebra generated by ${\displaystyle {\mathcal {A}}}$ 

Proof

The following argument originates in Rick Durrett's Probability: Theory and Examples. ^[2]

The assumption ${\displaystyle \Omega \,\in {\mathcal {A}}}$ , (2) and (3) imply that ${\displaystyle {\mathcal {G}}=\{A:\mathbf {1} _{A}\in {\mathcal {H}}\}}$  is a λ-system. By (1) and the π − λ theorem, ${\displaystyle \sigma ({\mathcal {A}})\subset {\mathcal {G}}}$ . (2) implies ${\displaystyle {\mathcal {H}}}$  contains all simple functions, and then (3) implies that ${\displaystyle {\mathcal {H}}}$  contains all bounded functions measurable with respect to ${\displaystyle \sigma ({\mathcal {A}})}$ 

Results and Applications

As a corollary, if G is a ring of sets, then the smallest monotone class containing it coincides with the sigma-ring of G.

By invoking this theorem, one can use monotone classes to help verify that a certain collection of subsets is a sigma-algebra.

The monotone class theorem for functions can be a powerful tool that allows statements about particularly simple classes of functions to be generalized to arbitrary bounded and measurable functions.

References

1. Jacod, Jean (2004). Probability Essentials. Springer. p. 36. ISBN 978-3-540-438717. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
2. Durrett, Rick (2010). Probability: Theory and Examples (4th ed.). Cambridge University Press. p. 100. ISBN 978-0521765398.

See also

This article was advanced during a Wikipedia course held at Duke University, which can be found here: Wikipedia and Its Ancestors