Re: Real numbers , what are they good for ?



In article <2007122118261675249-kirakun@earthlinknet>,
Kira Yamato <kirakun@xxxxxxxxxxxxx> wrote:

On 2007-12-21 04:49:53 -0500, simple.popeye@xxxxxxxxx said:

On Dec 17, 4:13 am, "porky_pig_jr@xxxxxxxxxxx" <porky_pig_jr@my-
deja.com> wrote:
On Dec 16, 5:37 pm, jane <jane1...@xxxxxxxxxx> wrote:

A bit shaky question :

A friend of mine was asked the following question:

What are real numbers good for ?

How would you answer this question, stressing properties which, differ
exactly real numbers and which are useful in analysis ?

I can give my own answer as well, but i would like to see other
opinions, perhaps written shorter and having more information.

Thanks.

Analysis formalizes the intuitive notion of 'continuum', that is,
continuous time-space fabric, 'without holes'. On one (spatial)
dimension that would be a continuous line, which analysis models as a
'real line'. The basic requirement for such line is that if some
sequence converges to some point, that point must be on that line,
otherwise it's a 'hole in a line'. It can be shown that the rational
numbers can't serve such purpose (e.g., we can think of some sequence
whose limit is sqrt(2), but it can be shown that sqrt(2) is not a
rational number). So we enhance (complete) rational numbers, but
plugging up all the potential holes (the formal operation is known as
'completion', there are basically two ways to do so, Cauchy-Cantor
limit based approach, and Dedekind cut. the bottom line that it is
doable in a rigorous way). So, informally, we ending up constricting
some number system such that if some sequence converges to some
number, that number is a real number, on a real line, no holes in real
line. A formal definition (if set of real numbers is bounded above, it
has the least upper bound, or supremum) serves as a starting point of
the real analysis.

(Completing the rational numbers is rather messy procedure. We want to
show that the resulting system has all the properties of rational
numbers we got used to: associativity, commutativity, distributive law
etc. Lots of gory details, but in the end everything gets proven).

Excellent informal summary. May be you could have done more justice
for Dedekind cut also by giving it also a line or two. or is it
points?

In my view, the real number to which a Cauchy sequence converges to is
a a point having infinitesimal width and not a Dedekind cut. And any
two different Dedekind cuts are separated by a finite or infinitesimal
interval, but not a zero interval. I might change/correct of my views
later - but at this moment I should tell what I think ...

What's an infinitesimal interval?

One which does not exist, at least in the standard model of the reals.
.



Relevant Pages

  • Re: Real numbers , what are they good for ?
    ... continuous time-space fabric, 'without holes'. ... numbers can't serve such purpose (e.g., we can think of some sequence ... for Dedekind cut also by giving it also a line or two. ... I knew it is not in standard reals, and I'm swimming against the tide ...
    (sci.math)
  • Re: Multiple infinities - one more look
    ... continued for lager length of digit sequences without limit. ... infinite digit sequences... ... so the resulting reals have an order. ... (i.e. having a finite program to output their digits in sequence). ...
    (sci.math)
  • Re: Galileos Paradox and the Project of the Reals
    ... The way you get reals by a neverending process of generating digits ... and which thereby constructs a sequence of nested intervals whose ... It isn't *already* in the rationals you started with. ...
    (sci.math)
  • Re: Cantor Confusion
    ... least appears to totally disconnect the set of those remaining. ... sequence of reals with each term less than all terms of a strictly ... This is not the case for rationals. ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... If infinite, the limits of the ... that the reals are not countable. ... He starts with the sequence of rationals: ... in the building of the diagonal *each* digit has to be changed. ...
    (sci.math)