Lp Norm is Norm

Theorem
Let $\struct {X, \Sigma, \mu}$ be a measure space and let $p \in \hointr 1 \infty$.

Let $\map {L^p} {X, \Sigma, \mu}$ be the $L^p$ vector space on $\struct {X, \Sigma, \mu}$.

Let $\norm \cdot_p$ be the $L^p$ norm.

Then $\norm \cdot_p$ is a norm on $\map {L^p} {X, \Sigma, \mu}$.

Proof
Let $\map {\mathcal L^p} {X, \Sigma, \mu}$ be the Lebesgue $p$-space.

Let $\sim$ be the $\mu$-almost everywhere equality relation on $\map {\mathcal L^p} {X, \Sigma, \mu}$.

Let $\eqclass f \sim \in \map {L^p} {X, \Sigma, \mu}$.

Then, we have by the definition of the $L^p$ norm we have:


 * $\norm {\eqclass f \sim}_p = \norm f_p$

From P-Seminorm is Seminorm, we have:


 * $\norm f_p \ge 0$

so:


 * $\norm {\eqclass f \sim}_p \ge 0$

So $\norm \cdot_p$ is a map from $\map {L^p} {X, \Sigma, \mu}$ to the non-negative real numbers.

It remains to verify the norm axioms.

Property $(\text N 1)$
From P-Seminorm of Function Zero iff A.E. Zero, we have:


 * $\norm f_p = 0$ for $f \in \map {\mathcal L^p} {X, \Sigma, \mu}$ $f = 0$ $\mu$-almost everywhere.

That is:


 * $\norm f_p = 0$ $f \sim 0$

That is, from Equivalence Class Equivalent Statements:


 * $\norm f_p = 0$ $\eqclass f \sim = \eqclass 0 \sim = 0_{\map {L^p} {X, \Sigma, \mu} }$.

Then, for $\eqclass f \sim \in \map {L^p} {X, \Sigma, \mu}$, we have:


 * $\norm {\eqclass f \sim}_p = 0$ $\norm f_p = 0$

from the definition of the $L^p$ norm.

This is in turn equivalent to $\eqclass f \sim = 0_{\map {L^p} {X, \Sigma, \mu} }$

So we have positive definiteness.

Property $(\text N 2)$
Let $\eqclass f \sim \in \map {L^p} {X, \Sigma, \mu}$ and $\lambda \in \R$.

Then:

So we have positive homogeneity.

Property $(\text N 3)$
Let $\eqclass f \sim, \eqclass g \sim \in \map {L^p} {X, \Sigma, \mu}$.

Then:

so the triangle inequality holds.