1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Very difficult algebra problem (real analysis)

  1. Aug 28, 2010 #1
    Goal: to show yn=x

    This particular part of the proof supposes that yn>x. So we want
    an h>0 such that (y-h)n>x



    this yields h=(yn-x)/(nyn-1)

    my question: how the heck does one derive h from this????
  2. jcsd
  3. Aug 28, 2010 #2
    1. It'd be nice if you could type out the whole problem. Or at least give it in a bit more context.
    2. Your logic is not sound. You have:

    [tex] y^n-(y-h)^n \ < \ y^n-x [/tex]
    [tex] y^n -(y-h)^n \ < \ hny^{n-1}. [/tex]

    However, this does not necessarily imply that

    [tex] hny^{n-1} \ < \ y^n-x [/tex].
  4. Aug 28, 2010 #3
    I do not see where I implied this to be true... Also, i do not see where my logic is unsound
  5. Aug 28, 2010 #4
    How did you go from

    [tex] y^n -(y-h)^n \ < \ hny^{n-1}. [/tex]


    [tex] h = \frac{y^n-x}{ny^{n-1}}? [/tex]

    I'm assuming you substituted [tex] hny^{n-1} [/tex] on the left in

    [tex] y^n-(y-h)^n \ < \ y^n-x [/tex]

    to get

    [tex] hny^{n-1} \ < \ y^n-x [/tex]
    [tex] h \ < \frac{y^n-x}{ny^{n-1}} [/tex]

    But you cannot do this, as I explained in my post above.
  6. Aug 28, 2010 #5
    Haha, so you sympathize with my problem then... I do not see how h was derived. That would be the issue at hand indeed. This proof is on http://www.scribd.com/doc/9654478/Principles-of-Mathematical-Analysis-Third-Edition-Walter-Rudin page 18 of the scribd scroller and page 10 of the actual text. If you are interested in the further details of the proof. However, getting a value for h is the issue for me. In the text, Rudin just gives it without showing how he came up with it.
  7. Aug 28, 2010 #6
    The proof in the text seemed pretty straightforward to me. We've already proved y^n < x leads to contradiction. Now:

    Let y^n > x. We define k as [tex] k = \frac{y^n - x}{ny^{n-1}}. [/tex] So 0 < k < y. Now we consider all t such that [tex] t \geq y - k. [/tex] For such t, we have the following:

    [tex] y^n - t^n \leq y^n - (y - k)^n [/tex] by substituting in for t.

    Now, since [tex] b^n - a^n < (b-a)nb^{n-1} [/tex] for 0 < a < b, and since 0 < y - k < y, we have

    [tex] y^n - (y - k)^n < kny^{n-1}. [/tex]

    Which, by our definition of k, is equivalent to

    [tex] y^n - (y-k)^n < y^n - x. [/tex]

    Thus, [tex] (y - k)^n = t^n > x. [/tex]

    Therefore, [tex] t \notin E [/tex], and is an upper bound of E. Thus, y - k is an upper bound of E, which contradicts our definition of y as the least upper bound of E. Hence, since we proved y^n < x and y^n > x both lead to contradictions, we find that y^n = x.

    ....I know I just repeated the whole proof....but I added a few clarification notes that I hope help because the rest should be pretty straightforward. By the way, what was your fixation with deriving h? That was for the first part. And it wasn't so much as derived as it was simply chosen because it works. That's often how math proofs like this work. The key is realizing the connection in the end.
    Last edited: Aug 29, 2010
  8. Aug 29, 2010 #7
    The proof was not my problem. The problem WAS deriving h. I did not find the proof to be overly difficult but how does one go about picking an h that works?? My professor went through the process of showing us how he picked it, but this is wherein my problem lies-I did not understand it. If I were to be doing an original of this proof, how would i pick h?
  9. Aug 29, 2010 #8
    Oh, you just need to know what you want to end up. Well you want to show in the end that y^n > x leads to contradiction. So we would want an h that will give us (y - h)^n > x, thus contradicting the fact that y is the least upper bound. We've already seen that the identity b^n - a^n < (b - a)nb^(n-1) is useful, so we want our inequality in that form.

    So we rewrite our previous step as:
    y^n - (y - h)^n < y^n - x.

    Well we also know from the above identity that:
    y^n - (y - h)^n < hny^(n-1).

    So we set the two right sides equal:
    hny^(n-1) = y^n - x.

    Or h = (y^n - x)/ny^(n-1).

    There's no point in asking "well how was I supposed to think of that?" It's a nice proof. It requires an insight as to what you want to end up with.
  10. Aug 30, 2010 #9
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook