WIIS

ユークリッド空間上のルベーグ測度

ユークリッド空間上のルベーグ可測集合

目次

Mailで保存
Xで共有

ルベーグ外測度が抱える問題

私たちの目標はユークリッド空間\(\mathbb{R} ^{n}\)の部分集合の外延量を測定することですが、まずは\(\mathbb{R} ^{n}\)上の有界な右半開区間からなる集合族\(\mathfrak{S}_{m}\)の要素である区間のみを外延量の測定対象とし、区間の外延量を特定する体積関数\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R} _{+}\)を導入した上で、これが\(\sigma \)-加法測度であることを示しました。つまり、区間の集合族\(\mathfrak{S}_{m}\)は集合半環であるとともに、体積関数\(m\)は非負性と\(\sigma \)-加法性を満たします。

ただし、ユークリッド空間\(\mathbb{R} ^{n}\)上には有界な区間というクラスには属さない集合が存在します。そこで、体積関数\(m\)のカラテオドリ拡張としてルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)を構成することにより、\(\mathbb{R} ^{n}\)の任意の部分集合\(A\)について、その外延量である外測度\(\mu ^{\ast }\left(A\right) \)を測定できるようになりました。ただ、外測度は集合の外延量として十分な正確性を備えているとは言えません。なぜなら、外測度の定義、すなわちカラテオドリ拡張に関する議論から明らかであるように、集合\(A\)の外測度を導出する際には\(A\)を覆う可算区間列\(\left\{I_{k}\right\} _{k=1}^{\infty }\)に属するすべての区間の体積の総和をその候補としているため、外測度\(\mu^{\ast }\left( A\right) \)は\(A\)の真の外延量よりも多めに見積もられている可能性があるからです。実際、外測度\(\mu ^{\ast }\)は\(\sigma \)-加法性を満たさないため、「ある集合の外延量は、その集合を互いに素な部分へ分割した場合の各部分の外延量の合計になる」という直感的事実が成り立つとは限りません。

一方、区間の集合族\(\mathfrak{S}_{m}\)上に定義された体積関数\(m\)や、区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)上に定義された区間塊の体積関数\(\hat{m}\)はともに\(\sigma \)-加法性を満たします。外測度\(\mu ^{\ast }\)は区間の長さ体積\(m\)や区間塊の体積関数\(\hat{m}\)の拡張であるため、\(\mu^{\ast }\)の定義域を\(\mathfrak{S}_{m}\)や\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に縮小すれば\(\mu ^{\ast }\)は\(\sigma \)-加法性を満たします。ただ、この場合、区間や区間塊などよりも広いクラスの集合の外延量を測定できなくなってしまいます。外測度\(\mu ^{\ast }\)が\(\sigma \)-加法性を満たすようにするためには定義域を縮小すればよいのですが、定義域を縮小しすぎると多くの集合の外延量を測定できなくなってしまいます。外測度\(\mu ^{\ast }\)が\(\sigma \)-加法性を満たしつつ、なるべく多くの集合の外延量を測定できるようにするためにはどうすればよいのでしょうか。以下ではこのような問題意識のもとで議論を行います。

 

ルベーグ可測集合

ルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)と集合\(A\subset \mathbb{R} ^{n}\)が与えられているものとします。このとき、任意の集合\(S\subset \mathbb{R} ^{n}\)に対して以下の条件\begin{equation*}\mu ^{\ast }\left( S\right) =\mu ^{\ast }\left( S\cap A\right) +\mu ^{\ast
}\left( S\cap A^{c}\right)
\end{equation*}が成り立つ場合、\(A\)をルベーグ可測集合(Lebesgue measurable set)や可測集合(measurable set)などと呼びます。集合\(A\)がルベーグ可測であるためには、それに対して先の条件を満たす集合\(S\)が存在することを示しただけでは不十分であり、任意の集合\(S\)が先の条件を満たすことを示す必要があります。集合の可測性を特徴づける先の条件をカラテオドリの条件(Carathéodory’s criterion)と呼びます。

集合\(A\)が与えられているものとします。別の集合\(S\)を持ってきたとき、これは\(A\)を用いて2つの部分に分割可能です。1つ目は\(A\)と交わる部分\(S\cap A\)であり、2つ目は\(A\)と交わらない部分\(S\cap A^{c}\)です。その上で、\(S\)の外測度\(\mu ^{\ast }\left(S\right) \)と、\(S\)を先のように分割して得られる2つの部分の外測度の和\(\mu^{\ast }\left( S\cap A\right) +\mu ^{\ast }\left( S\cap A^{c}\right) \)をそれぞれ導出したとき、直感的には両者は一致するはずです。集合\(A\)が可測であることとは、これを用いてどのような集合を2つに分割した場合でも、先の直感的事実が成り立つことを意味します。

カラテオドリの条件についてもう少し考察します。ルベーグ外測度\(\mu ^{\ast }\)は劣加法性を満たす一方で加法性を満たさないため、以下の条件\begin{equation}\mu ^{\ast }\left( A\cup B\right) <\mu ^{\ast }\left( A\right) +\mu ^{\ast
}\left( B\right) \quad \cdots (1)
\end{equation}を満たす互いに素な集合\(A,B\)が存在する可能性があります。集合\(A\cup B\)を2つの集合\(A,B\)に分割した場合、\(A\)と\(B\)の外測度の和が\(A\cup B\)の外測度を上回ってしまうということです。これは\(\mathbb{R} \)上の任意の集合を外延量の計測対象とした場合に発生する問題です。では、可測集合、すなわちカラテオドリの条件を満たす集合のみを外測度の計測対象とした場合にはどうなるでしょうか。\(A\)が可測集合であり、\(B\)は\(A\)と互いに素であるものとします。このとき、可測集合の定義より、集合\(A\cup B\)に対して、\begin{equation*}\mu ^{\ast }\left( A\cup B\right) =\mu ^{\ast }\left( \left( A\cup B\right)
\cap A\right) +\mu ^{\ast }\left( \left( A\cup B\right) \cap A^{c}\right)
\end{equation*}すなわち、\begin{equation*}
\mu ^{\ast }\left( A\cup B\right) =\mu ^{\ast }\left( A\right) +\mu ^{\ast
}\left( B\right)
\end{equation*}が成り立つため、\(\left(1\right) \)が成り立つような状況の回避に成功しています。

例(ユークリッド空間は可測)
ユークリッド空間\(\mathbb{R} ^{n}\)は可測です。実際、集合\(S\subset \mathbb{R} ^{n}\)を任意に選んだ上で、\(\mathbb{R} ^{n}\)を用いて\(S\)を分割すると、\begin{eqnarray}S\cap \mathbb{R} ^{n} &=&S \quad \cdots (1) \\
S\cap \left( \mathbb{R} ^{n}\right) ^{c} &=&S\cap \phi =\phi \quad \cdots (2)
\end{eqnarray}を得ますが、これらの外測度に関して、\begin{eqnarray*}
\mu ^{\ast }\left( S\cap \mathbb{R} ^{n}\right) +\mu ^{\ast }\left( S\cap \left( \mathbb{R} ^{n}\right) ^{c}\right) &=&\mu ^{\ast }\left( S\right) +\mu ^{\ast }\left(
\phi \right) \quad \because \left( 1\right) ,\left( 2\right) \\
&=&\mu ^{\ast }\left( S\right) +0\quad \because \mu ^{\ast }\left( \phi
\right) =0 \\
&=&\mu ^{\ast }\left( S\right)
\end{eqnarray*}が成り立つため、\(\mathbb{R} ^{n}\)は可測であることが明らかになりました。
例(零集合は可測)
ルベーグ外測度\(\mu ^{\ast }\)のもとで、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}を満たす集合\(A\subset \mathbb{R} ^{n}\)を零集合(null set)と呼びます。零集合は可測です(演習問題)。
例(1点集合は可測)
点\(\boldsymbol{x}\in \mathbb{R} ^{n}\)を任意に選んだ上で、それだけを要素として持つ1点集合\begin{equation*}\left\{ \boldsymbol{x}\right\} \subset \mathbb{R} ^{n}
\end{equation*}を構成します。1点集合は零集合であるため、これは可測です。

例(有限集合は可測)
\(\mathbb{R} ^{n}\)の部分集合であるような有限集合\begin{equation*}\left\{ \boldsymbol{x}_{1},\cdots ,\boldsymbol{x}_{n}\right\} \subset \mathbb{R} ^{n}
\end{equation*}を任意に選びます。有限集合は零集合であるため、これは可測です。

例(可算集合は可測)
\(\mathbb{R} ^{n}\)の部分集合であるような可算集合\begin{equation*}\left\{ \boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots \right\} \subset \mathbb{R} ^{n}
\end{equation*}を任意に選びます。可算集合は零集合であるため、これは可測です。

ルベーグ可測であるような集合の例をいくつか挙げましたが、逆に、ルベーグ可測ではない集合、すなわちカラテオドリの条件を満たさない集合は\(\mathbb{R} ^{n}\)上に存在するのでしょうか。実際、\(\mathbb{R} ^{n}\)上にはルベーグ可測ではない集合が存在し、それを具体的に構成できるのですが、詳細は必要な道具が揃った段階で解説します。

\(\mathbb{R} ^{n}\)上の集合の中でもルベーグ可測であるような集合をすべて集めることにより得られる\(\mathbb{R} ^{n}\)の部分集合族をルベーグ可測集合族(family of Lebesgue measurable sets)や可測集合族(family of measurable sets)などと呼び、これを、\begin{equation*}\mathfrak{M}_{\mu ^{\ast }}
\end{equation*}で表記します。定義より、任意の集合\(A\subset \mathbb{R} ^{n}\)について以下の関係\begin{equation*}A\in \mathfrak{M}_{\mu ^{\ast }}\Leftrightarrow \forall S\in 2^{\mathbb{R} ^{n}}:\mu ^{\ast }\left( S\right) =\mu ^{\ast }\left( S\cap A\right) +\mu
^{\ast }\left( S\cap A^{c}\right)
\end{equation*}が成り立ちます。ただし、\(\mu ^{\ast }\)はルベーグ外測度です。

 

カラテオドリの条件の言い換え

カラテオドリの条件、すなわち可測集合の定義は様々な形に言い換え可能です。

集合\(A\subset \mathbb{R} ^{n}\)が与えられているものとします。このとき、\(A\)の任意の部分集合\(B\)と\(A^{c}\)の任意の部分集合\(B^{\prime }\)に対して以下の条件\begin{equation}\mu ^{\ast }\left( B\cup B^{\prime }\right) =\mu ^{\ast }\left( B\right)
+\mu ^{\ast }\left( B^{\prime }\right) \quad \cdots (1)
\end{equation}が成り立つことは、\(A\)が可測であるための必要十分条件です。

命題(可測集合の定義)

ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)と集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、\begin{equation*}B\subset A\wedge B^{\prime }\subset A^{c}
\end{equation*}を満たす任意の集合\(B,B^{\prime }\subset \mathbb{R} ^{n}\)について、\begin{equation*}\mu ^{\ast }\left( B\cup B^{\prime }\right) =\mu ^{\ast }\left( B\right)
+\mu ^{\ast }\left( B^{\prime }\right)
\end{equation*}が成り立つことは、\(A\)がルベーグ可測集合であるための必要十分条件である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

集合\(A\subset \mathbb{R} ^{n}\)がルベーグ可測であることとは、任意の集合\(S\subset \mathbb{R} ^{n}\)に対して、\begin{equation*}\mu ^{\ast }\left( S\right) =\mu ^{\ast }\left( S\cap A\right) +\mu ^{\ast
}\left( S\cap A^{c}\right)
\end{equation*}が成り立つこととして定義されます。ただ、この定義に登場する集合の間には以下の関係\begin{equation}
S=\left( S\cap A\right) \cup \left( S\cap A^{c}\right) \quad \cdots (1)
\end{equation}が成り立つため、このとき、\begin{eqnarray*}
\mu ^{\ast }\left( S\right) &=&\mu ^{\ast }\left( \left( S\cap A\right)
\cup \left( S\cap A^{c}\right) \right) \quad \because \left( 1\right) \\
&\leq &\mu ^{\ast }\left( S\cap A\right) +\mu ^{\ast }\left( S\cap
A^{c}\right) \quad \because \mu ^{\ast }\text{の劣加法性}
\end{eqnarray*}すなわち、\begin{equation*}
\mu ^{\ast }\left( S\right) \leq \mu ^{\ast }\left( S\cap A\right) +\mu
^{\ast }\left( S\cap A^{c}\right)
\end{equation*}は常に成り立ちます。したがって任意の集合\(S\subset \mathbb{R} ^{n}\)に対して、\begin{equation*}\mu ^{\ast }\left( S\right) \geq \mu ^{\ast }\left( S\cap A\right) +\mu
^{\ast }\left( S\cap A^{c}\right)
\end{equation*}が成り立つことを示しさえすれば、\(A\)がルベーグ可測であることを示したことになります。

命題(可測集合の定義)

ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)と集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、任意の集合\(S\subset \mathbb{R} ^{n}\)について、\begin{equation*}\mu ^{\ast }\left( S\right) \geq \mu ^{\ast }\left( S\cap A\right) +\mu
^{\ast }\left( S\cap A^{c}\right)
\end{equation*}が成り立つことは、\(A\)がルベーグ可測集合であるための必要十分条件である。

先の命題中の集合\(S\)が有界でない場合、ルベーグ外測度\(\mu ^{\ast }\)の定義より、\begin{equation*}\mu ^{\ast }\left( S\right) =+\infty
\end{equation*}となるため、命題中の不等式は必ず成立します。このような事情を踏まえると、集合\(A\)がルベーグ可測であることを判定する際には、集合\(S\)として有界なものだけを考察対象としても一般性は失われないことが明らかになりました。したがって以下の命題を得ます。

命題(可測集合の定義)

ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)と集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、任意の有界な集合\(S\subset \mathbb{R} ^{n}\)について、\begin{equation*}\mu ^{\ast }\left( S\right) \geq \mu ^{\ast }\left( S\cap A\right) +\mu
^{\ast }\left( S\cap A^{c}\right)
\end{equation*}が成り立つことは、\(A\)がルベーグ可測集合であるための必要十分条件である。

 

区間を用いた可算集合の定義

集合\(A\subset \mathbb{R} ^{n}\)がルベーグ可測であることは、任意の集合\(S\subset \mathbb{R} ^{n}\)に対して、\begin{equation*}\mu ^{\ast }\left( S\right) =\mu ^{\ast }\left( S\cap A\right) +\mu ^{\ast
}\left( S\cap A^{c}\right)
\end{equation*}が成り立つこととして定義されますが、以上の条件は、任意の有界な右半開区間\(I\in \mathfrak{S}_{m}\)について、\begin{equation*}m\left( I\right) =\mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}が成り立つことと必要十分です。つまり、\(A\)がルベーグ可測であることを判定する際に、\(A\)によって\(\mathbb{R} ^{n}\)上のすべての集合を分割する必要はなく、\(\mathbb{R} ^{n}\)上のすべての有界な右半開区間を分割すれば十分です。

命題(区間を用いた可測集合の定義)
ユークリッド空間\(\mathbb{R} ^{n}\)上の区間の体積関数\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R} _{+}\)とルベーグ外測度\(\mu^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)および集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、任意の区間\(I\in \mathfrak{S}_{m}\)について、\begin{equation*}m\left( I\right) =\mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}が成り立つことは、\(A\)がルベーグ可測集合であるための必要十分条件である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

集合\(A\subset \mathbb{R} ^{n}\)がルベーグ可測であることと、任意の区間\(I\in \mathfrak{S}_{m}\)について、\begin{equation*}m\left( I\right) =\mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}が成り立つことは必要十分であることが明らかになりました。ただ、以上の条件中に登場する集合の間には以下の関係\begin{equation}
I=\left( I\cap A\right) \cup \left( I\cap A^{c}\right) \quad \cdots (1)
\end{equation}が成り立つため、このとき、\begin{eqnarray*}
m\left( I\right) &=&\mu ^{\ast }\left( I\right) \quad \because \mu ^{\ast }\text{は}m\text{の拡張} \\
&=&\mu ^{\ast }\left( \left( I\cap A\right) \cup \left( I\cap A^{c}\right)
\right) \quad \because \left( 1\right) \\
&\leq &\mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left( I\cap
A^{c}\right) \quad \because \mu ^{\ast }\text{の劣加法性}
\end{eqnarray*}すなわち、\begin{equation*}
m\left( I\right) \leq \mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}は常に成り立ちます。したがって任意の区間\(I\in \mathfrak{S}_{m}\)について、\begin{equation*}m\left( I\right) \geq \mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}が成り立つことを示しさえすれば、\(A\)がルベーグ可測であることを示したことになります。

命題(区間を用いた可測集合の定義)
ユークリッド空間\(\mathbb{R} ^{n}\)上の区間の体積関数\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R} _{+}\)とルベーグ外測度\(\mu^{\ast }:2^{\mathbb{R} ^{n}}\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)および集合\(A\subset \mathbb{R} ^{n}\)が与えられたとき、任意の区間\(I\in \mathfrak{S}_{m}\)について、\begin{equation*}m\left( I\right) \geq \mu ^{\ast }\left( I\cap A\right) +\mu ^{\ast }\left(
I\cap A^{c}\right)
\end{equation*}が成り立つことは、\(A\)がルベーグ可測集合であるための必要十分条件である。

 

空集合は可測集合

可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)はどのような性質を満たす\(\mathbb{R} ^{n}\)の部分集合族でしょうか。

可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)が満たす1つ目の性質は、\begin{equation*}\phi \in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}です。つまり、空集合は可測です。

命題(空集合は可測)
空集合\(\phi \)はルベーグ可測である。すなわち、ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は、\begin{equation*}\phi \in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}を満たす。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

可測集合の補集合は可測集合

可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)が満たす2つ目の性質は、可測集合\(A\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだときに、\begin{equation*}A^{c}=\mathbb{R} \backslash A\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つというものです。つまり、\(\mathfrak{M}_{\mu ^{\ast }}\)は補集合について閉じています。可測集合の補集合は可測であるということです。

命題(可測集合族は補集合について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は補集合について閉じている。すなわち、\begin{equation*}\forall A\in \mathfrak{M}_{\mu ^{\ast }}:A^{c}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ユークリッド空間は可測)
空集合\(\phi \)は可測ですが、その補集合は、\begin{equation*}\phi ^{c}=\mathbb{R} ^{n}
\end{equation*}であるため、先の命題より\(\mathbb{R} ^{n}\)は可測です。

 

可測集合どうしの和集合は可測集合

可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は和集合について閉じています。つまり、2つの可測集合\(A,B\in \mathfrak{M}_{\mu^{\ast }}\)を任意に選んだとき、\begin{equation*}A\cup B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つということです。可測集合どうしの和集合も可測であるということです。

命題(可測集合族は和集合について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は和集合について閉じている。すなわち、\begin{equation*}\forall A,B\in \mathfrak{M}_{\mu ^{\ast }}:A\cup B\in \mathfrak{M}_{\mu
^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

有限個の可測集合\(A_{1},\cdots ,A_{K}\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、先の命題を繰り返し適用することにより、\begin{equation*}\bigcup\limits_{k=1}^{K}A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}を得ます。つまり、有限個の可測集合の和集合もまた可測であるということです。この性質を指して、\(\mathfrak{M}_{\mu ^{\ast }}\)は有限合併について閉じていると言います。

命題(可測集合族は有限合併について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は有限合併について閉じている。すなわち、有限個の可測集合\(A_{1},\cdots ,A_{K}\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcup\limits_{k=1}^{K}A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算合併についても閉じています。つまり、可算個の可測集合\(A_{1},A_{2},\cdots \in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcup_{k=1}^{+\infty }A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。可算個の可測集合どうしの和集合も可測であるということです。

命題(可測集合族は可算合併について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算合併について閉じている。すなわち、可算個の可測集合\(A_{1},A_{2},\cdots \in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcup\limits_{k=1}^{+\infty }A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

可測集合族はσ-代数

一般に、集合\(X\)の部分集合族\(\mathfrak{A}\)が空集合\(\phi \)を要素として持つとともに補集合と可算合併について閉じている場合、そのような\(\mathfrak{A}\)を\(\sigma \)-代数(\(\sigma \)-algebra)や\(\sigma \)-集合代数(\(\sigma \)-algebra of sets)、もしくは可算集合族(countably additive class)や完全加法族(completely additive class of sets)などと呼びます。先に示したように、ルベーグ可算集合族\(\mathfrak{M}_{\mu^{\ast }}\)は以上の3つの性質を満たしますが、これは\(\mathfrak{M}_{\mu ^{\ast }}\)が\(\sigma \)-代数であることを意味します。

命題(可測集合族はσ-代数)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\sigma \)-代数である。すなわち、\(\mathfrak{M}_{\mu ^{\ast }}\)は空集合\(\phi \)を要素として持つとともに、補集合と可算合併について閉じている。

残された課題は、ルベーグ外測度\(\mu ^{\ast }\)の定義域を\(\mathbb{R} ^{n}\)のベキ集合\(2^{\mathbb{R} ^{n}}\)からルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)へ縮小した場合に\(\mu ^{\ast }\)が\(\sigma \)-可測性を満たすことの確認ですが、その前に、ルベーグ可測集合族の性質を確認するとともに、代表的な可測集合としてどのようなものが存在するか以下で明らかにします。

 

可測集合どうしの共通部分は可測集合

ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算交叉についても閉じています。つまり、可算個の可測集合\(A_{1},A_{2},\cdots \in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcap_{k=1}^{+\infty }A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。可算個の可測集合どうしの共通部分も可測であるということです。

命題(可測集合族は可算交叉について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算交叉について閉じている。すなわち、可算個の可測集合\(A_{1},A_{2},\cdots \in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcap\limits_{k=1}^{+\infty }A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

先の命題を利用すると、可算集合族が有限交叉について閉じていることが示されます。つまり、有限個の可測集合\(A_{1},\cdots ,A_{K}\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcap\limits_{k=1}^{K}A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つということです。

命題(可測集合族は有限交叉について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は有限交叉について閉じている。すなわち、有限個の可測集合\(A_{1},\cdots ,A_{K}\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}\bigcap\limits_{k=1}^{K}A_{k}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

先の命題を利用すると、可算集合族が共通部分について閉じていることが示されます。つまり、可測集合\(A,B\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}A\cap B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つということです。

命題(可測集合族は共通部分について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は共通部分について閉じている。すなわち、ルベーグ可測集合\(A,B\in \mathfrak{M}_{\mu^{\ast }}\)を任意に選んだとき、\begin{equation*}A\cap B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

可測集合どうしの差集合は可測集合

ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は差集合についても閉じています。つまり、可測集合\(A,B\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}A\backslash B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。ルベーグ可測集合どうしの差集合もまた可測であるということです。

命題(可測集合族は差集合について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は差集合について閉じている。すなわち、ルベーグ可測集合\(A,B\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}A\backslash B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

可測集合どうしの対称差は可測集合

ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は対称差についても閉じています。つまり、可測集合\(A,B\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}A\Delta B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。ルベーグ可測集合どうしの対称差もまた可測であるということです。

命題(可測集合族は対称差について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は対称差について閉じている。すなわち、ルベーグ可測集合\(A,B\in \mathfrak{M}_{\mu ^{\ast }}\)を任意に選んだとき、\begin{equation*}A\Delta B\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

可測集合族は平行移動について閉じている

ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は平行移動についても閉じています。つまり、可測集合\(A\in \mathfrak{M}_{\mu ^{\ast }}\)と点\(\boldsymbol{y}\in \mathbb{R} ^{n}\)を任意に選んだとき、\begin{equation*}A+\boldsymbol{y}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。ただし、\(A+\boldsymbol{y}\)は\(A\)のすべての要素を\(\boldsymbol{y}\)だけ移動することにより得られる点からなる集合であり、\begin{equation*}A+\boldsymbol{y}=\left\{ \boldsymbol{x}+\boldsymbol{y}\in \mathbb{R} ^{n}\ |\ \boldsymbol{x}\in A\right\}
\end{equation*}と定義されます。ルベーグ可測集合を平行移動しても可測であるということです。

命題(可測集合族は平行移動について閉じている)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は平行移動について閉じている。すなわち、ルベーグ可測集合\(A\in \mathfrak{M}_{\mu^{\ast }}\)と点\(\boldsymbol{y}\in \mathbb{R} ^{n}\)をそれぞれ任意に選んだとき、\begin{equation*}A+\boldsymbol{y}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

ユークリッド空間は可測集合

ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\sigma \)-代数であるため、\begin{equation*}\phi \in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。以上の事実と、\(\mathfrak{M}_{\mu ^{\ast }}\)が補集合について閉じていることを踏まえると、\begin{equation*}\phi ^{c}=\mathbb{R} ^{n}\in \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}を得ます。つまり、ユークリッド空間\(\mathbb{R} ^{n}\)は可測集合です。

命題(ユークリッド空間は可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は、\begin{equation*}\mathbb{R} ^{n}\in \mathfrak{M}_{\mu ^{\ast }}\end{equation*}をともに満たす。

 

有界半開区間は可測集合

任意の有界な右半開区間はルベーグ可測です。つまり、有界な右半開区間からなる集合族\(\mathfrak{S}_{m}\)とルベーグ可測集合族\(\mathfrak{M}_{\mu^{\ast }}\)の間には以下の包含関係\begin{equation*}\mathfrak{S}_{m}\subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成立します。この事実は、\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\mathfrak{S}_{m}\)よりも広いクラスの\(\mathbb{R} ^{n}\)の部分集合族であることを意味します。

命題(区間はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の有界な右半開区間からなる集合族\(\mathfrak{S}_{m}\)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には、\begin{equation*}\mathfrak{S}_{m}\subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

区間塊は可測集合

任意の区間塊はルベーグ可測です。つまり、区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には以下の包含関係\begin{equation*}\mathfrak{R}\left( \mathfrak{S}_{m}\right) \subset \mathfrak{M}_{\mu ^{\ast
}}
\end{equation*}が成り立ちます。この事実は、\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)よりもさらに広いクラスの\(\mathbb{R} \)の部分集合族であることを意味します。

命題(区間塊はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の区間塊からなる集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には、\begin{equation*}\mathfrak{R}\left( \mathfrak{S}_{m}\right) \subset \mathfrak{M}_{\mu ^{\ast
}}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

開集合は可測集合

ユークリッド空間\(\mathbb{R} ^{n}\)上の任意の開集合はルベーグ可測です。つまり、\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\left( \mathbb{R} ^{n}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には以下の包含関係\begin{equation*}\mathcal{O}\left( \mathbb{R} ^{n}\right) \subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。この事実は、\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\mathcal{O}\left( \mathbb{R} ^{n}\right) \)よりも広いクラスの\(\mathbb{R} ^{n}\)の部分集合族であることを意味します。以上のことを示すために、まずは以下の補題を示します。

命題(開集合の構造)
ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合\(A\in \mathcal{O}\left( \mathbb{R} ^{n}\right) \)を任意に選んだとき、これに対して互いに素な可算個の有界半開区間からなる列\(\left\{ I_{k}\right\} _{k=1}^{\infty }\subset \mathfrak{S}_{m}\)が存在して、\begin{equation*}A=\bigcup_{k=1}^{\infty }I_{k}
\end{equation*}と表すことができる。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

先の補題を踏まえると、開集合が可測集合であることが示されます。

命題(開集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\left( \mathbb{R} ^{n}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には、\begin{equation*}\mathcal{O}\left( \mathbb{R} ^{n}\right) \subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ユークリッド空間と空集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)や空集合\(\phi \)はいずれも可測集合であることを先に示しました。別の角度から再確認すると、\(\mathbb{R} ^{n}\)と\(\phi \)はともに\(\mathbb{R} ^{n}\)上の開集合であるため、先の命題より、これらはやはり可測集合です。
例(任意個の開集合の和集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\left( \mathbb{R} ^{n}\right) \)は有限合併、可算合併、非可算合併のいずれについても閉じています。つまり、任意個の開集合の和集合もまた開集合であるということです。したがって、先の命題より、任意個の開集合の和集合もまたルベーグ可測です。
例(可算個の開集合の共通部分はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\left( \mathbb{R} ^{n}\right) \)は有限交叉について閉じていますが、可算交叉や非可算交叉については閉じていません。つまり、有限個の開集合の共通部分は開集合ですが、可算個や非可算個の開集合の共通部分は開集合であるとは限りません。ただし、ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算交叉について閉じているため、たとえ可算個の開集合の共通部分が開集合ではなくても、それがルベーグ可測であることは保証されます。

 

閉集合は可測集合

ユークリッド空間\(\mathbb{R} ^{n}\)上の任意の閉集合はルベーグ可測です。つまり、\(\mathbb{R} ^{n}\)上の閉集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には以下の包含関係\begin{equation*}\mathcal{A}\left( \mathbb{R} ^{n}\right) \subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立ちます。この事実は、\(\mathfrak{M}_{\mu ^{\ast }}\)は\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)よりも広いクラスの\(\mathbb{R} ^{n}\)の部分集合族であることを意味します。

命題(閉集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の閉集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)とルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)の間には、\begin{equation*}\mathcal{A}\left( \mathbb{R} ^{n}\right) \subset \mathfrak{M}_{\mu ^{\ast }}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ユークリッド空間と空集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)や空集合\(\phi \)はいずれも可測集合であることを先に示しました。別の角度から再確認すると、\(\mathbb{R} ^{n}\)と\(\phi \)はともに\(\mathbb{R} ^{n}\)上の閉集合であるため、先の命題より、これらはやはり可測集合です。
例(任意個の閉集合の共通部分はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の閉集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)は有限交叉、可算交叉、非可算交叉のいずれについても閉じています。つまり、任意個の閉集合の共通部分もまた閉集合であるということです。したがって、先の命題より、任意個の閉集合の共通部分もまた可測集合です。
例(可算個の閉集合の和集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)は有限合併について閉じていますが、可算合併や非可算合併については閉じていません。つまり、有限個の閉集合の和集合は開集合ですが、可算個や非可算個の閉集合の和集合は閉集合であるとは限りません。ただし、ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算合併について閉じているため、たとえ可算個の閉集合の和集合が閉集合ではなくても、それがルベーグ可測であることは保証されます。
例(コンパクト集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の集合\(A\)がコンパクト集合であることとは、\(A\)が有界な\(\mathbb{R} ^{n}\)上の閉集合であることを意味します。先の命題より\(\mathbb{R} ^{n}\)上の任意の閉集合は可測であるため、\(\mathbb{R} ^{n}\)上の任意のコンパクト集合もまた可測集合です。
例(有限集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の有限集合\(\left\{ \boldsymbol{x}_{1},\cdots ,\boldsymbol{x}_{n}\right\} \)について考えます。任意の\(k\ \left(=1,\cdots ,n\right) \)について、1点集合\(\left\{ \boldsymbol{x}_{k}\right\} \)はいずれも\(\mathbb{R} ^{n}\)上の閉集合であるため、先の命題よりこれは可測集合です。ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は有限合併について閉じているため、有限個のルベーグ集合\(\left\{ \boldsymbol{x}_{k}\right\} \)の和集合として表される\(\left\{ \boldsymbol{x}_{1},\cdots ,\boldsymbol{x}_{n}\right\} \)は可測集合です。しかも、\(\mathbb{R} ^{n}\)上の閉集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)も有限合併について閉じているため、有限個の閉集合\(\left\{ \boldsymbol{x}_{k}\right\} \)の和集合として表される\(\left\{ \boldsymbol{x}_{1},\cdots ,\boldsymbol{x}_{n}\right\} \)は閉集合です。つまり、\(\mathbb{R} ^{n}\)上の有限集合は可測集合かつ閉集合です。
例(可算集合はルベーグ可測)
ユークリッド空間\(\mathbb{R} ^{n}\)上の有限集合\(\left\{ \boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots \right\} \)について考えます。任意の\(k\ \left(=1,2,\cdots \right) \)について、1点集合\(\left\{ \boldsymbol{x}_{k}\right\} \)はいずれも\(\mathbb{R} ^{n}\)上の閉集合であるため、先の命題よりこれは可測集合です。ルベーグ可測集合族\(\mathfrak{M}_{\mu ^{\ast }}\)は可算合併について閉じているため、可算個のルベーグ集合\(\left\{ \boldsymbol{x}_{k}\right\} \)の和集合として表される\(\left\{ \boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots \right\} \)は可測集合です。一方、\(\mathbb{R} ^{n}\)上の閉集合系\(\mathcal{A}\left( \mathbb{R} ^{n}\right) \)は可算合併について閉じていないため、可算個の閉集合\(\left\{ \boldsymbol{x}_{k}\right\} \)の和集合として表される\(\left\{ \boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots \right\} \)は閉集合であるとは限りません。つまり、\(\mathbb{R} ^{n}\)上の可算集合はルベーグ可測ですが閉集合であるとは限りません。

 

演習問題

問題(零集合は可測)
ルベーグ外測度\(\mu ^{\ast }\)のもとで、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}を満たす集合\(A\in 2^{\mathbb{R} ^{n}}\)を零集合と呼びます。零集合は可測であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録