Re: Does the Calculus rest on Euclid?

David C. Ullrich wrote:

On Thu, 08 Jun 2006 09:26:29 -0400, Hatto von Aquitanien
<abbot@xxxxxxxxxxxxxx> wrote:

David C. Ullrich wrote:

On Wed, 07 Jun 2006 13:44:23 -0400, Hatto von Aquitanien
<abbot@xxxxxxxxxxxxxx> wrote:

I suspect the answer to this may be 'Yes.', 'No.', and 'It depends.'. I
have never felt satisfactorily convinced that the transition from the
Riemann sum approximation to a smooth curve is logically founded upon
axioms I have assumed at the outset. These axioms are those of formal
logic and those of Euclid.

Well, those are not the axioms that are used in the
standard approach to a rigorous treatment of calculus.

I've checked several so-called advanced treatments of analysis, and to be
quite honest, they don't seem to state their assumptions very clearly. I
will concede that there is no need to appeal to Euclid in the calculus of
single variable functions. Nonetheless, I do believe there is an
assumption of continuity which is geometric in nature, and it is at the
foundation of all our mathematical reasoning.

Believe what you want. It's not so. You start with the integers,
construct the rationals from them. Now you define the reals as
follows:

A real number is a set S of rationals with the following properties:

(i) S is non-empty
(ii) S does not contain every rational
(iii) If s, t are rational, s is in S and t > s, then t is in S
(iv) S has no smallest element.

Pi is not a member of the set of rationals. I do not accept your definition
of the real numbers.

No assumptions of continuity in sight.

To say that you can order things implies a concept of a continuum.


As regards the axioms typically assumed for analysis, they are, by
implication, those of axiomatic set theory which is isomorphic to symbolic
logic.

Uh no, set theory is symbolic logic _plus_ some axioms.

Which can be stated in terms of boolean algebra. One might haggle over
whether those boolean algebra statements implicitly assume ideas from set
theory. I will concede that point.

In differential geometry it is not infrequently stated that every
n-dimensional non-Euclidian space is described in terms of an n+m
Euclidian embedding space.

Uh, no. It's stated that every compact n-dimensional manifold can be
embedded in R^(n+m) for some m. And then it's _proved_ that this is
the case.

Levi-Civita's development is interesting. He sure likes that term
'a-priori'.

Where m is a positive integer such that m >= 1. Now,
that usually appears in the context of discussing physics, so there may be
a certain amount of poetic license taking place.

Um. Possibly you've _seen_ this in the context of physics.
If your knowledge of mathematics comes from expositions
in the context of physics it's not surprising that you
think that things are not justified as well as they should
be - physicists tend to just take mathematicians' word
for a lot of the finicky details. Find a _math_ book
on differential geometry and you'll find a _proof_ of
the theorem above (or not, in which case you need to
find a different book.)

What is the geometry of a locally tangent space?

For example, I do not
know if it would be more correct to say the embedding space is Lorentzian
in the case of general relativity.

Nonetheless, I believe when all is said and done, we cannot reason about
any
of these ideas without appeal to our innate "Euclidian" space. The
developments I have seen for the real numbers beginning with Peano's
axioms seem to take a step of faith either explicitly through the
continuum hypothesis, or implicitly when they jump off the firm ground of
the rational numbers using the demonstrably irrational numbers as a
justification for the existence of a continuum of real numbers.

Have you ever seen a careful exposition of the basic properties
of reals, defined in terms of Dedekind cuts?

Every discussion I have seen of this topic requires a concept of completed
infinity, and a notion of infinite repeatability. I have no concept of
repeatability without a concept of time. My concept of time is a-priori
continuous. Likewise for my concept of space. Describe the fundamental
axioms upon which these developments are based without appeal to words
dealing with space or time.


--
Nil conscire sibi
.

Relevant Pages

  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... With only rationals, you can get below Pi or above Pi but not exact. ... seems to entail a necessary concept of continuity. ... The reals were designed to model physical measurements such as ... The numbers and their axioms came _after_ the underlying physical ...
    (sci.math)
  • 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)
  • 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: Should oo+a=oo be abandoned?
    ... Fictive elements of the continuum cannot be reached ... so you've decided togo for the two-point compactification ... of the reals. ... DA1 is used to prove that the rationals are countable. ...
    (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)