-norm is dual to
If is any measure space and are Hölder conjugates (http://planetmath.org/ConjugateIndex) then, for , the following linear function can be defined
The Hölder inequality (http://planetmath.org/HolderInequality) shows that this gives a well defined and bounded linear map. Its operator norm is given by
The following theorem shows that the operator norm of is equal to the -norm of .
Theorem.
Let be a -finite measure space and be Hölder conjugates. Then, any measurable function has -norm
(1) |
Furthermore, if either and or then is not required to be -finite.
Note that the -finite condition is required, except in the cases mentioned. For example, if is the measure satisfying for every nonempty set , then for and it is easily checked that equality (1) fails whenever and .