1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    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!

Analysis - Cauchy caracterisation of completeness

  1. May 31, 2007 #1

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    1. The problem statement, all variables and given/known data
    In my book (Classical Analysis by Marsdsen & Hoffman), they use the monotone bounded sequence property as the completeness axiom. That is to say, they call complete an ordered field in which every bounded monotone sequence converges and they argue that there is a unique (up to order preserving field isomorphism) complete ordered field that we call the reals.

    Then they clearly show that the completeness axiom is logically equivalent to the least upper bound property (if a subset of the reals is bounded above, then the supremum exists [i.e. is real]). They then start talking about Cauchy sequences and "hint" that the statement "Every Cauchy sequence converges" is also logically equivalent to the completeness axiom. That's what I want to verify.

    3. The attempt at a solution

    The "==>" part is already taken care of in the text because we used the completeness axiom to prove a lemma to the thm that every Cauchy sequence converges.

    But I'm struggling a bit with the "<==" side in showing that every bounded monotone sequence is Cauchy.

    I'll keep thinking about it an update this thread if I find something. Meanwhile, a hint would be post welcome :smile:
     
  2. jcsd
  3. May 31, 2007 #2

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    It's not. However, "Cauchy complete + Archmedian property" is equivalent to the completeness axiom.
     
  4. May 31, 2007 #3

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Ok, thanks! :tongue2:

    Edit: I found the proof.
     
    Last edited: May 31, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?