Namespaces
Variants
Actions

Difference between revisions of "Arithmetization of analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
Line 56: Line 56:
 
===The fundamental theorem of algebra===
 
===The fundamental theorem of algebra===
  
Proofs of "[[Algebra, fundamental theorem of|The fundamental theorem of algebra]]" have a long history, with dates (currently) ranging from 1608 (Peter Rothe) to 1998 (Fred Richman).<ref>"Fundamental Theorem of Algebra," ''Wikipedia''</ref>
+
Proofs of [[Algebra, fundamental theorem of|The fundamental theorem of algebra]] have a long history, with dates (currently) ranging from 1608 (Peter Rothe) to 1998 (Fred Richman).<ref>"Fundamental Theorem of Algebra," ''Wikipedia''</ref>
  
 
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:<ref>"Fundamental Theorem of Algebra," ''Wikipedia''</ref>
 
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:<ref>"Fundamental Theorem of Algebra," ''Wikipedia''</ref>
Line 68: Line 68:
 
===The intermediate value theorem===
 
===The intermediate value theorem===
  
As noted above, Gauss' 1816 proof of the fundamental theorem of algebra relied on the intermediate value theorem:
+
As noted above, Gauss' 1816 proof of the fundamental theorem of algebra relied on the intermediate value theorem. The following statement of the theorem is used to determine intervals in which a function has roots:
 
: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.
 
: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:<ref>Jarník et. al., p. 36</ref>
+
It was Bolzano's insight that the 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:<ref>Jarník et. al., p. 36</ref>
 
: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).  
 
: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).  
 +
Quite independently of Bolzano, Cauchy formulated the theorem in 1821 in the following, simpler form:<ref>[[Cauchy theorem]]</ref>
 +
:If f(x) is a continuous function of a real variable x and c is a number between f(a) and f(b), then there is a point x in this interval such that f(x) = c.
 +
Indeed, some authors identify the theorem as Cauchy's (intermediate-value) theorem.
 
Balzano's proof relied, in turn, on an assumption, namely, the existence of a greatest lower bound:<ref>Stillman</ref>
 
Balzano's proof relied, in turn, on an assumption, namely, the existence of a greatest lower bound:<ref>Stillman</ref>
 
: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.
 
: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.
Line 124: Line 127:
 
==References==
 
==References==
  
* [[Arithmetization]], Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Arithmetization&oldid=31486.
+
* [[Arithmetization]], ''Encyclopedia of Mathematics''.
* [[Algebra, fundamental theorem of|Fundamental Theorem of Algebra]], Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php/Algebra,_fundamental_theorem_of.
+
* [[Algebra, fundamental theorem of|Fundamental Theorem of Algebra]], ''Encyclopedia of Mathematics''.
 
* Bottazzini, Umberto (1986). ''The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass'', Translated from the Italian by Warren Van Emend, New York: Springer-Verlag.
 
* Bottazzini, Umberto (1986). ''The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass'', Translated from the Italian by Warren Van Emend, New York: Springer-Verlag.
 +
* [[Cauchy theorem]], ''Encyclopedia of Mathematics''.
 
* "Fundamental Theorem of Algebra," ''Wikipedia'', URL: http://en.wikipedia.org/wiki/Fundamental_theorem_of_algebra.
 
* "Fundamental Theorem of Algebra," ''Wikipedia'', URL: http://en.wikipedia.org/wiki/Fundamental_theorem_of_algebra.
 
* Grabiner, J. V. (1981). ''The Origins of Cauchy's Rigorous Calculus'', MIT Press.
 
* Grabiner, J. V. (1981). ''The Origins of Cauchy's Rigorous Calculus'', MIT Press.

Revision as of 02:18, 7 May 2014

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]

What today are commonplace notions in undergraduate mathematics were anything but commonplace among practicing mathematicians even a quarter century after the 1872 achievements of Cantor, Dedekind, and Weierstrass. In 1899, addressing the American Mathematical Society, James Pierpont spoke to show these two things:[3]

  1. why arithmetical methods form the only sure foundation in analysis at present known
  2. why arguments based on intuition cannot be considered final in analysis

In a later, printed version of his address, Pierpont prefaced his words with the following:[4]

We are all of us aware of a movement among us which Klein has so felicitously styled the arithmetization of mathematics. Few of us have much real sympathy with it, if indeed we understand it. It seems a useless waste of time to prove by laborious ε and δ methods what the old methods prove so satisfactorily in a few words. Indeed many of the things which exercise the mind of one whose eyes have been opened in the school of Weierstrass seem mere fads to the outsider. As well try to prove that two and two make four!

The term "arithmetization of mathematics," which Pierpont here ascribed to Klein, has also been credited to Kronecker -- perhaps to others as well? In any case, Pierpont ended his address with this paean to the labours of Weierstrass and others:

The mathematician of to-day, trained in the school of Weierstrass, is fond of speaking of his science as die absolut klare Wissenschaft. Any attempts to drag in metaphysical speculations are resented with indignant energy. With almost painful emotions he looks back at the sorry mixture of metaphysics and mathematics which was so common in the last century and at the beginning of this. The analysis of to-day is indeed a transparent science. Built up on the simple notion of number, its truths are the most solidly established in the whole range of human knowledge.


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."[5]

As a second example, consider the work of W.R. Hamilton, in particular his 1837 essay 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." His 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"

His 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.[6] Even so, and years before his work in 1837, Hamilton wrote the following:[7]

An algebraist who should thus clear away the metaphysical stumbling blocks that beset the entrance to analysis without sacrificing those concise and powerful methods which constitute its essence and its value would perform a useful work and deserve well of Science.

Thus, though his work was overlooked by other mathematicians of the day, Hamilton grasped the importance of his ideas to the future of analysis.

Early steps towards arithmetization

Martin Ohm

In 1822, Martin Ohm published the first two volumes of a work that has been described as "the first attempt since Euclid to write down a logical exposition of everything that was more or less basic in contemporary mathematics, starting from scratch ... a completely formalist conception."[8]

Years later, while still in the midst of this project, Ohm noted as follows, quite retrospectively, several types of "complaints of the want of clearness and rigour in that part of Mathematics" that led him to pursue his decades-long efforts:

-- contradictions of the theory of "opposed magnitudes" -- disquiet by "imaginary quantities" -- difficulties in either divergence or convergence of "infinite series"

Ohm described the motivation for his work as a desire to answer this question: "How may the paradoxes of calculation be most securely avoided?" His answer was "to submit to a very exact examination of the subject of mathematical analysis, its first and simplest ideas, as also the methods of reasoning which are applied to it."[9]

After his two volumes of 1822, Ohm continued for 30 more years and produced ultimately nine volumes. He himself believed that his work had put mathematics on a firm basis.[10]

The arithmetization program

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.[11]
  • the source domain of analysis was geometry; that of number theory was arithmetic.[12]

"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."[13]

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).[14]

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:[15]

  • 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.[16]
  • using analysis to prove the fundamental theorem of number theory raised a problem about the boundary between number theory and analysis.[17]

The intermediate value theorem

As noted above, Gauss' 1816 proof of the fundamental theorem of algebra relied on the intermediate value theorem. The following statement of the theorem is used to determine intervals in which a function has roots:

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 the 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:[18]

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).

Quite independently of Bolzano, Cauchy formulated the theorem in 1821 in the following, simpler form:[19]

If f(x) is a continuous function of a real variable x and c is a number between f(a) and f(b), then there is a point x in this interval such that f(x) = c.

Indeed, some authors identify the theorem as Cauchy's (intermediate-value) theorem. Balzano's proof relied, in turn, on an assumption, namely, the existence of a greatest lower bound:[20]

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.

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:[21]

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.[22]

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

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.[25]

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

Theory of irrational numbers

"The first modern construction of the irrational numbers" was offered by Hamilton in two separate papers, which were later published as one in 1837. Somewhat later, he began work on a theory of separations of the numbers, similar to Dedekind’s theory of cuts, but he never completed his work on this topic.[27]

In addition to Hamilton, several, including Ohm and Bolzano, attempted to define irrational numbers, all on the basis of using the limit of a sequence of rational numbers. All of their efforts, however, were either incomplete or lacking in rigor or both. Cantor himself pointed out an error with all these attempts:[28]

the limits of such sequences, if irrational, do not logically exist until the irrational numbers themselves have been defined

It was not until 1869 that Charles Méray published "the earliest coherent and rigorous theory of irrational numbers."[29] Méray's contemporaries in France, however, failed to appreciate the significance of his work, while others in Germany and elsewhere were unaware of it -- this was the period of the Franco-Prussian War. As a result, his great achievement, though the equivalent of Cantor's which followed shortly after, went unacknowledged and had no influence of the direction of mathematics.[30]

In 1872, Cantor published his own theory of irrational numbers, defining them in terms of Cauchy sequences of rational numbers. It was his accomplishment that became known and influenced the work of others, especially Dedekind, and that consequently became celebrated as a significant step in the arithmetization of analysis.[31]

Subsequently, theories of irrationals were published by Dedekind (who mentioned Cantor's achievement) and by students of Weierstrass, who worked from notes taken at his lectures. These three separate and quite different theories sprang from quite different motivations:[32]

  • Dedekind established a rigorous foundation for differential calculus
  • Cantor was concerned with developing a uniqueness theorem for the representation of a function by trigonometric series
  • Weierstrass saw the formulation of the real number system as essential to the development of his theory of analytic functions

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."[33]

Notes

  1. Arithmetization
  2. Jarník et. al.
  3. Pierpont, p. 394
  4. Pierpont, p. 395
  5. Jarník et. al.
  6. Hamilton cited in Mathews, Introduction
  7. Graves, p. 304, 1828 letter from W. R. Hamilton to John T. Graves
  8. Zerner cited in O'Connor and Robertson
  9. Ohm 1843 cited in O'Connor and Robertson
  10. O'Connor and Robertson, Ohm
  11. Stillwell
  12. Ueno p. 73
  13. Hatcher
  14. "Fundamental Theorem of Algebra," Wikipedia
  15. "Fundamental Theorem of Algebra," Wikipedia
  16. Stillman
  17. Ueno p. 72
  18. Jarník et. al., p. 36
  19. Cauchy theorem
  20. Stillman
  21. Stillman
  22. Jarník et. al., p. 38
  23. Grabiner, cited in Pinkus, p. 3
  24. Stillman
  25. Jarník et. al., p. 38
  26. Pinkus, p. 2
  27. Tweddle, p. 4
  28. Tweddle, p. 4
  29. O'Connor and Robertson, Méray
  30. Robinson
  31. Tweddle, p. 5
  32. Bottazzini cited in Tweddle, p. 6
  33. 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.
  • Méray, Charles (1869) Remarques sur la nature des quantités définies par la condition de servir de limites à des variables données.
  • Ohm, Martin (1822), Versuch eines vollkommen consequenten Systems der Mathematik ("Attempt at a completely consequential system of mathematics").
  • Ohm, Martin (1843 [German original 1842]), The Spirit of Mathematical Analysis and its Relation to a Logical System.
  • Pierpont, James (1899). "On the Arithmetization of Mathematics," Bulletin of the American Mathematical Society, (5) No 8, URL: https://projecteuclid.org/download/pdf_1/euclid.bams/1183415834.

References

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