How do you show that, given two open intervals $I$ and $J$ in $\mathbb{R}$, $(I\cap J\ne \emptyset)\Leftrightarrow (I\cup J\text{ is an open interval)}$
Union of two intervals
-
0I was trying to avoid defining the "endpoints" of I and J and using max/min functions and casework. I wanted to use this definition of an open interval to prove it: given any two different points a and b in an open interval I, the open interval (a,b) is contained in I. I guess there is nothing wrong with defining the endpoints of I and J as in the two answers given so far... – 2012-10-09
2 Answers
Hint: I do not know whether you are supposed to consider also infinite intervals, such as $(5,\infty)$, $(-\infty, 17)$, and $(-\infty,\infty)$. If you are, they are not hard to deal with, it just lengthens the proof.
Let us start by considering finite intervals $(a,b)$ and $(c,d)$. Because of the symmetry, we can without loss of generality assume that $a\le c$.
Draw a picture. There are two cases to consider: (i) $c\lt b$ and (ii) $c\ge b$. In case (i), show that both sides of the "$\iff$" are true, and therefore the $\iff$ is true. In case (ii), show that both sides of the $\iff$ are false, and therefore the $\iff$ is true.
Remark: Actually, the "infinite interval" possibilities can be dealt with simultaneously with the "main" finite intervals case. But when one is a bit uncertain, attempts at compression can lead to loss of control.
Hint for one direction: If $(a,b)\cap(c,d)\ne \emptyset$ then there is a real number $x$ with $a
For the other direction assume $(a,b)\cup(c,d)=(e,f)$ and show that you cannot have $a nor $c