【主張】 測度空間 上で定義された測度 が、全ての について以下が成立するとする。 \begin{eqnarray}v(F) \leq \mu(F)\end{eqnarray} この時、 の有限分割 に対して単関数 を以下の通り定義する。 \begin{eqnarray}h_{\mathcal{P}} := \left\{\begin{array}…