# generated sigma algebra from countable sub family's of a collection of subsets

Let $Y$ be a collection of subsets of the set X. Show that for each $A \in \sigma(Y)$ there is a countable subfamily $B_0 \subset Y$ such that $A\in \sigma(B_0)$

My try: I look at $\cup B_i$ where $B_i$ is a countable subfamily of $Y$. And I want to show that $Y\subset \cup B_i \subset\sigma(Y)$. Both the $\cup B_i \subset\sigma(Y)$ and $Y\subset \cup B_i$ feels intuitive, but how do I write it out rigorously?

#### Solutions Collecting From Web of "generated sigma algebra from countable sub family's of a collection of subsets"

The way to prove it is to consider the set $\mathcal{C}$ of all $X\in\sigma(Y)$ such that for some countable $B_0\subseteq Y$, $X\in\sigma(B_0)$. Clearly, $\mathcal{C}$ is closed under complements and contains every element of $Y$. If you can show that $\mathcal{C}$ is closed under countable unions, which follows from the fact that countable unions of countable sets are countable, you have established that $\mathcal{C}$ is a $\sigma$-algebra satisfying $$Y\subseteq\mathcal{C}\subseteq\sigma(Y),$$
and hence $\mathcal{C}=\sigma(Y)$.