Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Rudin Theorem 1.20 doubt

  1. Sep 6, 2011 #1
    https://www.physicsforums.com/showthread.php?t=253563

    There is this post on this theorem. But the issue I wanted to discuss isn't discussed there fully(so far as I could follow the thread). So I am creating this thread for that issue, so as to avoid necro-post in that thread.

    My doubt is regarding m. Why do we have to find an m which lies between -m2 and m1.

    Why can't we directly say that there exists an m1 which is greater than nx (by Archimedian property).
    And then go on to say that there would be an m less than or equal to m1 which is such that nx lies between m-1 and m.Why do we have to show that -m2 is less than nx. Do we have to establish that nx lies in an interval which has both a lower and upper bound(-m2 and m1 respectively). Can't we simply establish that nx lies in an interval which has an upper bound ( i.e m1) and then go on to show existence of m ? Why do we need m2

    *I am sorry if I am assuming anything which is not obvious and hence needed to be proven. I am new to analysis , hence I am not too sure of what is obvious and what is not. *


    is the above , the correct reason ? Still I am having difficulty understanding the need for -m2.
     
  2. jcsd
  3. Sep 6, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    The thing is that we have to construct m such that

    [tex]m-1\leq nx<m[/tex]

    For this, we choose

    [tex]m=\min\{a\in \mathbb{N}~\vert~nx<a\}[/tex]

    But in order for that minimum to exist, we need the set [itex]\{a\in \mathbb{N}~\vert~nx<a\}[/itex] to have a lower bound. This is exactly what [itex]-m_2[/itex] provides...
     
  4. Sep 6, 2011 #3
    ok got it . Thanks.

    But 1 doubt still remains though .
    in this set you pointed out -

    [tex]m=\min\{a\in \mathbb{N}~\vert~nx<a\}[/tex]

    shouldn't 'a' belong to the set of integers instead of the set of naturals.
    As any set of naturals will have a minimum. But any set of integers may not have a minimum.
     
  5. Sep 6, 2011 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes, of course. It needs to be the integers :blushing:
     
  6. Sep 6, 2011 #5
    Thanks. Sorry didn't get the latex code correct.:cry:
    DOUBT resolved!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Rudin Theorem 1.20 doubt
  1. Rudin 1.20 Theorem (Replies: 9)

Loading...