Pointwise convergence
Suppose {
fn } is a sequence of
functions sharing the same domain in common (for the moment, we defer making precise the nature of the values of these functions, but the reader may take them to be
real numbers if that makes anyone feel good). Consider the statement
To say that this is true of each value of
x in the domain, separately, is to say that the sequence {
fn }
converges pointwise to
f, and often one writes
This concept is often contrasted with
uniform convergence. To say that
means that
That is a stronger statement than the assertion of pointwise convergence: every uniformly convergent sequence is pointwise convergent, to the same limiting function, but some pointwise convergent sequences are not uniformly convergent. For example we have
The pointwise limit of a sequence of continuous functions may be a discontinuous function, but only if the convergence is not uniform.
The values of the functions fn need not be real numbers, but may be in any topological space, in order that the concept of pointwise convergence make sense. Uniform convergence, on the other hand, does not make sense for functions taking values in topological spaces generally, but makes sense for functions taking values in metric spaces, and, more generally, in uniform spaces.