Union of open overlapping intervals is an open interval

general-topologyreal-analysis

I am taking my first real analysis course and I read about the fact that every open set of real numbers can be represented by a countable union of disjoint open intervals (although the proofs are hard for me to understand at this point in time).
Now what about overlapping intervals? This should be easier to prove. Assume that for all $n \in \mathbb{N}$ we have an interval $I_n = (x_n,y_n) \subseteq \mathbb{R}$. Furthermore, assume that for all these intervals the intersection is not empty, i.e. $I_n \cap I_k \not = \emptyset$ for all $n,k \in \mathbb{N}$. Now take the union as $T= \cup_{n \in \mathbb{N}}$. Then $T$ should be an open interval. However, I do not know how to prove that $T$ is an interval. I would be grateful for any suggestions on how to start.

Best Answer

Let us begin with the definition of an interval on real line: a subset $I$ of the real line is an interval if and only if for any two points $a<b$ in $I$ and any $a<c<b$, one has $c\in I$.

Note that the union $T$ of a sequence of open intervals $I_n$ is automatically open. So what remains is to check that $T$ is still an interval. Let $a,b$ be any two point in $T$ and suppose that $a<b$. The two points $a$ and $b$ must lie in some given intervals, say $a\in I_1$ and $b\in I_2$. Let $c$ be any point in $\mathbb{R}$ such that $a<c<b$. But as $I_1\cap I_2$ is not empty, so one can take $d\in I_1\cap I_2$ which satisfies $a<d<b$ (there are only finitely possibile situations for two open sets to intersect and you can compute it out explicitly by considering the sup and inf of the intervals). If $c=d$, then it is done as $c\in I_1\cap I_2 \subset T$; otherwise either $a<c<d$ or $d<c<b$ will imply that $c\in I_1\cup I_2\subset T$ as $I_1$ and $I_2$ are intervals. The proof is complete.

The assumption of mutually overlapping is quite strong. In fact it is much stronger than what is needed for the union to remain an interval. For more information, you can check about connectedness or even just path-connectedness in topology.

If you are not familiar with topology or you are not sure about why an (arbitrary) union of open sets is still open, you can check it by considering the sup and inf of this union, once you succeed in proving that it is an interval.

Related Question