I am currently in a Measure Theory class and we are going over Borel sets. I am having difficulty with the following proof: show that for any two Borel sets $A,B$, the difference $A-B$ is a Borel set. I feel like this is pretty basic and I am just missing something obvious. I understand that the collection of Borel sets contains the null set, all $n$-dimensional intervals, all open sets $G_ \delta $ and all closed sets $F_ \sigma $, as well as all countable intersections of open sets and countable unions of closed sets. I am fairly certain the direction that I should head is in noting that if $A$ is open, $A^c$ must be closed, and that $A-B=A \cap B^c$, but other than that, I am kind of lost.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
This holds for every $\sigma$-algebra. Let $A$ and $B$ be elements of a $\sigma$-algebra. We have $A-B=A\cap B^C= (A^C\bigcup B)^C$. Since every $\sigma$-algebra is closed under complements and countable unions, this implies that $A-B$ is in the $\sigma$-algebra.
It gets even easier when you use the fact that a $\sigma$-algebra is closed under countable intersections, which can easily be proven using the De Morgan's laws in their generalized form.