Intereting Posts

The n-th prime is less than $n^2$?
Can I break this limit into individual terms?
Ground plan of Backward direction (<=) – Let $p$ be an odd prime. Prove $x^{2} \equiv -1 \; (mod \, p)$ has a solution $\iff p\equiv 1 \; (mod 4)$
Integer partition of n into k parts recurrence
Compact space, locally finite subcover
Minimum value of $\left(a+\frac{1}{b}\right)^2+\left(b+\frac{1}{c}\right)^2+\left(c+\frac{1}{a}\right)^2$
Is the power of complex number defined yet?
Showing that an integral domain is a PID if it satisfies two conditions
Prove that $14322\mid n^{31} – n$
Quotient Objects in $\mathsf{Grp}$
Nice way to express the radical $\sqrt{4+\sqrt{4+\sqrt{4+\dots}}}$
Logic – how to write $\exists !x$ without the $\exists !$ symbol
Finite index subgroup with free abelianization
How to find sum of power series $\sum_{n=0}^\infty\frac{1}{n!(n+2)}$ by differentiation and integration?
What is $\lim_{n \to \infty} \sum_{x=0}^{n-1} \frac{n-x}{n+x}$?

I found different statements of the Monotone Class Theorem.

On probability Essentials (Jean Jacod and Philip Protter) the Monotone Class Theorem (Theorem 6.2, page 36) is stated as follows:

Let $\mathcal{C}$ be a class of subsets of $\Omega$ under finite intersections and containing $\Omega$. Let $\mathcal{B}$ be the smallest class containing $\mathcal{C}$ which is closed under increasing limits and by difference. Then $\mathcal{B} = \sigma ( \mathcal{C})$.

While on Wikipedia (https://en.wikipedia.org/wiki/Monotone_class_theorem) the theorem is:

- Will adding a constant to a random variable change its distribution?
- If $\mu$ is a probability measure on $\mathbb R$, is $t\mapsto\mu\{t\}$ differentiable almost everywhere?
- Measure Theory Book
- Examples of measurable and non measurable functions
- Differentiable almost everywhere of antiderivative function
- Hausdorff measure of $f(A)$ where $f$ is a Holder continuous function.

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 $\sigma$-algebra generated by $G$, i.e. $\sigma(G) = M(G)$.

Where a monotone class in a set $R$ is a collection $M$ of subsets of $R$ which contains $R$ and is closed under countable monotone unions and intersections.

It looks like the second theorem should be a special case of the first. Does the first prove the second? Is it possible to prove the first from the second? Is there a decent literature on those two theorems?

- Definition of strong mixing and definition of measure-preserving
- Borel-Cantelli Lemma “Corollary” in Royden and Fitzpatrick
- Showing that if $f=g$ a.e. on a general measurable set (for $f$, $g$ continuous), it is not necessarily the case that $f=g$.
- Difference between Modification and Indistinguishable
- Example of strictly subadditive lebesgue outer measure
- What is meant by limit of sets?
- Is composition of measurable functions measurable?
- Uniform integrability question
- Defining a measure as a supremum
- Zero integral implies zero function almost everywhere

Both results are actually equivalent. You can prove one from the other.

Regarding the first result:

Let $\mathcal{C}$ be a class of subsets of $\Omega$ under finite intersections and containing $\Omega$. Let $\mathcal{B}$ be the smallest class containing $\mathcal{C}$ which is closed under increasing limits and by difference. Then $\mathcal{B} = \sigma ( \mathcal{C})$.

Some books call it “Monotone Class Theorem”, although this is not the most usual naming.

A class having $\Omega$, closed under increasing limits and by difference is called a “Dynkin $\lambda$ system”. A non-empty class closed under finite intersections is called a “Dynkin $\pi$ system”.

The result above can be divided in two results

1.a. A $\lambda$ system which is also a $\pi$ system is a $\sigma$-algebra.

1.b. Given a $\pi$ system, the smallest $\lambda$ system containing it is also a $\pi$ system.

Some books call result 1 (or result 1.b.) “Dynkin $\pi$-\lambda$ Theorem.

Some quick references is

https://en.wikipedia.org/wiki/Dynkin_system

The second result

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 $\sigma$-algebra generated by $G$, i.e. $\sigma(G) = M(G)$.

Where a monotone class in a set $R$ is a collection $M$ of subsets of $R$ which contains $R$ and is closed under countable monotone unions and intersections.

is usually called “Monotone Class Lemma” (or theorem) you can find it in books like Folland’s *Real Analysis* or Halmos’ *Measure Theory*. In fact, Halmos presents a version of this result for $\sigma$-rings.

Let $G$ be ring of sets and define $M(G)$ to be the smallest monotone class containing $G$. Then $M(G)$ is precisely the $\sigma$-ring generated by $G$.

**Let us prove that the results are equivalent**

Result 1: Let $\mathcal{C}$ be a class of subsets of $\Omega$ under finite intersections and containing $\Omega$. Let $L(\mathcal{C})$ be the smallest class containing $\mathcal{C}$ which is closed under increasing limits and by difference. Then $L(\mathcal{C}) = \sigma ( \mathcal{C})$.

Result 2: 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 $\sigma$-algebra generated by $G$, i.e. $\sigma(G) = M(G)$.Where a monotone class in a set $R$ is a collection $M$ of subsets of $R$ which contains $R$ and is closed under countable monotone unions and intersections.

**Proof**:

**(2 $\Rightarrow$ 1)**. Note that any class containing $\mathcal{C}$ which is closed under increasing limits and by difference is close by complement because $\Omega \in \mathcal{C}$, and so it is also closed by decreasing limits. So it is closed under countable monotone unions and intersections. It means: any class containing $\mathcal{C}$ which is closed under increasing limits and by difference is monotone class.

Note also that any class containing $\mathcal{C}$ which is closed under increasing limits and by difference contains $A(\mathcal{C})$ the algebra generated by $\mathcal{C}$.

Then using Result 2 we have

$$ \sigma(\mathcal{C}) = \sigma(A(\mathcal{C})) = M(A(\mathcal{C})) \subseteq L(A(\mathcal{C}))=L(\mathcal{C}) $$

Since $\sigma(\mathcal{C})$ is a class containing $\mathcal{C}$ which is closed under increasing limits and by difference, we have $L(\mathcal{C}) \subseteq \sigma(\mathcal{C})$, so $L(\mathcal{C}) = \sigma(\mathcal{C})$.

**(1 $\Rightarrow$ 2)**. First let us prove that $M(G)$ is a class containing $G$ which is closed under increasing limits and by difference. Since $M(G)$ is monotone, we have that $M(G)$ is closed under increasing limits.

Now, for each $E\in M(G)$, define

$$M_E=\{ F \in M(G) : E\setminus F , F \setminus E \in M(G) \}$$

Since $M(G)$ is a monotone class, $M_E$ is a monotone class. Moreover, if $E\in G$ then for all $F \in G$, $F\in M_E$, because $G$ is an algebra. So, if $E\in G$, $G \subset M_E$. So, if $E\in G$, $M(G) \subset M_E$. It means that for all $E\in G$, and all $F \in M(G)$, $F \in M_E$. So, for all $E\in G$, and all $F \in M(G)$, $E \in M_F$. So, for all $F \in M(G)$, $G \subset M_F$, but since

$M_F$ is a monotone class, we have, for all $F \in M(G)$, $M(G)\subset M_F$. But that means that $M(G)$ is closed by differences.

So we proved that $M(G)$ is a class containing $G$ which is closed under increasing limits and by difference.

So by Result 1, $$\sigma(G)=L(G) \subseteq M(G)$$

Since $\sigma(G)$ is a monotone class, we have

$$ M(G) \subseteq \sigma(G)$$

So we have $$\sigma(G)= M(G)$$

- What impact would a proof that ZFC is inconsistent have on metamathematics?
- Is there a bijection between $(0,1)$ and $(0,infinity)$
- Decimal Expansion of Pi
- Does elementary embedding exist between two elementary equivalent structures?
- Power summation of $n^3$ or higher
- Vandermonde-like identities
- Number of real roots of $\frac{a_1}{a_1-x}+\frac{a_2}{a_2-x}+…+\frac{a_n}{a_n-x}=2016$ for $0<a_1<…<a_n$?
- How to find $2^{37} \bmod 77$?
- Help with these isomorphisms
- Trick to find if number is composite or prime
- Example of non-associative composition of morphisms
- Evaluate $\int_0^1\ln(1-x)\ln x\ln(1+x) \mathrm{dx}$
- Geometry Triangle Question 3
- Prove that if the $\gcd(a,b)=1$, then $\gcd(a+b,ab)=1$
- Give an example of two closed sets $A, B \subseteq \mathbb{R}$ such that the set $A + B $ is not closed