Monotone Classes

Now we want to move from algebras of sets closer to $\sigma$ -algebras by defining a new structure: a “monotone class”. This is a collection $\mathcal{M}\subseteq P(Z)$ so that if we have an increasing sequence of sets

$\displaystyle E_1\subseteq E_2\subseteq E_3\subseteq\dots$

with $E_i\in\mathcal{M}$ , then the “limit” of this sequence is in $\mathcal{M}$ . Similarly, if we have a decreasing sequence of sets

$\displaystyle E_1\supseteq E_2\supseteq E_3\supseteq\dots$

with $E_i\in\mathcal{M}$ , then the “limit” of this sequence is in $\mathcal{M}$ . In each case, we can construe this limit more simply. In the case of an increasing sequence, each term $E_i$ contains all the terms before it, and is thus the same as the union of the whole sequence up to that point. Thus we can define

$\displaystyle\lim\limits_{n\to\infty}E_n=\lim\limits_{n\to\infty}\bigcup\limits_{i=1}^nE_i=\bigcup\limits_{i=1}^\infty E_i$

Similarly, for a decreasing sequence we can define

$\displaystyle\lim\limits_{n\to\infty}E_n=\lim\limits_{n\to\infty}\bigcap\limits_{i=1}^nE_i=\bigcap\limits_{i=1}^\infty E_i$

Now, if $\mathcal{A}\subseteq P(X)$ is an algebra of subsets of $X$ , and $\mathcal{M}$ is a monotone class containing $\mathcal{A}$ , then $\mathcal{M}$ also contains $\mathcal{S}(\mathcal{A})$ , the smallest $\sigma$ -algebra containing $\mathcal{A}$ .

As an aside, what do we mean by “smallest”? Well, it’s not hard to see that the intersection of a collection of $\sigma$ algebras is itself a $\sigma$ -algebra, just like we did way back when we showed that we had lower bounds in the lattice of ideals. So take all the $\sigma$ -algebras containing $\mathcal{A}$ — there is at least one, because $P(X)$ itself is one — and define $\mathcal{S}(\mathcal{A})$ to be the intersection of all of them. This is a $\sigma$ -algebra contained in all the others, thus “smallest”.

Similarly, there is a smallest monotone class containing $\mathcal{A}$ ; we will assume that $\mathcal{M}$ is this one without loss of generality, since if it contains $\mathcal{S}(\mathcal{A})$ then all the others do as well. We will show that this $\mathcal{M}$ is actually a $\sigma$ -algebra, and then it must contain $\mathcal{S}(\mathcal{A})$ !

Given $A\in\mathcal{A}$ , define $\mathcal{M}_A$ to be the collection of $B\in\mathcal{M}$ so that $A\cup B\in\mathcal{M}$ . This is itself a monotone class, and it contains $\mathcal{A}$ , and so it must contain $\mathcal{M}$ . But it’s defined as being contained in $\mathcal{M}$ , and so we must have $\mathcal{M}_A=\mathcal{M}$ . Thus $A\cup B\in\mathcal{M}$ as long as $A\in\mathcal{A}$ and $B\in\mathcal{M}$ .

Now take a $B\in\mathcal{M}$ and define $\mathcal{M}_B$ to be the collection of $D\in\mathcal{M}$ so that $D\cup B\in\mathcal{M}$ . What we just showed is that $\mathcal{A}\subseteq\mathcal{M}_B$ , and $\mathcal{M}_B$ is a monotone class. And so $\mathcal{M}_B-\mathcal{M}$ , and $D\cup B\in\mathcal{M}$ whenever both $D$ and $B$ are in $\mathcal{M}$ .

We can repeat a similar argument to the previous two paragraphs to show that $D\setminus B\in\mathcal{M}$ for $D,B\in\mathcal{M}$ . Start by defining $\mathcal{M}_A$ as the collection of $B\in\mathcal{M}$ so that both $B\setminus A$ and $A\setminus B$ are in $\mathcal{M}$ .

So $\mathcal{M}$ is both a monotone class and an algebra. We need to show that it’s a $\sigma$ -algebra by showing that it’s closed under countable unions. But if $E_i\in\mathcal{M}$ then $F_n=\cup_{i=1}^nE_i$ is a monotone increasing sequence of set in $\mathcal{M}$ , since they’re all finite unions. The countable union is the limit of this sequence, which $\mathcal{M}$ contains by virtue of being a monotone class.

And so $\mathcal{M}$ is a $\sigma$ -algebra containing $\mathcal{A}$ , and so it contains $\mathcal{S}(\mathcal{A})$ .

March 18, 2010 - Posted by John Armstrong | Analysis, Measure Theory

4 Comments »

[…] like we found for algebras and monotone classes, the intersection of two hereditary collection is again hereditary. We can thus construct the […]

Pingback by Outer Measures « The Unapologetic Mathematician | March 25, 2010 | Reply
[…] of finite measures . The limits of these sequences must then agree, and so as well. Thus is a monotone class. Since it contains , it must contain , and thus […]

Pingback by Extensions of Measures « The Unapologetic Mathematician | April 6, 2010 | Reply
[…] disjoint unions of sets , where and . If and are -rings, then we define to be the smallest monotone class containing this collection, which will then be a -ring. If and are -algebras — that is, if […]

Pingback by Product Measurable Spaces « The Unapologetic Mathematician | July 15, 2010 | Reply
[…] with finite-measure sides, and it will hold for all measurable subsets of , and that is a monotone class. That is a monotone class follows from the dominated convergence theorem and the monotone […]

Pingback by Measures on Product Spaces « The Unapologetic Mathematician | July 22, 2010 | Reply

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects

Subjects
Archives

March 2010

M T W T F S S

1 2 3 4 5 6 7

8 9 10 11 12 13 14

15 16 17 18 19 20 21

22 23 24 25 26 27 28

29 30 31

« Feb Apr »
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider