Recognitions:
Gold Member
Homework Help
Science Advisor

## Analysis - Cauchy caracterisation of completeness

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
 PhysOrg.com science news on PhysOrg.com >> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens>> Google eyes emerging markets networks

Recognitions:
Gold Member
Science Advisor
Staff Emeritus
 Quote by quasar987 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.
It's not. However, "Cauchy complete + Archmedian property" is equivalent to the completeness axiom.
 Recognitions: Gold Member Homework Help Science Advisor Ok, thanks! Edit: I found the proof.
 Thread Tools

 Similar Threads for: Analysis - Cauchy caracterisation of completeness Thread Forum Replies Calculus & Beyond Homework 2 Quantum Physics 0 Calculus & Beyond Homework 2 Linear & Abstract Algebra 2 Calculus & Beyond Homework 6