Mathematics

Bernstein Proves the Weierstrass Approximation Theorem

 Sergei Bernstein
Sergei Bernstein.

In 1912 Sergei Bernstein introduced his famous polynomials to prove the Weierstrass Approximation theorem:

If \( F(x) \) is any continuous function in the interval [0,1], it is always possible, regardless how small \( \varepsilon \), to determine a polynomial \( E_n(x) = {a_0 x^n + a_1 x^{n-1} + \cdots + a_n} \) of degree \( n \) high enough such that we have \[ {|F(x) - E_n(x)|} < \varepsilon \] for every point in the interval under consideration.

Weierstrass proved the theorem originally in 1885[1], the very man who had earlier shown how wild a continuous function can be and in particular, how far from being smooth and subject to a Taylor expansion. Bernstein's proof was simple and based on probability theory. Maven Philip J. Davis says that "while [Bernstein's proof] is not the simplest conceptually, it is easily the most elegant".[2]

Bernstein's Démonstration du théorème de Weierstrass

 Bernstein's 1912 paper on the Weierstrass Approximation Theorem
Bernstein on the Weierstrass Approximation Theorem (1912) — click image for original.
Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités
(Demonstration of a theorem of Weierstrass based on the calculus of probabilities)
by S. Bernstein
Communications of the Kharkov Mathematical Society, Volume XIII, 1912/13 (p 1-2)

I propose to give a very simple proof of the following theorem of Weierstrass:

If \( F(x) \) is any continuous function in the interval [0,1], it is always possible, regardless how small \( \varepsilon \), to determine a polynomial \( E_n(x) = {a_0 x^n + a_1 x^{n-1} + \cdots + a_n} \) of degree \( n \) high enough such that we have \[ {|F(x) - E_n(x)|} < \varepsilon \] for every point in the interval under consideration.

Dandelin Spheres and the Conic Sections

 Apostol's ice-cream-cone proof
Apostol's ice-cream-cone proof — click image for the entire page.

In high school, the fact that the conic sections are derived from the cone was mentioned in passing, but they were defined in the plane by their equations and tied to their focal properties. So seeing the Dandelin spheres in Apostol fifty years ago was a revelation, effective and surpassingly elegant. He called it the ice-cream-cone proof, virtually a proof by picture that a cone cut obliquely by a plane results in an ellipse as defined by its focal property. The book in question is Calculus, Volume I, by Tom Apostol[1], among my top three favorite books all-time, first for math. Originally published by Blaisdell in 1961 in large format — unusual in that day, 10" x 7" — Apostol did not condescend, but did not batter you either. After many miles, you look back on an old teacher and think, he did that perfectly, not fully comprehending yourself that he taught you once and for all what mathematical taste is one day in 1965. The book is deeply informed by history altogether apart from the historical introductions, economical and suggestive of hidden depths as they are. Some subjects are one with their own history, philosophy for example, and math is a little like that.

Paul Erdős and Bertrand's Conjecture

 Paul Erdos ~1993
Paul Erdős ~1993.

Bertrand's Conjecture is:

For every integer \( n > 1 \), there is a prime number \( p \) such that:\[ n < p < 2n. \]

It's simple and easy to understand and seems certain, considering the plethora of primes (an infinite number!) and how dense they are — about 6% of all integers in the vicinity of 10,000,000, for example, and reasonably distributed. All the same, it took real work to prove it. Bertrand made the conjecture offhandedly in a celebrated paper in 1845 based on examining numbers up to 6,000,000.[1] Chebyshev proved it convincingly in 1852 and in a way foreshadowing further developments — this is where he introduced \( \theta(x) = {\sum_{p \leq x} \log p} \)[2]; Chebyshev's proof was inspired but involved some forbidding calculations leading to the thought, "Surely this can be done easier". It can, as Paul Erdős proved in 1932 in his first published article at the age of 19[3].

Rigid Motions of the Dodecahedron

 Escher's Reptiles

Think of a square in the plane and how it can be rotated around its center to coincide with its original position. There are four rotations altogether — 90°, 180°, 270°, and 360° clockwise, the last bringing the square back to its original configuration. You wouldn't even know the square had been moved unless the corners were somehow distinguished. Starting at the upper left, number the corners 1, 2, 3, 4 in clockwise fashion in order to track the rotations, so that a 90° rotation is identified with the cyclic permutation \( (1 2 3 4) \). In essence, you're rotating around a z axis perpendicular to the plane through the center of the square. You can also rotate around an x, or horizontal, axis through the center of the square. The square comes out of the plane, but is pinned at the middles of the left and right edges as it rotates around that axis through space by 180° — the result is the same whichever way the rotation proceeds, the permutation \( (1 4) (2 3) \). There is a similar vertical rotation, and rotations around each diagonal. These eight rotations form a group, the rigid motions of the square, and the same can be done for any regular polygon. These are the dihedral groups, \( D_4 \) in the case of the square. \( D_n \) has \( 2n \) elements and these groups are nice concrete examples of finite groups.

Cauchy on Permutations and the Origin of Group Theory

 Augustin Louis Cauchy
A. L. Cauchy 1789 - 1857

The history of any subject is like a great river, the central channel meandering but ultimately driving down to the sea, with side branches veering off here and there along the shore to make their own way. Some of those rivulets find their way back to the main course, others peter out in a swamp, the two exchanging places as blockages and torrential rains come into play. Powerful underground springs interact with topography and gravity to govern the web of flowing water in mysterious ways. And all changing year by year as Mark Twain said of the old Mississippi.

Cauchy's early work on permutations was pivotal in the literal sense of that word. He harkened back to the preoccupations and problems of predecessors immediate and remote, recasting them into a new framework whose foundations last to this day and constitute the essential basis of group theory. Granted, everything in sight is a permutation group and it took some time for an abstract group theory to form and emancipate itself from early origins, even to outgrow the connection with algebraic functions and the term substitution (Cauchy's term for permutation). Camille Jordan's path-breaking book in 1870, for example, was titled Traité des substitutions et des équations algébriques, Eugen Netto's in 1882 Substitutionentheorie und ihre Anwendung auf die Algebra.

Cauchy's Memoire Sur le Nombre des Valeurs

 Cauchy's Memoire Sur le Nombre des Valeurs, page 1

Memoire Sur le Nombre des Valeurs qu'une Fonction peut acquerir, lorsqu'on y permute de toutes les manieres possibles les quantites qu'elle renferme
(Paper on the number of values that a function can return when the variables it contains are permuted in all possible ways)
by A. L. CAUCHY, Engineer of bridges and roads
Journal de l'École polytechnique, Tome X
January 1815 (p 1-28)

MM. Lagrange and Vandermonde are, I believe, the first who considered functions of several variables relative to the number of values they can return, when these variables are substituted for each other.

Reading Euler's Introductio in Analysin Infinitorum

 Introductio in Analysin Infinitorum Title Page

Noted historian of mathematics Carl Boyer called Euler's Introductio in Analysin Infinitorum "the foremost textbook of modern times"[1] (guess what is the foremost textbook of all times). Published in two volumes in 1748, the Introductio takes up polynomials and infinite series (Euler regarded the two as virtually synonymous), exponential and logarithmic functions, trigonometry, the zeta function and formulas involving primes, partitions, and continued fractions. That's Book I, and the list could continue; Book II concerns analytic geometry in two and three dimensions. The Introductio was written in Latin[2], like most of Euler's work. This article considers part of Book I and a small part. The Introductio has been massively influential from the day it was published and established the term "analysis" in its modern usage in mathematics. It is eminently readable today, in part because so many of the subjects touched on were fixed in stone from that day till this, Euler's notation, terminology, choice of subject, and way of thinking being adopted almost universally.

Descartes and La Géométrie

 Rene Descartes 1648
René Descartes in 1648.

Everyone knows that Descartes founded analytic geometry with his little essay La Géométrie, published in 1637 as an appendix and proof-of-concept for a work on philosophy, Discourse on Method. As always, the story is more complex and interesting than that. The canonical modern work in English is History of Analytic Geometry[1] by Carl Boyer, which includes this from his much-admired antecedent Gino Loria (1862-1954):

In truth, whoever studies thoroughly the treatise of Apollonius on Conics must confess the profound analogy it bears to an exposition of the properties of the curves of second degree by means of Cartesian coordinates; not only do the fundamental properties employed by the Greek geometer to distinguish the three curves one from the other translate into the canonical equations of the same in Descartes' method, but many of the reasonings given, when translated into the ordinary language of algebra, answer to elimination, solution of equations, transformation of coordinates, and the like. What we would however seek in vain in the Greek geometer is the concept of a system of axes, given a priori, of the figure to be studied.

Newton and Kepler's Laws

 Issac Newton 1689
Issac Newton in 1689, at the height of his powers (age 46).

Nature and Nature's Laws lay hid in Night:
God said, 'Let Newton be!' and all was Light.

- Alexander Pope

Kepler's laws of planetary motion are:

1. The orbit of a planet is an ellipse with the Sun at one focus.
2. A line from a planet to the Sun sweeps out equal areas in equal times.
3. The square of the time of revolution of a planet is proportional to the cube of the transverse axis of its elliptical orbit, with the same constant of proportionality for all planets.

Pages

Subscribe to RSS - Mathematics