Measure Theory/Generalizing

For a General p

edit

Early after the start of the study of   spaces, people realized that we could generalize 2 to any real number   without too much difficulty. This doesn't have any obvious value at this point, and as far as I can tell, mathematicians initially studied this generalization because it was relatively easy and because mathematicians like generality.

If that were the only motivation, then I would have omitted this subject from the course. However, later on it does turn out to have useful applications to other topics. In particular, when we generalize from length-measure to abstract measure spaces, it will be valuable to have a general   space in mind. This is not the only application of   spaces that people have discovered, but it's the only one that our course will eventually discuss.

You'll notice the following definitions strongly parallel the   definitions, with a glaring exception. There is no   inner-product.

One other, smaller exception is the use of the absolute value. In order for these objects to be like a measure of size, we require them to be nonnegative.

Definition: Lp norm, space, distance

Let   be a function on  . Define the   norm by

 

Define the   space of functions as the set of functions with finite   norm.

 

Define the   distance metric as the norm of the difference of two functions. That is to say, if   then

 


Exercise 1. Lp Is a Vector Space


Prove that   is a vector space.

The proof should be nearly identical to the proof that   is a vector space.

Lp(E) Is a Normed Vector Space

edit

Most of the proof that   is a normed vector space is easy and just like the proof that   is, but with one very glaring and in fact very difficult exception: The triangle inequality for  .

The way that we proved the triangle inequality for   simply does not apply here because we made essential use of the fact that   is an inner-product space, and all inner product spaces are normed spaces.

Therefore in this setting we need a more direct proof that   is a norm, and in particular that it satisfies the triangle inequality.

  for  

Let us focus for now on   so that we ignore the fractional exponent, which we may account for later. In a somewhat desperate attempt to apply a triangle inequality-like move, we may split off a single factor of  .

 

From here we hope to find some kind of ability to integrate a product -- in particular, the products   and  .

We may find it more general, natural, and simple to investigate the integral of any product  , especially relating this to the   norm. When we find this relationship below, we will call it the "p norm product bound".

In order to obtain some such bound, it would be helpful if we could more directly bound   -- because the p norm has an exponent of p then we will be perfectly happy if the bound that we find also has an exponent of p.

When we obtain the bound on   we will call it the "generalized AM-GM".

AM-GM

edit

A famous fact, which one might discover from an entirely different set of mathematical interests and considerations, is the AM-GM inequality, which states that for any real numbers  , their geometric mean is never more than their arithmetic mean.

 

There is a nice elementary proof from the formula for the square of a sum.


Exercise 2. Prove the AM-GM


Prove the AM-GM inequality.

Hint: Any square is nonnegative.


Exercise 3. Reformulate the AM-GM


Use the AM-GM inequality to show that

 

Hint: Reassign a to   and so on.

One should suspect that there is a generalization or two which we could use to extend the AM-GM inequality. We could extend it to more terms, but that is not really our interest here. We're more interested in exponents of p rather than 2.

A generalization of the arithmetic mean is the weighted average. If we have numbers   and a weighting   then this means that   and  . The weighted average is then defined by  .

A generalization of the geometric mean is   and then the natural conjecture for a generalized AM-GM is

 

The back-and-forth between the product and sum is evocative of the logarithm, which turns a product into a sum. The desired inequality is equivalent to

 

which is the same as

 

This now suggests a very important realization. This looks exactly like the kind of thing that geometers say about the convexity of shapes.

Summary of This Lesson

edit

The plan for this lesson is to:

1. Investigate convexity in order to prove the weighted AM-GM inequality.

2. Use the weighted AM-GM inequality to obtain a bound on the product of any real numbers.

3. Use the bound on the product of real numbers to obtain the p norm product bound.

4. Use the p norm product bound to prove that   is a norm.

5. Prove that   is a complete metric space.