Definition:Lp Norm/L-Infinity Norm

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

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

We define the $L^\infty$ norm by:


 * $\norm {\eqclass f \sim}_\infty = \norm f_\infty$

for each $\eqclass f \sim \in \map {L^\infty} {X, \Sigma, \mu}$, where $\norm \cdot_\infty$ is the supremum seminorm.

Also see

 * $L^\infty$ Norm is Well-Defined
 * $L^\infty$ Norm is Norm