Es sei f ∈ L q ( X ) {\displaystyle {}f\in {\mathcal {L}}^{q}(X)} . Wie setzen
Dann ist
Der linke Summand ist höchstens μ ( Z ) {\displaystyle {}\mu (Z)} und insbesondere endlich. Für den rechten Summanden gilt