Lp space (source code)

= Lp space
{c}
{wiki}

= Lebesgue space
{c}
{synonym}

The space $L^p$ consists of measurable functions with finite $p$-norm, identified when they agree almost everywhere. This quotient is necessary because the integral seminorm vanishes on functions supported on null sets.