もう一人のY君

iPhoneアプリのレビューやアップデートレビューなどを書いています. たまに数学の記事も書きます.

もう一人のY君 MENU  MENU

【数学】1点の「長さ」(ルベーグ測度)

160920_00

 今回はルベーグ測度を使った, 1点(集合)の「長さ」の厳密な証明です.

 準備がとても多いです.

 全部網羅するとかなり長くなってしまうので一部は省略します.

 

[Contents]
 

 

測度空間

blog.thetheorier.com

 先日紹介した測度空間までの定義が前提となります.

 

 

各種定義, 補題など

 目的の証明を行うためにたくさんの, そして面倒な定義, 補題などを必要とします.

 

 

π-系とd-系

 まずπ-系, そしてd-系と呼ばれる族と, それに関わる定理を紹介します.

 全体のことを考えると重要なd-系ですが, 今回は長文ゆえ省略する箇所で登場してくるため, 以下の定理1までに留めます.

 

[定義:π-系]

 集合 { \displaystyle S } と, { \displaystyle S } 上の部分集合系 { \displaystyle \mathcal{I} } について, { \displaystyle I } が共通集合を有限個取る操作に関して閉じている, つまり

 

{ \displaystyle I_1, I_2\in\mathcal{I}\quad\Rightarrow\quad I_1\cap I_2\in\mathcal{I} }

 

であるとき, { \displaystyle \mathcal{I} } を { \displaystyle \pi }-系と呼ぶ.

 イデアルに近い概念ですね.

 

[定義:d-系]

 集合 { \displaystyle S }, また { \displaystyle \mathcal{D} } を { \displaystyle S } の部分集合の族とする.

 { \displaystyle \mathcal{D} } は以下を満たすとき, { \displaystyle S } 上の { \displaystyle d }-系と呼ぶ.

 

  1. { \displaystyle S\in\mathcal{D} }
  2. { \displaystyle A,B\in\mathcal{D} } かつ { \displaystyle A\subseteq B } ならば, { \displaystyle B\backslash A\in\mathcal{D} }
  3. { \displaystyle A_n\in\mathcal{D} } かつ { \displaystyle A_n\uparrow A } ならば { \displaystyle A\in\mathcal{D} }

 

 ここで, { \displaystyle A_n\uparrow A } とは { \displaystyle \forall n } に対して { \displaystyle A_n\subseteq A_{n+1} } かつ { \displaystyle \bigcup A_n=A } であることを言う.

 σ-加法族の印象も見えますが性質はこの時点では同一ではありません.

 実際には以下の定理が成り立ちます.

 

 

[定理1]

 次の2つの命題は互いに同値である.

 

 集合 { \displaystyle S } の部分集合の族 { \displaystyle \Sigma } について,

 

  1. { \displaystyle \Sigma } は { \displaystyle \pi }-系かつ { \displaystyle d }-系である
  2. { \displaystyle \Sigma } は { \displaystyle \sigma }-加法族である

[定理1の証明]

(1.⇒2.)

 まず加法族であることを示し, 次にσ-加法族であることを示せば良い.

 仮定より { \displaystyle \Sigma } は { \displaystyle \pi }-系かつ { \displaystyle d }-系である, ここで { \displaystyle E, F, F_n\in (n\in\mathbb{N}) } とおく.

 { \displaystyle d }-系の定義より, まず { \displaystyle S\in\Sigma } は明らかである.

 また { \displaystyle E^{c}=S\backslash E }, { \displaystyle E\subseteq S } であることから { \displaystyle d }-系の定義2より { \displaystyle E^{c}\in\Sigma } である.

 加えて { \displaystyle \pi }-系の定義より { \displaystyle E^{c}\cap F^{c}\in\Sigma } である, 従って

 

{ \displaystyle E\cup F = S\backslash (E^{c}\cap F^{c})\in\Sigma }

 

, 以上で { \displaystyle \Sigma } は { \displaystyle S } 上の加法族である.

 

 次に { \displaystyle G_n:=E_1\cup E_2\cup\dots\cup E_n } とすれば { \displaystyle G_n\in\Sigma } であって, かつ { \displaystyle G_n\uparrow \bigcup E_k } である.

 よって { \displaystyle d }-系の定義3より { \displaystyle \bigcup E_k\in\Sigma } であることが分かる.

 従って

 

{ \displaystyle \bigcap E_k = \bigl( \bigcup E_k^{c} \bigr)^{c}\in\Sigma }

 

となって { \displaystyle \Sigma } が { \displaystyle \sigma }-加法族であることが分かる. { \displaystyle \square }

 

 

ボレルσ-加法族とπ-系

 先日紹介したボレルσ-加法族は, 一般的にその全体像を評価するには余りにも要素が多すぎます.

 因みにボレルσ-加法族は一般的に { \displaystyle \mathcal{B}(\mathbb{R}) } がよく使われ, しばしば { \displaystyle \mathcal{B}:=\mathcal{B}(\mathbb{R}) } と略記されます(以降, この記事では { \displaystyle \mathcal{B} } とは { \displaystyle \mathcal{B}(\mathbb{R}) } のことを指すことにします.).

 対してπ-系は比較的イメージがしやすいですね.

 

 このボレル集合 { \displaystyle \mathcal{B} } とπ-系について, 以下が成り立つことが知られています.

 

[補題2]

 次の集合系

{ \displaystyle \pi(\mathbb{R}) := \{ (-\infty , x] | x\in\mathbb{R} \} }

について,

 

{ \displaystyle \mathcal{B} = \sigma(\pi(\mathbb{R})) }.

[補題2の証明]

 任意の { \displaystyle x\in\mathbb{R} } について

 

{ \displaystyle (-\infty ,x] = \bigcap_{n\in\mathbb{N}} \bigl(-\infty , x+\frac{1}{n}\bigr) }

 

であり, 右辺は可算個の開集合の共通集合であるから, { \displaystyle (-\infty ,x] } は { \displaystyle \mathcal{B} } の要素であることが分かる.

 双方 { \displaystyle \sigma }-加法族であるから, あとは { \displaystyle \mathbb{R} } の任意の開集合が { \displaystyle \sigma(\pi(\mathbb{R})) } の要素であることを示せば良い.

 しかし { \displaystyle \mathbb{R} } の任意の開集合はその位相空間の定義より可算個の開集合の和で表せるので, つまるところ次の開集合について調べるだけで十分である.

 

{ \displaystyle (a,b),\quad a,b\in\mathbb{R}, a\lt b }

 

 任意の実数 { \displaystyle s (s\gt a) } に対して,

 

{ \displaystyle (a,s] \\ = (-\infty , s ] \cap (-\infty , a ]^{c}\in\sigma(\pi(\mathbb{R})) }

 

であることと, { \displaystyle (a,b) } が正実数 { \displaystyle \epsilon = \frac{1}{2}(b-a) } について

 

{ \displaystyle (a,b) = \bigcup_{n\in\mathbb{N}}( a,b-\frac{\epsilon}{n} ] }

 

となることから { \displaystyle (a,b)\in\sigma(\pi(\mathbb{R})) } である. { \displaystyle \square }

 

 

カラテオドリの拡張定理

 測度論を学ぶ上で最初にやってくる基本定理かつ難関です.

 然るべき証明を書くつもりだったんですがこの時点で4600文字程度なので今回は諦めます.

 

[定理:カラテオドリの拡張定理]

 { \displaystyle S } を集合, { \displaystyle \Sigma_0 } を { \displaystyle S }上の加法族とし, 更に { \displaystyle \Sigma\,:=\,\sigma(\Sigma_0) } とする.

 { \displaystyle \mu_0 } を可算加法的な写像

 

{ \displaystyle \mu_0\,:\, \Sigma_0\to[0,\infty] }

 

とすると, { \displaystyle (S,\Sigma) }上の測度 { \displaystyle \mu } で, かつ { \displaystyle \Sigma_0 } の上で { \displaystyle \mu =\mu_0 } となるものが存在する.

 

 また, ここで { \displaystyle \mu_0(S)\lt\infty } とするとこのような { \displaystyle \mu } はただ一つである.

 

 

ルベーグ測度

 やっと本題のルベーグ測度に入ります.

 

 { \displaystyle S=[0,1) } とし, { \displaystyle S } の部分集合 { \displaystyle F } が { \displaystyle F\in\Sigma_0 } であることを, ここでは { \displaystyle F }

 

{ \displaystyle F\,=\, (a_1,b_1]\cup\dots\cup(a_m,b_m] }

 

という形であることとします.

 当然 { \displaystyle m\in\mathbb{N}, } { \displaystyle 0\leq a_1\leq b_1\leq\dots\leq a_r\leq b_r\leq 1 } です.

 

 この{ \displaystyle \Sigma_0 } が { \displaystyle (0,1] } 上の加法族であることは容易に分かると思います.

 そして

 

{ \displaystyle \sigma(\Sigma_0)\,=\,\mathcal{B}((0,1]) }

 

であるため, これを { \displaystyle \Sigma } とします.

 

 上記の { \displaystyle F } に対して非負集合関数 { \displaystyle \mu_0 }

 

{ \displaystyle \mu_0(F)\,=\, \sum_{k\leq m}(b_k-a_k) }

 

と定めれば, { \displaystyle \mu_0 } は加法的であり, 更に可算加法的です(要証明).

 

 従ってカラテオドリの拡張定理より { \displaystyle ((0,1],\, \mathcal{B}(0,1]) } の上の { \displaystyle \mu } に一意的に拡張されます.

 

 もちろん { \displaystyle S=[0,1] } で定義したいならば, { \displaystyle \{0\} } をルベーグ測度で { \displaystyle 0 } と定義しれば良いわけです.

 その妥当性は本筋でも確認できることでしょう.

 

 この { \displaystyle \mu =\mu_0 } をルベーグ測度と呼び, 改めて { \displaystyle \text{Leb} } と書き表します.

 

 ややこしい準備を重ねてきましたが, 実際に定義する方法は日常のそれとなんら変わらないことがわかります.

 

 

単調収束定理

 続いて本題を導く肝となる, 測度の単調収束定理です.

 

[定理:測度の単調収束定理]

 { \displaystyle (S,\Sigma, \mu) } を測度空間とする.

 { \displaystyle S } の部分集合列 { \displaystyle F_n, G_n\,(n\in\mathbb{N}) } と集合 { \displaystyle F, G } について { \displaystyle F_n\uparrow F,\, G_n\downarrow G } を以下のように定める.

 

  • { \displaystyle F_n\uparrow F\, }{ \displaystyle \Leftrightarrow\, F_n\subseteq F_{n+1} , \cup F_n= F }
  • { \displaystyle G_n\downarrow G\, }{ \displaystyle \Leftrightarrow\, G_n\supseteq G_{n+1} , \cap G_n= G }

 

 このとき以下が成り立つ

 

  1. { \displaystyle \mu (F_n)\uparrow\mu (F) }
  2. ある { \displaystyle k } に対して { \displaystyle \mu (G_k)\lt\infty } であるとき, { \displaystyle \mu (G_n)\downarrow\mu(G) }

  

(測度の単調収束定理の証明)

 (1.の証明)

 { \displaystyle G_1:=F_1,\,G_n:=F_n\backslash F_{n+1}\,(n\geq 2) } とおくと { \displaystyle G_n } は互いに素な集合列となるので, 測度の可算加法性より

 

{ \displaystyle \mu (F_n) }

{ \displaystyle =\, \mu(G_1\cup G_2\cup \dots\cup G_n) }

{ \displaystyle =\, \sum_{k\leq n}\mu(G_k) } (…可算加法性)

{ \displaystyle \uparrow\, \mu\left(\sum_{k\lt\infty}G_k\right) }

{ \displaystyle =\, \mu(F)\quad\square}

 

 

  (2. の証明)

 { \displaystyle n\in\mathbb{N} } に対して { \displaystyle F_n:=G_k\backslash G_{k+n} } と置き, 前述を適用すれば良い. { \displaystyle \square }

 

 

1点の長さ

 やっと本題に入ります.

 

 測度空間として { \displaystyle \left( [0,1], \mathcal{B}, \text{Leb} \right) } を考えます.

 

 { \displaystyle [0,1] } 上の一点 { \displaystyle x } を任意にとり, { \displaystyle \epsilon(k)\,(k\in\mathbb{N}) } を正の実数列で { \displaystyle \epsilon(k)\downarrow 0 } を満たすものとします.

 

 このとき

 

{ \displaystyle \{x\}\, \subseteq \, \left( x-\epsilon(k),\, x+\epsilon(k) \right)\, \cap \, [0,1] }

 

が成り立つことは容易く分かることでしょう.

 

 これより { \displaystyle \text{Leb}(\{x\})\lt 2\epsilon(k) } を得ます.

 

 しかし { \displaystyle \epsilon(k)\downarrow 0 } でしたから, 測度の単調収束定理より { \displaystyle \text{Leb}(\{x\})\downarrow 0 } となり, 結局 { \displaystyle \text{Leb}\left(\{x\}\right)=0 } であることがわかります.