Denote the boolean closure of a family of sets $\mathcal S$ by $\mathcal B(\mathcal F)$, then in a metric space it is well known that $\mathcal B(\mathcal F) = \mathcal B(\mathcal G) = \mathcal B(\mathcal F \cup \mathcal G) \subseteq F_{\sigma} \cap G_{\delta}$. Now my question, is
- $\mathcal F \cup \mathcal G$, i.e. the family of all open or closed sets, closed under boolean operations, i.e. $\mathcal B(\mathcal F \cup \mathcal G) \subseteq \mathcal F \cup \mathcal B$?
- Is the family $\mathcal F_{\sigma} \cup \mathcal G_{\delta}$ closed under boolean operations, i.e. $\mathcal B(\mathcal F_{\sigma} \cup \mathcal G_{\delta}) \subseteq F_{\sigma} \cup G_{\delta}$?
$\mathcal{F} \cup \mathcal{G}$ is not closed under Boolean operations. Consider $( -1 , 0 ) \cup [ 0 , 1 ]$.
The fact that $\mathcal{B} ( \mathcal{F} ) \subseteq F_\sigma \cap G_\delta$ rests heavily on the fact that closed subsets of metric spaces are Gδ (and so open sets are Fσ).
Similarly, the $F_\sigma \cup G_\delta$ is not closed under Boolean operations: consider the union of two sets "living" on different intervals in $\mathbb{R}$, one which is Gδ but not Fσ, and the other which is Fσ but not Gδ (for example, $( - \infty , 0 ) \setminus \mathbb{Q}$ and $( 0 , + \infty ) \cap \mathbb{Q}$).