So last week we talked about the Baire Category Theorem, and this important tool will give us three equivalent theorems about the qualitative properties of operators on Banach spaces. Today we will begin with the first theorem, uniform boundedness. The proof of this theorem is quite simple, and is just an application of Baire’s theorem.
Theorem 1 (Uniform Boundedness) Let be a Banach space, a normed vector space, and for some index set . If
Proof: We first define the sets
and observe that they are closed. Indeed, take a sequence with . Then it follows that
Furthermore, by the point wise boundedness condition
and so by Baire there exists an and a ball such that
The claim is shown once we observe that
Whenever we are faced with a theorem, it is natural to ask, what happens if we drop an assumption. In this case, what happens if we drop the completeness of ? It turns out the outcome is not pleasant. Consider the space This space is not complete (find the example yourself!). Now consider and note that they are point wise bounded but not uniformly bounded since .
An application of the uniform boundedness theorem is that if a sequence of continuous linear operators converge point wise, then the limit itself is a continuous linear operator; indeed,
However, this does not mean that the sequence converges uniformly. Take for example where . We easily see that point wise as for an . However,
That’s all I have time for today, we have this new tool in our toolbox, let’s see when we can use this!