2
$\begingroup$

As a self-studier, I was reading a proof that any open subset, $U$, of $\mathbb{R}$ is a disjoint union of open intervals. The proof was based on an equivalence relation where $x\sim y$ if $(x,y)$ is contained in $U$.

I have two questions regarding the verification that this is a valid equivalence relation. (Sorry if they are obvious.)

First, for reflexivity, $x\sim x$, is $(x,x)$ the null set?

Second, regarding transitivity, if $x < y < z$ are elements of $U$, with $x\sim y$ and $y\sim z$, then $(x,y)$ and $(y,z)$ are both contained in $U$. My question is how can it be claimed that $x\sim z$, i.e., that $(x,z)$ is in $U$, since $y$ is not in either of the sets (although it was stated that $y$ is an element of $U$).

Thanks.

  • 0
    @Andrew: For and other approach to show that any open set is the union of... see Royden's Real Analysis 3rd edition p. 42.2011-07-16

2 Answers 2

1

$U$ is open then $\mathbb{R}-U$ is close. Suppose that $(x,y)\subseteq U$ and $(y,z)\subseteq U$. Suppose that $y\not\in U$. Since $\mathbb{R}-U$ is closed, there exist a sequence $(y_n)$ in $\mathbb{R}-U$ with $y_n\to y$. Let $r= \min\{(z-y)/2,(y-x)/2\}$. Then there exist $N\in \mathbb{N}$ such that if $n\geq N$, $|y_n-y|\lt r$. Then for $n\geq N$, $y_n\in (x,y)$ or $y_n\in (y,z)$, in any case $y_n\in U$ and $y_n\in\mathbb{R}-U$. This is impossible. Therefore, $y\in U$.

  • 0
    You're welcome @Andrew, no problem :)2011-09-17
1
  1. If you check definitions, $(x,y)$ is most likely defined as the set of all $w$ with $x < w < y$. So $(x,x)$ would be the set of all $w$ with $x < w < x$. What set is that?

  2. Try drawing a picture to see what is going on here. More formally, note that to show $(x,z) \subset U$, you have to show that for any $w$ with $x < w < z$, we have $w \in U$. Now necessarily either $w < y$, or $w = y$, or $w > y$. Show that in each case it follows that $w \in U$.