I wrote this up yesterday between my sections of college algebra, but forgot to post it afterwards. Oops.
We’ve got a problem with the topology of pointwise convergence. The subspace of continuous functions isn’t closed. What does that mean? It means that if we take a sequence of continuous functions, their pointwise limit may not be continuous.
Here’s an example in the real numbers. Let , which is a sequence of well-defined continuous functions on the entire real line. But if we take the pointwise limit we find that for , that for , and that for . So the functions in the sequence are continuous at , but the limiting function isn’t. It would be one thing if the sequence just failed to converge at some points — closedness doesn’t require all sequences to converge — but the pointwise limit clearly exists, and it fails to be continuous.
What we need is a stronger sense of convergence: one in which fewer sequences converge in the first place, and hopefully one in which the continuous functions turn out to be closed. But it should also obey the same definition as that of the pointwise limit when it does exist. And to find it we’ll need to recast the question of continuity in the limit.
Remember that a function is continuous at a point if it agrees with its limit there. That is, if . But the function should be the pointwise limit of the sequence : . And each of these functions is continuous: . Putting these together, the condition for continuity in the limit is
So our question is really about when we can exchange limits. For which sequences of functions do the dependence on and that on play well enough together to allow these limits to be exchanged? We’ll answer that question tomorrow.