Lebesgue space (source code)

= Lebesgue space
{c}
{wiki=Lp_space}

= Lp 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.