Results 1 to 9 of 9

Thread: collection of pairwise disjoint interval question

  1. #1
    Senior Member
    Joined
    Jan 2010
    Posts
    273

    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]
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    22

    Re: collection of pairwise disjoint interval question

    Quote Originally Posted by wopashui View Post
    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.
    _
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Jan 2010
    Posts
    273

    Re: collection of pairwise disjoint interval question

    Quote Originally Posted by Drexel28 View Post
    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?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,546
    Thanks
    842

    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).
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Jan 2010
    Posts
    273

    Re: collection of pairwise disjoint interval question

    sorry, what is A in your approach, you have not defined A.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Jan 2010
    Posts
    273

    Re: collection of pairwise disjoint interval question

    Quote Originally Posted by Drexel28 View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,546
    Thanks
    842

    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)$
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Senior Member
    Joined
    Jan 2010
    Posts
    273

    Re: collection of pairwise disjoint interval question

    thx, so why do we need C here, is $\displaystyle h(q_a) $stand for nautral number?
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,546
    Thanks
    842

    Re: collection of pairwise disjoint interval question

    C is just a letter i picked to stand for $\displaystyle \{I_\alpha\}_{\alpha \in \mathcal{A}}$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 0
    Last Post: Nov 15th 2011, 09:13 PM
  2. pairwise disjoint subset question
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: Oct 12th 2011, 06:34 PM
  3. [SOLVED] Set related question ... find out if disjoint of not disjoint ...
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: Jul 9th 2011, 02:26 AM
  4. Replies: 6
    Last Post: Sep 19th 2010, 12:16 PM
  5. pairwise prime
    Posted in the Number Theory Forum
    Replies: 5
    Last Post: Sep 6th 2008, 05:21 PM

Search tags for this page

Click on a term to search for related topics.

Search Tags


/mathhelpforum @mathhelpforum