Re: Dedekind Cuts, Fundamental Sequences: why?

Dave Seaman wrote:

On Wed, 06 Jun 2007 15:30:43 -0400, Hatto von Aquitanien wrote:
David C. Ullrich wrote:

The rationals are not complete -

By what criteria of completeness? I have presented two possible ways of
viewing the rational numbers as being incomplete, and hinted at a third.

Completeness of the reals means that the least upper bound axiom is
specified. Equivalently, that every Cauchy sequence converges.

The latter seems to be a tautology.

<quote>

A Cauchy sequence of rational numbers is a sequence x of rational numbers
such that for every positive rational number epsilon there exists a
positive integer N such that for every m, n > N

\ | x_n - x_m | < epsilon

</quote>


Looks like you're done. What do you need real numbers for?

we want to extend them to a complete ordered field, so that we can prove
the basic theorems of analysis.

That statement merely begs the question. Quite honestly, my senior level
real analysis course bored the piss out of me because most of it was
blatantly obvious.

Then you must find the study of incomplete ordered fields (such as the
rationals) to be even more obvious. So all your objections apply to that
case in spades.

I don't know what that would necessarily follow. Most of real analysis
appeals to the intuitive notions of continuity. It's a very different way
of thinking from what is used in discrete math.

--
http://www.dailymotion.com/video/x1ek5w_wtc7-the-smoking-gun-of-911-updated
http://911research.wtc7.net
http://vehme.blogspot.com
Virtus Tutissima Cassis
.

Relevant Pages

  • Re: Computable functions/reasls: followup.
    ... The computable-function definition above still applies, ... Russian-style constructivism is BISH + MP, ... which were reals that you couldn't tell whether or not were rational. ... special about the rationals; they could be replaced by the integers, ...
    (sci.logic)
  • Re: The diagonal argument of Cantor against himself.
    ... There's nothing circular about anything I said. ... original list contained all the rationals, by hypothesis, ... The same argument that shows the reals are uncountable ... Place it in the framework of results about uncountability of reals (or ...
    (sci.math)
  • Re: Cantor Confusion
    ... The "number" pi is definitely a merely fictitious element of continuum. ... naturals, integers, rationals, irrationals, or reals. ... intergers and naturals are genuine. ... genuine numbers to the reals is tempting but not justified. ...
    (sci.math)
  • Re: The diagonal argument of Cantor against himself.
    ... fractions that must contains all of them. ... it is still not necessarily circular language. ... original list contained all the rationals, by hypothesis, ... that reals are uncountable. ...
    (sci.math)
  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... sequences or Dedekind cuts are useful in defining completeness. ... The constructions mentioned do not succeed in producing a complete ... view of what sort of reasoning about reals, functions of reals, and so ... The motivation for completing the rationals lies mainly in analysis, ...
    (sci.math)