零集合とルベーグ可測集合族の完備性

零集合

ルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} }\rightarrow \mathbb{R} \)が集合\(A\subset \mathbb{R} \)に対して定める外測度が、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}である場合、すなわち、集合\(A\)の外測度が\(0 \)である場合、\(A\)を零集合（null set）と呼びます。

集合\(A\subset \mathbb{R} \)が零集合でないことは、\begin{equation*}\mu ^{\ast }\left( A\right) \not=0
\end{equation*}が成り立つことを意味しますが、外測度\(\mu^{\ast }\)は非負性を満たすため、以上の命題は、\begin{equation*}\mu ^{\ast }\left( A\right) >0
\end{equation*}と必要十分です。つまり、集合が零集合ではないことは、その集合の外測度が正であることを意味します。

零集合の部分集合は零集合

零集合の部分集合は零集合であることが保証されます。つまり、集合\(A\subset \mathbb{R} \)が、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}を満たす場合、\(B\subset A\)を満たす任意の集合\(B\subset \mathbb{R} \)についても、\begin{equation*}\mu ^{\ast }\left( B\right) =0
\end{equation*}が成り立つということです。

先の命題より、集合\(A\)が零集合ではない部分集合を持つ場合、\(A\)は零集合ではありません。

零集合はルベーグ可測

零集合はルベーグ可測であることが保証されます。つまり、集合\(A\subset \mathbb{R} \)が、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}を満たす場合には、任意の集合\(S\subset \mathbb{R} \)に対して、\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*}が成り立つことが保証されるということです。

先の命題の逆は成り立ちません。つまり、ルベーグ可測集合は零集合であるとは限りません。以下の例より明らかです。

零集合どうしの和集合は零集合

可算個の零集合どうしの和集合もまた零集合になることが保証されます。つまり、\(\mathbb{R} \)の部分集合を要素として持つ可算集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)が、\begin{equation*}\forall k\in \mathbb{N} :\mu ^{\ast }\left( A_{k}\right) =0
\end{equation*}を満たす場合、\begin{equation*}
\mu ^{\ast }\left( \bigcup_{k=1}^{\infty }A_{k}\right) =0
\end{equation*}が成り立つということです。

先の命題を用いると、有限個の零集合どうしの和集合もまた零集合になることが保証されます。つまり、\(\mathbb{R} \)の部分集合を要素として持つ有限集合列\(\left\{ A_{k}\right\} _{k=1}^{n}\)が、\begin{equation*}\forall k\in \left\{ 1,\cdots ,n\right\} :\mu ^{\ast }\left( A_{k}\right) =0
\end{equation*}を満たす場合、\begin{equation*}
\mu ^{\ast }\left( \bigcup_{k=1}^{n}A_{k}\right) =0
\end{equation*}が成り立つということです。

零集合との和集合

ある集合と零集合の和集合をとったとき、外測度は変化しません。つまり、集合\(A\subset \mathbb{R} \)と零集合\(B\subset \mathbb{R} \)をそれぞれ任意に選んだとき、\begin{equation*}\mu ^{\ast }\left( A\cup B\right) =\mu ^{\ast }\left( A\right)
\end{equation*}が成り立つということです。

零集合との差集合

ある集合と零集合の差集合をとったとき、外測度は変化しません。つまり、集合\(A\subset \mathbb{R} \)と零集合\(B\subset \mathbb{R} \)をそれぞれ任意に選んだとき、\begin{equation*}\mu ^{\ast }\left( A\backslash B\right) =\mu ^{\ast }\left( A\right)
\end{equation*}が成り立つということです。

ルベーグ測度を用いた零集合の定義

集合\(A\subset \mathbb{R} \)が零集合であるものとします。つまり、ルベーグ外測度\(\mu ^{\ast }:2^{\mathbb{R} }\rightarrow \mathbb{R} \)のもとで、\begin{equation}\mu ^{\ast }\left( A\right) =0 \quad \cdots (1)
\end{equation}が成り立つということです。先に示したように零集合はルベーグ可測集合であるため、\begin{equation}
A\in \mathfrak{M}_{\mu } \quad \cdots (2)
\end{equation}が成り立ちます。ただし、\(\mathfrak{M}_{\mu }\)はルベーグ可測集合族です。すると、ルベーグ測度\(\mu :\mathfrak{M}_{\mu }\rightarrow \mathbb{R} _{+}\cup \left\{ +\infty \right\} \)の定義および\(\left( 2\right) \)より、\begin{equation*}\mu \left( A\right) =\mu ^{\ast }\left( A\right)
\end{equation*}が成り立つため、これと\(\left( 1\right) \)より、\begin{equation*}\mu \left( A\right) =0
\end{equation*}を得ます。以上より、零集合はルベーグ可測であるとともに、そのルベーグ測度が\(0\)であることが明らかになりました。逆も成立するため以下を得ます。

ルベーグ可測集合族の完備性

ルベーグ集合族\(\mathfrak{M}_{\mu }\)に属する零集合\(A\in \mathfrak{M}_{\mu }\)を任意に選びます。つまり、\begin{equation*}\mu \left( A\right) =0
\end{equation*}が成り立つということです。ルベーグ測度\(\mu \)の定義より、このとき、\begin{equation*}\mu ^{\ast }\left( A\right) =0
\end{equation*}もまた成り立ちます。\(B\subset A\)を満たす集合\(B\subset \mathbb{R} \)を任意に選んだとき、ルベーグ外測度\(\mu ^{\ast }\)の単調性より、\begin{equation*}\mu ^{\ast }\left( B\right) =0
\end{equation*}を得ます。つまり、\(B\)は零集合です。先の命題より、\(B\)が零集合であることと、\begin{eqnarray*}&&\left( a\right) \ B\in \mathfrak{M}_{\mu } \\
&&\left( b\right) \ \mu \left( B\right) =0
\end{eqnarray*}がともに成り立つことは必要十分であるため、\begin{equation*}
B\in \mathfrak{M}_{\mu }
\end{equation*}を得ます。

以上より、ルベーグ可測な零集合を任意に選んだとき、その任意の部分集合もまたルベーグ可測であることが明らかになりました。つまり、ルベーグ可測集合族\(\mathfrak{M}_{\mu }\)は以下の性質\begin{equation*}\forall A\in \mathfrak{M}_{\mu },\ \forall B\in 2^{\mathbb{R} }:\left\{ \left[ \mu \left( A\right) =0\wedge B\subset A\right] \Rightarrow
B\in \mathfrak{M}_{\mu }\right\}
\end{equation*}を満たすということです。このような事実を指して、ルベーグ可測集合族\(\mathfrak{M}_{\mu }\)は完備である（complete）と言います。

ほとんどいたるところ

ルベーグ可測集合\(A\in \mathfrak{M}_{\mu }\)を任意に選んだ上で、以下の命題\begin{equation*}\forall x\in A:P\left( x\right)
\end{equation*}が成り立つかを検討している状況を想定します。つまり、可測集合の要素である任意の点\(x\in A\)について命題\(P\left( x\right) \)が成り立つかを検討しているということです。問題としている可測集合\(A\)の部分集合であるような零集合\(B\)が与えられた状況を想定します。つまり、以下の条件\begin{eqnarray*}&&\left( a\right) \ B\subset A \\
&&\left( b\right) \ \mu \left( B\right) =0
\end{eqnarray*}をともに満たす集合\(B\subset \mathbb{R} \)に注目します。以上の状況のもと、以下の命題\begin{equation*}\forall x\in A\backslash B:P\left( x\right)
\end{equation*}が成り立つ場合には、命題\(P\left( x\right) \)は\(A\)上のほとんどいたるところ（almost everywhere）で成り立つと言います。

演習問題