logo

カラテオドリの定理の証明 📂測度論

カラテオドリの定理の証明

定義1

全てのAXA \subset Xに対して以下の式が成り立つなら、EXE \subset Xカラテオドリ条件Caratheodory conditionを満たすと言い、またはEEが**μ\mu^{\ast}-可測**μ\mu^{\ast}-measurableだと言う。

μ(A)=μ(AE)+μ(AEc) \begin{equation} \mu^{\ast}(A) = \mu^{\ast}(A\cap E) + \mu^{\ast}(A \cap E^{c}) \label{def1} \end{equation}

μ\mu^{\ast}は**外測度**だ。

定理

LLをカラテオドリ条件を満たす全てのEXE \subset Xを含む集合とする。するとLLσ\sigma-代数で、また、μ\mu^{\ast}LL上の測度になる。

これをカラテオドリの定理Caratheodory theoremと言う。

説明

X=RnX=\mathbb{R}^nとするなら、LLRn\mathbb{R}^nルベーグσ\sigma-代数Lebesgue σ\sigma-algebraと言い、そしてEERn\mathbb{R}^nルベーグ可測集合または簡単に可測集合と言う。そしてこのとき、外測度μ\mu^{\ast}Rn\mathbb{R}^n上のルベーグ測度と言う。

証明

μ\mu^{\ast}LL上の測度になることを示すには、定義により以下の三つの条件を満たすかを確認すれば良い。

測度

(D1) μ()=0\mu^{\ast}(\varnothing)=0

(D2) μ:L[0,]\mu^{\ast} : L \to [0,\infty]

(D3) 異なるEiXE_{i} \subset Xに対してμ(i=1Ei)=i=1μ(Ei)\mu^{\ast}\left(\bigsqcup \limits_{i=1}^{\infty} E_{i} \right) = \sum \limits_{i=1}^{\infty}\mu^{\ast}(E_{i})

しかし、これは外測度の定義及び性質により自明に成り立つ。


LLσ\sigma-代数であることを示すには、定義により以下の条件を満たすかを確認すれば良い。

σ\sigma-代数

集合XXが与えられたとする。以下の条件を満たすXXの部分集合のコレクションEP(X)\mathcal{E} \subset \mathcal{P}(X)を**σ\sigma-代数**と言う。

  • (D1) ,XE\varnothing, X \in \mathcal{E}
  • (D2) EE    EcEE \in \mathcal{E} \implies E^{c} \in \mathcal{E}
  • (D3) EkE (kN)    k=1EkEE_{k} \in \mathcal{E}\ (\forall k \in \mathbb{N}) \implies \bigcup_{k=1}^\infty E_{k} \in \mathcal{E}
  • (D1)

    カラテオドリ条件にEEの代わりに\varnothingXXを代入すると簡単に成立を確認できる。

  • (D2)

    カラテオドリ条件の定義によって自明に成立する。

  • (D3)

    前の二つの条件と違い、確認が簡単でない。まずE1E_{1}E2E_{2}(def1)\eqref{def1}を満たすとき、E1E2E_{1} \cup E_{2}(def1)\eqref{def1}を満たすことを示す。

    • Part 1.

      仮定によりE1E_{1}(def1)\eqref{def1}を満たすので、以下が成立する:

      μ(A)=μ(AE1)+μ(AE1c) \mu^{\ast}(A)=\mu^{\ast}(A \cap E_{1}) + \mu^{\ast}(A \cap E_{1}^{c})

      同様にE2E_{2}(def1)\eqref{def1}を満たすので、以下が成立する:

      μ(A)=μ(AE1)+μ(AE1c)=μ((AE1)E2)+μ((AE1)E2c)+μ((AE1c)E2)+μ((AE1c)E2c) \begin{align*} \mu^{\ast}(A) &= \mu^{\ast}(A \cap E_{1}) + \mu^{\ast}(A \cap E_{1}^{c}) \\ &= \mu^{\ast} \big( (A \cap E_{1})\cap E_{2} \big) + \mu^{\ast} \big( (A \cap E_{1})\cap E_{2}^{c} \big) \\ &\quad + \mu^{\ast} \big( (A \cap E_{1}^{c})\cap E_2 \big)+\mu^{\ast} \big( (A \cap E_{1}^{c})\cap E_{2}^c \big) \end{align*}

      外測度の可算亜加法性により、以下の式が成立する:

      μ([AE1E2][AE1E2c][AE1cE2])μ(AE1E2)+μ(AE1E2c)+μ(AE1cE2) \mu^{\ast} \Big( \big[ A\cap E_{1}\cap E_{2} \big] \cup \big[ A \cap E_{1} \cap E_{2}^{c}\big] \cup \big[ A \cap E_{1}^{c} \cap E_2 \big] \Big) \\ \le \mu^{\ast} \big( A \cap E_{1}\cap E_2 \big) + \mu^{\ast} \big( A \cap E_{1}\cap E_{2}^{c} \big) + \mu^{\ast} \big( A \cap E_{1}^{c}\cap E_2 \big)

      従って、以下が成立する:

      μ(A)μ([AE1E2][AE1E2c][AE1cE2])+μ(AE1cE2c)= μ(A[(E1E2)(E1E2c)(E1cE2)])+μ(AE1cE2c)= μ(A(E1E2))+μ(AE1cE2c)= μ(A(E1E2))+μ(A(E1E2)c) \begin{align*} & \mu^{\ast}(A) \\ \ge& \mu^{\ast} \Big( \big[ A\cap E_{1}\cap E_{2} \big] \cup \big[ A \cap E_{1} \cap E_{2}^{c}\big] \cup \big[ A \cap E_{1}^{c} \cap E_2 \big] \Big) + \mu^{\ast} (A \cap E_{1}^{c} \cap E_{2}^c ) \\ =&\ \mu^{\ast} \big( A\cap \big[ (E_{1}\cap E_{2}) \cup (E_{1} \cap E_{2}^{c}) \cup ( E_{1}^{c} \cap E_{2}) \big] \Big) + \mu^{\ast} (A \cap E_{1}^{c} \cap E_{2}^c ) \\ =&\ \mu^{\ast} \big( A\cap (E_{1} \cup E_{2}) \big) + \mu^{\ast} (A \cap E_{1}^{c} \cap E_{2}^c ) \\ =&\ \mu^{\ast} \big( A\cap (E_{1} \cup E_{2}) \big) + \mu^{\ast} \big(A \cap (E_{1} \cup E_2 )^{c} \big) \end{align*}

      従って、E1E_{1}E2E_{2}(def1)\eqref{def1}を満たすとき、E1E2E_{1}\cup E_{2}(def1)\eqref{def1}を満たす。これを繰り返すと、任意のNN個の異なるEiE_{i}(def1)\eqref{def1}を満たす場合、i=1NEi\bigsqcup_{i=1}^{N} E_{i}(def1)\eqref{def1}を満たすことがわかる。

    • Part 2.

      最初の条件は、各EiE_{i}が異なるという条件が欠けており、証明に必要なので、少しの工夫が必要だ。まず、各々のE~i\tilde{E}_{i}を以下のように定義しよう。

      E~1=E1E~2=E2E~1cE~3=E3(E~1E~2)cE~4=E4(E~1E~2E~3)c \begin{align*} \tilde{E}_{1} &= E_{1} \\ \tilde{E}_{2} &= E_{2} \cap \tilde{E}_{1}^{c} \\ \tilde{E}_{3} &= E_{3} \cap (\tilde{E}_{1} \cup \tilde{E}_{2} )^{c} \\ \tilde{E}_{4} &= E_{4} \cap (\tilde{E}_{1} \cup \tilde{E}_{2} \cup \tilde{E}_{3})^{c} \\ &\vdots \end{align*}

      すると、各々のE~i\tilde{E}_{i}は互いに素であり、(def1)\eqref{def1}を満たし、以下が成立する:

      i=1E~i=i=1Ei \bigsqcup_{i=1}^\infty \tilde{E}_{i} = \bigsqcup _{i=1}^\infty E_{i}

      これは直接計算すれば簡単に確認できる。従って、これで各々のE~i\tilde{E}_{i}(def1)\eqref{def1}を満たすとき、i=1E~i \bigsqcup_{i=1}^\infty \tilde{E}_{i}(def1)\eqref{def1}を満たすことを示したので証明を完了できる。

    • Part 3.

      可算亜加法性により、以下が成立する:

      μ(A)μ(A(i=1E~i))+μ(A(i=1E~i)c) \mu^{\ast} (A) \le \mu^{\ast}\left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i}\right) \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i} \right)^{c} \right)

      今、反対方向の不等号も成立することを示せば、証明が完了する。**Part 1.**でNN個に対して成立することを示したので、以下が成立する:

      μ(A)=μ(A(i=1NE~i))+μ(A(i=1NE~i)c)μ(A(i=1NE~i))+μ(A(i=1E~i)c)=i=1Nμ(AE~i)+μ(A(i=1E~i)c) \begin{align*} \mu^{\ast} (A) &= \mu^{\ast} \left( A \cap \left( \bigsqcup _{i=1}^N \tilde{E}_{i}\right) \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^N \tilde{E}_{i} \right)^{c} \right) \\ &\ge \mu^{\ast} \left( A \cap \left( \bigsqcup _{i=1}^N \tilde{E}_{i}\right) \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i} \right)^{c} \right) \\ &= \sum \limits_{i=1}^N\mu^{\ast}\left(A \cap \tilde{E}_{i} \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i} \right)^{c} \right) \end{align*}

      この不等式は全てのNNに対して成立するので、以下の式が成立する:

      μ(A)i=1μ(AE~i)+μ(A(i=1E~i)c)μ(A(i=1E~i))+μ(A(i=1E~i)c) \begin{align*} \mu^{\ast} (A) & \ge \sum \limits_{i=1}^\infty \mu^{\ast}\left(A \cap \tilde{E}_{i} \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i} \right)^{c} \right) \\ &\ge \mu^{\ast} \left( A \cap \left( \bigsqcup_{i=1}^\infty \tilde{E}_{i} \right) \right) + \mu^{\ast} \left(A \cap \left( \bigsqcup _{i=1}^\infty \tilde{E}_{i} \right)^{c} \right) \end{align*}

      第二の不等式は可算亜加法性により成立する。


  1. ロバート・G・バートル著、積分とルベーグ測度の要素 (1995), p100 ↩︎