Proof of Minkowski's Inequality and the Seminormed Space of Power-Integrable Functions

Each result cited is universally quantified over the data appearing in its own statement, and is applied here to the data named in the statement above. As in Hoelder's Inequality, for Two and for Finitely Many Factors, $\lVert h\rVert_{1}=\int_{X}|h|\,d\mu$ for $h\in\mathcal{L}^{1}$, because $t^{1}=t$ for nonnegative $t$ by Properties of Real Powers of Nonnegative Real Numbers §agreement.

Claim 1. The map $f+g$ is measurable by claim 2 of Arithmetic, Absolute Values, and Pointwise Limits of Measurable Real-Valued Functions.

Step 1: $f+g$ lies in $\mathcal{L}^{p}$. For $x\in X$, claim 5 of Properties of the Absolute Value in an Ordered Field gives $|f(x)+g(x)|\le|f(x)|+|g(x)|$, and the sum of two nonnegative reals is at most twice their maximum. Writing $a=|f(x)|$ and $b=|g(x)|$ and using Properties of Real Powers of Nonnegative Real Numbers §monotone and Properties of Real Powers of Nonnegative Real Numbers §product,

where the middle equality holds because $t\mapsto t^{p}$ is nondecreasing on $\mathbb{R}_{+}$, so that the larger of $a,b$ has the larger power, and the last step because $a^{p}$ and $b^{p}$ are nonnegative. Integrating with the monotonicity, additivity and homogeneity in claim 1 of Linearity and Monotonicity of the Lebesgue Integral,

so $f+g\in\mathcal{L}^{p}$.

Step 2: the inequality for $p=1$. Here $|f+g|\le|f|+|g|$ pointwise, so $\lVert f+g\rVert_{1}=\int_{X}|f+g|\,d\mu\le\int_{X}|f|\,d\mu+\int_{X}|g|\,d\mu=\lVert f\rVert_{1}+\lVert g\rVert_{1}$ by claim 1 of Linearity and Monotonicity of the Lebesgue Integral.

Step 3: the inequality for $1<p$. Let $q$ be the exponent conjugate to $p$, so that $1<q$ and $(p-1)q=p$, and note that $p-1$ is positive. Let $u$ be the map $x\mapsto\bigl(|f(x)+g(x)|\bigr)^{p-1}$. By Elementary Properties of the p-Seminorm §rescaling, applied with the exponents $p-1$ and $q$, whose product is $p$ and is at least $1$, the map $u$ is measurable, lies in $\mathcal{L}^{q}$ because $f+g\in\mathcal{L}^{p}$ by Step 1, and satisfies

By Properties of Real Powers of Nonnegative Real Numbers §exponents and Properties of Real Powers of Nonnegative Real Numbers §agreement, $t^{p}=t^{1}t^{p-1}=t\,t^{p-1}$ for nonnegative $t$, so for every $x$

using that $u(x)$ is nonnegative. Since $u$ is nonnegative, $|f|u=|fu|$ and $|g|u=|gu|$ pointwise, where $fu$ and $gu$ are the pointwise products. Integrating and applying Hoelder's Inequality, for Two and for Finitely Many Factors §holder twice, to the pairs $f,u$ and $g,u$ with the conjugate exponents $p,q$,

By Elementary Properties of the p-Seminorm §power the left-hand side is $(\lVert f+g\rVert_{p})^{p}$, so

If $\lVert f+g\rVert_{p}=0$, the asserted inequality holds because the right-hand side of it is nonnegative. Otherwise $\lVert f+g\rVert_{p}$ is positive, hence so is $(\lVert f+g\rVert_{p})^{p-1}$ by Properties of Real Powers of Nonnegative Real Numbers §values; dividing the last display by that positive number and using $t^{p}=t\,t^{p-1}$ once more gives $\lVert f+g\rVert_{p}\le\lVert f\rVert_{p}+\lVert g\rVert_{p}$.

Claim 2. The map $0_{X}$ taking the value $0$ everywhere is measurable by claim 1 of Arithmetic, Absolute Values, and Pointwise Limits of Measurable Real-Valued Functions, and $|0_{X}|^{p}=0_{X}$ by Properties of Real Powers of Nonnegative Real Numbers §values, whose integral is $0$ by The Lebesgue Integral and Null Sets: Almost-Everywhere Comparison, Markov's Inequality, and Dominated Convergence Almost Everywhere §null-integral applied with the null set $\varnothing$; so $0_{X}\in\mathcal{L}^{p}$. By claim 1 the set $\mathcal{L}^{p}$ is closed under the pointwise sum, and by Elementary Properties of the p-Seminorm §homogeneous under the pointwise scalar multiple. Hence The Real Vector Space of Real-Valued Functions on a Set §subspace applies and shows that $\mathcal{L}^{p}$ is a linear subspace of the space of all real-valued maps on $X$ and is itself a vector space over $\mathbb{R}$ with zero vector $0_{X}$.

The three displayed properties of the $p$-seminorm are, in order: the fact that $\lVert f\rVert_{p}$ is a nonnegative real number, recorded in Power-Integrable Functions and the p-Seminorm §seminorm; Elementary Properties of the p-Seminorm §homogeneous; and claim 1.

Claim 3. We induct on $n$. For $n=1$ the finite sum is $f_{1}$ by claim 1 of Properties of Finite Sums of Vectors, and the assertion is an equality. Assume the assertion for $n$, and let $f_{1},\dots,f_{n+1}\in\mathcal{L}^{p}$. By the recursion in claim 1 of Properties of Finite Sums of Vectors,

which lies in $\mathcal{L}^{p}$ by the inductive hypothesis and claim 1. Applying claim 1 and then the inductive hypothesis,

the last equality by the recursion in claim 1 of Properties of Finite Sums. This completes the induction.