Elementary proof

In mathematics, an elementary proof is a mathematical proof that only uses basic techniques. More specifically, the term is used in number theory to refer to proofs that make no use of complex analysis. For some time it was thought that certain theorems, like the prime number theorem, could only be proved using "higher" mathematics. However, over time, many of these results have been reproved using only elementary techniques.

While the meaning has not always been defined precisely, the term is commonly used in mathematical jargon. An elementary proof is not necessarily simple, in the sense of being easy to understand: some elementary proofs can be quite complicated.[1]

Prime number theorem

The distinction between elementary and non-elementary proofs has been considered especially important in regard to the prime number theorem. This theorem was first proved in 1896 by Jacques Hadamard and Charles Jean de la Vallée-Poussin using complex analysis. Many mathematicians then attempted to construct elementary proofs of the theorem, without success. G. H. Hardy expressed strong reservations; he considered that the essential "depth" of the result ruled out elementary proofs:

No elementary proof of the prime number theorem is known, and one may ask whether it is reasonable to expect one. Now we know that the theorem is roughly equivalent to a theorem about an analytic function, the theorem that Riemann's zeta function has no roots on a certain line. A proof of such a theorem, not fundamentally dependent on the theory of functions, seems to me extraordinarily unlikely. It is rash to assert that a mathematical theorem cannot be proved in a particular way; but one thing seems quite clear. We have certain views about the logic of the theory; we think that some theorems, as we say "lie deep" and others nearer to the surface. If anyone produces an elementary proof of the prime number theorem, he will show that these views are wrong, that the subject does not hang together in the way we have supposed, and that it is time for the books to be cast aside and for the theory to be rewritten.

G. H. Hardy (1921). Lecture to Mathematical Society of Copenhagen. Quoted in Goldfeld (2003), p. 3

However, in 1948, Atle Selberg produced new methods which led him and Paul Erdős to find elementary proofs of the prime number theorem.[2]

A possible formalization of the notion of "elementary" in connection to a proof of a number-theoretical result is the restriction that the proof can be carried out in Peano arithmetic. Also in that sense, these proofs are elementary.

Friedman's conjecture

Main article: Grand conjecture

Harvey Friedman conjectured, "Every theorem published in the Annals of Mathematics whose statement involves only finitary mathematical objects (i.e., what logicians call an arithmetical statement) can be proved in elementary arithmetic."[3] The form of elementary arithmetic referred to in this conjecture can be formalized by a small set of axioms concerning integer arithmetic and mathematical induction. For instance, according to this conjecture, Fermat's Last Theorem should have an elementary proof; Wiles' proof of Fermat's Last Theorem is not elementary. However, there are other simple statements about arithmetic such as the existence of iterated exponential functions that cannot be proven in this theory.

References

  1. Diamond, Harold G. (1982), "Elementary methods in the study of the distribution of prime numbers", Bulletin of the American Mathematical Society 7 (3): 553–89, doi:10.1090/S0273-0979-1982-15057-1, MR 670132.
  2. Goldfeld, Dorian M. (2003), The Elementary Proof of the Prime Number Theorem: An Historical Perspective (PDF), p. 3, retrieved October 31, 2009
  3. Avigad, Jeremy (2003), "Number theory and elementary arithmetic" (PDF), Philosophia Mathematica 11 (3): 257, at 258, doi:10.1093/philmat/11.3.257.
This article is issued from Wikipedia - version of the Wednesday, February 01, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.