Sei $(\O,\F,\mu)$ ein $\s$-endlicher Maßraum und $p,q\in[1,\infty]$. Dann ist $(L_p(\mu),L_q(\mu))$ ein kompatibles Paar.
Beide sind Teilräume des Raumes $L_0(\mu)$ der $\mu$-meßbaren Funktionen; die konvergenten Folgen in $L_0(\mu)$ seien die Folgen, die im Maß konvergieren.