Difference between revisions of "Notes:Hereditary sigma-ring"

Revision as of 07:23, 6 April 2016

I'm writing down some "facts" so I don't keep redoing them on paper.

What I want to show

• $\mathcal{H}(\sigma_R(S))=\sigma_R(\mathcal{H}(S))$ for a system of sets, $S$.

Ideas

• Maybe just try showing $\subseteq$ for each side on paper

Facts

1. An hereditary system is a sigma-ring $\iff$ it is closed under countable unions.
   • Thus $\sigma_R(\mathcal{H}(S))$ is just $\mathcal{H}(S)$ with the additional property:
     • $\forall(A_n)_{n=1}^\infty\subseteq\mathcal{H}(S)\left[\bigcup_{n=1}^\infty A_n\in\sigma_R(\mathcal{H}(S))\right]$
2. $\mathcal{H}(\mathcal{R})$ is a $\sigma$-ring (for any $\sigma$-ring, $\mathcal{R}$)
   • This means $\sigma_R(\mathcal{H}(\mathcal{R}))=\mathcal{H}(\mathcal{R})$
   • It also means $\mathcal{H}(\sigma_R(S))$ is a $\sigma$-ring
3. $\sigma_R(\mathcal{H}(S))$ is just $\mathcal{H}(S)$ closed under countable union.

Proof of facts

1. An hereditary system is a sigma-ring $\iff$ it is closed under countable unions.
   1. Hereditary system is a sigma-ring $\implies$ closed under countable unions
      • It is a $\sigma$-ring which means it is closed under countable unions. Done
   2. A hereditary system closed under countable union $\implies$ it is a $\sigma$-ring
      1. closed under set-subtraction
         • Let $A,B\in\mathcal{H}$ for some hereditary system $\mathcal{H}$. Then:
           • $A-B\subseteq A$, but $\mathcal{H}$ contains $A$ and therefore all subsets of $A$
         • Thus $\mathcal{H}$ is closed under set subtraction.
      2. Closed under countable union is given.
2. $\mathcal{H}(\mathcal{R})$ is a $\sigma$-ring (for any $\sigma$-ring, $\mathcal{R}$)
   1. It is already shown that a hereditary system is closed under set subtraction, only remains to be shown closed under countable union
   2. Closed under countable union
      • Let $(A_n)_{n=1}^\infty\subseteq\mathcal{H}(\mathcal{R})$ (we need to show $\implies\bigcup_{n=1}^\infty A_n\in\mathcal{H}(\mathcal{R})$)
        • This means, for each $A_n\in\mathcal{H}(\mathcal{R})$ there is a $B_n\in\mathcal{R}$ with $A_n\subseteq B_n$ thus:
          • $\forall(A_n)_{n=1}^\infty\subseteq\mathcal{H}(\mathcal{R})\exists(B_n)_{n=1}^\infty\subseteq\mathcal{R}\forall i\in\mathbb{N}[A_i\subseteq B_i]$
        • However $\mathcal{R}$ is a $\sigma$-ring, thus:
          • Define $B:=\bigcup_{n=1}^\infty B_n$, notice $B\in\mathcal{R}$
        • But a union of subsets is a subset of the union, thus:
          • $\bigcup_{n=1}^\infty A_n\subseteq\bigcup_{n=1}^\infty B_n:=B$, thus
            • $\bigcup_{n=1}^\infty A_n\subseteq B$
          • BUT $\mathcal{H}(\mathcal{R})$ contains all subsets of all things in $\mathcal{R}$, thus contains all subsets of $B$.
        • Thus $\bigcup_{n=1}^\infty A_n\in\mathcal{H}(\mathcal{R})$
      • Thus $\mathcal{H}(\mathcal{R})$ is closed under countable union.
3. $\sigma_R(\mathcal{H}(S))$ is just $\mathcal{H}(S)$ closed under countable union.
   • Follows from fact 1. As $\mathcal{H}(S)$ is an hereditary system, the sigma-ring generated by it (the smallest sigma ring containing $\mathcal{H}(S)$ is just the set with whatever is needed to close it under the operators)

TODO: It seems, "hereditary sigma-ring" is the same as "sigma-ideal".