Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Cauchy sequences of rationals can be used to model the reals.

Has anyone actually tried though to develop a theory of real analysis explicitly in this model?

Some definitions seem like they would be straightforward to convert into this model, but I am not sure about others.

I guess we probably wouldn't gain anything, but it would be interesting to see.

Does someone have a reference maybe?

share|cite|improve this question
I wonder why you would want to do this? Since you have to take equivalence classes of the Cauchy sequences, which essentially gives you the reals, there's nothing to gain here. I mean, the reals are equivalence classes of Cauchy sequences, just with a more compact notation. – pki Nov 6 '11 at 15:11
Yes, I know that. The only thing that might be gained is insight. It just seemed interesting to me. No other reason. – Tim Seguine Nov 6 '11 at 16:49
"Some definitions seem like they would be straightforward to convert into this model" - do you have any examples? – Srivatsan Nov 6 '11 at 16:58
@Srivatsan Like for example, I could define the exponential function of a Cauchy sequence as $\exp{\{x_n\}}_{n\in\mathbb{N}}:=\{\sum_{k=0}^{n}\frac{x_n^k}{k!}\}_{n\in\mathbb‌​{N}}$ – Tim Seguine Nov 6 '11 at 17:40
@pki The reason I originally came up with the idea was for discretizing algorithms. I thought maybe by manipulating the series directly, one might find explicit representations for the series that converges to the solution. Seems probably impractical now, but the idea is still intriguing to me. – Tim Seguine Nov 6 '11 at 18:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.