2.15.2 Cauchy Sequences

A real number r is represented by a converging sequence of rational numbers:

Any particular real number has many different, but equivalent, representations.

Operations are again inherited from the corresponding operations on rationals:

It must be shown that the operation results are independent of the representation chosen for the operands:

There is no guarantee as to the rate of convergence of the sequence to the represented value x.

See [8, 42, 58] for further details concerning this representation and associated methods.

Jeff Tupper

March 1996