Once again, let be a subset. Suppose we now have a sequence of functions
, where n = 1, 2, 3, … ,
such that for each x in D, the sequence converges to some real value. We’ll denote this value by f(x), thus defining a function f : D → R. We then say that the sequence of functions fn(x) converges to f(x) pointwise.
The big question is: if each fn(x) is continuous at x=a, is it true that f(x) is also continuous at x=a?
It may surprise you that the answer is no. [ Historical note: Cauchy actually believed the answer is yes and provided an erroneous proof. This shouldn’t be held against Cauchy since analysis was still in its infancy in the 19th century. On the contrary, one should use this as an indication of how counter-intuitive results in analysis can be. ]
Example
Consider the sequence of functions
If 0≤x<1, then clearly fn(x) → 0 as n approaches infinity. On the other hand, for x=1, the sequence is a constant sequence (1, 1, 1, …). Thus fn(x) converges to f(x) pointwise, where f takes any element in [0,1) to 0, and 1 to 1.
(Graphs provided by wolframalpha)
Uniform Convergence
In order to ensure that f is continuous, we need a further condition.
Definition. The sequence of functions fn(x) is said to converge uniformly to f(x) if:
- for each ε>0, there exists N such that whenever n>N and x is in D, we have |fn(x)-f(x)|<ε.
Pictorially, we have:
[ For large n, the function fn(x) lies between f(x)-ε and f(x)+ε. ]
Let’s consider the difference between pointwise convergence and uniform convergence. In the former case, we have:
- For each x in D and ε>0, there exists N such that for all n>N, we have |fn(x)-f(x)|<ε.
On the other hand, the latter says:
- For each ε>0, there exists N such that for all x in D and n>N, we have |fn(x)-f(x)|<ε.
Using logical quantifiers, the two statements become:
and
,
where P(N, x, ε) says that whenever n>N, we have |fn(x)-f(x)|<ε. Written in this manner, it’s clear that uniform convergence implies pointwise convergence.
Main Therorem. If fn(x) converges to f(x) uniformly, and each fn(x) is continuous at x=a, then so is f(x).
Proof. Let ε>0.
- Since fn(x) → f(x) uniformly, there exists N such that for all x in D and n>N, we have |fn(x)-f(x)|<ε/3. Fix any n>N.
- Since fn(x) is continuous at x=a, there exists δ>0 such that for all x in D satisfying |x–a|<δ, we have |fn(x)-fn(a)|<ε/3, which gives:
♦
Alternate Definition
Before going through some examples, we consider an alternate definition of uniform convergence which is somewhat conceptually clearer.
Consider the set V of all functions f : D → R. This forms a real vector space via pointwise addition and scalar multiplication: i.e.
Now we define the norm of f to be which is either a non-negative real number or +∞. It’s not hard to show that
,
and
.
[ Indeed, to prove the first inequality, just note that for any x in D, we have |(f+g)(x)| = |f(x)+g(x)| ≤ |f(x)|+|g(x)| ≤ RHS. The same proof holds for the second inequality. ]
Alternate Definition. The sequence
uniformly if:
- for every ε>0, there exists N such that when n>N, we have
Note that this definition is quite similar to that of convergent sequences, which makes it convenient to work with. [ Side note: the acute reader may suspect that one can study analysis on the above function space V and he’d be right! Indeed, this is the primary motivation behind functional analysis. ]
Examples
- Let’s go back to the example
on D=[0,1]. Since the functions converge to a discontinuous function, the above theorem tells us the convergence is not uniform, but let’s verify this directly. Indeed, the function
takes xn on [0,1) and 0 at x=1. Thus,
for all n, which shows that the convergence is not uniform.
- On the other hand, if we take
on D=[0, 1/2], then they converge to f(x) = 0 uniformly. Indeed, we have
for each n, so
. As expected, since each fn(x) is continuous, so is the resulting converged function f(x).
- If we now take
on D=[0, 1), then they converge to f(x) = 0, albeit not uniformly. Indeed, it’s easy to see that
for each n. In other words, one can have pointwise convergence of a sequence of continuous functions to a continuous function, even if the convergence is not uniform.
- Consider the Riemann zeta function
on (1, ∞). We know this converges at every x>1, but is the function continuous? Indeed, it is: via the following useful trick. First, write
, so that
pointwise. Suppose we wish to show that ζ(x) is continuous at x=a>1.
- Pick any b, 1<b<a.
- Let gn (resp. g) be the restriction of fn (resp. f) to [b, ∞).
- Now
which is a convergent series since b>1.
- Hence
, which shows that gn converges uniformly to g.
- Thus means g is continuous, in particular f is continuous at a. Hence, f is continuous at any a>1.
Basic Properties of Uniform Convergence
Let’s figure out some basic properties, specifically suppose and
are sequences of functions which converge uniformly to
respectively. What about the sum
, product
and reciprocal
?
1. The case of sum is easy.
Indeed, uniformly. To see why, write:
Now, for any ,
and
for large n. Thus, we also have
for large n.
2. The case of product is true with some additional conditions.
Indeed, let’s write:
Now, if ||f|| and ||g|| are both finite, then in particular, we have for large n. It then follows that we can write
for some positive bound B and
. Hence, it also follows that
converges uniformly.
What if either ||f|| or ||g|| is infinite? A counter-example is easy:
Then and
uniformly. However,
.
3. The case of reciprocal is true with some additional conditions.
Let’s consider when uniformly, assuming that g(x) and gn(x) are never 0. Taking the difference gives:
Hence, suppose there is a positive B such that for all n. This means
for all n, and
. For some N, we have
, i.e.
for all n>N and
. Thus:
when
, i.e.
.
Thus, for all n and it follows that
converges uniformly.
What if such a B doesn’t exist, i.e. the infimum of all is zero? Consider the example of
. Then
converges to g(x)=x uniformly since
. On the other hand,
so pointwise, but not uniformly.
Summary. Suppose
and
uniformly, where each
. Then:
uniformly as well;
- if
, then
uniformly;
- if there is a positive B such that
for all n, then
uniformly.
Simple and clean explanation. THANKS!