Measure Theory/L2 Is Complete

L2 Is Complete

edit

Our goal in this section, let us repeat, is to prove the completeness of  . Let us now establish the language needed to express this formally.

Definition: converge in distance

Let   be a sequence of functions, and   also. We will say that   converges in distance to f if the sequence of distances goes to zero.

  as  

We say that   converges in distance if there exists some function to which it converges in distance.

We will say that the sequence is Cauchy in distance if the sequence of distances is a Cauchy sequence of real numbers. Formally we express this as:

For all   there is a natural number   such that for all   we have

 

The following is only a slightly less formal way of saying the same thing:

  as  

We say that a (topological) space is complete (also frequently called "Banach") if every Cauchy sequence converges. (Therefore, for us, we say that   is complete if every sequence of functions that is Cauchy in distance, converges in distance.)

From now on we simply say "converges" instead of "converges in distance" since there will be no possibility of confusion; and we say "Cauchy" instead of "Cauchy in distance".

Convergent Subsequences

edit

The following two exercises would be good mere warm-ups for the concept of convergence. However, more than that, we will use them in the proof of completeness.


Exercise 1. If Convergent then Cauchy


Let   be a sequence of functions in   which converges to  .

Show that   is Cauchy.

The proof should be familiar from introductory analysis, in particular the proof that if a sequence of real numbers is convergent then it is Cauchy.


Exercise 2. If Cauchy and Subsequentially Convergent then Convergent


Let   be a sequence of functions in   which is Cauchy and has some subsequence   which converges to  .

Prove that   converges to f.

Absolutely Convergent Series

edit

In this section we will study a fact which actually holds for any arbitrary normed space, and then apply it to  , to help us infer completeness. Because we situate the proof in a more abstract space, I find that this actually helps to make the proof easier to understand since it blots out certain details which obscure the logic if we tried a more direct proof.

Definition: series convergence, absolutely convergent

Let V be a vector space with norm  . Let   be a sequence of vectors and also   two vectors. Let   be the distance induced by  .

 

We say that the series is summable and we write

 

if the sequence of partial sums converges in distance to  . Formally, that is:

  as  

We say that the series   is absolutely summable if the series of norms converges:

 

Of course we will start from a sequence of vectors (functions  ) and we would like to show that there is a vector (function  ) such that   converges to f.

So what does this have to do with series? Nothing, intrinsically. But one can reformulate the series by

 

which essentially says that one may "add in"   and then subtract it out and add in   and so on up to  . Since we are hoping that the sequence converges then it should hopefully be the same if we show that the series converges.

But as such, if we can think clearly about sums then perhaps it can tell us about our sequence.


Exercise 3. Complete Iff Absolutely Summable


Prove that, for any normed vector space V, it is complete if and only if every absolutely summable sequence is summable.

(Note that the condition "every absolutely summable sequence is summable" is a lot like the "series version" of the idea that every Cauchy sequence is a convergent sequence. Both Cauchy sequences and absolutely summable series do not specify any vector to which the sequence converges. But in a complete space, we are guaranteed that there must exist some vector to which it converges.)

Hint: Going from completeness to the equivalent property isn't much more than unpacking definitions and using the triangle inequality.

The relatively harder part is the converse, which of course is the direct that we will actually need for our intended application.

To help with this direction I will show you a failed attempt to prove this direction, and your job will be to fix it into a correct proof.

Failed attempt: Suppose that V is a vector space with the property that every absolutely summable series is summable. Let   be a Cauchy sequence of vectors. Clearly we need to find some absolutely summable series in order to exploit its implied summability.

We try to consider, for each natural number   the natural number   for which, for all   we have

 

In particular we have a subsequence   determined by the above, such that

 
1. Try (and fail) to show that the series   is absolutely summable.
2. Make a correction of the above to obtain an absolutely summable series.
3. Argue that the subsequence (not series) which you obtain in (2.) converges to some vector.
4. Use the result of Exercise 2.


Exercise 4. L2 Completeness


Use Exercise 3. to prove the completeness of  .

Here are some guiding steps.

Let   be any sequence of functions which is absolutely summable, i.e.

 

We need to find a function to which   converges. The natural guess is the pointwise limit of the partial sums.

 

But how do we show that  , and that  .

1. Well first thing's first: Argue that F is measurable.
2. Argue that   (each understood as pointwise limits).  In order to help with notation, let   so that you are proving  .  

(Note that, although this seems like a relatively natural thing to do, this is currently more like a "brainstorming" idea. As of right now we do not know that g exists a.e. We will prove that below.)

The point of using g is the hope that it may be easier to prove that   and then use this to show that  . This is a common dance that we do in situations like this.

But then how do we show that  ? It must in some way relate to the assumption  , and it is natural to try to obtain this through some sort of limiting process. Well this is precisely what our convergence theorems are good for!

3. Define   pointwise.  Use the triangle inequality and the absolute summability of   to prove that 
   
4. Apply Fatou's to show that 
   
5. Use the above to show that   and moreover 
   
6. Infer that   as  . a.e., and draw the desired conclusions from this.