Subsets of a set generating a sigma algebra

measure-theory

I have a notation difficulty while writing correctly a sigma algebra generated not by a set of elements but rather by a set of subsets of a set.

Let $E=\{ 1,2,3,4\}$. I need to determine the $\sigma$-algebra generated by the family of subsets $X=\{\{1\},\{2\}\}$ of $E$.

I first thought about this solution: $\sigma(\{1\}, \{2\})=\{\emptyset ,\{1,2\}, \{3,4\}, \{1,2,3,4\}\}$ which seems not to hold.

I am wondering, whats the complement of $X$ in respect to $E$ ? Also, can one say that $\{\{1\},\{2\}\}$ is a subset of $E$
?

Thanks for your comment.

Best Answer

First of all the generated sigma algebra must contain the sets that generate it. So obviously if we call the generated sigma algebra by $\Omega$ then $\{1\},\{2\}\in\Omega$. Also by definition $\emptyset, E\in\Omega$. Now we have to add complements and unions. So we get that $\Omega$ also contains the following sets: $\{2,3,4\},\{1,3,4\},\{1,2\},\{3,4\}$. And that is all, you can check the elements of $\Omega$ are closed under complement and union, so $\Omega=\{\emptyset,\{1\},\{2\},\{1,2\},\{3,4\},\{2,3,4\},\{1,3,4\},\{1,2,3,4\}\}$.

As for your last question, obviously $\{\{1\},\{2\}\}$ is not a subset of $E$. It is a subset of $2^E$, the power set. And by the way a sigma algebra on $E$ contains elements of $2^E$, not of $E$ itself.

Related Question