My question concerns [itex]F_\sigma[/itex] subsets of [itex]\mathbb{R}[/itex]. An [itex]F_\sigma[/itex] set is one which can be expressed as a countable union of closed sets.(adsbygoogle = window.adsbygoogle || []).push({});

I have several books that state that a countable intersection of [itex]F_\sigma[/itex] sets need not be an [itex]F_\sigma[/itex] set (indeed, such sets have their own designation, [itex]F_{\sigma\delta}[/itex]), but none of them gives a counterexample. Does anyone know one offhand? This isn't homework/coursework; I'm just curious and haven't been able to come up with one. I would prefer a concrete example if possible, not just an existence proof.

Relevant facts: Clearly a countable UNION of [itex]F_\sigma[/itex] sets is [itex]F_\sigma[/itex]. All open and closed sets in [itex]\mathbb{R}[/itex] are [itex]F_\sigma[/itex]. [itex]\mathbb{Q}[/itex] is an [itex]F_\sigma[/itex] set as it is a countable union of singletons. The only concrete example of a set I know is not [itex]F_\sigma[/itex] is [itex]\mathbb{R}\setminus\mathbb{Q}[/itex], the set of irrationals.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Countable intersection of F-sigma sets

**Physics Forums | Science Articles, Homework Help, Discussion**