Can every nonempty open set be written as a countable union of bounded open intervals of the form $(a_k,b_k)$, where $a_k$ and $b_k$ are real numbers (not $\pm\infty$)?

If yes, can someone point me toward a proof?

If not, counterexample?

Note that this is not the same question as the property "every nonempty open set is the disjoint union of a countable collection of open intervals."

  • 1
    $\begingroup$ Consider the set $\{ (a,\,b) \colon a,\, b \in \mathbb{Q}, a < b\}$. $\endgroup$ – Daniel Fischer Jun 28 '13 at 21:16
  • $\begingroup$ Hmmm... Is this a collection of intervals? A collection of counterexamples? $\endgroup$ – David Jun 28 '13 at 21:22
  • $\begingroup$ Intervals. What can you say about this set in relation to your question? $\endgroup$ – Daniel Fischer Jun 28 '13 at 21:23

Hint: Let $A$ be open, and consider all intervals $(p,q)$ such that $p$ and $q$ are rational and $(p,q)\subset A$.

  • 1
    $\begingroup$ OK. If $x\in\cup(p,q)$, then $x\in(p,q)$ for some rational numbers $p$ and $q$. Because $(p,q)\subset A$, then $x\in A$. Hence, $\cup(p,q)\subset A$. On the other hand, suppose $x\in A$. Because $A$ is open, there exists and $\epsilon>0$ such that $(a-\epsilon,a+\epsilon)\subset A$. Now because of the density of $Q$, there exists rational $p$ and $q$ such that $a-\epsilon<p<x<q<a+\epsilon$. Hence, $x\in\cup (p,q)$ and $A\subset\cup(p,q)$. Therefore, $\cup(p,q)=A$. Have I got it right? $\endgroup$ – David Jun 28 '13 at 22:08
  • $\begingroup$ Yes, good. It would I think be OK to consider the first containment as obvious. In principle, your argument works for the empty set too, but one might want to separate it out. $\endgroup$ – André Nicolas Jun 28 '13 at 22:16

Yes. The answers to this question show that every non-empty open subset of $\Bbb R$ can be written as the union of countably many pairwise disjoint open intervals, when sets of the form $(a,\to)$ and $(\leftarrow,a)$ and $\Bbb R$ itself are counted as intervals. To complete the argument, you need only show that these open rays can be written as the union of countably many bounded open intervals:

$$\begin{align*} (a,\to)&=\bigcup_{n\in\Bbb Z^+}(a,a+n)\\\\ (\leftarrow,a)&=\bigcup_{n\in\Bbb Z^+}(a-n,a)\\\\ \Bbb R&=\bigcup_{n\in\Bbb Z^+}(-n,n) \end{align*}$$

Added: You can’t get pairwise disjointness in these cases, but you can arrange matters so that every point is in at most two of the bounded intervals, indeed, in the closures of at most two of them:

$$\begin{align*} (a,\to)&=\bigcup_{n\in\Bbb N}(a+2n,a+2n+3)\\\\ (\leftarrow,a)&=\bigcup_{n\in\Bbb Z^+}(a-2n-3,a-2n)\\\\ \Bbb R&=\bigcup_{n\in\Bbb Z^+}\Big((2n,2n+3)\cup(-2n-2,-2n+1)\Big)\;, \end{align*}$$

where $\Bbb N$ is the set of non-negative integers (i.e., it includes $0$).

If you don’t care about how much overlap your intervals have, of course, you can simply use the fact that the open intervals with rational endpoints are a countable base for the topology of $\Bbb R$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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