Real Analysis – Sigma Algebra Generated by Singletons of X

real-analysis

Let $X$ be an uncountable set and
$$S=\{E \subset X: E \text{ or } E^c \text{is at last countable} \}$$
I want to prove that $S$ is equal to the $\sigma$-algebra generated by singletons of $X$.
I think I need to write down that sigma algebra, and then by taking elements in each of these sets prove that these two are equal. But:

  1. I don’t know how to create the sigma algebra generated by singletons.

  2. Is there any other way for answering the question?

Best Answer

Let $\mathcal{S}=\{\{x\}:x\in X\}$ be the family of all singletons of $X$ and $\sigma(\mathcal{S})$ the $\sigma$-algebra generated by $\mathcal{S}$. Since $S$ is $\sigma$-algebra and $\mathcal{S}\subset S$, we have $\sigma(\mathcal{S})\subset S$. Consequently, it only remains to prove that $S\subset\sigma(\mathcal{S})$. Let $A\in S$. If $A$ is countable, then $A\in \sigma(\mathcal{S})$, due to $A=\bigcup_{x\in A}\{x\}$. If $A$ is not countable, then $A^c$ is countable and hence $A^c\in \sigma(\mathcal{S})$. But $\sigma(\mathcal{S})$ is $\sigma$-algebra and, accordingly, $A\in \sigma(\mathcal{S})$. Therefore, in any case $A\in \sigma(\mathcal{S})$, which proves that $S=\sigma(\mathcal{S})$.