7 Convergence of Functions 209
function, and the interchange of limit and integral need not be true. This is why we
turn to a more stringent type of convergence.
Uniform convergence
Consider a sequence of functions f
n
all defined on the same set S ⊂ R.The
sequence f
n
is said to converge uniformly to f on S if for every >0, there
exists a natural N such that for all n ≥N ,wehave
f
n
(x) −f(x)
< for all x ∈S.
The critical difference between pointwise and uniform convergence is the follow-
ing. In the case of uniform convergence we ask for the same N for all x in S.This
is why it is called uniform convergence. In the case of pointwise convergence, for
each x in S, we have a possibly different N . The following criterion will be useful
in checking for uniform convergence.
Uniform convergence criterion
Consider a sequence of functions f
n
. For each n ≥1, f
n
is defined on S.For
a fixed function f defined on S and for n ≥1, let
m
n
=sup
f
n
(x) −f(x)
:x ∈S
.
The sequence f
n
converges uniformly to f if and only if m
n
converges to 0.
We now prove the criterion. Assume first that f
n
converges uniformly to f on S.
Let >0. There exists a natural N such that for all n ≥N ,wehave
f
n
(x) −f(x)
< for all x ∈S.
This shows that for n ≥N ,thesetA
n
={|f
n
(x) −f(x)|:x ∈S} is bounded above
by . Hence the supremum (i.e., the least upper bound) m
n
of this set exists (why?)
and is less than the upper bound . That is, for n ≥N,wehavem
n
=|m
n
−0|≤.
This proves that m
n
converges to 0. The direct implication is proved.
We now prove the converse. Assume that m
n
converges to 0. Let >0. There is
a natural N such that if n ≥ N, then |m
n
− 0| <. Since m
n
is positive, we have
m
n
<. That is, the least upper bound m
n
of the set A
n
is less than for n ≥ N.
Hence, is an upper bound for A
n
. Therefore, for n ≥N ,wehave
f
n
(x) −f(x)
≤
for all x in S. This proves that f
n
converges uniformly to f on S. The proof of the
criterion is complete.
It is easy to see that uniform convergence implies pointwise convergence. We
will see shortly that the converse is not true.