Re: The rational number 5 and the real number 5



On Thu, 6 Mar 2008 djrt20@xxxxxxxxxx wrote:

The real number 5 is the name we give to [(5,5,5,...)] if real numbers
are defined to be equivalence classes of Cauchy sequences of
rationals. Maybe we would like to say that the real number 5 is equal
to the rational number 5. In what sense does it make sense to say
this, and is there anything wise to say here?

What makes sense is that there is an isomorphism between the rational
numbers and the subfield of the real rationals of the reals.

In otherword, the rationals embed into the reals.

Of course 5 the integer, 5/1 the rational and 5.0000....
the real are not equal until you embed the integers
into the rationals and the rationals into the reals.

Then it makes sense to define 5/1 as 5.000... and 5 as 5/1.

.



Relevant Pages

  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... What is the step of logic which leads one to seek an extention of the ...  But when they go from the rationals to the reals, ... class of Cauchy sequences that converge to that same point. ... built up, step by step, from rationals, to sequences ...
    (sci.math)
  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... using the rationals as a starting point. ... that one could mix rational numbers with 'irrational Cauchy sequences', ... Do you mean each equivalence class is ... The top layer, so far, builds the reals from the rationals. ...
    (sci.math)
  • Re: .999... = 1
    ... >> equivalence classes of Cauchy sequences. ... >> showing that the Cauchy sequences for 1 and .999... ... Talking about reals being equivalence classes of rationals ...
    (sci.logic)
  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... using the rationals as a starting point. ... that one could mix rational numbers with 'irrational Cauchy sequences', ... or do you mean that the set of equivalence classes is ... the reals strictly from the rationals. ...
    (sci.math)
  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... What is the step of logic which leads one to seek an extention of the ... But when they go from the rationals to the reals, ... class of Cauchy sequences that converge to that same point. ...
    (sci.math)