多変数のルベーグ可測関数どうしの商はルベーグ可測関数
ユークリッド空間\(\mathbb{R} ^{n}\)および\(\mathbb{R} ^{n}\)上のルベーグ可測集合族\(\mathfrak{M}_{\mu }\)からなる可測空間\begin{equation*}\left( \mathbb{R} ^{n},\mathfrak{M}_{\mu }\right)
\end{equation*}が与えられているものとします。さらに、ルベーグ可測集合\(X\in \mathfrak{M}_{\mu }\)を選んだ上で、\(X\)を定義域とするとともに非ゼロ値をとる多変数の拡大実数値関数\begin{equation*}f:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{equation*}を定義します。加えて、この関数\(f\)は\(X\)上において拡大実数値ルベーグ可測関数であるものとします。
先のような関数\(f\)が与えられれば、それぞれの\(\boldsymbol{x}\in X\)に対して以下の拡大実数\begin{equation*}\left( \frac{1}{f}\right) \left( \boldsymbol{x}\right) =\frac{1}{f\left(
\boldsymbol{x}\right) }
\end{equation*}を値として定める新たな拡大実数値関数\begin{equation*}
\frac{1}{f}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能ですが、この関数\(\frac{1}{f}\)もまた\(X\)上において拡大実数値ルベーグ可測関数になることが保証されます。
ユークリッド空間\(\mathbb{R} ^{n}\)上のルベーグ可測集合\(X\in \mathfrak{M}_{\mu }\)を選んだ上で、\(X\)を定義域とする拡大実数値関数\begin{eqnarray*}f &:&\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} } \\
g &:&\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{eqnarray*}を定義します。加えて、これらの関数\(f,g\)は\(X\)上において拡大実数値ルベーグ可測関数であるものとします。
拡大実数値関数\(f,g\)が以下の条件\begin{equation*}\forall \boldsymbol{x}\in X:\frac{f\left( \boldsymbol{x}\right) }{g\left(
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}を満たす場合には、それぞれの\(\boldsymbol{x}\in X\)に対して以下の拡大実数\begin{equation*}\left( \frac{f}{g}\right) \left( \boldsymbol{x}\right) =\frac{f\left(
\boldsymbol{x}\right) }{g\left( \boldsymbol{x}\right) }
\end{equation*}を値として定める新たな拡大実数値関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能ですが、この関数\(\frac{f}{g}\)もまた\(X\)上において拡大実数値ルベーグ可測関数になることが保証されます。
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}が成り立つものとする。この場合、拡大実数値関数\(\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)が定義可能であるとともに、\(\frac{f}{g}\)もまた拡大実数値ルベーグ可測関数となる。
先の命題では2つの拡大実数値ルベーグ可測関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)および\(g:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\} \)が以下の条件\begin{equation*}\forall \boldsymbol{x}\in X:\frac{f\left( \boldsymbol{x}\right) }{g\left(
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}を満たす状況を想定しています。この条件が成り立たない場合、すなわち、\begin{equation*}
\exists \boldsymbol{x}\in X:\frac{f\left( \boldsymbol{x}\right) }{g\left(
\boldsymbol{x}\right) }\not\in \overline{\mathbb{R} }
\end{equation*}が成り立つ場合には、そもそも関数\(\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)が定義可能であるため、\(\frac{f}{g}\)がルベーグ可測であるか検討することさえできません。具体例を挙げると、何らかの\(\boldsymbol{x}\in X\)のもとで、\begin{equation*}f\left( \boldsymbol{x}\right) =g\left( \boldsymbol{x}\right) =+\infty
\end{equation*}が成り立つ場合、これらの商\begin{equation*}
\frac{f\left( \boldsymbol{x}\right) }{g\left( \boldsymbol{x}\right) }=\frac{+\infty }{+\infty }
\end{equation*}は不定形になってしまうため、この場合、関数\(\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)を定義できず、したがって\(\frac{f}{g}\)はルベーグ可測ではありません。
g &:&\mathbb{R} ^{n}\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{eqnarray*}をとることができます。以下の条件\begin{equation*}
\forall \boldsymbol{x}\in \mathbb{R} ^{n}:\frac{f\left( \boldsymbol{x}\right) }{g\left( \boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}が成り立つ場合には拡大実数値関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能であるとともに、先の命題よりこれもまた拡大実数値ルベーグ可測関数になります。
g &:&\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \backslash \left\{ 0\right\}
\end{eqnarray*}が与えられているものとします。関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。実数値関数がルベーグ可測であることと、その関数が拡大実数値ルベーグ可測であることは必要十分であるため、\(f,g\)は拡大実数値ルベーグ可測です。すると先の命題より\(\frac{f}{g}\)は拡大実数値ルベーグ可測ですが、\(\frac{f}{g}\)は実数値関数であるため、以上の事実は\(\frac{f}{g}\)がルベーグ可測であることを意味します。結論を整理すると、実数値関数であるルベーグ可測関数\(f,g\)どうしの商である実数値関数\(\frac{f}{g}\)はルベーグ可測関数であるということです。
\end{equation*}が与えられているものとします。関数\begin{equation*}
\frac{1}{f}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義すると、これはルベーグ可測関数になります。
ボレル可測関数どうしの商はボレル可測関数
ユークリッド空間\(\mathbb{R} ^{n}\)および\(\mathbb{R} ^{n}\)上のボレル集合族\(\mathcal{B}\left( \mathbb{R} ^{n}\right) \)からなる可測空間\begin{equation*}\left( \mathbb{R} ^{n},\mathcal{B}\left( \mathbb{R} ^{n}\right) \right)
\end{equation*}が与えられているものとします。さらに、ボレル集合\(X\in \mathcal{B}\left( \mathbb{R} ^{n}\right) \)を選んだ上で、\(X\)を定義域とするとともに非ゼロ値をとる多変数の拡大実数値関数\begin{equation*}f:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{equation*}を定義します。加えて、この関数\(f\)は\(X\)上において拡大実数値ボレル可測関数であるものとします。
先のような関数\(f\)が与えられれば、それぞれの\(\boldsymbol{x}\in X\)に対して以下の拡大実数\begin{equation*}\left( \frac{1}{f}\right) \left( \boldsymbol{x}\right) =\frac{1}{f\left(
\boldsymbol{x}\right) }
\end{equation*}を値として定める新たな拡大実数値関数\begin{equation*}
\frac{1}{f}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能ですが、この関数\(\frac{1}{f}\)もまた\(X\)上において拡大実数値ボレル可測関数になることが保証されます。
ユークリッド空間\(\mathbb{R} ^{n}\)上のボレル集合\(X\in \mathcal{B}\left( \mathbb{R} ^{n}\right) \)を選んだ上で、\(X\)を定義域とする拡大実数値関数\begin{eqnarray*}f &:&\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} } \\
g &:&\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{eqnarray*}を定義します。加えて、これらの関数\(f,g\)は\(X\)上において拡大実数値ボレル可測関数であるものとします。
拡大実数値関数\(f,g\)が以下の条件\begin{equation*}\forall \boldsymbol{x}\in X:\frac{f\left( \boldsymbol{x}\right) }{g\left(
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}を満たす場合には、それぞれの\(\boldsymbol{x}\in X\)に対して以下の拡大実数\begin{equation*}\left( \frac{f}{g}\right) \left( \boldsymbol{x}\right) =\frac{f\left(
\boldsymbol{x}\right) }{g\left( \boldsymbol{x}\right) }
\end{equation*}を値として定める新たな拡大実数値関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能ですが、この関数\(\frac{f}{g}\)もまた\(X\)上において拡大実数値ボレル可測関数になることが保証されます。
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}が成り立つものとする。この場合、拡大実数値関数\(\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)が定義可能であるとともに、\(\frac{f}{g}\)もまた拡大実数値ボレル可測関数となる。
先の命題では2つの拡大実数値ボレル可測関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\)および\(g:\mathbb{R} ^{n}\supset X\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\} \)が以下の条件\begin{equation*}\forall \boldsymbol{x}\in X:\frac{f\left( \boldsymbol{x}\right) }{g\left(
\boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}を満たす状況を想定していますが、その理由はルベーグ可測関数の場合と同様です。
g &:&\mathbb{R} ^{n}\rightarrow \overline{\mathbb{R} }\backslash \left\{ 0\right\}
\end{eqnarray*}をとることができます。以下の条件\begin{equation*}
\forall \boldsymbol{x}\in \mathbb{R} ^{n}:\frac{f\left( \boldsymbol{x}\right) }{g\left( \boldsymbol{x}\right) }\in \overline{\mathbb{R} }
\end{equation*}が成り立つ場合には拡大実数値関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\rightarrow \overline{\mathbb{R} }
\end{equation*}が定義可能であるとともに、先の命題よりこれもまた拡大実数値ボレル可測関数になります。
g &:&\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \backslash \left\{ 0\right\}
\end{eqnarray*}が与えられているものとします。関数\begin{equation*}
\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。実数値関数がボレル可測であることと、その関数が拡大実数値ボレル可測であることは必要十分であるため、\(f,g\)は拡大実数値ボレル可測です。すると先の命題より\(\frac{f}{g}\)は拡大実数値ボレル可測ですが、\(\frac{f}{g}\)は実数値関数であるため、以上の事実は\(\frac{f}{g}\)がボレル可測であることを意味します。結論を整理すると、実数値関数であるボレル可測関数\(f,g\)どうしの商である実数値関数\(\frac{f}{g}\)はボレル可測関数であるということです。
\end{equation*}が与えられているものとします。関数\begin{equation*}
\frac{1}{f}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義すると、これはボレル可測関数になります。
演習問題
\frac{\ln \left( x+y\right) }{x+y+1}:\mathbb{R} _{++}^{2}\rightarrow \mathbb{R} \end{equation*}はルベーグ可測関数でしょうか。議論してください。
\frac{\sin \left( x+y+1\right) }{\cos \left( x+y+1\right) }:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \end{equation*}はルベーグ可測関数でしょうか。議論してください。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ \cos \left( x+y+1\right) \not=0\right\}
\end{equation*}です。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】