# Thread: collection of pairwise disjoint interval question

1. ## collection of pairwise disjoint interval question

Show that any collection of pairwise disjoint, nonempty open interval in $\displaystyle R$ is at most countable. [Hint: Each one contains a rational]

2. ## Re: collection of pairwise disjoint interval question

Originally Posted by wopashui
Show that any collection of pairwise disjoint, nonempty open interval in $\displaystyle R$ is at most countable. [Hint: Each one contains a rational]
The hint basically gives it away. Let $\displaystyle \left\{I_\alpha\right\}_{\alpha\in\mathcal{A}}$ denote the set of your open intervals. For each $\displaystyle I_\alpha$ since $\displaystyle \mathbb{Q}$ is dense, we know there exists some rational number $\displaystyle q_\alpha\in I_\alpha$. So, define $\displaystyle f:\left\{I_\alpha\right\}_{\alpha\in\mathcal{A}} \to\mathbb{Q}:I_\alpha \mapsto q_\alpha$, since the $\displaystyle I_\alpha$'s are disjoint we know that $\displaystyle f$ is an injection...so.
_

3. ## Re: collection of pairwise disjoint interval question

Originally Posted by Drexel28
The hint basically gives it away. Let $\displaystyle \left\{I_\alpha\right\}_{\alpha\in\mathcal{A}}$ denote the set of your open intervals. For each $\displaystyle I_\alpha$ since $\displaystyle \mathbb{Q}$ is dense, we know there exists some rational number $\displaystyle q_\alpha\in I_\alpha$. So, define $\displaystyle f:\left\{I_\alpha\right\}_{\alpha\in\mathcal{A}} \to\mathbb{Q}:I_\alpha \mapsto q_\alpha$, since the $\displaystyle I_\alpha$'s are disjoint we know that $\displaystyle f$ is an injection...so.
_
hi, Drexel28, what is dense means, and I did not understand the term at most countable, what is the approach here?

4. ## Re: collection of pairwise disjoint interval question

dense means that between any two real numbers, we can find a rational number.

"at most countable" means that there is an injection from our collection, to a subset of the natural numbers (this subset could be finite, or infinite).

5. ## Re: collection of pairwise disjoint interval question

sorry, what is A in your approach, you have not defined A.

6. ## Re: collection of pairwise disjoint interval question

Originally Posted by Drexel28
The hint basically gives it away. Let $\displaystyle \left\{I_\alpha\right\}_{\alpha\in\mathcal{A}}$ denote the set of your open intervals. For each $\displaystyle I_\alpha$ since $\displaystyle \mathbb{Q}$ is dense, we know there exists some rational number $\displaystyle q_\alpha\in I_\alpha$. So, define $\displaystyle f:\left\{I_\alpha\right\}_{\alpha\in\mathcal{A}} \to\mathbb{Q}:I_\alpha \mapsto q_\alpha$, since the $\displaystyle I_\alpha$'s are disjoint we know that $\displaystyle f$ is an injection...so.
_
$\displaystyle f:\left\{I_\alpha\right\}_{\alpha\in\mathcal{A}} \to\mathbb{Q}:I_\alpha \mapsto q_\alpha$ is this saying that $\displaystyle I_a$ is a bijection of Q, what is the notation of $\displaystyle I_a --> q_a$mean?, I'm kindof confused here.

7. ## Re: collection of pairwise disjoint interval question

what drexel28 is saying, is that A is an "indexing set" for our collection of intervals. this is mostly a notational convenience, so that we can distinguish different intervals from each other while still using a notation that tells us they all belong "to the same collection".

since our intervals are pair-wise disjoint, one possible choice for A is the set of all real numbers {a: a = inf(I), for some interval I in our collection} (so if one of our intervals was (2,4), we would label that interval $\displaystyle I_2$).

by your hint, each interval $\displaystyle I_\alpha$, contains a rational number, which we can call $\displaystyle q_\alpha$ . since the intervals are pair-wise disjoint, no other interval contains this rational number.

but the rationals can be put into a bijection with the natural numbers, let's call the bijection h.

thus if C is our collection of intervals, we have an injection k from C into the natural numbers given by:

$\displaystyle k(I_\alpha) = h(q_\alpha)$

8. ## Re: collection of pairwise disjoint interval question

thx, so why do we need C here, is $\displaystyle h(q_a)$stand for nautral number?

9. ## Re: collection of pairwise disjoint interval question

C is just a letter i picked to stand for $\displaystyle \{I_\alpha\}_{\alpha \in \mathcal{A}}$