Control products with conjugate exponents

Try

Two finite lists f=(1,2) and g=(2,1) have dot product four. Their Euclidean norms are both sqrt (5), whose product is five. Hölder’s inequality generalizes this comparison to functions and to exponents other than two. Its practical role is to certify that a product is integrable when the separate factors have compatible moments.

Predict

Predict whether changing a function at one length-null point changes its L2 norm. It does not, even if that point’s value changes dramatically. This means the norm naturally belongs to an equivalence class of functions agreeing almost everywhere. Predict also whether the essential supremum can ignore a tall isolated spike: under length measure it can; under counting measure it cannot.

Experiment

Compare norms on a two-point counting-measure space.

Function	L1 norm	L2 norm	L infinity norm
(1,2)	3	sqrt (5)	2
(2,1)	3	sqrt (5)	2
(0,3)	3	3	3

Compute the product integral for the first two rows. Check both the p=q=2 bound and the endpoint p=1, q=infinity bound. The sharper bound depends on the shapes of the factors.

Understand

For 1≤p< infinity, Lp consists of measurable functions with finite integral abs (f)^p, identified when equal almost everywhere. Its proposed norm is the pth root of that integral. L infinity uses the essential supremum: the least bound holding outside a null set. We will prove the triangle inequality next; positive definiteness on equivalence classes and scaling already follow from properties of the integral.

Let p>1 and define q=p/(p−1), so 1/p+1/q=1. Young’s inequality says ab≤a^p/p+b^q/q for nonnegative a, b. Fix b and consider ab−a^p/p. Its derivative b−a^(p−1) changes from nonnegative to nonpositive at a=b^(1/(p−1)); this is its global maximum, equal to b^q/q. The zero case follows directly. Equality requires a^p=b^q.

For nonzero finite norms, apply Young to a=abs (f)/norm (f)_p and b=abs (g)/norm (g)_q. Integration gives a bound of 1/p+1/q=1. Restoring the norms proves integral abs (fg)≤norm (f)_p norm (g)_q, Hölder’s inequality. If either norm vanishes, the corresponding function is zero almost everywhere, so the conclusion still holds. For p=1 and q=infinity, the essential bound on g gives the result directly.

The equality condition follows from the same proof: the pointwise Young gap is nonnegative. Its integral vanishes exactly when it vanishes almost everywhere. Thus the normalized powers abs (f)^p and abs (g)^q agree almost everywhere. Equality for the absolute value of a signed or complex integral additionally requires consistent sign or phase; equal magnitudes alone do not prevent cancellation.

Apply

Use p=q=2 to bound an inner product and to prove that square-integrable functions have integrable products. On a probability space, choose g=1 to deduce E abs (f)≤sqrt (E abs (f)²). On an infinite-measure space, the constant one may not be in L2, so that particular deduction is unavailable. Name the measure before comparing norms.

Continue

Hölder is both a numerical bound and an existence certificate for integrals. Keep conjugate exponents and zero-norm cases explicit. Next, use it to prove the triangle inequality for Lp, turning the proposed norms into genuine norms on almost-everywhere equivalence classes.

Continue to Prove the triangle inequality in Lp.