Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm looking for subset $A$ of $\mathbb R$ such that $A$ is a Borel set but $A$ is neither $F_\sigma$ nor $G_\delta$.

share|improve this question
mathoverflow.net/questions/56632/… –  t.b. Oct 17 '11 at 10:16
@t.b.: Could you enhance that comment with an mini-sentence explaining what it points to (or even and answer)? –  Mariano Suárez-Alvarez Oct 18 '11 at 15:57
For references to the related problem of "explicit" examples of functions that properly belong to various lower Baire hierarchy ranks, see groups.google.com/group/sci.math/msg/addcfd658075c65f –  Dave L. Renfro Oct 18 '11 at 16:32

1 Answer 1

up vote 25 down vote accepted

There are many examples. Here's one:

Observe first that the rational numbers $\mathbb{Q}$ are an $F_{\sigma}$. This is because they are a countable union of points. The irrational numbers $\mathbb{R} \smallsetminus \mathbb{Q} = \bigcap_{q \in \mathbb{Q}} \mathbb{R} \smallsetminus \{q\}$ are thus a $G_{\delta}$. Since both $\mathbb{Q}$ and $\mathbb{R} \smallsetminus \mathbb{Q}$ are dense and disjoint it follows from the Baire category theorem that $\mathbb{Q}$ cannot be a $G_{\delta}$. [Edit: See also this thread here containing several proofs that $\mathbb{Q}$ can't be a $G_{\delta}$ in $\mathbb{R}$. These proofs explicitly avoid Baire].

The same reasoning shows that $F = \mathbb{Q}_{\geq 0}$ is an $F_{\sigma}$ in $[0,\infty)$, but isn't a $G_{\delta}$, and that $G= \mathbb{R}_{\leq 0} \smallsetminus \mathbb{Q}_{\leq 0}$ is a $G_{\delta}$ in $(-\infty,0]$, but isn't an $F_{\sigma}$. Their union $F \cup G$ is then an example of a Borel subset of $\mathbb{R}$ which is neither an $F_{\sigma}$ nor a $G_{\delta}$ because if it were an $F_{\sigma}$ then the same would hold for $G = (F \cup G) \cap (-\infty,0)$, for example. I leave it as an exercise to show that $F \cup G$ is both an $F_{\sigma\delta}$ and a $G_{\delta\sigma}$.

That's probably the easiest example. A few more (both more interesting but also more involved ones) can be found in this MO thread.

For a much more in-depth discussion of such ideas, I recommend looking into one of the following books:

Specifically, look up the sections on the Borel hierarchy.

share|improve this answer
Very nice example! I had in mind some countable union of copies of the irrationals or something like that. –  Asaf Karagila Oct 18 '11 at 16:25
@Asaf: thanks!${}$ –  t.b. Oct 18 '11 at 16:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.