Definition:Lp Norm

Definition
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$ space on $\struct {X, \Sigma, \mu}$.

We define the $L^p$ norm by:


 * $\ds \norm {\eqclass f \sim}_p = \paren {\map {I_\mu^p} {\eqclass f \sim} }^{1/p} = \paren {\int \size f^p \rd \mu}^{1/p}$

for each $\eqclass f \sim \in \map {L^p} {X, \Sigma, \mu}$, where $I_\mu^p$ is the $L^p$-integral of $\eqclass f \sim$.

Also see

 * Lp Norm is Well-Defined
 * Lp Norm is Norm