Sheng Li (gmachine1729) wrote,
Sheng Li

More on norms in L^p space, including p=infinity, with simple functions and the Lebesgue integral

Originally published at 狗和留美者不得入内. You can comment here or there.

I’ll first talk a bit about the monotone convergence theorem (the one associated with Fatou’s lemma and the dominated convergence theorem). I learned those in undergraduate but never really understood them, by which I mean I was never able to learn them in such a way that I would be more or less guaranteed to be able to reconstruct them. That was a time when I, unlike now, was not aware that simple functions, the completion of which results in functions in [公式] space is analogous to the density of rationals in the reals.

The single variable monotone convergence theorem is quite simple and straightforward and easy to prove. Lebesgue’s monotone convergence theorem is analogous to it, but in the much more complex vector space of functions. It turns out that this vector space is a Banach space, meaning that it has a norm with respect to which it is complete.

For real vectors of dimension [公式], as far as monotone convergence is concerned, each of the [公式] components one can pick an [公式] such that [公式] guarantees distance less than [公式] . Taking the max of the [公式] results in the one-norm of the difference’s being less than [公式] . This extends to all [公式] -norms for [公式] , since [公式] iff [公式] .

In [1], we proved Holder’s inequality but not for the case with [公式] in [公式] in which the case the dual space is [公式] . The infinity norm of a function [公式] exists iff every [公式] -norm exists with [公式] .

In case of a finite dimensional vector [公式] wherein we assume WLOG that [公式] , we have

[公式] The limit of both the lower and upper bounds as [公式] is [公式] , which means by the squeeze theorem,


We can generalize this and give each [公式] a positive weight [公式], in which case the [公式] in the upper bound of [公式] would be replaced by [公式] , which does not change the infinity norm. As for Holder’s inequality for finite dimensional vectors in the case of [公式] , we have the following trivial proposition:

Proposition 1 For any two [公式] dimensional vectors with non-negative components, [公式] ,

[公式] Proof: Trivial. [公式]

In order for [公式] for any [公式] , assuming that it is measurable, it is necessary that [公式] . If not, there exists an [公式] and an increasing sequence of natural numbers [公式] such that [公式] for all [公式] , which implies that for all [公式]

[公式] which violates finiteness of [公式] .

Assume that [公式] is also non-negative. Let [公式] be the simple function that takes the value [公式] iff [公式] , in which case

[公式] which can be proved using the monotone convergence theorem.

In general for [公式] , we let [公式] be a derived sequence of simple functions one which takes the value [公式] iff [公式] , in which case

[公式] We moreover stipulate that if [公式] , then [公式] . In this case [公式] takes on no more than [公式] distinct values and

[公式] We wish to prove that

[公式] In order to do so, we first prove the following.

Proposition 2 If [公式] , then [公式] . Analogous holds for weighted finite dimensional or countably infinitely dimensional vectors.

Proof: We first prove the discrete case. We take a finite dimensional vector [公式] with positive weights [公式] in which case the [公式] -norm is given by

[公式] We can thus WLOG assume the weights to all be [公式]. Showing that the derivative of the logarithm of this wrt [公式] is non-positive suffices. Formally, we wish to show


or equivalently,


Assume WLOG that [公式] . Then by Holder’s inequality, on [公式] , with the [公式] -norm on the first, the [公式] -norm on the second


which completes our proof for the finite dimensional case.

In the countable case, we can assume [公式] because otherwise all the norms would be infinite. Then, it suffices to take a limit in [公式] .

For the measurable function case, the RHS of [公式] has [公式] as the [公式] s and [公式] as the weight. As [公式] we have an countably infinite dimensional vector with a finite one-norm. For finite vectors we’ve already shown that if [公式] , the [公式] -norm cannot exceed the [公式] -norm. Taking the limit [公式] yields


which by [公式] completes our proof for all except the infinity norm.

For the infinity norm, by [公式] , we simply have


Since [公式] from below pointwise, [公式] . By definition,


It is obvious that

[公式] since [公式] is a monotonically increasing sequence of functions. Moreover, if [公式] , then there must be some [公式] such that [公式] . Let [公式] be such that [公式] monotonically. By definition of the [公式]s, we must have [公式] . Thus, [公式] . That [公式] for all [公式] implies

[公式] which completes our proof. [公式]


Tags: uncategorized

Recent Posts from This Journal

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened