L1 space (source code)

= L1 space
{c}
{title2=$L^1(\mu)$}

The <Lp space> for $p=1$ consists of equivalence classes of <integrable functions>, with <L1 norm> $\|f\|_1=\int|f|d\mu$. <Conditional expectation> is a contraction in this norm. Convergence in this space is <L1 convergence>, which controls the change in every integral over a <measurable> subset.