Namespaces
Variants
Actions

Arithmetization of analysis

From Encyclopedia of Mathematics
Revision as of 14:35, 19 April 2014 by Whayes43 (talk | contribs)
Jump to: navigation, search

The phrase "arithmetization of analysis" refers to 19th century efforts to create a "theory of real numbers ... using set-theoretic constructions, starting from the natural numbers." [1] These efforts took place over a period of about 50 years, with the following results:

  1. the establishment of fundamental concepts related to limits
  2. the derivation of the main theorems concerning those concepts
  3. the creation of the theory of real numbers.

It is interesting, and has been noted elsewhere, that although the theory of real numbers is today the logical starting point (foundation) of analysis in the real domain, the creation of the theory was not achieved historically until the end of the period (program or movement) of arithmetization.[2]

History

Non-mathematical issues

The history of the arithmetization of analysis was complicated by non-mathematical issues. Some authors were very slow to publish and some important results were not published at all during their authors' lifetimes. The work of other authors was, for unknown reasons, completely ignored. As a consequence, some results were achieved multiple times, albeit in slightly different forms or using somewhat different methods, by different authors.

As a first example, consider the work of Bozano. Only two of his papers dealing with the foundations of analysis were published during his lifetime. Both of these papers remained virtually unknown until after his death. A third work of his, based on a manuscript that dates from 1831-34, but that remained undiscovered until after WWI, was finally published in 1930. This work contains some results fundamental to the foundations of analysis that were re-discovered in the 19th century by others decades after Bolzano completed his manuscript. "We may ask how much Bolzano's work could have changed the way analysis followed, had it been published at the time."[3]

As a second example, consider the 1837 essay of W.R. Hamilton on the foundations of mathematics, in which he attempted to show that analysis (which for Hamilton included algebra) alike with geometry, can be "a Science properly so called; strict, pure, and independent; deduced by valid reasonings from its own intuitive principles." Hamilton's essay contained the following:

  • the notion that analysis "can be constructively inferred from a few intuitively based axioms"
  • ideas used much later by others (Peano, Dedekind, others) "including a notion related to the concept of a cut in the rationals"

Even so, Hamilton's essay was ignored by other English mathematicians and had no apparent influence on the work of German mathematicians who completed the process of arithmetization later in the century.[4]

Two pillars of mathematics

The state of mathematics prior to 19th century efforts at arithmetization has been described by modern authors in various ways:

  • analysis rested more or less comfortably on two pilars: the discrete side on arithmetic, the continuous side on geometry.[5]
  • the source domain of analysis was geometry; that of number theory was arithmetic.[6]

"The analytic work of L. Euler, K. Gauss, A. Cauchy, B. Riemann, and others led to a shift towards the predominance of algebraic and arithmetic ideas. In the late nineteenth century, this tendency culminated in the so-called arithmetization of analysis, due principally to K. Weierstrass, G. Cantor, and R. Dedekind."[7]

The fundamental theorem of algebra

Proofs of "The fundamental theorem of algebra" have a long history, with dates (currently) ranging from 1608 (Peter Rothe) to 1998 (Fred Richman).[8]

Gauss offered two proofs of the theorem. All proofs offered before his assumed the existence of roots. Gauss' proofs were the first that did not make this assumption:[9]

  • In 1799, he offered a proof of the theorem that was largely geometric. This first proof assumed as obvious a geometric result that was actually harder to prove than the theorem itself!
  • In 1816, he offered a second proof that was not geometric. This proof assumed as obvious a result known today as the intermediate value theorem.

The significance of Gauss' proofs for the arithmetization of analysis has been explained in various ways:

  • the theorem itself involved a discrete result, while his proofs used continuous methods, calling into question the comfortable two-pillar foundation of mathematics.[10]
  • using analysis to prove the fundamental theorem of number theory raised a problem about the boundary between number theory and analysis.[11]

The intermediate value theorem

As noted above, Gauss' 1816 proof of the fundamental theorem of algebra relied on the intermediate value theorem:

if f(x) is a continuous function of a real variable x and if f(a) < 0 and f(b) > 0, then there is a c between a and b such that f(c) = 0.

It was Bolzano's insight that this theorem, though very plausible, needed to be proved. In 1817, he offered a proof of the theorem, which he stated in a "rather (unnecessarily) complicated" form:[12]

If f,g are two functions, both continuous in a closed interval [a, b], and if f(a) < g(a), f(b) > g(b), then there is at least one number x inside this interval, such that f(x) = g(x).

Balzano's proof relied, in turn, on an assumption, namely, the existence of a greatest lower bound: if a certain property M holds only for values greater than some quantity l, then there is a greatest quantity u such that M holds only for values greater than or equal to u."[13] A proof of the greatest lower bound theorem needed to await the building of the theory of real numbers. However, Bolzano demonstrated the plausibility of the theorem, introducing the condition for the convergence of a sequence known today as the Bozano-Cauchy condition and attempting actually to prove the sufficiency of this condition.

The condition for continuity of a function

Bolzano saw that the intermediate value theorem needed to be proved "as a consequence of the definition of continuity." In his 1817 proof, he introduced essentially the modern condition for continuity of a function f at a point x:[14]

f(x + h) − f(x) can be made smaller than any given quantity, provided h can be made arbitrarily close to zero

The caveat essentially is needed because of his complicated statement of the theorem, as noted above. In effect, the condition for continuity as stated by Bolzano actually applies not at a point x, but within an interval. In his 1831-34 manuscript, Bolzano provided a definition of continuity at a point (including one-sided continuity). However, as noted above, this manuscript remained unpublished until eighty years after Bolzano's death and, consequently, it had no influence on the efforts of Weierstrass and others, who completed the arithmetization program.[15]

Bolzano and Cauchy gave similar defnitions of limits, derivatives, continuity, and convergence. They were contemporaries, "both chronologically and mathematically."[16] In 1821, Cauchy added to Bolzano's definition of continuity at a point "the final touch of precision":[17]

for each ε > 0 there is a δ > 0 such that |f(x + h) − f(x)| < ε for all |h| < δ

Here it's important to note that, as he stated it, Cauchy's condition for continuity, alike with Bolzano's, actually applies not at a point x, but within an interval.[18]

Weierstrass, working very long after both Bozano and Cauchy, formulated "the precise (ε,δ) definition of continuity at a point."[19]

Continuous nowhere differentiable functions

"The discovery of continuous nowhere differentiable functions shocked the mathematical community. It also accentuated the need for analytic rigour in mathematics."[20]

Notes

  1. Arithmetization
  2. Jarník et. al.
  3. Jarník et. al.
  4. Hamilton cited in Mathews, Introduction
  5. Stillwell
  6. Ueno p. 73
  7. Hatcher
  8. "Fundamental Theorem of Algebra," Wikipedia
  9. "Fundamental Theorem of Algebra," Wikipedia
  10. Stillman
  11. Ueno p. 72
  12. Jarník et. al., p. 36
  13. Stillman
  14. Stillman
  15. Jarník et. al., p. 38
  16. Grabiner, cited in Pinkus, p. 3
  17. Stillman
  18. Jarník et. al., p. 38
  19. Pinkus, p. 2
  20. Pinkus p. 4

Primary sources

  • Bolzano, Bernard (1817), ("Analytic Proof").
  • Bolzano, Bernard (1930), Functionenlehre, Royal Bohemian Learned Society, based on a manuscript dating from 1831-34.
  • Hamilton, W. R. (1837), "Algebra as the Science of Pure Time."
  • Kronecker, Leopold (1901) "Vorlesungen Uber Zahlentheorie" ("Lecture Notes on Number Theory"), Leipzig, Druck und Verlag von B.G.Teubner.

References

How to Cite This Entry:
Arithmetization of analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arithmetization_of_analysis&oldid=31891