[Math] Sigma Algebras generated by two classes of subsets

measure-theory

If $A_1$ and $A_2$ are two collection of subsets in $\Omega$ (Sample Space), I need to prove that
$$\sigma(A_1) \subseteq \sigma(A_2).$$ I understand that there exist minimal unique $\sigma$-algebras generated by $A_1$ & $A_2$ respectively. However, I am not sure what needs to be demonstrated mathematically, in order to prove the subset status.

I tried to construct an example for this.
Let A1={1,2} , A2={1,2,3} , Ω={1,2,3,4}

Then,

σ(A1)={∅,Ω,{1,2},{3,4}}

σ(A2)={∅,Ω,{1,2,3},{4}}

How can I proceed beyond this. I am confused as how to interpret the subsets as opposed to elements.

Appreciate your comments. Thank you.

Best Answer

You may forget the hypothesis $A_1\subset A_2$ or another one which is equivalent to it.

Then we know that $A_2$ is in $\sigma(A_2)$, then $A_1$ is in $\sigma(A_2)$. Since $\sigma(A_1)$ is the smallest $\sigma$-algebra which contains $A_1$, then $\sigma(A_1)\subset \sigma(A_2)$.