ルベーグ外測度$m^{*}$の定義域$\mathcal{P}(\R)$をルベーグ可測集合全部の族$\mathcal{L}$に制限してできる写像$m$をルベーグ測度というのでした.
$\mathcal{P}(\R)$は$\R$の冪集合($\R$の部分集合全部の族)のことでした.
このルベーグ測度$m$はルベーグ積分において本質的に重要な役割を果たすものなので,ルベーグ測度$m$の性質をよく知っておきたいところです.
そのためにはルベーグ測度$m$の定義域$\mathcal{L}$の性質を知っておくことも大切です.
ルベーグ可測集合の族$\mathcal{L}$の重要な性質はいくつもありますが,中でも$\mathcal{L}$が完全加法族であるという性質はルベーグ測度$m$を考える際に本質的に重要です.
この記事では
- ルベーグ可測集合の復習
- ルベーグ可測集合の和集合と共通部分
- $\mathcal{L}$が完全加法族であること
を順に説明します.
「ルベーグ積分の基本」の一連の記事
- ルベーグ積分入門
- ルベーグ測度
- ルベーグ可測関数とルベーグ積分
- ルベーグ積分の性質と項別積分
- ルベーグ積分の基本性質を証明する(準備中)
- 単関数列の項別積分定理のイメージと証明(準備中)
- ルベーグの単調収束定理と具体例(準備中)
- ルベーグの収束定理と具体例(準備中)
ルベーグ可測集合の復習
可測集合の定義を確認しましょう.
集合$A\subset\R$が可測集合 (measurable set)であるとは,任意の$X\subset\R$に対して
を満たすことをいう.ここに,$A^c$は$\R$における$A$の補集合である.
外測度$m^{*}$の劣加法性から不等式
は常に成り立ち,また$m^{*}(X)=\infty$なら逆向き$\ge$の不等式も常に成り立ちます.
これらのことから,可測集合であるための必要十分条件に関する次の命題が成り立つことも思い出しておきましょう(この記事でも度々用います).
集合$A\subset\R$に対して,次は同値である.
- $A$は可測集合である.
- $m^{*}(X)<\infty$なる任意の$X\subset\R$に対して$m^{*}(X)\ge m^{*}(X\cap A)+m^{*}(X\cap A^c)$が成り立つ.
ルベーグ可測集合の和集合と共通部分
以下ではルベーグ可測集合全部の族を$\mathcal{L}$と表します.ここでは$A,B\in\mathcal{L}$に対して
- 補集合$A^c$
- 和集合$A\cup B$
- 共通部分$A\cap B$
- 差集合$A\setminus B$
が可測集合であることを証明します.
ルベーグ可測集合の補集合
可測集合$A\subset\R$の補集合$A^c$は可測集合です.
[補集合] $A\in\mathcal{L}$に対して,$A^c\in\mathcal{L}$が成り立つ.
任意に$X\subset\R$をとる.$A\in\mathcal{L}$だから,可測集合の定義より
が成り立つ.よって,$A^c\in\mathcal{L}$が従う.
ルベーグ可測集合の和集合
2つの可測集合$A,B\subset\R$の和集合$A\cup B$と共通部分$A\cap B$は可測集合です.
[和集合] $A,B\in\mathcal{L}$に対して,$A\cup B\in\mathcal{L}$が成り立つ.
任意に$m^{*}(X)<\infty$なる$X\subset\R$をとる.このとき
が成り立つことを示せば$A\cup B\in\mathcal{L}$が従う.
$A\in\mathcal{L}$だから,可測集合の定義より
が成り立つ.また,$B\in\mathcal{L}$だから,可測集合の定義より
が成り立つ.ただし,2つ目の等号では第2項目にド・モルガンの法則を用いている.よって,
が成り立つから,あとは$m^{*}(X\cap A)+m^{*}(X\cap A^c\cap B)\ge m^{*}(X\cap (A\cup B))$を示せばよい.
一般に集合$P$, $Q$, $R$に対して,分配法則
- $P\cap (Q\cup R)=(P\cap Q)\cup (P\cap R)$
- $P\cup (Q\cap R)=(P\cup Q)\cap (P\cup R)$
が成り立つことを用いると,
だから,外測度$m^{*}$の劣加法性より
が示された.
帰納的に$A_1,A_2,\dots,A_n\in\mathcal{L}$に対して,$\bigcup\limits_{k=1}^{n}A_k$が成り立つことも分かりますね.
ルベーグ可測集合の共通部分
上で示した命題[和集合]と命題[補集合]を用いると,2つの可測集合$A,B\subset\R$の共通部分$A\cap B$も可測集合であることが直ちに示されます.
[共通部分] $A,B\in\mathcal{L}$に対して,$A\cap B\in\mathcal{L}$が成り立つ.
$A,B\in\mathcal{L}$だから,命題[補集合]を用いると$A^c,B^c\in\mathcal{L}$だから,さらに命題[和集合]より$A^c\cup B^c\in\mathcal{L}$である.
再び命題[補集合]を用いると$(A^c\cup B^c)^c\in\mathcal{L}$であり,ド・モアブルの定理より
だから,$A\cap B\in\mathcal{L}$が従う.
帰納的に$A_1,A_2,\dots,A_n\in\mathcal{L}$に対して,$\bigcap\limits_{k=1}^{n}A_k\in\mathcal{L}$が成り立つことも分かりますね.
さらに,差集合$A\setminus B$は$A\cap B^c$であることから,次も成り立ちますね.
[差集合] $A,B\in\mathcal{L}$に対して,$A\setminus B\in\mathcal{L}$が成り立つ.
$A,B\in\mathcal{L}$だから,命題[補集合]を用いると$B^c\in\mathcal{L}$であり,さらに命題[共通部分]より$A\cap B^c\in\mathcal{L}$である.
差集合の定義より
だから,$A\setminus B\in\mathcal{L}$が従う.
$\mathcal{L}$が完全加法族であること
命題[和集合]では有限個の可測集合の和集合についての性質でしたが,実は可算無限個の可測集合であっても和集合は可測となります.
$A_1,A_2,\dots\in\mathcal{L}$に対して$\bigcup\limits_{n=1}^{\infty}A_n\in\mathcal{L}$が成り立つ.
この性質により$\mathcal{L}$は$\R$の完全加法族であるといいます(詳しくは後述).
補題
上の定理の証明のために,次の補題を用意しておきます.
$A_1,A_2,\dots\subset\mathcal{L}$が互いに素($i\neq j$なら$A_i\cap A_j=\emptyset$)なら,任意の$X\subset\R$と$n\in\N$に対して
が成り立つ.ただし,$B_n=\bigcup\limits_{k=1}^{n}A_k$ ($n\in\N$)である.
数学的帰納法により示す.$n=1$のときは
だから$m^{*}(X\cap B_n)=\sum\limits_{k=1}^{n}m^{*}(X\cap A_k)$が成り立つ.
ある$n$に対して成り立つと仮定する.$A_{n+1}\in\mathcal{L}$から
である.いま$A_1,A_2,\dots,A_{n+1}$は互いに素と仮定しているので$B_{n+1}\cap A_{n+1}=A_{n+1}$, $B_{n+1}\cap A_{n+1}^c=B_{n}$だから,帰納法の仮定と併せると
を得る.よって,$n+1$でも成り立つ.
定理の証明
この補題を用いて,上の定理を証明しましょう.
(再掲)$A_1,A_2,\dots\in\mathcal{L}$に対して,$\bigcup\limits_{n=1}^{\infty}A_n\in\mathcal{L}$が成り立つ.
$A=\bigcup\limits_{n=1}^{\infty}A_n$, $B_n=\bigcup\limits_{k=1}^{n}A_k$ ($n\in\N$)とおく.$A\in\mathcal{L}$を2ステップで示す.
[1] $A_1,A_2,\dots$が互いに素である場合に成り立つことを示す.
任意に$m^{*}(X)<\infty$なる$X\subset\R$をとる.命題[和集合]より,任意の$n\in\N$に対して$B_n\in\mathcal{L}$だから,
が成り立つ.補題より
が成り立ち,$B_n\subset A$より$X\cap B_n^c\supset X\cap A^c$だから,外測度$m^{*}$の単調性より
が成り立つ.
よって
が成り立つから,両辺で$n\to\infty$とすると
が成り立つ.右辺の第1項で$m^{*}$の劣加法性を用いれば
を得る.よって,$A\in\mathcal{L}$が従う.
[2] 一般の$A_1,A_2,\dots$に対して成り立つことを示す.
$A’_1=A_1$, $A’_n=A_n\setminus B_{n-1}$ ($n=2,3,\dots$)とおくと,$A’_1,A’_2,\dots$は互いに素であり,命題[差集合]より$A’_1,A’_2,\dots\in\mathcal{L}$である.
よって,[1]より$\bigcup\limits_{n=1}^{\infty}A’_n\in\mathcal{L}$は可測である.
さらに,$\bigcup\limits_{n=1}^{\infty}A_n=\bigcup\limits_{n=1}^{\infty}A’_n$だから$\bigcup\limits_{n=1}^{\infty}A_n\in\mathcal{L}$が従う.
先ほどの命題[共通部分]の証明と同様にド・モアブルの法則を用いれば,可算無限個の可測集合の共通部分も可測であることが分かりますね.
可測空間と完全加法族
実は測度論において可測空間と呼ばれる基本的な概念があります.
集合$\Omega$と$\Omega$の部分集合の族$\mathcal{F}$が3条件
- $\Omega\in\mathcal{F}$
- $A\in\mathcal{F}\Ra A^c\in\mathcal{F}$
- $A_1,A_2,\dots\in\mathcal{F}\Ra \bigcup\limits_{n=1}^{\infty}A_n\in\mathcal{F}$
を満たすとき,組$(\Omega,\mathcal{F})$を可測空間 (measurable space)という.また,$\mathcal{F}$を$\Omega$の完全加法族 (completely additive class)という.
完全加法族は$\m{\sigma\text{-}}$加法族,$\m{\sigma\text{-}}$代数などと呼ばれることもよくあります.
前回の記事では$\R\in\mathcal{L}$を示し,今回の記事の命題[補集合]から$A\in\mathcal{L}\Ra A^c\in\mathcal{L}$を示しました.
よって,これらと上の定理を併せると,組$(\R,\mathcal{L})$が可測空間・$\mathcal{L}$は$\R$の完全加法族であることが分かりますね.
可測空間(と測度空間)について詳しくは以下の記事を参照してください.

コメント