ormula_1是测度空间，formula_2是在formula_3空间内的可测函数。当formula_4时，有当formula_6，其中formula_7，即formula_8。formula_9的情形较易证明，可以简单地用三角不等式和函数的凸性证出。