ルベーグ積分に関する比較判定法

ルベーグ積分に関する比較判定法

ルベーグ可測空間\(\left( \mathbb{R} ,\mathfrak{M}_{\mu },\mu \right) \)に加えて、ルベーグ可測集合\(X\in \mathfrak{M}_{\mu }\)上に定義された拡大実数値ルベーグ可測関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が与えられているものとします。\(f\)が\(X\)上においてルベーグ積分可能であることとは、\begin{eqnarray*}\int_{X}f^{+} &<&+\infty \\
\int_{X}f^{-} &<&+\infty
\end{eqnarray*}がともに成り立つこととして定義されます。ただし、\(f^{+}:\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }\)は\(f\)の正成分であり、\(f^{-}:\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }\)は\(f\)の負成分であり、これらはそれぞれ、\begin{eqnarray*}f^{+} &=&\left\{ f,0\right\} \\
f^{-} &=&\left\{ -f,0\right\}
\end{eqnarray*}と定義されます。\(f\)が\(X\)上においてルベーグ積分可能であることと、関数\(\left\vert f\right\vert :\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }\)について、\begin{equation*}\int_{X}\left\vert f\right\vert <+\infty
\end{equation*}が成り立つことは必要十分条件です。また、\(f\)が\(X\)上においてルベーグ積分可能である場合、\(f\)の\(X\)上におけるルベーグ積分は、\begin{equation*}\int_{X}f=\int_{X}f^{+}-\int_{X}f^{-}
\end{equation*}と定義されます。これは1つの有限な実数として定まります。以降では、ルベーグ積分可能であることを判定するための代替的な方法について解説します。

ルベーグ可測集合\(X\in \mathfrak{M}_{\mu }\)上に定義された拡大実数値ルベーグ可測関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が与えられているものとします。これに対して、以下の3つの条件を満たす拡大実数値ルベーグ可測関数\begin{equation*}
g:\mathbb{R} \supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が存在する場合、もとの関数\(f\)は\(X\)上においてルベーグ積分可能であることが保証されます。

1つ目の条件は、\(g\)が非負値をとるルベーグ可測関数であるということです。つまり、以下の条件\begin{equation*}\forall x\in X:0\leq g\left( x\right) \leq +\infty
\end{equation*}が成り立つということです。

2つ目の条件は、\(g\)が\(X\)上においてルベーグ積分可能であるということです。\(g\)は非負値をとるため、\(g\)が\(X\)上においてルベーグ積分可能であることと、以下の条件\begin{equation*}\int_{X}g<+\infty
\end{equation*}が成り立つことは必要十分です。

3つ目の条件は、\(X\)上において\(g\)が定める値が\(\left\vert f\right\vert \)が定める値以上であること、すなわち、\begin{equation*}\forall x\in X:\left\vert f\left( x\right) \right\vert \leq g\left( x\right)
\end{equation*}が成り立つということです。

以上の3つの条件を満たす関数\(g\)が存在する場合、\(f\)は\(X\)上においてルベーグ積分可能であることが保証されます。これをルベーグ積分に関する比較判定法（integral comparison test）と呼びます。

演習問題