Cauchy SequencesFurther information: Cauchy sequence
Another approach is to define a real number as the limit of a Cauchy sequence of rational numbers. This construction of the real numbers uses the ordering of rationals less directly. First, the distance between x and y is defined as the absolute value |x − y|, where the absolute value |z| is defined as the maximum of z and −z, thus never negative. Then the reals are defined to be the sequences of rationals that have the Cauchy sequence property using this distance. That is, in the sequence (x0, x1, x2, ...), a mapping from natural numbers to rationals, for any positive rational δ there is an N such that |xm − xn| ≤ δ for all m, n > N. (The distance between terms becomes smaller than any positive rational.)
If (xn) and (yn) are two Cauchy sequences, then they are defined to be equal as real numbers if the sequence (xn − yn) has the limit 0. Truncations of the decimal number b0.b1b2b3... generate a sequence of rationals which is Cauchy; this is taken to define the real value of the number. Thus in this formalism the task is to show that the sequence of rational numbers
has the limit 0. Considering the nth term of the sequence, for n=0,1,2,..., it must therefore be shown that
This limit is plain; one possible proof is that for ε = a/b > 0 one can take N = b in the definition of the limit of a sequence. So again 0.999... = 1.
The definition of real numbers as Cauchy sequences was first published separately by Eduard Heine and Georg Cantor, also in 1872. The above approach to decimal expansions, including the proof that 0.999... = 1, closely follows Griffiths & Hilton's 1970 work A comprehensive textbook of classical mathematics: A contemporary interpretation. The book is written specifically to offer a second look at familiar concepts in a contemporary light.
Other articles related to "cauchy sequences, sequences, cauchy, cauchy sequence, sequence":
... The completion of M can be constructed as a set of equivalence classes of Cauchy sequences in M ... For any two Cauchy sequences (xn)n and (yn)n in M, we may define their distance as (This limit exists because the real numbers are complete.) This is only a pseudometric, not yet a metric, since two different ... But "having distance 0" is an equivalence relation on the set of all Cauchy sequences, and the set of equivalence classes is a metric space, the completion of M ...
... Given an integral domain D with an absolute value, we can define the Cauchy sequences of elements of D with respect to the absolute value by requiring that ... It is not hard to show that Cauchy sequences under pointwise addition and multiplication form a ring ... One can also define null sequences as sequences of elements of D such that
... In constructive mathematics, Cauchy sequences often must be given with a modulus of Cauchy convergence to be useful ... If is a Cauchy sequence in the set, then a modulus of Cauchy convergence for the sequence is a function from the set of natural numbers to itself, such ... Clearly, any sequence with a modulus of Cauchy convergence is a Cauchy sequence ...