単調関数のディニ微分（上微分・下微分）

単調増加関数の上ディニ微分がとり得る値の範囲

実数空間\(\mathbb{R} \)とルベーグ可測集合族\(\mathfrak{M}_{\mu }\)およびルベーグ測度\(\mu \)からなるルベーグ測度空間\(\left( \mathbb{R} ,\mathfrak{M}_{\mu },\mu \right) \)が与えられているものとします。

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調増加関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \leq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

正の実数\(c>0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺の点において定義されているため、\(f\)が点\(x\)において上微分可能であるか検討できます。そこで、上微分係数\(\overline{D}f\left( x\right) \)の値が\(c\)以上の有限な実数であるか、もしくは正の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ c\leq \overline{D}f\left( x\right) \leq
+\infty \right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ c\leq \overline{D}f\left( x\right) \leq +\infty \right\} \right) \leq \frac{1}{c}\left[
f\left( b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。先の集合がルベーグ可測であることを保証できないため、ここではルベーグ測度\(\mu \)ではなく外測度\(\mu ^{\ast }\)を採用しています。証明ではヴィタリの被覆定理を利用します。

上の命題を踏まえると、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ \overline{D}f\left(
x\right) =+\infty \right\} \right) =0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調増加関数\(f\)の上極限が正の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

以上の命題を以下のように表現することもできます。

単調減少関数の下ディニ微分がとり得る値の範囲

実数空間\(\mathbb{R} \)とルベーグ可測集合族\(\mathfrak{M}_{\mu }\)およびルベーグ測度\(\mu \)からなるルベーグ測度空間\(\left( \mathbb{R} ,\mathfrak{M}_{\mu },\mu \right) \)が与えられているものとします。

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、\(f\)は単調減少関数であるものとします。つまり、\begin{equation*}\forall x,x^{\prime }\in \left[ a,b\right] :\left[ x<x^{\prime }\Rightarrow
f\left( x\right) \geq f\left( x^{\prime }\right) \right] \end{equation*}が成り立つということです。

負の実数\(c<0\)を任意に選びます。関数\(f\)の定義域の内部に属する点\(x\in \left( a,b\right) \)を任意に選びます。\(f\)は点\(x\)の周辺の点において定義されているため、\(f\)が点\(x\)において下微分可能であるか検討できます。そこで、下微分係数\(\underline{D}f\left( x\right) \)の値が\(c\)以下の有限な実数であるか、もしくは負の無限大になるような点\(x\)を集めれば以下の集合\begin{equation*}\left\{ x\in \left( a,b\right) \ |\ -\infty \leq \underline{D}f\left(
x\right) \leq c\right\}
\end{equation*}が得られますが、この集合の外測度がとり得る値の範囲は、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ -\infty \leq
\underline{D}f\left( x\right) \leq c\right\} \right) \leq \frac{1}{c}\left[
f\left( b\right) -f\left( a\right) \right] \end{equation*}に収まることが保証されます。

上の命題を踏まえると、\begin{equation*}
\mu ^{\ast }\left( \left\{ x\in \left( a,b\right) \ |\ \underline{D}f\left(
x\right) =-\infty \right\} \right) =0
\end{equation*}が導かれます。つまり、有界閉区間\(\left[ a,b\right] \)上に定義された単調減少関数\(f\)の下極限が負の無限大になるような\(\left( a,b\right) \)上の点からなる集合の外測度はゼロになります。

以上の命題を以下のように表現することもできます。

演習問題