logo

ルベーグ-ラドン-ニコディムの補助定理 📂測度論

ルベーグ-ラドン-ニコディムの補助定理

定理1

可測空間(X,E)(X, \mathcal{E})上の有限測度 μ\mu, ν\nuが与えられたとしよう。そうすると、μν\mu \perp \nuであるか、または以下の条件を満たすϵ>0\epsilon>0, EEE \in \mathcal{E}が存在する。

μ(E)>0andν(E)ϵμ(E) \mu (E) >0 \quad \text{and} \quad \nu (E) \ge \epsilon \mu (E)

説明

この定理には特に名前はないが、ルベーグ-ラドン-ニコディムの定理を証明する際に有用な補助定理として使われる。特定のふたつの有限測度の関係が、ただひとつのふたつの可能性に分けられるというかなり強力な内容を含んでいる。

証明

まず、自然数nnに対して、与えられたふたつの符号付き測度の差 ν1nμ\nu-\dfrac{1}{n}\mu符号付き測度になる。X=PnNnX=P_{n} \cup N_{n}ν1nμ\nu-\dfrac{1}{n}\muに対する1つの分割としよう。そして集合 PP, NNを以下のように定義しよう。

P:=n=1PnandN:=Pc=n=1Nn P:= \bigcup _{n=1} ^\infty P_{n} \quad \text{and} \quad N:=P^c=\bigcap _{n=1} ^\infty N_{n}

すると、NNν1nμ\nu-\dfrac{1}{n}\muに対する負の集合なので、次が成り立つ。

ν(N)1nμ(N)0    ν(N)1nμ(N) \nu (N)-\frac{1}{n}\mu (N) \le 0 \quad \implies \quad \nu (N) \le \frac{1}{n}\mu (N)

仮定によりμ(N)<\mu (N) < \inftyが成立し、上の式は全てのnnに対して成り立つので、次を得る。

ν(N)=0 \nu (N) =0

  • ケース 1.

    μ(P)=0\mu (P)=0と仮定しよう。するとPN=XP\cup N =X, PN=P\cap N=\varnothingが成立し、PPν\nu-nullNNν\nu-nullなので、次が成り立つ。

    νμ \nu \perp \mu

  • ケース 2.

    μ(P)>0\mu (P)>0と仮定しよう。すると、少なくともひとつのnnμ(Pn)>0\mu (P_{n})>0である。そして、PnP_{n}ν1nμ\nu -\dfrac{1}{n}\muに対する正の集合なので、次が成り立つ。

    ν(Pn)1nμ(Pn)0    ν(Pn)1nμ(Pn) \nu (P_{n}) -\dfrac{1}{n}\mu ( P_{n}) \ge 0 \quad \implies \quad \nu (P_{n}) \ge \frac{1}{n}\mu (P_{n})

    1n\dfrac{1}{n}PnP_{n}はそれぞれ定理を満たすϵ\epsilon, EEになる。


  1. ジェラルド B. フォーランド, 実解析:現代技術とその応用 (第2版, 1999), p89 ↩︎