In the construction of real numbers from cauchy sequence, we define real number to be the set of equivalence classes of cauchy sequences of rational numbers. But how can we ensure that all cauchy sequences of rational numbers converges (in Q or in R), what if there exists a cauchy sequence of rational number that diverges? A divergent cauchy sequence of rational would still represent a real number by our definition, but what kind of “number” can a divergent sequence represent? Or is this some assumption we all have to agree on?
Why does every cauchy sequence of rational numbers converge
analysiscauchy-sequencesreal numbersreal-analysis
Best Answer
As stated in the comments, strictly speaking, your question only really makes sense if you have already constructed the real numbers in some other way. Otherwise, we are just defining a real number to be a Cauchy sequence of rational numbers, so they converge by definition.
But it is still reasonable to ask why we want to define a real number to be a Cauchy sequence of rational numbers. This is because the real numbers are meant to model a certain geometric object - a line. Now if you picture a Cauchy sequence of rational numbers in a line (we put rational numbers on a line in the obvious way), then geometrically it is quite plausible that there is an actual point on the line which is the limit of those rational numbers. That's the reason for constructing real numbers as Cauchy sequences of rational numbers.