3
$\begingroup$

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?

  • 7
    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.2011-11-06
  • 0
    Yes, I know that. The only thing that might be gained is insight. It just seemed interesting to me. No other reason.2011-11-06
  • 0
    "Some definitions seem like they would be straightforward to convert into this model" - do you have any examples?2011-11-06
  • 0
    @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}}$2011-11-06
  • 0
    @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.2011-11-06
  • 0
    @Tim You can do the same for real numbers: $\exp{\{x\}}_{n\in\mathbb{N}}:=\{\sum_{k=0}^{n}\frac{x^k}{k!}\}_{n\in\mathbb‌​{N}}$. Actually I saw some people defining the exponential this way, and for me this definition gives more insight than the one for sequences...2011-11-06
  • 0
    @N.S. Well the idea was to get a definition that gives you a sequence that contains only rational numbers.2011-11-07
  • 0
    It is not clear whether one could could obtain such sequences in a canonical way. Maybe via continued fractions.2013-11-07

0 Answers 0