1
$\begingroup$

This is an exercise from a topological book. It is this:

Show that any open subsets of the real line are $F_\sigma$-sets.

Could anybody help to solve it?

  • 0
    @t.b. Very nice!2012-08-07

2 Answers 2

3

First note that open subsets of the real line are countable unions of (pairwise disjoint) open intervals. Next show that every open interval is an F$_\sigma$-set. As countable unions of F$_\sigma$-sets are also F$_\sigma$, this gives the result.

  • 0
    @John: Don't worry about "closures of open intervals," just worry about _closed intervals_: if $(a,b)$ is any open interval, then it is a countable union of (non-degenerate) closed intervals (which happen to be the closures of their interiors, but that is not too important).2012-08-08
1

Hint: start with an open interval. Can you show it is the union of countably many closed intervals?