Firstly, let’s consider what it means to have a sequence of functions by looking closely at
All this is saying is that our sequence is going of to infinity. But this is just boring though, what we want to know is what happens when I go to infinity? What does it mean for the sequence of functions to converge? Consider the following picture showing all the terms up to :
Graphically, you can see that all the functions are coming closer and closer to being one shape. The functions will always be at and they approach everywhere else. So from the picture, we can say that our sequence of functions converges to:
So we can write:
More specifically, converges pointwise to . Clearly there is a problem since the limit of a sequence of continuous functions is not continuous. So what I want to do next is show you why, using the “delta-epsilon” definition of a limit, it is impossible to have a continuous pointwise limit. This isn’t really a proof, but I thought it was pretty cool, so I’m going to show it to you as a fail of a proof.
Fail of a proof:
Just to re-iterate we will try to prove that the limit of a sequence continuous functions is continuous. We start with the sequence over the interval which has a pointwise limit and we choose a fixed point . We will use the definition of continuity to prove that is continuous at our general point , and since this is completely general, if our proof works for , then it will work for any point in the interval that our function is defined, so we would have proved that is continuous on the required interval.
Applying the definition of continuity gives: for all there exists a such that if then it follows that . Let’s deal with with this last expression:
Here we haven’t changed anything, all we have done is added zero twice, that is, the red and blue bits. Then we used the triangle inequality to get the second line. Neat trick!
Now the question is, how do we make each of terms in that second line small, small to be precise, in order to satisfy our definition above. You may be wandering why , and the answer to that is just so we can sum them in the green line and get a total of which matches what we previously stated, . Well clearly, as approaches , the first and last term go to zero, and, since we know is continuous, we can use that. So now let’s choose large enough such that:
Now that we have that and we know that is continuous, we apply the definition of continuity to at the point . Namely, for all there exists a such that if then it follows that . So we have successfully, made the middle term of our green line small!
Let’s try to make the first and last terms small. For this to happen, from the definition of a limit, we need:
for all Well here is the problem, and it isn’t quite so clear.
The same is in both purple bits, however, the same may not be sufficient for both purple bits.
Why can’t we just choose a bigger ? Well the value of depends on , because we choose any that satisfies , and in turn, this value of depends on our value of . Why does it depend on N? Well you can imagine higher and higher values for will get closer and closer to the limit function . Hence can become smaller as gets larger (and still satisfy our definition above) and thus the range from which we pick to be is made smaller as well.
Thus we cannot just change without changing which values we are talking about, then we wouldn’t really be limiting the our green line properly, just each term randomly.
Evident from the above discussion is that can be made true for large enough values of , but this value of depends on which x-value we are talking about. To illustrate this consider our example above of using . To achieve the inequality we just need to go to . However if we change the value to , it turns out we need to go to to make sure is true.
So in conclusion, pointwise convergence is crappy! We need a stronger notion of convergence when it comes to sequences and series of functions, absolute convergence, which I might talk about later!