Re: Dedekind Cuts, Fundamental Sequences: why?

David C. Ullrich wrote:

On Sun, 03 Jun 2007 22:57:37 -0400, Hatto von Aquitanien
<abbot@xxxxxxxxxxxxxx> wrote:

Bob Kolker wrote:

Hatto von Aquitanien wrote:

This is the motivation stated by Pickert and Görke, but it is not clear to
me why it matters.

The fact that the reals are complete is used in many places - analysis
simply would not work without it. You're just at the start...

That begs the question.

Nor is it completely clear what it means to say that
the field of rational numbers does not exhibit the closure property of
boundedness.

Say S is the set of positive rational x such that x^2 < 2. Then
S does not have a rational least upper bound.

How does that add anything to the already established fact that x^2=2 does
not have a rational solution?

For every rational number I can very easily divide the rational numbers
into two disjoint sets by asserting that every rational number greater
than the selected number is a member of the set whose lower bound is the
selected
number. Likewise for the symmetrically opposite case. I then arbitrarily
chose one side of the bifurcation to include the chosen rational number.

Every definition I have consulted for supremum and infimum begins with the
real numbers. So to tell me that the reason we need to extent the
rational numbers to the real numbers is so that the domain of numbers has
suprema and infima assumes the real numbers to be defined already.

Huh?

Definition: The ordered field F is complete if every nonempty
subset of F which is bounded above has a least upper bound.

That is not a definition of least upper bound.

That definition does not begin with the real numbers. If you've
only seen the definition in the context of the real numbers
that's because the reals _are_ complete, while, say, the
rationals are not. It does not follow that "to say that the reason
we need to extend the rational numbers to the real numbers is so
that the domain of numbers has suprema and infima assumes the
real numbers to be defined already."

http://www.cuyamaca.edu/bruce.thompson/Fallacies/circ_justification.asp


************************

David C. Ullrich

--
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: 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: 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)
  • Re: PL/I, COBOL, Advantages, Equivalence, et al
    ... The rationals and the integers have the same cardinality - they can be placed in 1-1 correspondence, but that does not make them isomorphic. ... the rationals are also a ring because after all a field is a ring with additional properties. ... There are several methods for constructing the reals from the rationals. ... In other words, all roots of polynomial equations with either real or complex coefficients are complex numbers and every such equation has a complete set of n roots, where n is the degree of the equation (the fundamental theorem of algebra). ...
    (comp.lang.pl1)
  • Re: Does the Calculus rest on Euclid?
    ... axioms I have assumed at the outset. ... Now you define the reals as ... A real number is a set S of rationals with the following properties: ... To say that you can order things implies a concept of a continuum. ...
    (sci.math)