Quick description
Example 1: Weierstrass approximation
The Weierstrass approximation theorem states that any continuous function on a closed, bounded interval can be uniformly approximated arbitrarily well by a polynomial. There are different ways of establishing this, but a proof due to Lebesgue of this theorem makes use of the technique being discussed. In this setting, the technique tells us to try to find a particular case of a continuous function that we can approximate arbitrarily well, and uniformly, by a polynomial, and then to try to use this to deduce the full result. An obvious choice of a continuous function that can be approximated well by a polynomial is the function given by
or, indeed, any polynomial. However, this does not help us reduce the problem at all; we cannot carry through the second part of the technique. We therefore need to think harder about what would make a suitable choice for the 'special case'
. We want to be able to
-
establish the theorem for
and
-
establish the general case using the theorem for
.
One can thus go about trying to find in two ways; one can either look at which
one can establish the theorem for, or one can look at which
make it easier to establish the full result. If one follows the second route, then it seems reasonable to try to uniformly approximate an arbitrary continuous function on a closed, bounded interval by straight-line segments. It is fairly easy to see that one can do this, and our task is therefore reduced to trying to approximate piecewise linear functions on the closed, bounded interval; if one can prove the theorem for these special functions, then one can establish it for all functions by an
argument, this being the transitivity part of the technique. Now, what is the problem with approximating piecewise linear functions by polynomials? Well, it is the sharp 'bends'; other than these, we just have the linear polynomial
to approximate. This quickly leads one to consider approximating the simplest example of a piecewise linear function with a sharp bend: the absolute value function
with
on the interval
. Once one has thought of this as the special case for which to establish the result, one arrives at Lebesgue's proof of the Weierstrass approximation theorem. To complete the proof the theorem, we need to show that piecewise linear functions can be approximated well by combinations of the absolute value function (and possibly polynomials) and that we can approximate the absolute value function well using polynomials. The former property follows quickly after one thinks to use the function
and its translates and multiples, and the latter follows quickly if one uses the idea that
and that one can approximate
well by its Taylor expansion.
General discussion
One could regard the above argument as having two stages. The first, which fits naturally into the framework of using generators and closure properties, is a proof that if can be approximated, then so can every piecewise linear function. The second is the deduction of the result from the fact that piecewise linear functions are dense in the uniform norm, and the set of all functions that can be uniformly approximated is closed in the uniform norm.
Example 2: Equidistribution
![]() |
A sequence of real numbers between 0 and 1 is said to be equidistributed if one eventually finds the 'expected' proportion of the numbers lying in any subinterval
of
; that is, if
![\frac{|\{a_1, a_2, \dots, a_n\} \cap [a,b]|}{n} \to b-a](/images/tex/313eafd0358099c77360aed7b54cce1d.png)
as for any intervals
Let us say that the sequence
is uniformly distributed in
if for any integrable function
one has that the averages of
over the initial points
gives a fair approximation to the integral of
over the whole interval
:

as . We wish to establish that these two definitions are actually equivalent; a sequence is equidistributed if and only if it is uniformly distributed.
One may use the idea in this article to establish that equidistribution implies uniform distribution, though in this application one makes use of a key tool about equidistribution known as Weyl's criterion. This gives a test for equidistribution in terms of trigonometric sums: it says that the sequence is equidistributed if and only if

as for any non-zero integer
. Given this criterion for equidistribution, one does not have to look hard for the special cases for which one needs to show that equidistribution gives uniform distribution: since
for
non-zero, Weyl's criterion establishes uniform distribution for the linear exponentials
We would therefore be done if we could approximate an arbitrary integrable function
by linear exponentials. This should sound quite similar to Example 1, and, indeed, there is an approximation theorem similar to that of Weierstrass approximation that works with trigonometric polynomials
instead of the usual polynomials. Both of these approximation theorems are special cases of the Stone–Weierstrass theorem; the trigonometric polynomial version also follows directly from Fejér's theorem. Using this, the equivalence of equidistribution and uniform distribution follows quickly.
We could add some more detail here, perhaps. Also, it should be noted that the terms equidistribution and uniform distribution do not always have the specific definitions given to them in this example.
![]() |