I would like to use this fact in the proof and it seems to me to follow directly from the definition of the σ-algebra and the Borel set, but with the definition by intersection of all σ-algebras containing all open sets I have doubts. If it matters I only need it on $\mathbb{R}^n$ with Euclidean topology.
Asked
Active
Viewed 73 times
0
-
https://math.stackexchange.com/questions/1614337/borel-set-that-is-not-countable-union-or-intersection-of-open-or-closed-sets – Anonymous Apple Nov 20 '24 at 22:47
1 Answers
2
For a simple counterexample, the set of irrational numbers is one. Because it has no interior, if it can be written as a countable union of open sets and closed sets, then it is $F_\sigma$ (countable union of closed sets), so its complement, the set of rational numbers, is $G_\delta$ (countable intersection of open sets). Note that as rationals are dense, it will then be a countable intersection of open dense sets. But then you can intersect these with $\mathbb{R} \setminus \{q\}$ for all $q \in \mathbb{Q}$, which form a countable collection of open dense sets, to obtain the empty set. So a countable intersection of open dense sets is empty, which contradicts the Baire category theorem.
David Gao
- 22,850
- 9
- 28
- 48